edu.mit.csail.sdg.squander.specfile.parser.SpecFileParser Class Reference

Collaboration diagram for edu.mit.csail.sdg.squander.specfile.parser.SpecFileParser:

[legend]

List of all members.

Classes
class	cls_return
class	funcfield_return
class	invariant_return
class	mod_return
class	Node
class	NodeAdaptor
class	params_return
class	specfield_return
class	specfile_return
class	strings_return
class	type_return
Public Member Functions
	SpecFileParser (TokenStream input)
	SpecFileParser (TokenStream input, RecognizerSharedState state)
void	setTreeAdaptor (TreeAdaptor adaptor)
TreeAdaptor	getTreeAdaptor ()
String[]	getTokenNames ()
String	getGrammarFileName ()
void	displayRecognitionError (String[] tokenNames, RecognitionException e)
final SpecFileParser.specfile_return	specfile () throws RecognitionException
final SpecFileParser.type_return	type () throws RecognitionException
final SpecFileParser.mod_return	mod () throws RecognitionException
final SpecFileParser.cls_return	cls () throws RecognitionException
final SpecFileParser.specfield_return	specfield () throws RecognitionException
final SpecFileParser.funcfield_return	funcfield () throws RecognitionException
final SpecFileParser.invariant_return	invariant () throws RecognitionException
final SpecFileParser.params_return	params () throws RecognitionException
final SpecFileParser.strings_return	strings () throws RecognitionException
Static Public Attributes
static final String[]	tokenNames
static final int	T__29 = 29
static final int	T__28 = 28
static final int	T__27 = 27
static final int	T__26 = 26
static final int	T__25 = 25
static final int	T__24 = 24
static final int	SPECFILE = 4
static final int	T__23 = 23
static final int	T__22 = 22
static final int	T__21 = 21
static final int	T__20 = 20
static final int	INVARIANT = 7
static final int	EOF = -1
static final int	HexDigit = 16
static final int	Identifier = 9
static final int	StringLiteral = 10
static final int	T__19 = 19
static final int	T__30 = 30
static final int	T__31 = 31
static final int	T__32 = 32
static final int	WS = 17
static final int	T__33 = 33
static final int	T__18 = 18
static final int	SPECFIELD = 5
static final int	UnicodeEscape = 14
static final int	JavaIDDigit = 12
static final int	OctalEscape = 15
static final int	EscapeSequence = 13
static final int	Letter = 11
static final int	FUNCFIELD = 6
static final int	PARAMS = 8
static final BitSet	FOLLOW_type_in_specfile105 = new BitSet(new long[]{0x0000000000000200L})
static final BitSet	FOLLOW_Identifier_in_specfile107 = new BitSet(new long[]{0x0000000000140000L})
static final BitSet	FOLLOW_18_in_specfile110 = new BitSet(new long[]{0x0000000000000200L})
static final BitSet	FOLLOW_params_in_specfile112 = new BitSet(new long[]{0x0000000000080000L})
static final BitSet	FOLLOW_19_in_specfile114 = new BitSet(new long[]{0x0000000000100000L})
static final BitSet	FOLLOW_20_in_specfile118 = new BitSet(new long[]{0x0000000188200000L})
static final BitSet	FOLLOW_specfield_in_specfile120 = new BitSet(new long[]{0x0000000188200000L})
static final BitSet	FOLLOW_funcfield_in_specfile123 = new BitSet(new long[]{0x0000000180200000L})
static final BitSet	FOLLOW_invariant_in_specfile126 = new BitSet(new long[]{0x0000000100200000L})
static final BitSet	FOLLOW_21_in_specfile129 = new BitSet(new long[]{0x0000000000000002L})
static final BitSet	FOLLOW_mod_in_type162 = new BitSet(new long[]{0x0000000006000000L})
static final BitSet	FOLLOW_cls_in_type165 = new BitSet(new long[]{0x0000000000000002L})
static final BitSet	FOLLOW_set_in_mod0 = new BitSet(new long[]{0x0000000000000002L})
static final BitSet	FOLLOW_set_in_cls0 = new BitSet(new long[]{0x0000000000000002L})
static final BitSet	FOLLOW_27_in_specfield202 = new BitSet(new long[]{0x0000000010000000L})
static final BitSet	FOLLOW_28_in_specfield204 = new BitSet(new long[]{0x0000000000000400L})
static final BitSet	FOLLOW_StringLiteral_in_specfield206 = new BitSet(new long[]{0x0000000020000000L})
static final BitSet	FOLLOW_29_in_specfield208 = new BitSet(new long[]{0x0000000040000002L})
static final BitSet	FOLLOW_30_in_specfield210 = new BitSet(new long[]{0x0000000000000002L})
static final BitSet	FOLLOW_27_in_specfield230 = new BitSet(new long[]{0x0000000010000000L})
static final BitSet	FOLLOW_28_in_specfield232 = new BitSet(new long[]{0x0000000000100000L})
static final BitSet	FOLLOW_20_in_specfield234 = new BitSet(new long[]{0x0000000000000400L})
static final BitSet	FOLLOW_strings_in_specfield236 = new BitSet(new long[]{0x0000000000200000L})
static final BitSet	FOLLOW_21_in_specfield238 = new BitSet(new long[]{0x0000000020000000L})
static final BitSet	FOLLOW_29_in_specfield240 = new BitSet(new long[]{0x0000000040000002L})
static final BitSet	FOLLOW_30_in_specfield242 = new BitSet(new long[]{0x0000000000000002L})
static final BitSet	FOLLOW_31_in_funcfield264 = new BitSet(new long[]{0x0000000010000000L})
static final BitSet	FOLLOW_28_in_funcfield266 = new BitSet(new long[]{0x0000000000000400L})
static final BitSet	FOLLOW_StringLiteral_in_funcfield268 = new BitSet(new long[]{0x0000000020000000L})
static final BitSet	FOLLOW_29_in_funcfield270 = new BitSet(new long[]{0x0000000040000002L})
static final BitSet	FOLLOW_30_in_funcfield272 = new BitSet(new long[]{0x0000000000000002L})
static final BitSet	FOLLOW_31_in_funcfield292 = new BitSet(new long[]{0x0000000010000000L})
static final BitSet	FOLLOW_28_in_funcfield294 = new BitSet(new long[]{0x0000000000100000L})
static final BitSet	FOLLOW_20_in_funcfield296 = new BitSet(new long[]{0x0000000000000400L})
static final BitSet	FOLLOW_strings_in_funcfield298 = new BitSet(new long[]{0x0000000000200000L})
static final BitSet	FOLLOW_21_in_funcfield300 = new BitSet(new long[]{0x0000000020000000L})
static final BitSet	FOLLOW_29_in_funcfield302 = new BitSet(new long[]{0x0000000040000002L})
static final BitSet	FOLLOW_30_in_funcfield304 = new BitSet(new long[]{0x0000000000000002L})
static final BitSet	FOLLOW_32_in_invariant326 = new BitSet(new long[]{0x0000000010000000L})
static final BitSet	FOLLOW_28_in_invariant328 = new BitSet(new long[]{0x0000000000000400L})
static final BitSet	FOLLOW_StringLiteral_in_invariant330 = new BitSet(new long[]{0x0000000020000000L})
static final BitSet	FOLLOW_29_in_invariant332 = new BitSet(new long[]{0x0000000040000002L})
static final BitSet	FOLLOW_30_in_invariant334 = new BitSet(new long[]{0x0000000000000002L})
static final BitSet	FOLLOW_32_in_invariant354 = new BitSet(new long[]{0x0000000010000000L})
static final BitSet	FOLLOW_28_in_invariant356 = new BitSet(new long[]{0x0000000000100000L})
static final BitSet	FOLLOW_20_in_invariant358 = new BitSet(new long[]{0x0000000000000400L})
static final BitSet	FOLLOW_strings_in_invariant360 = new BitSet(new long[]{0x0000000000200000L})
static final BitSet	FOLLOW_21_in_invariant362 = new BitSet(new long[]{0x0000000020000000L})
static final BitSet	FOLLOW_29_in_invariant364 = new BitSet(new long[]{0x0000000040000002L})
static final BitSet	FOLLOW_30_in_invariant366 = new BitSet(new long[]{0x0000000000000002L})
static final BitSet	FOLLOW_Identifier_in_params388 = new BitSet(new long[]{0x0000000200000002L})
static final BitSet	FOLLOW_33_in_params391 = new BitSet(new long[]{0x0000000000000200L})
static final BitSet	FOLLOW_Identifier_in_params393 = new BitSet(new long[]{0x0000000200000002L})
static final BitSet	FOLLOW_StringLiteral_in_strings430 = new BitSet(new long[]{0x0000000200000002L})
static final BitSet	FOLLOW_33_in_strings433 = new BitSet(new long[]{0x0000000000000400L})
static final BitSet	FOLLOW_StringLiteral_in_strings435 = new BitSet(new long[]{0x0000000200000002L})
Protected Attributes
TreeAdaptor	adaptor = new CommonTreeAdaptor()

