diff options
Diffstat (limited to '')
| -rw-r--r-- | syntax/tptp.vim | 152 |
1 files changed, 152 insertions, 0 deletions
diff --git a/syntax/tptp.vim b/syntax/tptp.vim new file mode 100644 index 00000000..623ec947 --- /dev/null +++ b/syntax/tptp.vim @@ -0,0 +1,152 @@ +if exists('g:polyglot_disabled') && index(g:polyglot_disabled, 'tptp') != -1 + finish +endif + +" Vim syntax file +" Language: TPTP +" Filename extensions: *.p (collides with Pascal/Progress), +" Maintainer: Simon Cruanes (heavily inspired from progress.vim file) +" For version 5.x: Clear all syntax items +" For version 6.x: Quit when a syntax file was already loaded +if version < 600 + syntax clear +"elseif exists("b:current_syntax") +" finish +endif + +if version >= 600 + setlocal iskeyword=@,48-57,_,-,!,#,$,% +else + set iskeyword=@,48-57,_,-,!,#,$,% +endif + +" tabs = evil +set expandtab + +syn case match + +syn keyword tptpRole axiom hypothesis definition assumption lemma theorem corollary conjecture negated_conjecture plain fi_domain fi_functors fi_predicates type unknown +syn keyword tptpLogic fof tff thf cnf include + +syn match tptpBuiltin "$o\>" +syn match tptpBuiltin "$i\>" +syn match tptpBuiltin "$true\>" +syn match tptpBuiltin "$false\>" + +syn match tptpBuiltin "$int\>" +syn match tptpBuiltin "$rat\>" +syn match tptpBuiltin "$real\>" +syn match tptpBuiltin "$tType\>" +syn match tptpBuiltin "$_\>" + +syn match tptpBuiltin "$floor" +syn match tptpBuiltin "$ceiling" +syn match tptpBuiltin "$truncate" +syn match tptpBuiltin "$round" +syn match tptpBuiltin "$prec" +syn match tptpBuiltin "$succ" +syn match tptpBuiltin "$sum" +syn match tptpBuiltin "$difference" +syn match tptpBuiltin "$uminus" +syn match tptpBuiltin "$product" +syn match tptpBuiltin "$quotient" +syn match tptpBuiltin "$quotient_e" +syn match tptpBuiltin "$quotient_t" +syn match tptpBuiltin "$quotient_f" +syn match tptpBuiltin "$remainder_e" +syn match tptpBuiltin "$remainder_t" +syn match tptpBuiltin "$remainder_f" +syn match tptpBuiltin "$is_int" +syn match tptpBuiltin "$is_rat" +syn match tptpBuiltin "$to_int" +syn match tptpBuiltin "$to_rat" +syn match tptpBuiltin "$less" +syn match tptpBuiltin "$lesseq" +syn match tptpBuiltin "$greater" +syn match tptpBuiltin "$greatereq" + +" generic dollar +syn match tptpDollar "\<\$\w+\>" +syn match tptpDollarDollar "\<\$\$\w+\>" + +syn match tptpQuote "'[^']*'" +syn match tptpDoubleQuote "\"[^"]*\"" + +syn match tptpConnective ":" +syn match tptpConnective "|" +syn match tptpConnective "&" +syn match tptpConnective "=" +syn match tptpConnective "=>" +syn match tptpConnective "<=" +syn match tptpConnective "<=>" +syn match tptpConnective "<\~>" +syn match tptpConnective "!" +syn match tptpConnective "?" +syn match tptpConnective "!>" +syn match tptpConnective "!=" +syn match tptpConnective "\~" +syn match tptpConnective "\." +syn match tptpConnective "\*" +syn match tptpConnective ">" + +syn match tptpVar "\<\u\w*\>" + +syn match tptpNum "\<-\?[0-9]\+\>" +syn match tptpNum "\<-\?[0-9]\+/[0-9]\+\>" + +" errors + +"syn match tptpBraceError "\]" +"syn match tptpParenError ")" + +" delimiters + +syn region tptpParen matchgroup=tptpDelim start="(" end=")" contains=ALLBUT,tptpParenError keepend contained +syn region tptpParen matchgroup=tptpDelim start="\[" end="\]" contains=ALLBUT,tptpBraceError keepend contained + +syn keyword tptpTodo contained TODO BUG FIX FIXME NOTE + +syn region tptpComment start=+/\*+ end=+\*/+ contains=tptpTodo +syn match tptpComment +%.*+ contains=tptpTodo + +" Define the default highlighting. +" For version 5.7 and earlier: only when not done already +" For version 5.8 and later: only when an item doesn't have highlighting yet +if version >= 508 || !exists("did_tptp_syntax_inits") + if version < 508 + let did_tptp_syntax_inits = 1 + command -nargs=+ HiLink hi link <args> + else + command -nargs=+ HiLink hi def link <args> + endif + + HiLink tptpTodo Todo + + HiLink tptpComment Comment + HiLink tptpComment Comment + + HiLink tptpRole Keyword + HiLink tptpLogic Keyword + HiLink tptpConnective Keyword + HiLink tptpDelim Delimiter + + HiLink tptpBuiltin Special + + HiLink tptpDollar String + HiLink tptpDollarDollar String + HiLink tptpQuote String + HiLink tptpDoubleQuote String + + HiLink tptpVar Constant + + HiLink tptpNum Number + + HiLink tptpBraceError Error + HiLink tptpParenError Error + + delcommand HiLink +end + +let b:current_syntax = "tptp" + +" vim: ts=8 sw=8 |