about summary refs log tree commit diff homepage
path: root/utils/emacs
diff options
context:
space:
mode:
authorDaniel Dunbar <daniel@zuster.org>2009-06-14 19:40:25 +0000
committerDaniel Dunbar <daniel@zuster.org>2009-06-14 19:40:25 +0000
commitc41f2b578c196fc7eba031747c41c3358f338905 (patch)
treea7f026a12b628cd61b68824d1047f27a8e5e368c /utils/emacs
parentec5e3126277550489ca63c034c32828ea42c7a7a (diff)
downloadklee-c41f2b578c196fc7eba031747c41c3358f338905.tar.gz
Fixup syntax coloring for emacs .pc mode.
git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@73344 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'utils/emacs')
-rw-r--r--utils/emacs/klee-pc-mode.el10
1 files changed, 7 insertions, 3 deletions
diff --git a/utils/emacs/klee-pc-mode.el b/utils/emacs/klee-pc-mode.el
index a398adbf..e64758ef 100644
--- a/utils/emacs/klee-pc-mode.el
+++ b/utils/emacs/klee-pc-mode.el
@@ -28,15 +28,19 @@
   (list
    ;; Comments
    '("#.*" . font-lock-comment-face)
+   ;; Keywords
+   '("\\bdef\\b\\|\\bvar\\b\\|\\btrue\\b\\|\\barray\\b\\|\\bfalse\\b\\|\\bquery\\b\\|\\bdefine\\b\\|\\bdeclare\\b\\|\\bsymbolic\\b" . font-lock-keyword-face)
+   ;; Functions
+   '("\\bEq\\b\\|\\bNe\\b\\|\\bOr\\b\\|\\bAdd\\b\\|\\bSub\\b\\|\\bMul\\b\\|\\bAnd\\b\\|\\bShl\\b\\|\\bXor\\b\\|\\bNot\\b\\|\\bNeg\\b\\|\\bUlt\\b\\|\\bUle\\b\\|\\bUgt\\b\\|\\bUge\\b\\|\\bSlt\\b\\|\\bSle\\b\\|\\bSgt\\b\\|\\bSge\\b\\|\\bRead\\b\\|\\bAShr\\b\\|\\bLShr\\b\\|\\bUDiv\\b\\|\\bSDiv\\b\\|\\bURem\\b\\|\\bSRem\\b\\|\\bSExt\\b\\|\\bZExt\\b\\|\\bConcat\\b\\|\\bSelect\\b\\|\\bExtract\\b\\|\\bReadLSB\\b\\|\\bReadMSB\\b" . font-lock-function-name-face)
+   ;; Types
+   '("w[0-9]+" . font-lock-type-face)
    ;; Identifiers
-   '("%[_a-zA-Z][a-zA-Z_.0-9]*" . font-lock-variable-name-face)
+   '("[_a-zA-Z][a-zA-Z_.0-9]*" . font-lock-variable-name-face)
    ;; Numbers
    '("[+-]?0b[01_]+" . font-lock-preprocessor-face)
    '("[+-]?0o[0-7_]+" . font-lock-preprocessor-face)
    '("[+-]?0x[a-zA-Z0-9_]+" . font-lock-preprocessor-face)
    '("[+-]?[0-9]+" . font-lock-preprocessor-face)
-   ;; Keywords
-   '("\\bdef\\b\\|\\bvar\\b\\|\\btrue\\b\\|\\barray\\b\\|\\bfalse\\b\\|\\bquery\\b\\|\\bdefine\\b\\|\\bdeclare\\b" . font-lock-keyword-face)
    )
   "klee-PC mode keywords")