---

Detailed Description

Definition at line 16 of file SpecFileParser.java.

---

Constructor & Destructor Documentation

edu.mit.csail.sdg.squander.specfile.parser.SpecFileParser.SpecFileParser

(

TokenStream

input

)

Definition at line 56 of file SpecFileParser.java.

edu.mit.csail.sdg.squander.specfile.parser.SpecFileParser.SpecFileParser	(	TokenStream	input,
		RecognizerSharedState	state
	)

Definition at line 59 of file SpecFileParser.java.

---

Member Function Documentation

final SpecFileParser.cls_return edu.mit.csail.sdg.squander.specfile.parser.SpecFileParser.cls

(

)

throws RecognitionException

Definition at line 515 of file SpecFileParser.java.

void edu.mit.csail.sdg.squander.specfile.parser.SpecFileParser.displayRecognitionError	(	String[]	tokenNames,
		RecognitionException	e
	)

Definition at line 104 of file SpecFileParser.java.

final SpecFileParser.funcfield_return edu.mit.csail.sdg.squander.specfile.parser.SpecFileParser.funcfield

(

)

throws RecognitionException

Definition at line 827 of file SpecFileParser.java.

String edu.mit.csail.sdg.squander.specfile.parser.SpecFileParser.getGrammarFileName

(

)

