1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 108 109 110 111 112 113
|
%%%
%% Section 3.7: Comments
%%
%% @author Martin Bravenboer <martin@cs.uu.nl>
%%%
module languages/java-15/lexical/Keywords
exports
sorts Keyword
lexical syntax
"abstract" -> Keyword
"assert" -> Keyword
"boolean" -> Keyword
"break" -> Keyword
"byte" -> Keyword
"case" -> Keyword
"catch" -> Keyword
"char" -> Keyword
"class" -> Keyword
"const" -> Keyword
"continue" -> Keyword
"default" -> Keyword
"do" -> Keyword
"double" -> Keyword
"else" -> Keyword
"enum" -> Keyword
"extends" -> Keyword
"final" -> Keyword
"finally" -> Keyword
"float" -> Keyword
"for" -> Keyword
"goto" -> Keyword
"if" -> Keyword
"implements" -> Keyword
"import" -> Keyword
"instanceof" -> Keyword
"int" -> Keyword
"interface" -> Keyword
"long" -> Keyword
"native" -> Keyword
"new" -> Keyword
"package" -> Keyword
"private" -> Keyword
"protected" -> Keyword
"public" -> Keyword
"return" -> Keyword
"short" -> Keyword
"static" -> Keyword
"strictfp" -> Keyword
"super" -> Keyword
"switch" -> Keyword
"synchronized" -> Keyword
"this" -> Keyword
"throw" -> Keyword
"throws" -> Keyword
"transient" -> Keyword
"try" -> Keyword
"void" -> Keyword
"volatile" -> Keyword
"while" -> Keyword
lexical restrictions
"abstract"
"assert"
"boolean"
"break"
"byte"
"case"
"catch"
"char"
"class"
"const"
"continue"
"default"
"do"
"double"
"else"
"enum"
"extends"
"final"
"finally"
"float"
"for"
"goto"
"if"
"implements"
"import"
"instanceof"
"int"
"interface"
"long"
"native"
"new"
"package"
"private"
"protected"
"public"
"return"
"short"
"static"
"strictfp"
"super"
"switch"
"synchronized"
"this"
"throw"
"throws"
"transient"
"try"
"void"
"volatile"
"while" -/- [A-Za-z0-9\_\$]
|