File: oracle-lexicon.txt

package info (click to toggle)
acl2 8.5dfsg-5
  • links: PTS
  • area: main
  • in suites: bookworm
  • size: 991,452 kB
  • sloc: lisp: 15,567,759; javascript: 22,820; cpp: 13,929; ansic: 12,092; perl: 7,150; java: 4,405; xml: 3,884; makefile: 3,507; sh: 3,187; ruby: 2,633; ml: 763; python: 746; yacc: 723; awk: 295; csh: 186; php: 171; lex: 154; tcl: 49; asm: 23; haskell: 17
file content (94 lines) | stat: -rw-r--r-- 2,056 bytes parent folder | download | duplicates (8)
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
[0123456789]+ :class <integer>
[a-zA-Z][a-zA-Z0-9]* :class <IDENTIFIER>
this :class <THIS>
super :class <SUPER>
new :class <NEW>
void :class <VOID>
class :class <CLASS>
import :class <IMPORT>
static :class <STATIC>
enum :class <ENUM>
NOTIMPLEMENTED :class NOTIMPLEMENTED
byte :class <BYTE>
short :class <SHORT>
char :class <CHAR>
int :class <INT>
long :class <LONG>
float :class <FLOAT>
double :class <DOUBLE>
boolean :class <BOOLEAN>
public :class <PUBLIC>
protected :class <PROTECTED>
private :class <PRIVATE>
static :class <STATIC>
abstract :class <ABSTRACT>
final :class <FINAL>
native :class <NATIVE>
synchronized :class <SYNCHRONIZED>
transient :class <TRANSIENT>
volatile :class <VOLATILE>
strictfp :class <STRICTFP>
if :class <IF>
else :class <ELSE>
for :class <FOR>
while :class <WHILE>
switch :class <SWITCH>
assert :class <ASSERT>
do :class <DO>
break :class <BREAK>
continue :class <CONTINUE>
return :class <RETURN>
throw :class <THROW>
try :class <TRY>
catch :class <CATCH>
finally :class <FINALLY>
case :class <CASE>
default :class <DEFAULT>
instanceof :class <INSTANCEOF>
\( :class <LPAREN>
\) :class <RPAREN>
{ :class <LBRACK>
} :class <RBRACK>
\. :class <PERIOD>
, :class <COMMA>
; :class <SEMICOLON>
\+\+ :class <PLUSPLUS>
\-\- :class <MINUSMINUS>
! :class <BANG>
~ :class <TILDE>
\+ :class <PLUS>
\- :class <MINUS>
|| :class <DOUBLEVERTICALBAR>
&& :class <DOUBLEAMPERSTAND>
| :class <VERTICALBAR>
& :class <AMPERSTAND>
^ :class <CARROT>
== :class <DOUBLEEQUAL>
!= :class <NOTEQUAL>
< :class <LT>
> :class <GT>
<= :class <LTE>
>= :class <GTE>
<< :class <LTLT>
>> :class <GTGT>
>>> :class <GTGTGT>
\* :class <STAR>
/ :class <FORWARDSLASH>
% :class <PERCENT>
: :class <COLON>
\? :class <QUESTION>
= :class <EQUAL>
+= :class <PLUSEQUAL>
-= :class <MINUSEQUAL>
\*= :class <STAREQUAL>
/= :class <FORWARDSLASHEQUAL>
&= :class <AMPERSTANDEQUAL>
\|= :class <VERTICALBAREQUAL>
\^= :class <CARROTEQUAL>
%= :class <PERCENTEQUAL>
<<= :class <LTLTEQUAL>
>>= :class <GTGTEQUAL>
>>>= :class <GTGTGTEQUAL>
@ :class <AT>
\[ :class <LSQB>
\] :class <RSQB>