Definition at line 76 of file SpecFileParser.java.

String [] edu.mit.csail.sdg.squander.specfile.parser.SpecFileParser.getTokenNames

(

)

Definition at line 75 of file SpecFileParser.java.

TreeAdaptor edu.mit.csail.sdg.squander.specfile.parser.SpecFileParser.getTreeAdaptor

(

)

Definition at line 71 of file SpecFileParser.java.

final SpecFileParser.invariant_return edu.mit.csail.sdg.squander.specfile.parser.SpecFileParser.invariant

(

)

throws RecognitionException

Definition at line 1079 of file SpecFileParser.java.

final SpecFileParser.mod_return edu.mit.csail.sdg.squander.specfile.parser.SpecFileParser.mod

(

)

throws RecognitionException

Definition at line 455 of file SpecFileParser.java.

final SpecFileParser.params_return edu.mit.csail.sdg.squander.specfile.parser.SpecFileParser.params

(

)

throws RecognitionException

Definition at line 1331 of file SpecFileParser.java.

void edu.mit.csail.sdg.squander.specfile.parser.SpecFileParser.setTreeAdaptor

(

TreeAdaptor

adaptor

)

Definition at line 68 of file SpecFileParser.java.

Referenced by edu.mit.csail.sdg.squander.spec.SpecFileSpecProvider.parse().

final SpecFileParser.specfield_return edu.mit.csail.sdg.squander.specfile.parser.SpecFileParser.specfield

(

)

throws RecognitionException

Definition at line 575 of file SpecFileParser.java.

final SpecFileParser.specfile_return edu.mit.csail.sdg.squander.specfile.parser.SpecFileParser.specfile

(

)

throws RecognitionException

Definition at line 116 of file SpecFileParser.java.

Referenced by edu.mit.csail.sdg.squander.spec.SpecFileSpecProvider.parse().

final SpecFileParser.strings_return edu.mit.csail.sdg.squander.specfile.parser.SpecFileParser.strings

(

)

throws RecognitionException

Definition at line 1449 of file SpecFileParser.java.

