|
ESC/Java2 © 2003,2004,2005 David Cok and Joseph Kiniry © 2005 UCD Dublin © 2003,2004 Radboud University Nijmegen © 1999,2000 Compaq Computer Corporation © 1997,1998,1999 Digital Equipment Corporation All Rights Reserved |
||||||||||
PREV NEXT | FRAMES NO FRAMES |
escjava.* |
escjava.Main | ||
public static final java.lang.String |
version |
"ESCJava-2.0a9" |
escjava.Options | ||
public static final int |
JAVA_ASSERTIONS |
0 |
public static final int |
JML_ASSERTIONS |
1 |
public static final int |
LOOP_FALL_THRU |
2 |
public static final int |
LOOP_FAST |
0 |
public static final int |
LOOP_SAFE |
1 |
escjava.ProverManager | ||
private static final int |
NOTSTARTED |
0 |
private static final int |
PUSHED |
2 |
private static final int |
STARTED |
1 |
escjava.Status | ||
public static final int |
CHILDERROR |
16 |
public static final int |
ILLEGAL |
-1 |
public static final int |
NOTPROCESSED |
0 |
public static final int |
PARSED_CAUTION |
5 |
public static final int |
PARSED_ERROR |
6 |
public static final int |
PARSED_OK |
4 |
public static final int |
PARSING_COMPLETE |
6 |
public static final int |
RESOLVED_CAUTION |
2 |
public static final int |
RESOLVED_COMPLETE |
3 |
public static final int |
RESOLVED_ERROR |
3 |
public static final int |
RESOLVED_OK |
1 |
public static final int |
STATICCHECKED_CAUTION |
12 |
public static final int |
STATICCHECKED_ERROR |
11 |
public static final int |
STATICCHECKED_OK |
13 |
public static final int |
STATICCHECKED_PASSEDIMMED |
14 |
public static final int |
STATICCHECKED_TIMEOUT |
15 |
public static final int |
TYPECHECK_COMPLETE |
10 |
public static final int |
TYPECHECKED_CAUTION |
8 |
public static final int |
TYPECHECKED_ERROR |
7 |
public static final int |
TYPECHECKED_OK |
10 |
public static final int |
TYPECHECKED_WAITING |
9 |
escjava.Version | ||
public static final java.lang.String |
VERSION |
"ESCJava-2.0a9" |
escjava.ast.GeneratedTags | ||
public static final int |
ARRAYRANGEREFEXPR |
203 |
public static final int |
CALL |
214 |
public static final int |
CONDITION |
230 |
public static final int |
DEFPRED |
231 |
public static final int |
DEFPREDAPPLEXPR |
205 |
public static final int |
DEFPREDLETEXPR |
204 |
public static final int |
DYNINSTCMD |
211 |
public static final int |
EVERYTHINGEXPR |
199 |
public static final int |
GETSCMD |
206 |
public static final int |
GHOSTDECLPRAGMA |
219 |
public static final int |
GUARDEXPR |
195 |
public static final int |
IDENTIFIERMODIFIERPRAGMA |
221 |
public static final int |
IMPORTPRAGMA |
227 |
public static final int |
LABELEXPR |
193 |
public static final int |
LAST_TAG |
231 |
public static final int |
LOCKSETEXPR |
198 |
public static final int |
LOOPCMD |
213 |
public static final int |
MODELCONSTRUCTORDECLPRAGMA |
216 |
public static final int |
MODELDECLPRAGMA |
215 |
public static final int |
MODELMETHODDECLPRAGMA |
218 |
public static final int |
MODELTYPEPRAGMA |
217 |
public static final int |
MODIFIESGROUPPRAGMA |
224 |
public static final int |
NOTHINGEXPR |
200 |
public static final int |
NOTMODIFIEDEXPR |
202 |
public static final int |
NOTSPECIFIEDEXPR |
201 |
public static final int |
NOWARNPRAGMA |
226 |
public static final int |
REACHMODIFIERPRAGMA |
225 |
public static final int |
REFINEPRAGMA |
228 |
public static final int |
RESEXPR |
196 |
public static final int |
RESTOREFROMCMD |
209 |
public static final int |
SEQCMD |
212 |
public static final int |
SETCOMPEXPR |
197 |
public static final int |
SETSTMTPRAGMA |
222 |
public static final int |
SKOLEMCONSTANTPRAGMA |
223 |
public static final int |
SPEC |
229 |
public static final int |
STILLDEFERREDDECLPRAGMA |
220 |
public static final int |
SUBGETSCMD |
207 |
public static final int |
SUBSTEXPR |
191 |
public static final int |
SUBSUBGETSCMD |
208 |
public static final int |
TYPEEXPR |
192 |
public static final int |
VARINCMD |
210 |
public static final int |
WILDREFEXPR |
194 |
escjava.ast.Modifiers | ||
public static final int |
ACC_DESUGARED |
4194304 |
public static final int |
ACC_HELPER |
131072 |
public static final int |
ACC_MODEL |
524288 |
escjava.ast.TagConstants | ||
public static final int |
ABRUPT_BEHAVIOR |
453 |
public static final int |
ACCESSIBLE |
455 |
public static final int |
ACCESSIBLE_REDUNDANTLY |
454 |
public static final int |
ALLOCLE |
298 |
public static final int |
ALLOCLT |
297 |
public static final int |
ALSO |
456 |
public static final int |
ALSO_ENSURES |
538 |
public static final int |
ALSO_EXSURES |
539 |
public static final int |
ALSO_MODIFIES |
540 |
public static final int |
ALSO_REFINE |
457 |
public static final int |
ALSO_REQUIRES |
541 |
public static final int |
ANY |
243 |
public static final int |
ANYEQ |
299 |
public static final int |
ANYNE |
300 |
public static final int |
ARRAYFRESH |
302 |
public static final int |
ARRAYLENGTH |
301 |
public static final int |
ARRAYMAKE |
303 |
public static final int |
ARRAYSHAPEMORE |
304 |
public static final int |
ARRAYSHAPEONE |
305 |
public static final int |
ASELEMS |
306 |
public static final int |
ASFIELD |
307 |
public static final int |
ASLOCKSET |
308 |
public static final int |
ASSERT_REDUNDANTLY |
458 |
public static final int |
ASSERTCMD |
249 |
public static final int |
ASSIGNABLE |
460 |
public static final int |
ASSIGNABLE_REDUNDANTLY |
459 |
public static final int |
ASSUME |
377 |
public static final int |
ASSUME_REDUNDANTLY |
461 |
public static final int |
ASSUMECMD |
250 |
public static final int |
AXIOM |
378 |
public static final int |
BEHAVIOR |
462 |
public static final int |
BIGINT |
428 |
public static final int |
BIGINTTYPE |
245 |
public static final int |
BOOLAND |
309 |
public static final int |
BOOLANDX |
310 |
public static final int |
BOOLEQ |
311 |
public static final int |
BOOLIMPLIES |
312 |
public static final int |
BOOLNE |
313 |
public static final int |
BOOLNOT |
314 |
public static final int |
BOOLOR |
315 |
public static final int |
BREAKS |
464 |
public static final int |
BREAKS_REDUNDANTLY |
463 |
public static final int |
CALLABLE |
466 |
public static final int |
CALLABLE_REDUNDANTLY |
465 |
public static final int |
CAST |
316 |
public static final int |
CHK_AS_ASSERT |
375 |
public static final int |
CHK_AS_ASSUME |
374 |
public static final int |
CHK_AS_SKIP |
376 |
public static final int |
CHKADDINFO |
295 |
public static final int |
CHKARITHMETIC |
256 |
public static final int |
CHKARRAYSTORE |
257 |
public static final int |
CHKASSERT |
258 |
public static final int |
CHKASSUME |
294 |
public static final int |
CHKCLASSCAST |
259 |
public static final int |
CHKCODEREACHABILITY |
260 |
public static final int |
CHKCONSISTENT |
261 |
public static final int |
CHKCONSTRAINT |
262 |
public static final int |
CHKCONSTRUCTORLEAK |
263 |
public static final int |
CHKDECREASES_BOUND |
264 |
public static final int |
CHKDECREASES_DECR |
265 |
public static final int |
CHKDEFINEDNESS |
266 |
public static final int |
CHKFREE |
296 |
public static final int |
CHKINDEXNEGATIVE |
267 |
public static final int |
CHKINDEXTOOBIG |
268 |
public static final int |
CHKINITIALIZATION |
269 |
public static final int |
CHKINITIALIZERLEAK |
270 |
public static final int |
CHKINITIALLY |
271 |
public static final int |
CHKLOCKINGORDER |
272 |
public static final int |
CHKLOOPINVARIANT |
273 |
public static final int |
CHKLOOPOBJECTINVARIANT |
274 |
public static final int |
CHKMODIFIES |
276 |
public static final int |
CHKMODIFIESEXTENSION |
275 |
public static final int |
CHKNEGATIVEARRAYSIZE |
277 |
public static final int |
CHKNONNULL |
278 |
public static final int |
CHKNONNULLINIT |
279 |
public static final int |
CHKNONNULLRESULT |
280 |
public static final int |
CHKNULLPOINTER |
281 |
public static final int |
CHKOBJECTINVARIANT |
282 |
public static final int |
CHKOWNERNULL |
283 |
public static final int |
CHKPOSTCONDITION |
284 |
public static final int |
CHKPRECONDITION |
285 |
public static final int |
CHKQUIET |
293 |
public static final int |
CHKSHARING |
286 |
public static final int |
CHKSHARINGALLNULL |
287 |
public static final int |
CHKUNENFORCEBLEOBJECTINVARIANT |
288 |
public static final int |
CHKUNEXPECTEDEXCEPTION |
289 |
public static final int |
CHKUNEXPECTEDEXCEPTION2 |
290 |
public static final int |
CHKWRITABLE |
292 |
public static final int |
CHKWRITABLEDEFERRED |
291 |
public static final int |
CHOOSE |
468 |
public static final int |
CHOOSE_IF |
467 |
public static final int |
CHOOSECMD |
251 |
public static final int |
CLASSLITERALFUNC |
317 |
public static final int |
CLOSEPRAGMA |
241 |
public static final int |
CODE_BIGINT_MATH |
554 |
public static final int |
CODE_CONTRACT |
379 |
public static final int |
CODE_JAVA_MATH |
552 |
public static final int |
CODE_SAFE_MATH |
553 |
public static final int |
CONDITIONAL |
318 |
public static final int |
CONSTRAINT |
470 |
public static final int |
CONSTRAINT_REDUNDANTLY |
469 |
public static final int |
CONSTRUCTOR |
471 |
public static final int |
CONTINUES |
473 |
public static final int |
CONTINUES_REDUNDANTLY |
472 |
public static final int |
DECREASES |
380 |
public static final int |
DECREASES_REDUNDANTLY |
474 |
public static final int |
DECREASING |
476 |
public static final int |
DECREASING_REDUNDANTLY |
475 |
public static final int |
DEPENDS |
478 |
public static final int |
DEPENDS_REDUNDANTLY |
477 |
public static final int |
DIVERGES |
480 |
public static final int |
DIVERGES_REDUNDANTLY |
479 |
public static final int |
DOTDOT |
237 |
public static final int |
DTTFSA |
381 |
public static final int |
DURATION |
482 |
public static final int |
DURATION_REDUNDANTLY |
481 |
public static final int |
ECLOSEDTIME |
319 |
public static final int |
ELEMSNONNULL |
383 |
public static final int |
ELEMTYPE |
384 |
public static final int |
END |
483 |
public static final int |
ENSURES |
382 |
public static final int |
ENSURES_REDUNDANTLY |
484 |
public static final int |
EVERYTHING |
430 |
public static final int |
EXAMPLE |
485 |
public static final int |
EXCEPTIONAL_BEHAVIOR |
486 |
public static final int |
EXCEPTIONAL_EXAMPLE |
487 |
public static final int |
EXISTS |
385 |
public static final int |
EXPLIES |
233 |
public static final int |
EXSURES |
386 |
public static final int |
EXSURES_REDUNDANTLY |
488 |
public static final int |
FCLOSEDTIME |
320 |
public static final int |
FIELDKW |
489 |
public static final int |
FIELDS_OF |
431 |
public static final int |
FIRSTESCCHECKTAG |
256 |
public static final int |
FIRSTESCKEYWORDTAG |
538 |
public static final int |
FIRSTFUNCTIONTAG |
297 |
public static final int |
FIRSTJMLKEYWORDTAG |
377 |
public static final int |
FLOATINGADD |
321 |
public static final int |
FLOATINGDIV |
322 |
public static final int |
FLOATINGEQ |
323 |
public static final int |
FLOATINGGE |
324 |
public static final int |
FLOATINGGT |
325 |
public static final int |
FLOATINGLE |
326 |
public static final int |
FLOATINGLT |
327 |
public static final int |
FLOATINGMOD |
328 |
public static final int |
FLOATINGMUL |
329 |
public static final int |
FLOATINGNE |
330 |
public static final int |
FLOATINGNEG |
331 |
public static final int |
FLOATINGSUB |
332 |
public static final int |
FOR_EXAMPLE |
491 |
public static final int |
FORALL |
388 |
public static final int |
FRESH |
387 |
public static final int |
FUNCTION |
389 |
public static final int |
GHOST |
390 |
public static final int |
HELPER |
391 |
public static final int |
HENCE_BY |
494 |
public static final int |
HENCE_BY_REDUNDANTLY |
493 |
public static final int |
IFF |
234 |
public static final int |
IMMUTABLE |
392 |
public static final int |
IMPLIES |
232 |
public static final int |
IMPLIES_THAT |
492 |
public static final int |
IN |
393 |
public static final int |
IN_REDUNDANTLY |
394 |
public static final int |
INFORMALPRED_TOKEN |
255 |
public static final int |
INITIALIZER |
495 |
public static final int |
INITIALLY |
496 |
public static final int |
INSTANCE |
497 |
public static final int |
INTEGRALADD |
333 |
public static final int |
INTEGRALAND |
334 |
public static final int |
INTEGRALDIV |
335 |
public static final int |
INTEGRALEQ |
336 |
public static final int |
INTEGRALGE |
337 |
public static final int |
INTEGRALGT |
338 |
public static final int |
INTEGRALLE |
339 |
public static final int |
INTEGRALLT |
340 |
public static final int |
INTEGRALMOD |
341 |
public static final int |
INTEGRALMUL |
342 |
public static final int |
INTEGRALNE |
343 |
public static final int |
INTEGRALNEG |
344 |
public static final int |
INTEGRALNOT |
345 |
public static final int |
INTEGRALOR |
346 |
public static final int |
INTEGRALSUB |
353 |
public static final int |
INTEGRALXOR |
354 |
public static final int |
INTERN |
355 |
public static final int |
INTERNED |
356 |
public static final int |
INTO |
395 |
public static final int |
INTSHIFTL |
347 |
public static final int |
INTSHIFTR |
349 |
public static final int |
INTSHIFTRU |
351 |
public static final int |
INVARIANT |
396 |
public static final int |
INVARIANT_FOR |
432 |
public static final int |
INVARIANT_REDUNDANTLY |
498 |
public static final int |
IS |
357 |
public static final int |
IS_INITIALIZED |
433 |
public static final int |
ISALLOCATED |
358 |
public static final int |
ISNEWARRAY |
359 |
public static final int |
LAST_TAG |
557 |
public static final int |
LASTESCCHECKTAG |
296 |
public static final int |
LASTESCKEYWORDTAG |
557 |
public static final int |
LASTFUNCTIONTAG |
373 |
public static final int |
LASTJMLKEYWORDTAG |
537 |
public static final int |
LBLNEG |
398 |
public static final int |
LBLPOS |
397 |
public static final int |
LEFTARROW |
238 |
public static final int |
LOCKLE |
360 |
public static final int |
LOCKLT |
361 |
public static final int |
LOCKSET |
247 |
public static final int |
LONGSHIFTL |
348 |
public static final int |
LONGSHIFTR |
350 |
public static final int |
LONGSHIFTRU |
352 |
public static final int |
LOOP_INVARIANT |
399 |
public static final int |
LOOP_INVARIANT_REDUNDANTLY |
499 |
public static final int |
LOOP_PREDICATE |
400 |
public static final int |
LS |
401 |
public static final int |
MAINTAINING |
501 |
public static final int |
MAINTAINING_REDUNDANTLY |
500 |
public static final int |
MAPS |
402 |
public static final int |
MAPS_REDUNDANTLY |
403 |
public static final int |
MAX |
404 |
public static final int |
MAXQUANT |
434 |
public static final int |
MAY_BE_NULL |
545 |
public static final int |
MEASURED_BY |
503 |
public static final int |
MEASURED_BY_REDUNDANTLY |
502 |
public static final int |
METHOD |
504 |
public static final int |
METHODCALL |
362 |
public static final int |
MIN |
435 |
public static final int |
MODEL |
505 |
public static final int |
MODEL_PROGRAM |
506 |
public static final int |
MODELPROGRAM_OR |
514 |
public static final int |
MODIFIABLE |
508 |
public static final int |
MODIFIABLE_REDUNDANTLY |
507 |
public static final int |
MODIFIES |
405 |
public static final int |
MODIFIES_REDUNDANTLY |
509 |
public static final int |
MONITORED |
406 |
public static final int |
MONITORED_BY |
407 |
public static final int |
MONITORS_FOR |
408 |
public static final int |
NESTEDMODIFIERPRAGMA |
510 |
public static final int |
NIFF |
235 |
public static final int |
NO_WACK_FORALL |
490 |
public static final int |
NON_NULL |
409 |
public static final int |
NON_NULL_REF_BY_DEFAULT |
547 |
public static final int |
NORMAL_BEHAVIOR |
511 |
public static final int |
NORMAL_EXAMPLE |
512 |
public static final int |
NOT_MODIFIED |
437 |
public static final int |
NOT_SPECIFIED |
438 |
public static final int |
NOTHING |
436 |
public static final int |
NOWARN |
410 |
public static final int |
NOWARN_OP |
440 |
public static final int |
NULL_REF_BY_DEFAULT |
546 |
public static final int |
NUM_OF |
441 |
public static final int |
OBJECTSET |
248 |
public static final int |
OBS_PURE |
548 |
public static final int |
OLD |
513 |
public static final int |
OPENPRAGMA |
240 |
public static final int |
OTHER |
442 |
public static final int |
PARSEDSPECS |
515 |
public static final int |
PEER |
542 |
public static final int |
POSTCONDITION |
517 |
public static final int |
POSTCONDITION_REDUNDANTLY |
516 |
public static final int |
PRE |
411 |
public static final int |
PRECONDITION |
519 |
public static final int |
PRECONDITION_REDUNDANTLY |
518 |
public static final int |
PRIVATE_DATA |
443 |
public static final int |
PRODUCT |
444 |
public static final int |
PURE |
520 |
public static final int |
RAISECMD |
252 |
public static final int |
REACH |
445 |
public static final int |
READABLE |
412 |
public static final int |
READABLE_IF |
413 |
public static final int |
READONLY |
543 |
public static final int |
REAL |
446 |
public static final int |
REALTYPE |
246 |
public static final int |
REFEQ |
363 |
public static final int |
REFINE |
521 |
public static final int |
REFNE |
364 |
public static final int |
REP |
544 |
public static final int |
REPRESENTS |
523 |
public static final int |
REPRESENTS_REDUNDANTLY |
522 |
public static final int |
REQUIRES |
415 |
public static final int |
REQUIRES_REDUNDANTLY |
524 |
public static final int |
RES |
414 |
public static final int |
RETURNS |
526 |
public static final int |
RETURNS_REDUNDANTLY |
525 |
public static final int |
RIGHTARROW |
239 |
public static final int |
SELECT |
365 |
public static final int |
SET |
416 |
public static final int |
SIGNALS |
528 |
public static final int |
SIGNALS_ONLY |
529 |
public static final int |
SIGNALS_REDUNDANTLY |
527 |
public static final int |
SKIPCMD |
253 |
public static final int |
SKOLEM_CONSTANT |
427 |
public static final int |
SPACE |
447 |
public static final int |
SPEC_BIGINT_MATH |
557 |
public static final int |
SPEC_JAVA_MATH |
555 |
public static final int |
SPEC_PROTECTED |
530 |
public static final int |
SPEC_PUBLIC |
417 |
public static final int |
SPEC_SAFE_MATH |
556 |
public static final int |
STATIC_INITIALIZER |
531 |
public static final int |
STILL_DEFERRED |
418 |
public static final int |
STORE |
366 |
public static final int |
STRINGCAT |
367 |
public static final java.lang.String |
STRINGCATINFIX |
"java.lang.String._infixConcat_" |
public static final int |
STRINGCATP |
368 |
public static final int |
SUBCLASSING_CONTRACT |
532 |
public static final int |
SUBTYPE |
236 |
public static final int |
SUCH_THAT |
448 |
public static final int |
SUM |
449 |
public static final int |
SYMBOLLIT |
242 |
public static final int |
TRYCMD |
254 |
public static final int |
TYPE |
419 |
public static final int |
TYPECODE |
244 |
public static final int |
TYPEEQ |
369 |
public static final int |
TYPELE |
371 |
public static final int |
TYPENE |
370 |
public static final int |
TYPEOF |
421 |
public static final int |
TYPETYPE |
420 |
public static final int |
UNINITIALIZED |
422 |
public static final int |
UNREACHABLE |
423 |
public static final int |
UNSET |
372 |
public static final int |
VALLOCTIME |
373 |
public static final int |
WACK_BIGINT_MATH |
551 |
public static final int |
WACK_DURATION |
429 |
public static final int |
WACK_JAVA_MATH |
549 |
public static final int |
WACK_NOWARN |
439 |
public static final int |
WACK_SAFE_MATH |
550 |
public static final int |
WACK_WORKING_SPACE |
452 |
public static final int |
WARN |
450 |
public static final int |
WARN_OP |
451 |
public static final int |
WEAKLY |
533 |
public static final int |
WHEN |
535 |
public static final int |
WHEN_REDUNDANTLY |
534 |
public static final int |
WORKING_SPACE |
537 |
public static final int |
WORKING_SPACE_REDUNDANTLY |
536 |
public static final int |
WRITABLE |
426 |
public static final int |
WRITABLE_DEFERRED |
424 |
public static final int |
WRITABLE_IF |
425 |
escjava.gui.GUI | ||
static final int |
CHECK |
3 |
static final int |
CLEAR |
-1 |
static final int |
PARSE |
1 |
static final int |
RELOAD |
-2 |
static final int |
RESOLVE |
0 |
static final int |
TYPECHECK |
2 |
escjava.pa.generic.DisjunctionProver | ||
public static final int |
INVALID |
1 |
public static final int |
UNKNOWN |
2 |
public static final int |
VALID |
0 |
escjava.pa.generic.EnumNFindK | ||
private final long |
seed |
13302959l |
escjava.pa.generic.Prover | ||
public static final int |
INVALID |
1 |
public static final int |
UNKNOWN |
2 |
public static final int |
VALID |
0 |
escjava.parser.EscPragmaParser | ||
private static final boolean |
DEBUG |
false |
static final int |
maxAnnotationNestingLevel |
1 |
escjava.parser.JmlCorrelatedReader | ||
public static final int |
C_COMMENT |
1 |
public static final int |
COMMENTS_KINDS |
3 |
public static final int |
EOL_COMMENT |
0 |
public static final int |
JAVADOC_COMMENT |
2 |
escjava.prover.Atom | ||
public static final java.lang.String |
special |
"!#$%&*+-./:<=>?@[]^_{}" |
escjava.prover.PPOutputStream | ||
static final int |
lp |
40 |
static final int |
rp |
41 |
escjava.prover.SExpTypeError | ||
private static final long |
serialVersionUID |
5767797092888960711l |
escjava.prover.SimplifyOutput | ||
public static final int |
COMMENT |
3 |
public static final int |
COUNTEREXAMPLE |
4 |
public static final int |
END |
11 |
public static final int |
EXCEEDED_PROVER_KILL_ITER |
6 |
public static final int |
EXCEEDED_PROVER_KILL_TIME |
5 |
public static final int |
EXCEEDED_PROVER_SUBGOAL_KILL_ITER |
9 |
public static final int |
EXCEEDED_PROVER_SUBGOAL_KILL_TIME |
8 |
public static final int |
INVALID |
1 |
public static final int |
REACHED_CC_LIMIT |
7 |
public static final int |
UNKNOWN |
2 |
public static final int |
VALID |
0 |
public static final int |
WARNING_TRIGGERLESS_QUANT |
10 |
escjava.prover.SubProcess.Died | ||
private static final long |
serialVersionUID |
2624260378471410994l |
escjava.tc.FlowInsensitiveChecks | ||
protected static final int |
ACC_LOW_BOUND_Package |
1 |
protected static final int |
ACC_LOW_BOUND_Private |
0 |
protected static final int |
ACC_LOW_BOUND_Protected |
2 |
protected static final int |
ACC_LOW_BOUND_Public |
3 |
public static final int |
MSTATUS_CLASS_NEW_METHOD |
1 |
public static final int |
MSTATUS_NEW_ROUTINE |
0 |
public static final int |
MSTATUS_OVERRIDE |
2 |
escjava.translate.escjava.translate.AuxInfoLink | ||
static final int |
LINK_BUFFER_SIZE |
1024 |
escjava.translate.VcToString | ||
protected static final long |
MaxIntegral |
1000000l |
escjava.translate.VcToStringPvs | ||
protected static final long |
MaxIntegral |
1000000l |
javafe.* |
javafe.Options | ||
public static final int |
NEVER_BINARY |
3 |
public static final int |
NEVER_SOURCE |
4 |
public static final int |
PREFER_BINARY |
0 |
public static final int |
PREFER_RECENT |
2 |
public static final int |
PREFER_SOURCE |
1 |
javafe.Tool | ||
public static final int |
badUsageExitCode |
1 |
public static final int |
errorExitCode |
2 |
public static final int |
okExitCode |
0 |
public static final int |
outOfMemoryExitCode |
3 |
javafe.ast._SpecialParserInterface | ||
public static final int |
HC |
31 |
javafe.ast.GeneratedTags | ||
public static final int |
AMBIGUOUSMETHODINVOCATION |
45 |
public static final int |
AMBIGUOUSVARIABLEACCESS |
42 |
public static final int |
ARRAYINIT |
33 |
public static final int |
ARRAYREFEXPR |
35 |
public static final int |
ARRAYTYPE |
53 |
public static final int |
ASSERTSTMT |
13 |
public static final int |
BLOCKSTMT |
11 |
public static final int |
BREAKSTMT |
22 |
public static final int |
CASTEXPR |
40 |
public static final int |
CATCHCLAUSE |
32 |
public static final int |
CLASSDECL |
3 |
public static final int |
CLASSDECLSTMT |
15 |
public static final int |
CLASSLITERAL |
47 |
public static final int |
COMPILATIONUNIT |
0 |
public static final int |
COMPOUNDNAME |
55 |
public static final int |
CONDEXPR |
38 |
public static final int |
CONSTRUCTORDECL |
5 |
public static final int |
CONSTRUCTORINVOCATION |
31 |
public static final int |
CONTINUESTMT |
23 |
public static final int |
DOSTMT |
17 |
public static final int |
ERRORTYPE |
51 |
public static final int |
EVALSTMT |
19 |
public static final int |
EXPROBJECTDESIGNATOR |
48 |
public static final int |
FIELDACCESS |
44 |
public static final int |
FIELDDECL |
9 |
public static final int |
FORMALPARADECL |
10 |
public static final int |
FORSTMT |
26 |
public static final int |
IFSTMT |
25 |
public static final int |
INITBLOCK |
7 |
public static final int |
INSTANCEOFEXPR |
39 |
public static final int |
INTERFACEDECL |
4 |
public static final int |
LABELSTMT |
24 |
public static final int |
LAST_TAG |
55 |
public static final int |
LOCALVARDECL |
8 |
public static final int |
METHODDECL |
6 |
public static final int |
METHODINVOCATION |
46 |
public static final int |
NEWARRAYEXPR |
37 |
public static final int |
NEWINSTANCEEXPR |
36 |
public static final int |
ONDEMANDIMPORTDECL |
2 |
public static final int |
PARENEXPR |
41 |
public static final int |
RETURNSTMT |
20 |
public static final int |
SIMPLENAME |
54 |
public static final int |
SINGLETYPEIMPORTDECL |
1 |
public static final int |
SKIPSTMT |
27 |
public static final int |
SUPEROBJECTDESIGNATOR |
50 |
public static final int |
SWITCHLABEL |
28 |
public static final int |
SWITCHSTMT |
12 |
public static final int |
SYNCHRONIZESTMT |
18 |
public static final int |
THISEXPR |
34 |
public static final int |
THROWSTMT |
21 |
public static final int |
TRYCATCHSTMT |
30 |
public static final int |
TRYFINALLYSTMT |
29 |
public static final int |
TYPENAME |
52 |
public static final int |
TYPEOBJECTDESIGNATOR |
49 |
public static final int |
VARDECLSTMT |
14 |
public static final int |
VARIABLEACCESS |
43 |
public static final int |
WHILESTMT |
16 |
javafe.ast.Identifier | ||
static final int |
HC |
31 |
private static final int |
INITIAL_CHAIN_SIZE |
4 |
private static final int |
TABLE_SIZE |
128 |
javafe.ast.Modifiers | ||
public static final int |
ACC_ABSTRACT |
1024 |
public static final int |
ACC_FINAL |
16 |
public static final int |
ACC_NATIVE |
256 |
public static final int |
ACC_PRIVATE |
2 |
public static final int |
ACC_PROTECTED |
4 |
public static final int |
ACC_PUBLIC |
1 |
public static final int |
ACC_STATIC |
8 |
public static final int |
ACC_STRICT |
2048 |
public static final int |
ACC_SYNCHRONIZED |
32 |
public static final int |
ACC_TRANSIENT |
128 |
public static final int |
ACC_VOLATILE |
64 |
public static final int |
ACCESS_MODIFIERS |
7 |
public static final int |
NONE |
0 |
public static final int |
SIZE_MODIFIER_BITSET |
16 |
javafe.ast.OperatorTags | ||
public static final int |
ADD |
70 |
public static final int |
AND |
57 |
public static final int |
ASGADD |
79 |
public static final int |
ASGBITAND |
84 |
public static final int |
ASGBITOR |
85 |
public static final int |
ASGBITXOR |
86 |
public static final int |
ASGDIV |
77 |
public static final int |
ASGLSHIFT |
81 |
public static final int |
ASGMUL |
76 |
public static final int |
ASGREM |
78 |
public static final int |
ASGRSHIFT |
82 |
public static final int |
ASGSUB |
80 |
public static final int |
ASGURSHIFT |
83 |
public static final int |
ASSIGN |
75 |
public static final int |
BITAND |
60 |
public static final int |
BITNOT |
90 |
public static final int |
BITOR |
58 |
public static final int |
BITXOR |
59 |
public static final int |
DEC |
92 |
public static final int |
DIV |
72 |
public static final int |
EQ |
62 |
public static final int |
FIRST_TAG |
56 |
public static final int |
GE |
63 |
public static final int |
GT |
64 |
public static final int |
INC |
91 |
public static final int |
LAST_TAG |
94 |
public static final int |
LE |
65 |
public static final int |
LSHIFT |
67 |
public static final int |
LT |
66 |
public static final int |
MOD |
73 |
public static final int |
NE |
61 |
public static final int |
NOT |
89 |
public static final int |
OR |
56 |
public static final int |
POSTFIXDEC |
94 |
public static final int |
POSTFIXINC |
93 |
public static final int |
RSHIFT |
68 |
public static final int |
STAR |
74 |
public static final int |
SUB |
71 |
public static final int |
UNARYADD |
87 |
public static final int |
UNARYSUB |
88 |
public static final int |
URSHIFT |
69 |
javafe.ast.TagConstants | ||
public static final int |
BOOLEANLIT |
107 |
public static final int |
BOOLEANTYPE |
97 |
public static final int |
BYTELIT |
115 |
public static final int |
BYTETYPE |
101 |
public static final int |
CHARLIT |
110 |
public static final int |
CHARTYPE |
98 |
public static final int |
DOUBLELIT |
112 |
public static final int |
DOUBLETYPE |
106 |
public static final int |
ERRORTYPE |
96 |
public static final int |
FLOATLIT |
111 |
public static final int |
FLOATTYPE |
105 |
public static final int |
IDENT |
95 |
public static final int |
INTLIT |
108 |
public static final int |
INTTYPE |
103 |
public static final int |
LAST_TAG |
114 |
public static final int |
LONGLIT |
109 |
public static final int |
LONGTYPE |
104 |
public static final int |
NULL |
-1 |
public static final int |
NULLLIT |
114 |
public static final int |
NULLTYPE |
100 |
public static final int |
SHORTLIT |
116 |
public static final int |
SHORTTYPE |
102 |
public static final int |
STRINGLIT |
113 |
public static final int |
VOIDTYPE |
99 |
javafe.filespace.PkgTree | ||
protected static final int |
IGNORE |
0 |
protected static final int |
INCLUDE_NODE |
1 |
protected static final int |
INCLUDE_TREE |
2 |
javafe.filespace.Resolve_AmbiguousName | ||
private static final long |
serialVersionUID |
2257695944062705896l |
javafe.genericfile.NormalGenericFile | ||
private static final long |
serialVersionUID |
4996822143630105487l |
javafe.parser.FileFormatException | ||
private static final long |
serialVersionUID |
-6923801838876618362l |
javafe.parser.javafe.parser.PunctuationPrefixTree | ||
public static final int |
CHILDLEN |
94 |
javafe.parser.TagConstants | ||
public static final int |
ABSTRACT |
138 |
public static final int |
ASSERT |
139 |
public static final int |
BOOLEAN |
140 |
public static final int |
BREAK |
141 |
public static final int |
BYTE |
142 |
public static final int |
C_COMMENT |
136 |
public static final int |
CASE |
143 |
public static final int |
CATCH |
144 |
public static final int |
CHAR |
145 |
public static final int |
CLASS |
146 |
public static final int |
COLON |
134 |
public static final int |
COMMA |
125 |
public static final int |
CONST |
147 |
public static final int |
CONTINUE |
148 |
public static final int |
DEFAULT |
149 |
public static final int |
DO |
150 |
public static final int |
DOUBLE |
151 |
public static final int |
ELSE |
152 |
public static final int |
EOF |
115 |
public static final int |
EOL_COMMENT |
137 |
public static final int |
EXTENDS |
153 |
public static final int |
FALSE |
154 |
public static final int |
FIELD |
135 |
public static final int |
FINAL |
155 |
public static final int |
FINALLY |
156 |
public static final int |
FIRST_KEYWORD |
138 |
public static final int |
FLOAT |
157 |
public static final int |
FOR |
158 |
public static final int |
GOTO |
159 |
public static final int |
IF |
160 |
public static final int |
IMPLEMENTS |
161 |
public static final int |
IMPORT |
162 |
public static final int |
INSTANCEOF |
163 |
public static final int |
INT |
164 |
public static final int |
INTERFACE |
165 |
public static final int |
LAST_KEYWORD |
189 |
public static final int |
LAST_TAG |
189 |
public static final int |
LBRACE |
127 |
public static final int |
LEXICALPRAGMA |
118 |
public static final int |
LONG |
166 |
public static final int |
LPAREN |
129 |
public static final int |
LSQBRACKET |
131 |
public static final int |
MAX_INT_PLUS_ONE |
116 |
public static final int |
MAX_LONG_PLUS_ONE |
117 |
public static final int |
MODIFIERPRAGMA |
119 |
public static final int |
NATIVE |
167 |
public static final int |
NEW |
168 |
public static final int |
NULL |
169 |
public static final int |
PACKAGE |
170 |
public static final int |
POSTMODIFIERPRAGMA |
120 |
public static final int |
PRIVATE |
171 |
public static final int |
PROTECTED |
172 |
public static final int |
PUBLIC |
173 |
public static final int |
QUESTIONMARK |
133 |
public static final int |
RBRACE |
128 |
public static final int |
RETURN |
174 |
public static final int |
RPAREN |
130 |
public static final int |
RSQBRACKET |
132 |
public static final int |
SEMICOLON |
126 |
public static final int |
SHORT |
175 |
public static final int |
STATIC |
176 |
public static final int |
STMTPRAGMA |
121 |
public static final int |
STRICT |
177 |
public static final int |
SUPER |
178 |
public static final int |
SWITCH |
179 |
public static final int |
SYNCHRONIZED |
180 |
public static final int |
THIS |
181 |
public static final int |
THROW |
182 |
public static final int |
THROWS |
183 |
public static final int |
TRANSIENT |
184 |
public static final int |
TRUE |
185 |
public static final int |
TRY |
186 |
public static final int |
TYPEDECLELEMPRAGMA |
122 |
public static final int |
TYPEMODIFIERPRAGMA |
123 |
public static final int |
UNKNOWN_KEYWORD |
124 |
public static final int |
VOID |
187 |
public static final int |
VOLATILE |
188 |
public static final int |
WHILE |
189 |
javafe.parser.Token | ||
public static final int |
CLEAR |
115 |
javafe.tc.LookupException | ||
public static final int |
AMBIGUOUS |
1 |
public static final int |
BADTYPECOMBO |
2 |
public static final int |
NOTACCESSIBLE |
3 |
public static final int |
NOTFOUND |
0 |
private static final long |
serialVersionUID |
-1716616387246135949l |
javafe.tc.TagConstants | ||
public static final int |
LAST_TAG |
190 |
public static final int |
TYPESIG |
190 |
javafe.tc.TypeSig | ||
public static final int |
CHECKED |
6 |
public static final int |
CREATED |
1 |
public static final int |
LINKSRESOLVED |
4 |
public static final int |
PARSED |
2 |
public static final int |
PREPPED |
5 |
public static final int |
RESOLVINGLINKS |
3 |
public static final java.lang.String |
THE_UNNAMED_PACKAGE |
" |
javafe.util.AssertionFailureException | ||
private static final long |
serialVersionUID |
6988776634359056514l |
javafe.util.BufferedCorrelatedReader | ||
static final int |
STARTFREELOC |
1000000 |
javafe.util.CorrelatedReaderTest | ||
static final int |
MASKDISCARD |
15 |
static final int |
MASKRESET |
31 |
static final int |
MASKSUBREADER |
511 |
static final int |
SEED |
-889275714 |
javafe.util.ErrorSet | ||
private static final java.lang.String |
CAUTION |
"Caution" |
private static final java.lang.String |
ERROR |
"Error" |
private static final java.lang.String |
FATALERROR |
"Fatal error" |
private static final int |
TABSTOP |
8 |
private static final java.lang.String |
WARNING |
"Warning" |
javafe.util.FatalError | ||
private static final long |
serialVersionUID |
4916981747846620833l |
javafe.util.FileCorrelatedReader | ||
private static final int |
DEFAULTBUFSIZE |
256 |
private static final int |
READBLOCKSIZE |
256 |
javafe.util.Location | ||
public static final int |
NULL |
0 |
javafe.util.LocationManagerCorrelatedReader | ||
static final int |
MAXFILESIZE |
30000000 |
private static final int |
NLOA_DEFAULT_SIZE |
200 |
javafe.util.NotImplementedException | ||
private static final long |
serialVersionUID |
582846680511107743l |
javafe.util.UsageError | ||
private static final long |
serialVersionUID |
961376577543322857l |
junitutils.* |
junitutils.Diff | ||
private static final java.lang.String |
DELIM |
"\n\r\f" |
private static final java.lang.String |
NEW_CH |
"> " |
private static final java.lang.String |
OLD_CH |
"< " |
junitutils.TestFilesTestSuite | ||
static final java.lang.String |
ORACLE_SUFFIX |
"-expected" |
static final java.lang.String |
SAVED_SUFFIX |
"-ckd" |
junitutils.Utils | ||
private static final java.lang.String |
ORACLE_SUFFIX |
"-expected" |
private static final java.lang.String |
SAVED_SUFFIX |
"-ckd" |
|
ESC/Java2 © 2003,2004,2005 David Cok and Joseph Kiniry © 2005 UCD Dublin © 2003,2004 Radboud University Nijmegen © 1999,2000 Compaq Computer Corporation © 1997,1998,1999 Digital Equipment Corporation All Rights Reserved |
||||||||||
PREV NEXT | FRAMES NO FRAMES |