Cross Reference: /hets/utils/el/dol-mode.el

Lines Matching defs:syntax
38 (defvar dol-mode-syntax-table nil
41 (if dol-mode-syntax-table
43   (let ((table (make-syntax-table)))
45     (modify-syntax-entry ?_ "w" table)
46     (modify-syntax-entry ?\t " " table)
47     (modify-syntax-entry ?\" "\"" table)
48     (modify-syntax-entry ?\' "\'" table)
51 	      (modify-syntax-entry x "_" table))
57 	   (modify-syntax-entry ?( "()" table)
58 	   (modify-syntax-entry ?) ")(" table)
59 	   (modify-syntax-entry ?{ "(}2" table)
60 	   (modify-syntax-entry ?} "){3" table)
61 	   (modify-syntax-entry ?[  "(]2" table)
62 	   (modify-syntax-entry ?]  ")[3" table)
63 	   (modify-syntax-entry ?%  "_ 14" table))
66 	   (modify-syntax-entry ?\( "()" table)
67 	   (modify-syntax-entry ?\) ")(" table)
68 	   (modify-syntax-entry ?{ "(} 2n" table)
69 	   (modify-syntax-entry ?} "){ 3n" table)
70 	   (modify-syntax-entry ?% ". 14nb" table)
71 	   (modify-syntax-entry ?\[ "(] 2n" table)
72 	   (modify-syntax-entry ?\] ")[ 3n" table))
74     (setq dol-mode-syntax-table table))
183    '("\\(\\<\\|\\s-+\\)\\(/\\\\\\|\\\\/\\|=>\\|<=>\\|and\\|arch\\|assoc\\|behaviourally\\|closed\\|comm\\|else\\|end\\|exists\\|fit\\|flexible\\|forall\\|free\\|generated\\|given\\|idem\\|if\\|local\\|modality\\|not\\|orElse\\|unit\\|when\\|alignment\\|along\\|assuming\\|and\\|closed-world\\|cofree\\|combine\\|cons-ext\\|end\\|entails\\|entailment\\|equivalence\\|excluding\\|extract\\|free\\|hide\\|import\\|in\\|for\\|forget\\|interpretation\\|keep\\|language\\|library\\|logic\\|maximize\\|model\\|minimize\\|network\\|ni\\|of\\|oms\\|onto\\|ontology\\|refined\\|refinement\\|reject\\|relation\\|remove\\|result\\|reveal\\|select\\|separators\\|serialization\\|spec\\|specification\\|substitution\\|syntax\\|then\\|to\\|translation\\|using\\|vars\\|via\\|view\\|where\\|with\\|cons\\|ccons\\|complete\\|consistent\\|def\\|implied\\|inconsistent\\|mcons\\|mono\\|notccons\\|notmcons\\|prefix\\|wdef\\|within\\|\\(\\(op\\|pred\\|var\\|type\\|sort\\)s?\\)\\)[,;]?[ \t\n]"
260 ;; (defvar dol-font-lock-syntax-highligthing dol-font-lock-keywords
261 (defvar dol-font-lock-syntax-highligthing (symbol-value 'dol-font-lock-string)
262   "Default syntax highlighting level in DOL mode")
503   ;; Load syntax table
504   (set-syntax-table dol-mode-syntax-table)
505   ;; (dol-create-syntax-table)
509 	'(dol-font-lock-syntax-highligthing))