final SpecFileParser.type_return edu.mit.csail.sdg.squander.specfile.parser.SpecFileParser.type

(

)

throws RecognitionException

Definition at line 376 of file SpecFileParser.java.

---

Member Data Documentation

TreeAdaptor edu.mit.csail.sdg.squander.specfile.parser.SpecFileParser.adaptor = new CommonTreeAdaptor() [protected]

Definition at line 66 of file SpecFileParser.java.

final int edu.mit.csail.sdg.squander.specfile.parser.SpecFileParser.EOF = -1 [static]

Definition at line 32 of file SpecFileParser.java.

final int edu.mit.csail.sdg.squander.specfile.parser.SpecFileParser.EscapeSequence = 13 [static]

Definition at line 47 of file SpecFileParser.java.

final BitSet edu.mit.csail.sdg.squander.specfile.parser.SpecFileParser.FOLLOW_18_in_specfile110 = new BitSet(new long[]{0x0000000000000200L}) [static]

Definition at line 1559 of file SpecFileParser.java.

final BitSet edu.mit.csail.sdg.squander.specfile.parser.SpecFileParser.FOLLOW_19_in_specfile114 = new BitSet(new long[]{0x0000000000100000L}) [static]

Definition at line 1561 of file SpecFileParser.java.

final BitSet edu.mit.csail.sdg.squander.specfile.parser.SpecFileParser.FOLLOW_20_in_funcfield296 = new BitSet(new long[]{0x0000000000000400L}) [static]

Definition at line 1590 of file SpecFileParser.java.

final BitSet edu.mit.csail.sdg.squander.specfile.parser.SpecFileParser.FOLLOW_20_in_invariant358 = new BitSet(new long[]{0x0000000000000400L}) [static]

Definition at line 1602 of file SpecFileParser.java.

final BitSet edu.mit.csail.sdg.squander.specfile.parser.SpecFileParser.FOLLOW_20_in_specfield234 = new BitSet(new long[]{0x0000000000000400L}) [static]

Definition at line 1578 of file SpecFileParser.java.

final BitSet edu.mit.csail.sdg.squander.specfile.parser.SpecFileParser.FOLLOW_20_in_specfile118 = new BitSet(new long[]{0x0000000188200000L}) [static]

Definition at line 1562 of file SpecFileParser.java.

final BitSet edu.mit.csail.sdg.squander.specfile.parser.SpecFileParser.FOLLOW_21_in_funcfield300 = new BitSet(new long[]{0x0000000020000000L}) [static]

Definition at line 1592 of file SpecFileParser.java.

final BitSet edu.mit.csail.sdg.squander.specfile.parser.SpecFileParser.FOLLOW_21_in_invariant362 = new BitSet(new long[]{0x0000000020000000L}) [static]

Definition at line 1604 of file SpecFileParser.java.

final BitSet edu.mit.csail.sdg.squander.specfile.parser.SpecFileParser.FOLLOW_21_in_specfield238 = new BitSet(new long[]{0x0000000020000000L}) [static]

Definition at line 1580 of file SpecFileParser.java.

final BitSet edu.mit.csail.sdg.squander.specfile.parser.SpecFileParser.FOLLOW_21_in_specfile129 = new BitSet(new long[]{0x0000000000000002L}) [static]

Definition at line 1566 of file SpecFileParser.java.

final BitSet edu.mit.csail.sdg.squander.specfile.parser.SpecFileParser.FOLLOW_27_in_specfield202 = new BitSet(new long[]{0x0000000010000000L}) [static]

Definition at line 1571 of file SpecFileParser.java.

final BitSet edu.mit.csail.sdg.squander.specfile.parser.SpecFileParser.FOLLOW_27_in_specfield230 = new BitSet(new long[]{0x0000000010000000L}) [static]

Definition at line 1576 of file SpecFileParser.java.

final BitSet edu.mit.csail.sdg.squander.specfile.parser.SpecFileParser.FOLLOW_28_in_funcfield266 = new BitSet(new long[]{0x0000000000000400L}) [static]

Definition at line 1584 of file SpecFileParser.java.

final BitSet edu.mit.csail.sdg.squander.specfile.parser.SpecFileParser.FOLLOW_28_in_funcfield294 = new BitSet(new long[]{0x0000000000100000L}) [static]

