-
Notifications
You must be signed in to change notification settings - Fork 0
/
commandline.html
158 lines (142 loc) · 7.55 KB
/
commandline.html
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
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
<!DOCTYPE html>
<html>
<head>
<link rel='shortcut icon' href='favicon.ico' type='image/x-icon'/ >
<title>JavaCC Command Line</title>
<link rel="stylesheet" href="common-styles.css">
<link rel="stylesheet" href="getting-started-styles.css">
<link rel="stylesheet" href="javacc-release-notes-styles.css">
<script src="jquery-1.11.3.min.js"></script>
</head>
<body>
<!--template-->
<div id="alldropdowns">
<div id="logo-container">
<a href="https://javacc.org"><img id="logo" src="https://javacc.org/new-javacc-logo.png"></a>
</div>
<div class="dropdown">
<button onclick="window.location = 'https://javacc.org/download';" class="dropbtn"><div class="drpdntext">DOWNLOAD</div></button>
</div>
<div class="dropdown">
<button onclick="window.location = 'https://javacc.org/doc';" class="dropbtn"><div class="drpdntext">DOCUMENTATION</div></button>
</div>
<div class="dropdown">
<button onclick="window.location = 'https://javacc.org/contact';" class="dropbtn"><div class="drpdntext">CONTACT</div></button>
</div>
</div>
<script src="expand-picture.js"></script>
<script>
(function(i,s,o,g,r,a,m){i['GoogleAnalyticsObject']=r;i[r]=i[r]||function(){
(i[r].q=i[r].q||[]).push(arguments)},i[r].l=1*new Date();a=s.createElement(o),
m=s.getElementsByTagName(o)[0];a.async=1;a.src=g;m.parentNode.insertBefore(a,m)
})(window,document,'script','https://www.google-analytics.com/analytics.js','ga');
ga('create', 'UA-81345115-1', 'auto');
ga('send', 'pageview');
</script>
<br><br><br><br>
<!--end-->
<!--helpbuttons-->
<table id="help-layout">
<tr>
<td id="cell1">
<script src="color-buttons.js"></script>
<div id="button-container">
<div class="help-button"><button id="main-btn" class="thebutton">JavaCC Help</button></div>
<div id="inside-help">
<div class="help-button"><button onclick="window.location = 'https://javacc.org/getting-started';" class="thebutton level1">Getting Started</button></div>
<div class="help-button"><button onclick="window.location = 'https://javacc.org/doc';" class="thebutton level1">Documentation</button></div>
<div class="help-button"><button onclick="window.location = 'https://javacc.org/javacc-release-notes';" class="thebutton level1">JavaCC Release Notes</button></div>
<div class="help-button"><button onclick="window.location = 'https://javacc.org/jjtree-release-notes';" class="thebutton level1">JJTree Release Notes</button></div>
<div class="help-button"><button onclick="window.location = 'https://javacc.org/jjdoc-release-notes';" class="thebutton level1">JJDoc Release Notes</button></div>
<div class="help-button"><button onclick="window.location = 'https://javacc.org/contact';" class="thebutton level1">Mailing List</button></div>
<div class="help-button"><button onclick="showTutorials();" class="thebutton level1">▶ Tutorials</button></div>
<div id="tutorial-buttons">
<div class="help-button"><button onclick="window.location = 'https://javacc.org/tutorials/lookahead';" class="thebutton level1">Lookahead</button></div>
<div class="help-button"><button onclick="window.location = 'https://javacc.org/tutorials/tokenmanager';" class="thebutton level1">Token Manager</button></div>
<div class="help-button"><button onclick="window.location = 'https://javacc.org/tutorials/errorrecovery';" class="thebutton level1">Error Recovery</button></div>
<div class="help-button"><button onclick="window.location = 'https://javacc.org/tutorials/charstream'" class="thebutton level1">Character Stream</button></div>
</div>
</div>
</div>
</td>
<!--end-->
<td id="cell2">
<div class="bottomhalf">
<div id="notes">
<h1>JavaCC™: Command Line Syntax</h1>
<p>
First, you can obtain a synopsis of the command line syntax by simply
typing "javacc". This is what you get:
</p>
<pre>
% javacc
<<<< Version and copyright info>>>
Usage:
javacc option-settings inputfile
"option-settings" is a sequence of settings separated by spaces.
Each option setting must be of one of the following forms:
-optionname=value (e.g., -STATIC=false)
-optionname:value (e.g., -STATIC:false)
-optionname (equivalent to -optionname=true. e.g., -STATIC)
-NOoptionname (equivalent to -optionname=false. e.g., -NOSTATIC)
Option settings are not case-sensitive, so one can say "-nOsTaTiC" instead
of "-NOSTATIC". Option values must be appropriate for the corresponding
option, and must be either an integer, a boolean, or a string value.
The integer valued options are:
LOOKAHEAD (default 1)
CHOICE_AMBIGUITY_CHECK (default 2)
OTHER_AMBIGUITY_CHECK (default 1)
The boolean valued options are:
STATIC (default true)
SUPPORT_CLASS_VISIBILITY_PUBLIC (default true)
DEBUG_PARSER (default false)
DEBUG_LOOKAHEAD (default false)
DEBUG_TOKEN_MANAGER (default false)
ERROR_REPORTING (default true)
JAVA_UNICODE_ESCAPE (default false)
UNICODE_INPUT (default false)
IGNORE_CASE (default false)
COMMON_TOKEN_ACTION (default false)
USER_TOKEN_MANAGER (default false)
USER_CHAR_STREAM (default false)
BUILD_PARSER (default true)
BUILD_TOKEN_MANAGER (default true)
TOKEN_MANAGER_USES_PARSER (default false)
SANITY_CHECK (default true)
FORCE_LA_CHECK (default false)
CACHE_TOKENS (default false)
KEEP_LINE_COLUMN (default true)
The string valued options are:
OUTPUT_DIRECTORY (default Current Directory)
TOKEN_EXTENDS (java.lang.Object)
TOKEN_FACTORY (java.lang.Object)
JDK_VERSION (1.5)
GRAMMAR_ENCODING (default file.encoding)
EXAMPLE:
javacc -STATIC=false -LOOKAHEAD:2 -debug_parser mygrammar.jj
ABOUT JavaCC:
JavaCC is a parser generator for the Java™ programming
language originally built by
Sriram Sankar (http://www.cs.stanford.edu/~sankar) and
Sreeni Viswanadha (http://www.cs.albany.edu/~sreeni).
%
</pre>
<p>
Any option may be set either on the command line as shown in the help message
above, or in the grammar file as described in
<a href="javaccgrm.html">JavaCC grammar syntax</a>.
The effect is exactly the same.
</p>
<p>
If the same option is set in both the
command line and the grammar file, then the option setting in the command
line takes precedence.
</p>
</div>
<script src="tutorials/resize-iframe.js"></script>
</div>
</td>
</tr>
</table>
</body>
</html>