;ELC ;;; compiled by jwz@thalidomide on Wed Apr 27 03:35:41 1994 ;;; from file /th/jwz/emacs19/lisp/modes/eiffel3.el ;;; emacs version 19.10 Lucid (beta16). ;;; bytecomp version 2.24; 26-Apr-94. ;;; optimization is on. ;;; this file uses opcodes which do not exist in Emacs 18. (if (and (boundp 'emacs-version) (or (and (boundp 'epoch::version) epoch::version) (string-lessp emacs-version "19"))) (error "This file was compiled for Emacs 19.")) (byte-code "! \"!!! \"!\n= " [boundp running-lemacs string-match "Lucid" emacs-version running-epoch epoch::version running-gnu19 "^19.[0-9]+.[0-9]+$" running-emx system-type emx] 3) (defvar eif-indent-increment 3 "\ Default indentation interval (in spaces)") (defvar eif-class-level-kw-indent 0 "\ Indentation amount for Class level keywords (in number of eif-indent-increments) (see eif-class-level-keywords variable).") (defvar eif-extra-class-level-kw-indent 0 "\ Number of SPACES to add to eif-class-level-kw-indent to get the actual indentation of a class level keyword. Can be negative.") (defvar eif-class-level-comment-indent 0 "\ Indentation of comments at the beginning of the class (in number of eif-indent-increments)") (defvar eif-extra-class-level-comment-indent 0 "\ Number of SPACES to add to eif-class-level-comment-indent to get the actual indentation of a class level comment. Can be negative.") (defvar eif-inherit-level-kw-indent 2 "\ Indentation of keywords falling under the Inherit clause (in number of eif-indent-increments) (see eif-inherit-level-keywords variable.") (defvar eif-extra-inherit-level-kw-indent 0 "\ Number of SPACES to add to eif-inherit-level-kw-indent to get the actual indentation of an inherit level keyword. Can be negative.") (defvar eif-feature-level-indent 1 "\ Indentation amount of features. (in number of eif-indent-increments)") (defvar eif-extra-feature-level-indent 0 "\ Number of SPACES to add to eif-feature-level-indent to get the actual indentation of a feature. Can be negative.") (defvar eif-feature-level-kw-indent 2 "\ Indentation of keywords belonging to individual features. (in number of eif-indent-increments) (see eif-feature-level-keywords variable)") (defvar eif-extra-feature-level-kw-indent 0 "\ Number of SPACES to add to eif-feature-level-kw-indent to get the actual indentation of a feature level keyword. Can be negative.") (defvar eif-feature-level-comment-indent 3 "\ Indentation of comments at the beginning of a feature. (in number of eif-indent-increments)") (defvar eif-extra-feature-level-comment-indent 0 "\ Number of SPACES to add to eif-feature-level-comment-indent to get the actual indentation of a feature level comment. Can be negative.") (defvar eif-body-comment-indent 0 "\ Indentation of comments in the body of a routine. (in number of eif-indent-increments)") (defvar eif-extra-body-comment-indent 0 "\ Number of SPACES to add to eif-body-comment-indent to get the actual indentation of a routine body comment. Can be negative.") (defvar eif-check-keyword-indent 0 "\ Extra indentation for the check clause as described in ETL. (in number of eif-indent-increments). Default is 0, which is different than in ETL's 1.") (defvar eif-extra-check-keyword-indent 0 "\ Number of SPACES to add to eif-check-keyword-indent to get the actual indentation of a check keyword. Can be negative.") (defvar eif-rescue-keyword-indent -1 "\ Extra indentation for the rescue clause as described in ETL. (in number of eif-indent-increments). Default is -1.") (defvar eif-extra-rescue-keyword-indent 0 "\ Number of SPACES to add to eif-rescue-keyword-indent to get the actual indentation of a rescue keyword. Can be negative.") (defvar eif-then-indent 0 "\ Indentation for a `then' appearing on a line by itself rather than on the same line as an `if'. (in number of eif-indent-increments)") (defvar eif-extra-then-indent 1 "\ Number of SPACES to add to eif-then-indent to get the actual indentation of a `then' appearing on a line by itself. Can be negative.") (defvar eif-continuation-indent 1 "\ Extra indentation for a continued statement line. (in number of eif-indent-increments)") (defvar eif-extra-continuation-indent 0 "\ Number of SPACES to add to eif-continuation-indent to get the actual indentation of a continued statement line. Can be negative.") (byte-code "!!! =!#! #!#!#!#!#!#!#!#!#!!#!##!&#!(#!#! #!#!#!#!#!#!#!#!#!!#!##!&#!(#!1#!3#MMMM !@\"AB\"CD!EɁEʁF#CG!HɁHʁI#!ƁJ!KJLMJ\"ƁN!ONLPN\"!QRS\"QTU\"" [featurep font-lock lhilit hilit19 system-type emx boundp eif-comment-font default put variable-documentation "The font in which to display comments in Eiffel and Ace files (either a font name string or 'default or 'context)" eif-comment-color "firebrick" "Color of comments in Eiffel and Ace files (either a color name string or 'default or 'context)" eif-hidden-comment-font "The font in which to display hidden comments in Eiffel and Ace files (either a font name string or 'default or 'context)" eif-hidden-comment-color "os2darkgreen" "Color of hidden comments in Eiffel and Ace files (either a color name string or 'default or 'context)" eif-major-keyword-font "The font in which to display major keywords in Eiffel and Ace files (either a font name string or 'default or 'context)" eif-major-keyword-color "Color of major keywords in Eiffel and Ace files (either a color name string or 'default or 'context)" eif-assertion-keyword-font "The font in which to display assertion keywords in Eiffel and Ace files (either a font name string or 'default or 'context)" eif-assertion-keyword-color "os2darkblue" "Color of assertion keywords in Eiffel and Ace files (either a color name string or 'default or 'context)" eif-minor-keyword-font "The font in which to display minor keywords in Eiffel and Ace files (either a font name string or 'default or 'context)" eif-minor-keyword-color "Color of minor-keywords in Eiffel and Ace files (either a color name string or 'default or 'context)" eif-string-font "The font in which to display literal strings in Eiffel and Ace files (either a font name string or 'default or 'context)" eif-string-color "os2darkcyan" "Color of literal strings in Eiffel and Ace files (either a color name string or 'default or 'context)" eif-quoted-feature-font "The font in which to display features names enclosed in `'s in Eiffel and Ace file comments (either a font name string or 'default or 'context)" eif-quoted-feature-color context "Color of features names enclosed in `'s in Eiffel and Ace file comments (either a color name string or 'default or 'context)" "red3" "forestgreen" "-*-fixed-bold-*-*-*-*-100-*-*-*-*-*-*" "slate blue" "sienna" "-*-times-medium-i-*-*-*-120-*-*-*-*-*-*" default-foreground-color "Default text color in Eiffel and Ace files (either a color name string or 'default or 'context)" disable-color nil "Should hilighting not use colors" eif-set-foreground #[(face color) "; \" Ň \"= \" Ň \"= !\" Ň !\"" [color running-lemacs set-face-foreground face running-epoch nil running-gnu19 context default face-foreground] 4 "Set the FACE's foreground color to COLOR if COLOR is a string, to the default foreground color if COLOR is 'default, or to the color of the surrounding text if COLOR is 'context"] eif-set-font #[(face font) "; \" Ň \"= \" Ň \"= !\" Ň !\"" [font running-lemacs set-face-font face running-epoch nil running-gnu19 context default face-font] 4 "Set the FACE's font to FONT if FONT is a string, to the default font if FONT is 'default, or to the font of the surrounding text if FONT is 'context"] eif-supports-color-p #[nil "? " [disable-color running-gnu19 x-display-color-p running-lemacs x-color-display-p] 1] eif-init-color #[nil "!!!!!!! \n\" \" \"\"\"\"\"\"\"\"\"\"\"\"\" \"\"\"\"\"\"\"\"\"\"\"\"\"!\"\"! @=? \" " [make-face eif-comment eif-hidden-comment eif-major-keyword eif-minor-keyword eif-quoted-feature eif-assertion eif-string eif-supports-color-p eif-set-foreground eif-comment-color eif-set-font eif-comment-font eif-hidden-comment-color eif-hidden-comment-font eif-quoted-feature-color eif-quoted-feature-font eif-major-keyword-color eif-major-keyword-font eif-minor-keyword-color eif-minor-keyword-font eif-assertion-keyword-color eif-assertion-keyword-font eif-string-color eif-string-font default-foreground-color featurep font-lock copy-face font-lock-comment-face font-lock-string-face hilit19 hilit-predefined-face-list append (eif-comment eif-hidden-comment eif-major-keyword eif-minor-keyword eif-quoted-feature eif-assertion eif-string)] 3 "Reset the Eiffel fonts and faces from the values of their repective variables"] copy-face eif-comment font-lock-comment-face eif-string font-lock-string-face purecopy (("\\(^[ ]*\\|[ ]+\\)creation\\|^deferred[ ]+class\\|^expanded[ ]+class\\|^class\\|^feature\\|^indexing\\|\\(^[ ]*\\|[ ]+\\)inherit\\|^obsolete" 0 eif-major-keyword nil) ("\\(^\\|[^_\n]\\<\\)\\(check\\|ensure then\\|ensure\\|invariant\\|require else\\|require\\|variant\\)\\($\\|\\>[^_\n]\\)" 2 eif-assertion nil) ("\\(^\\|[^_\n]\\<\\)\\(alias\\|all\\|and not\\|and then\\|and\\|as\\|debug\\|deferred\\|do\\|else\\|elseif\\|end\\|export\\|external\\|from\\|frozen\\|if not\\|if\\|implies not\\|implies\\|infix\\|inspect\\|is deferred\\|is\\|like\\|local\\|loop\\|not\\|obsolete\\|old\\|once\\|or else\\|or not\\|or\\|prefix\\|redefine\\|rename\\|rescue\\|retry\\|select\\|strip\\|then\\|undefine\\|until\\|when\\|xor\\)\\($\\|\\>[^_\n]\\)" 2 eif-minor-keyword nil) ("--|.*" 0 eif-hidden-comment t) ("`[^`']*'" 0 eif-quoted-feature t)) eiffel-font-lock-keywords "Regular expressions to use with font-lock mode." (("^system\\|^default\\|^root\\|^cluster\\|^external\\|[ \n]end\\($\\|\\>[^_\n]\\)" 0 eif-major-keyword nil) ("--|.*" 0 eif-hidden-comment t) ("`[^`']*'" 0 eif-quoted-feature t)) ace-font-lock-keywords "Ace regular expressions to use with font-lock mode." eiffel-mode-hilit (("--|.*" nil eif-hidden-comment 4) ("--[^\n|].*\\|--$" nil eif-comment 3) ("`[^`']*'" nil eif-quoted-feature 5) ("^creation\\|^deferred[ ]*class\\|^expanded[ ]*class\\|^class\\|^feature\\|^indexing\\|^inherit\\|^obsolete" nil eif-major-keyword 1) ("\\(^\\|[^_\n]\\<\\)\\(alias\\|all\\|and not\\|and then\\|and\\|as\\|debug\\|deferred\\|do\\|else\\|elseif\\|end\\|export\\|external\\|from\\|frozen\\|if not\\|if\\|implies not\\|implies\\|infix\\|inspect\\|is deferred\\|is\\|like\\|local\\|loop\\|not\\|obsolete\\|old\\|once\\|or else\\|or not\\|or\\|prefix\\|redefine\\|rename\\|rescue\\|retry\\|select\\|strip\\|then\\|undefine\\|until\\|when\\|xor\\)\\($\\|\\>[^_\n]\\)" nil eif-minor-keyword 0 2) ("\\(^\\|[^_\n]\\<\\)\\(check\\|ensure then\\|ensure\\|invariant\\|require else\\|require\\|variant\\)\\($\\|\\>[^_\n]\\)" nil eif-assertion 2 2) ("\\(\"\"\\)\\|\\(\"\\([^\"%]\\|%.\\|%\n\\)+\"\\)" nil eif-string 2)) hilit::mode-list-update "Eiffel" ace-mode-hilit (("--|.*" nil eif-hidden-comment 2) ("--[^\n|].*\\|--$" nil eif-comment 1) ("`[^`']*'" nil eif-quoted-feature) ("^system\\|^default\\|^root\\|^cluster\\|^external\\|[ \n]end\\($\\|\\>[^_\n]\\)" nil eif-major-keyword)) "Ace" hilit-set-mode-patterns eiffel-mode (("--|.*" nil eif-hidden-comment) ("--[^\n|].*\\|--$" nil eif-comment) ("`[^`']*'" nil eif-quoted-feature) ("^creation\\|^deferred[ ]*class\\|^expanded[ ]*class\\|^class\\|^feature\\|^indexing\\|^inherit\\|^obsolete" nil eif-major-keyword) ("\\(^\\|[^_\n]\\<\\)\\(alias\\|all\\|and not\\|and then\\|and\\|as\\|debug\\|deferred\\|do\\|else\\|elseif\\|end\\|export\\|external\\|from\\|frozen\\|if not\\|if\\|implies not\\|implies\\|infix\\|inspect\\|is deferred\\|is\\|like\\|local\\|loop\\|not\\|obsolete\\|old\\|once\\|or else\\|or not\\|or\\|prefix\\|redefine\\|rename\\|rescue\\|retry\\|select\\|strip\\|then\\|undefine\\|until\\|when\\|xor\\)\\($\\|\\>[^_\n]\\)" 2 eif-minor-keyword) ("\\(^\\|[^_\n]\\<\\)\\(check\\|ensure then\\|ensure\\|invariant\\|require else\\|require\\|variant\\)\\($\\|\\>[^_\n]\\)" 2 eif-assertion) ("\\(\"\"\\)\\|\\(\"\\([^\"%]\\|%.\\|%\n\\)+\"\\)" eif-string)) ace-mode (("--|.*" nil eif-hidden-comment) ("--[^\n|].*\\|--$" nil eif-comment) ("`[^`']*'" nil italic) ("^system\\|^default\\|^root\\|^cluster\\|^external\\|[ \n]end\\($\\|\\>[^_\n]\\)" nil eif-major-keyword))] 4) (fset 'eif-class-level-kw-indent-m '(macro . #[nil "" [(+ (* eif-class-level-kw-indent eif-indent-increment) eif-extra-class-level-kw-indent)] 1 "\ Indentation amount for Class level keywords (in number of spaces)."])) (fset 'eif-class-level-comment-indent-m '(macro . #[nil "" [(+ (* eif-class-level-comment-indent eif-indent-increment) eif-extra-class-level-comment-indent)] 1 "\ Indentation amount for Class level comments (in number of spaces)."])) (fset 'eif-inherit-level-kw-indent-m '(macro . #[nil "" [(+ (* eif-inherit-level-kw-indent eif-indent-increment) eif-extra-inherit-level-kw-indent)] 1 "\ Indentation amount for Inherit level keywords (in number of spaces)."])) (fset 'eif-feature-level-indent-m '(macro . #[nil "" [(+ (* eif-feature-level-indent eif-indent-increment) eif-extra-feature-level-indent)] 1 "\ Indentation amount for features (in number of spaces)."])) (fset 'eif-feature-level-kw-indent-m '(macro . #[nil "" [(+ (* eif-feature-level-kw-indent eif-indent-increment) eif-extra-feature-level-kw-indent)] 1 "\ Indentation amount for Feature level keywords (in number of spaces)."])) (fset 'eif-body-comment-indent-m '(macro . #[nil "" [(+ (* eif-body-comment-indent eif-indent-increment) eif-extra-body-comment-indent)] 1 "\ Indentation amount for comments in routine bodies (in number of spaces)."])) (fset 'eif-feature-level-comment-indent-m '(macro . #[nil "" [(+ (* eif-feature-level-comment-indent eif-indent-increment) eif-extra-feature-level-comment-indent)] 1 "\ Indentation amount for Feature level comments (in number of spaces)."])) (fset 'eif-check-keyword-indent-m '(macro . #[nil "" [(+ (* eif-check-keyword-indent eif-indent-increment) eif-extra-check-keyword-indent)] 1 "\ Indentation amount for Check keyword (in number of spaces)."])) (fset 'eif-rescue-keyword-indent-m '(macro . #[nil "" [(+ (* eif-rescue-keyword-indent eif-indent-increment) eif-extra-rescue-keyword-indent)] 1 "\ Indentation amount for Rescue keyword (in number of spaces)."])) (fset 'eif-then-indent-m '(macro . #[nil "" [(+ (* eif-then-indent eif-indent-increment) eif-extra-then-indent)] 1 "\ Indentation amount for `then' appearing on a line by itself (in number of spaces)."])) (fset 'eif-continuation-indent-m '(macro . #[nil "" [(+ (* eif-continuation-indent eif-indent-increment) eif-extra-continuation-indent)] 1 "\ Indentation amount for a statement continuation line (in number of spaces)."])) (defvar eif-all-keywords-regexp "\\(indexing\\|class\\|inherit\\|creation\\|feature\\|invariant\\|rename\\|redefine\\|undefine\\|select\\|export\\|require\\|local\\|deferred\\|do\\|once\\|ensure\\|alias\\|external\\|check\\|rescue\\|debug\\|if\\|inspect\\|from\\|else\\|elseif\\|when\\|until\\|variant\\|loop\\|then\\|obsolete\\|end\\)[^a-z0-9_]" "\ Regular Expression to identify the presence of any eiffel keyword in a line. Does not include `is'.") (defvar eif-class-level-keywords "\\(indexing\\|class\\|deferred[ ]*class\\|expanded[ ]*class\\|inherit\\|creation\\|feature\\)[^a-z0-9_]" "\ Those keywords introducing class-level clauses. Note that `invariant' and `obsolete' are not included here since can function as more than one type of keyword. ") (defvar eif-inherit-level-keywords "\\(rename\\|redefine\\|undefine\\|select\\|export\\)" "\ Those keywords which introduce subclauses of the inherit clause.") (defvar eif-feature-level-keywords "\\(require\\|local\\|deferred\\|do\\|once\\|ensure\\|alias\\|external\\)[^a-z0-9_]" "\ Those keywords which are internal to features (in particular, routines).") (defvar eif-end-keyword "end" "\ The `end' keyword.") (defvar eif-end-keyword-regexp "[^a-z0-9_]end[^a-z0-9_]" "\ The `end' keyword with context.") (defvar eif-end-matching-keywords "\\(check\\|class\\|debug\\|feature\\|rename\\|redefine\\|undefine\\|select\\|export\\|do\\|once\\|deferred\\|external\\|alias\\|if\\|inspect\\|from\\|debug\\)[^a-z0-9_]" "\ Those keywords whose clause is terminated by an `end' keyword.") (defvar eif-control-flow-keywords "\\(if\\|inspect\\|from\\|debug\\)" "\ Keywords which introduce control-flow constructs.") (defvar eif-control-flow-matching-keywords "\\(deferred\\|do\\|once\\|if\\|inspect\\|from\\|debug\\)[^a-z0-9_]" "\ Keywords whose occurance prior to a control-flow-keyword causes the indentation of the control-flow-keyword. Note that technically, `end' is part of this list but it is handled separately in the functions: eif-matching-indent and eif-matching-kw.") (defvar eif-check-keyword "check" "\ The `check' keyword.") (defvar eif-check-keywords "\\(check\\)[^a-z0-9_]" "\ The `check' keyword (with trailing context).") (defvar eif-check-matching-keywords "\\(deferred\\|do\\|once\\|if\\|inspect\\|from\\|debug\\)[^a-z0-9_]" "\ Keywords whose occurance prior to a check-keyword causes the indentation of the check-keyword. Note that technically, `end' is part of this list but it is handled separately in the functions: eif-matching-indent and eif-matching-kw. (see also eif-control-flow-matching-keywords)") (defvar eif-rescue-keyword "rescue" "\ The `rescue' keyword.") (defvar eif-obsolete-keyword "obsolete" "\ The `obsolete' keyword.") (defvar eif-rescue-keywords "\\(rescue\\)[^a-z0-9_]" "\ The `rescue' keyword (with trailing context).") (defvar eif-rescue-matching-keywords "\\(deferred\\|do\\|once\\)[^a-z0-9_]" "\ Keywords whose occurance prior to a rescue-keyword causes the indentation of the rescue-keyword. Note that technically, `end' is part of this list but it is handled separately in the functions: eif-matching-indent and eif-matching-kw. (see also eif-control-flow-matching-keywords)") (defvar eif-from-level-keywords "\\(until\\|variant\\|loop\\)[^a-z0-9_]" "\ Keywords occuring inside of a from clause.") (defvar eif-from-keyword "from" "\ The keyword `from'.") (defvar eif-if-or-inspect-level-keywords "\\(elseif\\|else\\|when\\)[^a-z0-9_]" "\ Keywords occuring inside of an if or inspect clause.") (defvar eif-if-or-inspect-keyword "\\(if\\|inspect\\)[^a-z0-9_]" "\ The `if' or `inspect' keywords.") (defvar eif-then-keyword ".*[ )]then[ ]*$" "\ The keyword `then' with possible leading text.") (defvar eif-solitary-then-keyword "then" "\ The keyword `then'.") (defvar eif-then-matching-keywords "\\(if\\|elseif\\|when\\)" "\ Keywords whose occurance prior to a then-keyword sets the indentation of the then-keyword. Note that technically, `end' is part of this list but it is handled separately in the functions: eif-matching-indent and eif-matching-kw. (see also eif-control-flow-matching-keywords)") (defvar eif-invariant-keyword "invariant" "\ The `invariant' keyword.") (defvar eif-invariant-matching-keywords "\\(from\\|feature\\)" "\ Keywords whose occurance prior to an invariant-keyword causes the indentation of the invariant-keyword. Note that technically, `end' is part of this list but it is handled separately in the functions: eif-matching-indent and eif-matching-kw. (see also eif-control-flow-matching-keywords)") (defvar eif-obsolete-matching-keywords "\\(is\\|class\\)" "\ Keywords whose occurance prior to an obsolete-keyword causes the indentation of the obsolete-keyword.") (defvar eif-white-space-regexp "[ ]*" "\ RE to locate whitespace.") (defvar eif-comment-line-regexp "[ ]*\\(--.*\\)$" "\ RE to match a line with a comment on it.") (defvar eif-non-source-line "[ ]*\\(--.*\\)?$" "\ RE to match a line with a only a comment or whitespace.") (defvar eif-variable-or-const-regexp "[^()]*:[^=].*" "\ RE to match a variable or constant declaration.") (defvar eif-indentation-keywords-regexp "\\(indexing\\|class\\|check\\|rescue\\|inherit\\|creation\\|feature\\|invariant\\|rename\\|redefine\\|undefine\\|select\\|export\\|require\\|local\\|deferred\\|do\\|once\\|ensure\\|alias\\|external\\|if\\|inspect\\|from\\|debug\\|else\\|elseif\\|when\\|until\\|variant\\|invariant\\|loop\\|obsolete\\)[^a-z0-9_]" "\ RE to identify the presence of any eiffel keyword triggering indentation") (defvar eif-feature-indentation-keywords-regexp "\\(creation\\|feature\\)[^a-z0-9_]" "\ Keywords which denote the presence of features following them.") (defvar eif-is-keyword-regexp "\\(.*[ )]\\)?is[ ]*\\(--.*\\)?$" "\ The `is' keyword (with some context).") (defvar eif-multiline-routine-is-keyword-regexp ".*([^)]*)\\([ \n]*\\|[ \n]*:[][ \nA-Za-x0-9_,]*\\)is[ ]*\\(--.*\\)?$" "\ The `is' keyword (with some context).") (defvar eif-operator-regexp "[ ]*\\([@*/+]\\|-[^-]\\|and[ (]\\|or[ (]\\)" "\ Eiffel operators - used to identify continuation lines") (defvar eif-operator-eol-regexp ".**\\([@*/+-]\\|and\\|or\\|:=\\)[ ]*$" "\ Eiffel operators - used to identify continuation lines") (defvar eif-matching-indent -1 "\ The indentation of the keyword found on the last call to eif-matching-kw. -1 if no match was found.") (byte-code "!‡" [boundp eif-matching-kw-for-end nil] 2) (fset 'eif-calc-indent #[nil "`y # ! !!_\\!_\\!_\\!!\"_\\U_\\Z_\\X`dWu!!m!!_\\_\\)\"!#! \"\\$!%! \"&_'\\\\&_'\\\\\\(!)! \"*_+\\\\,!-!\"Z.!/!\"Z0!1!2_3\\\\4!6!\"_\\7!9!\"_\\_\\ V Vy=!!!y!!`U!yl@ A `y #`U B_C\\D!E!7! F_G\\_\\H!_\\I!J \\0!J \\2_3\\ZK!J !J _\\U_\\L MN\"&_'\\ZO! J _\\UF_G\\P_Q\\\\R\n!J  ! S J ZJ P_Q\\\\y T!S J J U_V\\\\S J ZJ )." [0 nil id-colon continuation kw-match originally-looking-at-comment line-end indent re-search-forward eif-white-space-regexp t looking-at eif-comment-line-regexp eif-all-keywords-regexp eif-class-level-keywords eif-class-level-kw-indent eif-indent-increment eif-extra-class-level-kw-indent eif-inherit-level-keywords eif-inherit-level-kw-indent eif-extra-inherit-level-kw-indent eif-feature-level-keywords eif-feature-level-kw-indent eif-extra-feature-level-kw-indent eif-end-keyword string-match "end" eif-matching-kw eif-end-matching-keywords eif-matching-indent eif-feature-level-indent eif-extra-feature-level-indent 1 eif-non-source-line eif-control-flow-keywords eif-control-flow-matching-keywords eif-check-keywords eif-check-matching-keywords eif-check-keyword-indent eif-extra-check-keyword-indent eif-rescue-keywords eif-rescue-matching-keywords eif-rescue-keyword-indent eif-extra-rescue-keyword-indent eif-from-level-keywords eif-from-keyword eif-if-or-inspect-level-keywords eif-if-or-inspect-keyword eif-solitary-then-keyword eif-then-matching-keywords eif-then-indent eif-extra-then-indent eif-invariant-keyword "from" eif-invariant-matching-keywords eif-obsolete-keyword "is" eif-obsolete-matching-keywords eif-in-paren-expression eif-indent-multi-line -1 eif-operator-regexp "[ ]*[a-zA-Z0-9_]+[ ]*:" previous-line eif-line-contains-close-paren backward-sexp eif-class-level-comment-indent eif-extra-class-level-comment-indent eif-is-keyword-regexp eif-multiline-routine-is-keyword-regexp eif-feature-level-comment-indent eif-extra-feature-level-comment-indent eif-feature-indentation-keywords-regexp eif-indentation-keywords-regexp eif-current-line-indent eif-then-keyword eif-matching-line eif-check-keyword eif-matching-kw-for-end eif-variable-or-const-regexp eif-body-comment-indent eif-extra-body-comment-indent eif-indent-assertion-continuation eif-continuation-line eif-operator-eol-regexp eif-continuation-indent eif-extra-continuation-indent] 6 "\ Calculate the indentation the current line of eiffel code. This function generally assumes that the preceding line of code is indented properly although lines containing certain class-level constructs do not require correct indentation of the preceding line."]) (fset 'eif-continuation-line #[nil " !!y !)" [looking-at eif-operator-regexp previous-line 1 0 eif-operator-eol-regexp] 2]) (fset 'eif-indent-assertion-continuation #[(id-colon) "`\n Q#!`) ?#˕bi))" [limit re-search-backward eif-feature-level-keywords "\\|" eif-end-keyword-regexp nil t looking-at "ensure\\|require" id-colon ": *" 0] 4 "\ Are we inside a pre or a post condition clause on a line that is a continuation of a multi-line assertion beginning with a tag. If so, return the indentation of the continuation line."]) (fset 'eif-matching-indent #[(matching-keyword-regexp) " R# t p!! \" _\\Z !," ["[^a-z0-9A-Z_]" eif-end-keyword "[^a-z0-9A-Z_]\\|[^a-z0-9A-Z_]" matching-keyword-regexp 0 t continue indent search-regexp re-search-backward 1 eif-in-quoted-string-p eif-in-comment-p looking-at eif-end-keyword-regexp eif-matching-line string-match eif-check-keyword eif-matching-kw-for-end eif-current-line-indent eif-check-keyword-indent eif-indent-increment eif-extra-check-keyword-indent message "No matching indent keyword was found"] 4 "\ Search backward from the point looking for one of the keywords in the MATCHING-KEYWORD-REGEXP. Return the indentation of the keyword found. If an `end' keyword occurs prior to finding one of the keywords in MATCHING-KEYWORD-REGEXP and it terminates a check clause, return the indentation of the `end' minus the value of eif-check-keyword-indent."]) (fset 'eif-matching-kw #[(matching-keyword-regexp) " R# t p!͔͕{! \" _\\Z ! +" ["[^a-z0-9A-Z_.]" eif-end-keyword "[^a-z0-9A-Z_.]\\|[^a-z0-9A-Z_.]" matching-keyword-regexp "" keyword search-regexp re-search-backward 1 t eif-in-quoted-string-p eif-in-comment-p looking-at 0 eif-end-keyword-regexp eif-matching-line string-match eif-check-keyword eif-matching-kw-for-end eif-current-line-indent eif-check-keyword-indent eif-indent-increment eif-extra-check-keyword-indent eif-matching-indent message "No matching indent keyword was found"] 4 "\ Search backward from the point looking for one of the keywords in the MATCHING-KEYWORD-REGEXP. Return the keyword found. Also set the value of eif-matching-indent to the indentation of the keyword found. If an `end' keyword occurs prior to finding one of the keywords in MATCHING-KEYWORD-REGEXP and it terminates a check clause, set the value of eif-matching-indent to the indentation of the `end' minus the value of eif-check-keyword-indent."]) (fset 'eif-current-line-indent #[nil "`y \n#i+" [0 indent line-end nil re-search-forward eif-white-space-regexp t] 4 "\ Return the indentation of the line containing the point."]) (fset 'eif-line-contains-close-paren #[nil "y` #uŪy)" [0 search-min nil search-backward ")" t 1] 4 "\ This function returns t if the current line contains a close paren and nil otherwise. If a close paren is found, the point is placed immediately after the last close paren on the line. If no paren is found, the point is placed at the beginning of the line."]) (fset 'eif-in-quoted-string-p #[(&optional non-strict-p) "` y!`)y`) \n#` uuЊ`)#` Y X-" [nil front search-limit initial-regexp pt non-strict-p "\\(%\n[ ]*\\|\"\\)" 0 backward-char 2 "\\(^[ ]*%\\|\"\\)" re-search-backward t 3 1 re-search-forward "\\(%$\\|\"\\)"] 4 "\ t if point is in a quoted string. Optional argument NON-STRICT-P if true causes the function to return true even if the point is located in leading white space on a continuation line. Normally leading white space is not considered part of the string."]) (defvar eif-opening-regexp "\\<\\(external\\|check\\|deferred\\|do\\|once\\|from\\|if\\|inspect\\)\\>" "\ Keywords that open eiffel nesting constructs.") (defvar eif-closing-regexp "\\" "\ Keywords that close eiffel nesting constructs.") (defvar eif-do-regexp "\\" "\ Keyword that opens eiffel routine body.") (defvar eif-opening-or-closing-regexp (concat "\\(" eif-opening-regexp "\\|" eif-closing-regexp "\\)") "\ Keywords that open or close eiffel nesting constructs.") (fset 'eif-matching-line #[(&optional return-line-break direction) " ʎ\"``y= =y # b  {Bby# b   U V#b׉ bW#b׉ `!  V! {Bb U {!b!\"b A!y T !  VA!b{B S @@PP!\nb `*!." [0 nil start-point success match-end match-start opening-keyword search-end matching-point nesting-level ((modify-syntax-entry 95 "_ ")) modify-syntax-entry 95 "w " "" eif-matching-kw-for-end direction forward 1 backward -1 re-search-forward eif-opening-regexp t eif-in-quoted-string-p eif-in-comment-p eif-closing-regexp eif-opening-or-closing-regexp re-search-backward looking-at eif-do-regexp "[ \n]+" eif-matching-line return-line-break message "Could not find match" " for: " set-mark] 9 "\ Return the character position of the keyword matching the eiffel keyword on the current line. (e.g. a line containing the keyword 'do' is matched by a line containing the keyword 'end' and a line containing 'end' may be matched by a number of opening keywords. If the optional parameter 'return-line-break' is not nil, the character position returned is the beginning (or end) of the line containing the matching keyword instead of the position of the keyword itself. If the second optional parameter, direction, is non-null, the current line is not searched for a keyword. Instead, if the value of direction is 'forward, the function acts as if an eif-opening-regexp is on the current line. If the value of direction is 'backward, the function acts as if a eif-closing-regexp is on the current line. The effect of using the direction parameter is to locate either the opening or closing keyword of the syntactic construct containing the point."]) (fset 'eif-indent-construct #[nil "`dUu\"b\"` W !yo*" [0 end-point nil 1 eif-matching-line t backward forward eif-indent-line next-line] 3 "\ Indents an entire eiffel syntactic construct. It is assumed that the point is within a nesting construct ('do', `once', 'check', 'if', 'from', or 'inspect'). The whole construct is indented up to the matching end. If the point is not within such a construct, then only that line is indented" nil]) (fset 'eif-indent-region #[nil "  b`\nW !yo+" [region-beginning region-end end-point start-point eif-indent-line next-line 1 0] 2 "\ Indents the lines in the current region" nil]) (fset 'eif-forward-sexp #[nil "! \"b" [looking-at "[[(]" forward-sexp eif-matching-line nil forward] 3 "\ Place the cursor on the line which closes the current opening syntactic construct. For example if the point is on `from', executing eif-forward-sexp places the point on the matching `end'. This also does matching of parens ala forward-sexp." nil]) (fset 'eif-backward-sexp #[nil "!!) \"b" [backward-char 1 looking-at "[])]" backward-sexp eif-matching-line nil backward] 3 "\ Place the cursor on the line which opens the current closing syntactic construct. For example if the point is on the terminating `end' of an `if' statement, executing eif-backward-sexp places the point on the opening `if'. This also does matching of parens ala backward-sexp." nil]) (fset 'eif-local-indent #[(amount) "!\n" [make-local-variable eif-indent-increment amount] 2 "\ Set the value of eif-indent-increment to amount and make the change local to this buffer." "NNumber of spaces for eif-indent-increment: "]) (fset 'eif-feature-quote #[nil " c c)!u" [backward-sexp "`" forward-sexp "'" looking-at 1] 2 "\ Put a `' around the current feature name" nil]) (byte-code "!\"" [boundp eiffel-mode-abbrev-table nil define-abbrev-table] 3) (defvar eiffel-mode-map nil "\ Keymap for Eiffel mode.") (defvar eiffel-mode-syntax-table nil "\ Syntax table in use in Eiffel-mode buffers.") (byte-code "  W # TpW # TpW # TpW # Tp # # # # # # # # # # # # # # # # # # # # # # # # # # # # # *7 77#7#7#7@A#7BC#" [eiffel-mode-syntax-table make-syntax-table 0 i table 48 modify-syntax-entry "_ " 58 65 91 97 123 128 32 " " 45 ". 12" 95 "_ " 9 10 "> " 12 34 "\" " 92 "\\ " 40 "() " 41 ")( " "(] " 93 ")[ " "(} " 125 "){ " 39 "\"" 96 "." 47 42 43 61 37 "\\" 60 62 38 124 59 33 46 eiffel-mode-map make-sparse-keymap define-key " " eif-indent-line " " eif-newline "" backward-delete-char-untabify "" eif-indent-construct "" eif-feature-quote] 5) (fset 'eiffel-mode #[nil " !!!\n " [eiffel-mode major-mode "Eiffel" mode-name use-local-map eiffel-mode-map set-syntax-table eiffel-mode-syntax-table run-hooks eiffel-mode-hook eiffel-mode-abbrev-table local-abbrev-table] 2 "\ Major mode for editing Eiffel programs." nil]) (fset 'eif-in-comment-p #[nil "`dUuŠy`)#)" [1 search-backward "--" 0 t] 4 "\ t if point is in a comment."]) (fset 'eif-newline #[nil " c " [eif-indent-line "\n"] 1 "\ Indent the current line, insert a newline, and place the point at the correctly indented position on the next line." nil]) (fset 'eif-indent-line #[nil "y j)w" [0 delete-horizontal-space eif-calc-indent " " nil] 2 "\ Indent the current line as Eiffel code." nil]) (fset 'eif-beginning-of-feature #[(&optional arg) "Wu $$!!!yŇ" [arg 0 1 re-search-backward eif-multiline-routine-is-keyword-regexp nil t eif-is-keyword-regexp move backward-sexp looking-at "(" backward-word] 5 "\ Move backward to next feature beginning. With argument, do this that many times. Returns t unless search stops due to beginning of buffer." "p"]) (fset 'eif-move-to-prev-non-blank #[nil "y#" [0 re-search-backward "^[ ]*[^ \n]" nil t] 4 "\ Moves point to previous line excluding blank lines. Returns t if successful, nil if not."]) (fset 'eif-in-paren-expression #[nil "#! To Sj) )" [0 paren-count re-search-backward "[][()]" nil t looking-at "[[(]"] 4 "\ Determine if we are inside of a parenthesized expression" nil]) (fset 'eif-indent-multi-line #[(&optional parse-start) "`y`‰ \n    b ` W` #pVМќTb Y `VT  #A@)= Tb ` $!y`) V by` $ i\n֜  b #iT\n b! wi\n)V\n. " [0 -1 nil t containing-sexp last-sexp state retry eif-paren-depth eif-in-str eif-ind-val indent-point eif-opoint parse-start eif-beginning-of-feature parse-partial-sexp 2 1 peek looking-at "\\s(" backward-prefix-chars 3 re-search-backward "\"" "^[ ]*[^ \n]" eif-move-to-prev-non-blank " "] 10 "\ Return integer giving appropriate indentation for current Eiffel code line between parentheses or double quotes, otherwise -1. Optional PARSE-START is buffer position at which to begin parsing, default is to begin at the feature enclosing or preceding point."]) (provide 'eiffel3)