Definition at line 1589 of file SpecFileParser.java.

final BitSet edu.mit.csail.sdg.squander.specfile.parser.SpecFileParser.FOLLOW_28_in_invariant328 = new BitSet(new long[]{0x0000000000000400L}) [static]

Definition at line 1596 of file SpecFileParser.java.

final BitSet edu.mit.csail.sdg.squander.specfile.parser.SpecFileParser.FOLLOW_28_in_invariant356 = new BitSet(new long[]{0x0000000000100000L}) [static]

Definition at line 1601 of file SpecFileParser.java.

final BitSet edu.mit.csail.sdg.squander.specfile.parser.SpecFileParser.FOLLOW_28_in_specfield204 = new BitSet(new long[]{0x0000000000000400L}) [static]

Definition at line 1572 of file SpecFileParser.java.

final BitSet edu.mit.csail.sdg.squander.specfile.parser.SpecFileParser.FOLLOW_28_in_specfield232 = new BitSet(new long[]{0x0000000000100000L}) [static]

Definition at line 1577 of file SpecFileParser.java.

final BitSet edu.mit.csail.sdg.squander.specfile.parser.SpecFileParser.FOLLOW_29_in_funcfield270 = new BitSet(new long[]{0x0000000040000002L}) [static]

Definition at line 1586 of file SpecFileParser.java.

final BitSet edu.mit.csail.sdg.squander.specfile.parser.SpecFileParser.FOLLOW_29_in_funcfield302 = new BitSet(new long[]{0x0000000040000002L}) [static]

Definition at line 1593 of file SpecFileParser.java.

final BitSet edu.mit.csail.sdg.squander.specfile.parser.SpecFileParser.FOLLOW_29_in_invariant332 = new BitSet(new long[]{0x0000000040000002L}) [static]

Definition at line 1598 of file SpecFileParser.java.

final BitSet edu.mit.csail.sdg.squander.specfile.parser.SpecFileParser.FOLLOW_29_in_invariant364 = new BitSet(new long[]{0x0000000040000002L}) [static]

Definition at line 1605 of file SpecFileParser.java.

final BitSet edu.mit.csail.sdg.squander.specfile.parser.SpecFileParser.FOLLOW_29_in_specfield208 = new BitSet(new long[]{0x0000000040000002L}) [static]

Definition at line 1574 of file SpecFileParser.java.

final BitSet edu.mit.csail.sdg.squander.specfile.parser.SpecFileParser.FOLLOW_29_in_specfield240 = new BitSet(new long[]{0x0000000040000002L}) [static]

Definition at line 1581 of file SpecFileParser.java.

final BitSet edu.mit.csail.sdg.squander.specfile.parser.SpecFileParser.FOLLOW_30_in_funcfield272 = new BitSet(new long[]{0x0000000000000002L}) [static]

Definition at line 1587 of file SpecFileParser.java.

final BitSet edu.mit.csail.sdg.squander.specfile.parser.SpecFileParser.FOLLOW_30_in_funcfield304 = new BitSet(new long[]{0x0000000000000002L}) [static]

Definition at line 1594 of file SpecFileParser.java.

final BitSet edu.mit.csail.sdg.squander.specfile.parser.SpecFileParser.FOLLOW_30_in_invariant334 = new BitSet(new long[]{0x0000000000000002L}) [static]

Definition at line 1599 of file SpecFileParser.java.

final BitSet edu.mit.csail.sdg.squander.specfile.parser.SpecFileParser.FOLLOW_30_in_invariant366 = new BitSet(new long[]{0x0000000000000002L}) [static]

Definition at line 1606 of file SpecFileParser.java.

final BitSet edu.mit.csail.sdg.squander.specfile.parser.SpecFileParser.FOLLOW_30_in_specfield210 = new BitSet(new long[]{0x0000000000000002L}) [static]

Definition at line 1575 of file SpecFileParser.java.

final BitSet edu.mit.csail.sdg.squander.specfile.parser.SpecFileParser.FOLLOW_30_in_specfield242 = new BitSet(new long[]{0x0000000000000002L}) [static]

Definition at line 1582 of file SpecFileParser.java.

final BitSet edu.mit.csail.sdg.squander.specfile.parser.SpecFileParser.FOLLOW_31_in_funcfield264 = new BitSet(new long[]{0x0000000010000000L}) [static]

Definition at line 1583 of file SpecFileParser.java.

final BitSet edu.mit.csail.sdg.squander.specfile.parser.SpecFileParser.FOLLOW_31_in_funcfield292 = new BitSet(new long[]{0x0000000010000000L}) [static]

Definition at line 1588 of file SpecFileParser.java.

final BitSet edu.mit.csail.sdg.squander.specfile.parser.SpecFileParser.FOLLOW_32_in_invariant326 = new BitSet(new long[]{0x0000000010000000L}) [static]

Definition at line 1595 of file SpecFileParser.java.

final BitSet edu.mit.csail.sdg.squander.specfile.parser.SpecFileParser.FOLLOW_32_in_invariant354 = new BitSet(new long[]{0x0000000010000000L}) [static]

Definition at line 1600 of file SpecFileParser.java.

final BitSet edu.mit.csail.sdg.squander.specfile.parser.SpecFileParser.FOLLOW_33_in_params391 = new BitSet(new long[]{0x0000000000000200L}) [static]

Definition at line 1608 of file SpecFileParser.java.

final BitSet edu.mit.csail.sdg.squander.specfile.parser.SpecFileParser.FOLLOW_33_in_strings433 = new BitSet(new long[]{0x0000000000000400L}) [static]

Definition at line 1611 of file SpecFileParser.java.

final BitSet edu.mit.csail.sdg.squander.specfile.parser.SpecFileParser.FOLLOW_cls_in_type165 = new BitSet(new long[]{0x0000000000000002L}) [static]

Definition at line 1568 of file SpecFileParser.java.

final BitSet edu.mit.csail.sdg.squander.specfile.parser.SpecFileParser.FOLLOW_funcfield_in_specfile123 = new BitSet(new long[]{0x0000000180200000L}) [static]

Definition at line 1564 of file SpecFileParser.java.

final BitSet edu.mit.csail.sdg.squander.specfile.parser.SpecFileParser.FOLLOW_Identifier_in_params388 = new BitSet(new long[]{0x0000000200000002L}) [static]

Definition at line 1607 of file SpecFileParser.java.

final BitSet edu.mit.csail.sdg.squander.specfile.parser.SpecFileParser.FOLLOW_Identifier_in_params393 = new BitSet(new long[]{0x0000000200000002L}) [static]

Definition at line 1609 of file SpecFileParser.java.

final BitSet edu.mit.csail.sdg.squander.specfile.parser.SpecFileParser.FOLLOW_Identifier_in_specfile107 = new BitSet(new long[]{0x0000000000140000L}) [static]

Definition at line 1558 of file SpecFileParser.java.

final BitSet edu.mit.csail.sdg.squander.specfile.parser.SpecFileParser.FOLLOW_invariant_in_specfile126 = new BitSet(new long[]{0x0000000100200000L}) [static]

Definition at line 1565 of file SpecFileParser.java.

final BitSet edu.mit.csail.sdg.squander.specfile.parser.SpecFileParser.FOLLOW_mod_in_type162 = new BitSet(new long[]{0x0000000006000000L}) [static]

Definition at line 1567 of file SpecFileParser.java.

final BitSet edu.mit.csail.sdg.squander.specfile.parser.SpecFileParser.FOLLOW_params_in_specfile112 = new BitSet(new long[]{0x0000000000080000L}) [static]

Definition at line 1560 of file SpecFileParser.java.

final BitSet edu.mit.csail.sdg.squander.specfile.parser.SpecFileParser.FOLLOW_set_in_cls0 = new BitSet(new long[]{0x0000000000000002L}) [static]

Definition at line 1570 of file SpecFileParser.java.

final BitSet edu.mit.csail.sdg.squander.specfile.parser.SpecFileParser.FOLLOW_set_in_mod0 = new BitSet(new long[]{0x0000000000000002L}) [static]

Definition at line 1569 of file SpecFileParser.java.

final BitSet edu.mit.csail.sdg.squander.specfile.parser.SpecFileParser.FOLLOW_specfield_in_specfile120 = new BitSet(new long[]{0x0000000188200000L}) [static]

Definition at line 1563 of file SpecFileParser.java.

final BitSet edu.mit.csail.sdg.squander.specfile.parser.SpecFileParser.FOLLOW_StringLiteral_in_funcfield268 = new BitSet(new long[]{0x0000000020000000L}) [static]

Definition at line 1585 of file SpecFileParser.java.

final BitSet edu.mit.csail.sdg.squander.specfile.parser.SpecFileParser.FOLLOW_StringLiteral_in_invariant330 = new BitSet(new long[]{0x0000000020000000L}) [static]

Definition at line 1597 of file SpecFileParser.java.

final BitSet edu.mit.csail.sdg.squander.specfile.parser.SpecFileParser.FOLLOW_StringLiteral_in_specfield206 = new BitSet(new long[]{0x0000000020000000L}) [static]

Definition at line 1573 of file SpecFileParser.java.

final BitSet edu.mit.csail.sdg.squander.specfile.parser.SpecFileParser.FOLLOW_StringLiteral_in_strings430 = new BitSet(new long[]{0x0000000200000002L}) [static]

Definition at line 1610 of file SpecFileParser.java.

final BitSet edu.mit.csail.sdg.squander.specfile.parser.SpecFileParser.FOLLOW_StringLiteral_in_strings435 = new BitSet(new long[]{0x0000000200000002L}) [static]

Definition at line 1612 of file SpecFileParser.java.

final BitSet edu.mit.csail.sdg.squander.specfile.parser.SpecFileParser.FOLLOW_strings_in_funcfield298 = new BitSet(new long[]{0x0000000000200000L}) [static]

Definition at line 1591 of file SpecFileParser.java.

final BitSet edu.mit.csail.sdg.squander.specfile.parser.SpecFileParser.FOLLOW_strings_in_invariant360 = new BitSet(new long[]{0x0000000000200000L}) [static]

Definition at line 1603 of file SpecFileParser.java.

final BitSet edu.mit.csail.sdg.squander.specfile.parser.SpecFileParser.FOLLOW_strings_in_specfield236 = new BitSet(new long[]{0x0000000000200000L}) [static]

Definition at line 1579 of file SpecFileParser.java.

final BitSet edu.mit.csail.sdg.squander.specfile.parser.SpecFileParser.FOLLOW_type_in_specfile105 = new BitSet(new long[]{0x0000000000000200L}) [static]

Definition at line 1557 of file SpecFileParser.java.

final int edu.mit.csail.sdg.squander.specfile.parser.SpecFileParser.FUNCFIELD = 6 [static]

Definition at line 49 of file SpecFileParser.java.

final int edu.mit.csail.sdg.squander.specfile.parser.SpecFileParser.HexDigit = 16 [static]

Definition at line 33 of file SpecFileParser.java.

final int edu.mit.csail.sdg.squander.specfile.parser.SpecFileParser.Identifier = 9 [static]

Definition at line 34 of file SpecFileParser.java.

final int edu.mit.csail.sdg.squander.specfile.parser.SpecFileParser.INVARIANT = 7 [static]

Definition at line 31 of file SpecFileParser.java.

final int edu.mit.csail.sdg.squander.specfile.parser.SpecFileParser.JavaIDDigit = 12 [static]

Definition at line 45 of file SpecFileParser.java.

final int edu.mit.csail.sdg.squander.specfile.parser.SpecFileParser.Letter = 11 [static]

Definition at line 48 of file SpecFileParser.java.

final int edu.mit.csail.sdg.squander.specfile.parser.SpecFileParser.OctalEscape = 15 [static]

Definition at line 46 of file SpecFileParser.java.

final int edu.mit.csail.sdg.squander.specfile.parser.SpecFileParser.PARAMS = 8 [static]

Definition at line 50 of file SpecFileParser.java.

final int edu.mit.csail.sdg.squander.specfile.parser.SpecFileParser.SPECFIELD = 5 [static]

Definition at line 43 of file SpecFileParser.java.

final int edu.mit.csail.sdg.squander.specfile.parser.SpecFileParser.SPECFILE = 4 [static]

Definition at line 26 of file SpecFileParser.java.

final int edu.mit.csail.sdg.squander.specfile.parser.SpecFileParser.StringLiteral = 10 [static]

Definition at line 35 of file SpecFileParser.java.

final int edu.mit.csail.sdg.squander.specfile.parser.SpecFileParser.T__18 = 18 [static]

Definition at line 42 of file SpecFileParser.java.

final int edu.mit.csail.sdg.squander.specfile.parser.SpecFileParser.T__19 = 19 [static]

Definition at line 36 of file SpecFileParser.java.

final int edu.mit.csail.sdg.squander.specfile.parser.SpecFileParser.T__20 = 20 [static]

Definition at line 30 of file SpecFileParser.java.

final int edu.mit.csail.sdg.squander.specfile.parser.SpecFileParser.T__21 = 21 [static]

Definition at line 29 of file SpecFileParser.java.

final int edu.mit.csail.sdg.squander.specfile.parser.SpecFileParser.T__22 = 22 [static]

Definition at line 28 of file SpecFileParser.java.

final int edu.mit.csail.sdg.squander.specfile.parser.SpecFileParser.T__23 = 23 [static]

Definition at line 27 of file SpecFileParser.java.

final int edu.mit.csail.sdg.squander.specfile.parser.SpecFileParser.T__24 = 24 [static]

Definition at line 25 of file SpecFileParser.java.

final int edu.mit.csail.sdg.squander.specfile.parser.SpecFileParser.T__25 = 25 [static]

Definition at line 24 of file SpecFileParser.java.

final int edu.mit.csail.sdg.squander.specfile.parser.SpecFileParser.T__26 = 26 [static]

Definition at line 23 of file SpecFileParser.java.

final int edu.mit.csail.sdg.squander.specfile.parser.SpecFileParser.T__27 = 27 [static]

Definition at line 22 of file SpecFileParser.java.

final int edu.mit.csail.sdg.squander.specfile.parser.SpecFileParser.T__28 = 28 [static]

Definition at line 21 of file SpecFileParser.java.

final int edu.mit.csail.sdg.squander.specfile.parser.SpecFileParser.T__29 = 29 [static]

Definition at line 20 of file SpecFileParser.java.

final int edu.mit.csail.sdg.squander.specfile.parser.SpecFileParser.T__30 = 30 [static]

Definition at line 37 of file SpecFileParser.java.

final int edu.mit.csail.sdg.squander.specfile.parser.SpecFileParser.T__31 = 31 [static]

Definition at line 38 of file SpecFileParser.java.

final int edu.mit.csail.sdg.squander.specfile.parser.SpecFileParser.T__32 = 32 [static]

Definition at line 39 of file SpecFileParser.java.

final int edu.mit.csail.sdg.squander.specfile.parser.SpecFileParser.T__33 = 33 [static]

Definition at line 41 of file SpecFileParser.java.

final String [] edu.mit.csail.sdg.squander.specfile.parser.SpecFileParser.tokenNames [static]

Initial value:

 new String[] {
        "<invalid>", "<EOR>", "<DOWN>", "<UP>", "SPECFILE", "SPECFIELD", "FUNCFIELD", "INVARIANT", "PARAMS", "Identifier", "StringLiteral", "Letter", "JavaIDDigit", "EscapeSequence", "UnicodeEscape", "OctalEscape", "HexDigit", "WS", "'<'", "'>'", "'{'", "'}'", "'private'", "'public'", "'protected'", "'class'", "'interface'", "'@SpecField'", "'('", "')'", "';'", "'@FuncField'", "'@Invariant'", "','"
    }

Definition at line 17 of file SpecFileParser.java.

final int edu.mit.csail.sdg.squander.specfile.parser.SpecFileParser.UnicodeEscape = 14 [static]

Definition at line 44 of file SpecFileParser.java.

final int edu.mit.csail.sdg.squander.specfile.parser.SpecFileParser.WS = 17 [static]

Definition at line 40 of file SpecFileParser.java.

---

The documentation for this class was generated from the following file:

• spec/edu/mit/csail/sdg/squander/specfile/parser/SpecFileParser.java