org.eclipse.ocl.parser.backtracking
Class OCLBacktrackingParserprs

java.lang.Object
  org.eclipse.ocl.parser.backtracking.OCLBacktrackingParserprs

All Implemented Interfaces:

OCLBacktrackingParsersym

public class OCLBacktrackingParserprs
extends java.lang.Object
implements OCLBacktrackingParsersym

The backtracking variant of the OCL parser parse table.

Since:

1.3

Nested Class Summary

static interface	OCLBacktrackingParserprs.Asb
static interface	OCLBacktrackingParserprs.Asr
static interface	OCLBacktrackingParserprs.BaseAction
static interface	OCLBacktrackingParserprs.BaseCheck
static interface	OCLBacktrackingParserprs.InSymb
static interface	OCLBacktrackingParserprs.IsKeyword
static interface	OCLBacktrackingParserprs.IsNullable
static interface	OCLBacktrackingParserprs.Name
static interface	OCLBacktrackingParserprs.Nasb
static interface	OCLBacktrackingParserprs.Nasr
static interface	OCLBacktrackingParserprs.NonterminalIndex
static interface	OCLBacktrackingParserprs.ProsthesesIndex
static interface	OCLBacktrackingParserprs.ScopeLa
static interface	OCLBacktrackingParserprs.ScopeLhs
static interface	OCLBacktrackingParserprs.ScopePrefix
static interface	OCLBacktrackingParserprs.ScopeRhs
static interface	OCLBacktrackingParserprs.ScopeState
static interface	OCLBacktrackingParserprs.ScopeStateSet
static interface	OCLBacktrackingParserprs.ScopeSuffix
static interface	OCLBacktrackingParserprs.TermAction
static interface	OCLBacktrackingParserprs.TermCheck
static interface	OCLBacktrackingParserprs.TerminalIndex

Field Summary

static int	ACCEPT_ACTION
static char[]	asb
static byte[]	asr
static boolean	BACKTRACK
static char[]	baseAction
static short[]	baseCheck
static int	EOFT_SYMBOL
static int	EOLT_SYMBOL
static int	ERROR_ACTION
static int	ERROR_SYMBOL
static int	IDENTIFIER_SYMBOL
static char[]	inSymb
static byte[]	isKeyword
static byte[]	isNullable
static int	LA_STATE_OFFSET
static char[]	lhs
static int	MAX_LA
static int	MAX_NAME_LENGTH
static java.lang.String[]	name
static byte[]	nasb
static char[]	nasr
static char[]	nonterminalIndex
static int	NT_OFFSET
static int	NUM_NONTERMINALS
static int	NUM_RULES
static int	NUM_STATES
static int	NUM_SYMBOLS
static byte[]	prosthesesIndex
static short[]	rhs
static int	SCOPE_SIZE
static int	SCOPE_UBOUND
static byte[]	scopeLa
static char[]	scopeLhs
static char[]	scopePrefix
static char[]	scopeRhs
static char[]	scopeState
static byte[]	scopeStateSet
static char[]	scopeSuffix
static int	SEGMENT_SIZE
static int	START_STATE
static char[]	termAction
static byte[]	termCheck
static char[]	terminalIndex

Fields inherited from interface org.eclipse.ocl.parser.backtracking.OCLBacktrackingParsersym

isValidForParser, numTokenKinds, orderedTerminalSymbols, TK_and, TK_ARROW, TK_AT, TK_Bag, TK_BAR, TK_body, TK_Boolean, TK_CARET, TK_CARETCARET, TK_Collection, TK_COLON, TK_COLONCOLON, TK_COMMA, TK_context, TK_def, TK_derive, TK_DIVIDE, TK_DOT, TK_DOTDOT, TK_else, TK_endif, TK_endpackage, TK_EOF_TOKEN, TK_EQUAL, TK_ERROR_TOKEN, TK_false, TK_GREATER, TK_GREATER_EQUAL, TK_IDENTIFIER, TK_if, TK_implies, TK_in, TK_init, TK_Integer, TK_INTEGER_LITERAL, TK_inv, TK_invalid, TK_LBRACE, TK_LBRACKET, TK_LESS, TK_LESS_EQUAL, TK_let, TK_LPAREN, TK_MINUS, TK_MULTI_LINE_COMMENT, TK_MULTIPLY, TK_not, TK_NOT_EQUAL, TK_null, TK_OclAny, TK_OclInvalid, TK_OclMessage, TK_OclVoid, TK_or, TK_OrderedSet, TK_package, TK_PLUS, TK_post, TK_pre, TK_QUESTIONMARK, TK_QUOTED_IDENTIFIER, TK_RBRACE, TK_RBRACKET, TK_Real, TK_REAL_LITERAL, TK_RPAREN, TK_self, TK_SEMICOLON, TK_Sequence, TK_Set, TK_SINGLE_LINE_COMMENT, TK_static, TK_String, TK_STRING_LITERAL, TK_then, TK_true, TK_Tuple, TK_UnlimitedNatural, TK_xor

Constructor Summary

OCLBacktrackingParserprs()

Method Summary

int	asb(int index)
int	asi(int state)
int	asr(int index)
int	baseAction(int index)
int	baseCheck(int index)
int	getAcceptAction()
boolean	getBacktrack()
int	getEoftSymbol()
int	getEoltSymbol()
int	getErrorAction()
int	getErrorSymbol()
int	getIdentifier_SYMBOL()
int	getLaStateOffset()
int	getMaxLa()
int	getMaxNameLength()
int	getNtOffset()
int	getNumNonterminals()
int	getNumRules()
int	getNumStates()
int	getNumSymbols()
int	getScopeSize()
int	getScopeUbound()
int	getSegmentSize()
int	getStartState()
int	getStartSymbol()
int	inSymb(int index)
int	inSymbol(int state)
boolean	isKeyword(int index)
boolean	isNullable(int index)
boolean	isValidForParser()
int	lhs(int index)
int	lookAhead(int la_state, int sym)
java.lang.String	name(int index)
int	nasb(int index)
int	nasi(int state)
int	nasr(int index)
int	nonterminalIndex(int index)
int	ntAction(int state, int sym) assert(!
int	originalState(int state)
int	prosthesesIndex(int index)
int	rhs(int index)
int	scopeLa(int index)
int	scopeLhs(int index)
int	scopePrefix(int index)
int	scopeRhs(int index)
int	scopeState(int index)
int	scopeStateSet(int index)
int	scopeSuffix(int index)
int	tAction(int state, int sym) assert(!
int	termAction(int index)
int	termCheck(int index)
int	terminalIndex(int index)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

ERROR_SYMBOL

public static final int ERROR_SYMBOL

See Also:

Constant Field Values

SCOPE_UBOUND

public static final int SCOPE_UBOUND

See Also:

Constant Field Values

SCOPE_SIZE

public static final int SCOPE_SIZE

See Also:

Constant Field Values

MAX_NAME_LENGTH

public static final int MAX_NAME_LENGTH

See Also:

Constant Field Values

NUM_STATES

public static final int NUM_STATES

See Also:

Constant Field Values

NT_OFFSET

public static final int NT_OFFSET

See Also:

Constant Field Values

LA_STATE_OFFSET

public static final int LA_STATE_OFFSET

See Also:

Constant Field Values

MAX_LA

public static final int MAX_LA

See Also:

Constant Field Values

NUM_RULES

public static final int NUM_RULES

See Also:

Constant Field Values

NUM_NONTERMINALS

public static final int NUM_NONTERMINALS

See Also:

Constant Field Values

NUM_SYMBOLS

public static final int NUM_SYMBOLS

See Also:

Constant Field Values

SEGMENT_SIZE

public static final int SEGMENT_SIZE

See Also:

Constant Field Values

START_STATE

public static final int START_STATE

See Also:

Constant Field Values

IDENTIFIER_SYMBOL

public static final int IDENTIFIER_SYMBOL

See Also:

Constant Field Values

EOFT_SYMBOL

public static final int EOFT_SYMBOL

See Also:

Constant Field Values

EOLT_SYMBOL

public static final int EOLT_SYMBOL

See Also:

Constant Field Values

ACCEPT_ACTION

public static final int ACCEPT_ACTION

See Also:

Constant Field Values

ERROR_ACTION

public static final int ERROR_ACTION

See Also:

Constant Field Values

BACKTRACK

public static final boolean BACKTRACK

See Also:

Constant Field Values

isNullable

public static final byte[] isNullable

prosthesesIndex

public static final byte[] prosthesesIndex

isKeyword

public static final byte[] isKeyword

baseCheck

public static final short[] baseCheck

rhs

public static final short[] rhs

baseAction

public static final char[] baseAction

lhs

public static final char[] lhs

termCheck

public static final byte[] termCheck

termAction

public static final char[] termAction

asb

public static final char[] asb

asr

public static final byte[] asr

nasb

public static final byte[] nasb

nasr

public static final char[] nasr

terminalIndex

public static final char[] terminalIndex

nonterminalIndex

public static final char[] nonterminalIndex

scopePrefix

public static final char[] scopePrefix

scopeSuffix

public static final char[] scopeSuffix

scopeLhs

public static final char[] scopeLhs

scopeLa

public static final byte[] scopeLa

scopeStateSet

public static final byte[] scopeStateSet

scopeRhs

public static final char[] scopeRhs

scopeState

public static final char[] scopeState

inSymb

public static final char[] inSymb

name

public static final java.lang.String[] name

Constructor Detail

OCLBacktrackingParserprs

public OCLBacktrackingParserprs()

Method Detail

getErrorSymbol

public final int getErrorSymbol()

getScopeUbound

public final int getScopeUbound()

getScopeSize

public final int getScopeSize()

getMaxNameLength

public final int getMaxNameLength()

getNumStates

public final int getNumStates()

getNtOffset

public final int getNtOffset()

getLaStateOffset

public final int getLaStateOffset()

getMaxLa

public final int getMaxLa()

getNumRules

public final int getNumRules()

getNumNonterminals

public final int getNumNonterminals()

getNumSymbols

public final int getNumSymbols()

getSegmentSize

public final int getSegmentSize()

getStartState

public final int getStartState()

getIdentifier_SYMBOL

public final int getIdentifier_SYMBOL()

getEoftSymbol

public final int getEoftSymbol()

getEoltSymbol

public final int getEoltSymbol()

getAcceptAction

public final int getAcceptAction()

getErrorAction

public final int getErrorAction()

getBacktrack

public final boolean getBacktrack()

getStartSymbol

public final int getStartSymbol()

isValidForParser

public final boolean isValidForParser()

isNullable

public final boolean isNullable(int index)

prosthesesIndex

public final int prosthesesIndex(int index)

isKeyword

public final boolean isKeyword(int index)

baseCheck

public final int baseCheck(int index)

rhs

public final int rhs(int index)

baseAction

public final int baseAction(int index)

lhs

public final int lhs(int index)

termCheck

public final int termCheck(int index)

termAction

public final int termAction(int index)

asb

public final int asb(int index)

asr

public final int asr(int index)

nasb

public final int nasb(int index)

nasr

public final int nasr(int index)

terminalIndex

public final int terminalIndex(int index)

nonterminalIndex

public final int nonterminalIndex(int index)

scopePrefix

public final int scopePrefix(int index)

scopeSuffix

public final int scopeSuffix(int index)

scopeLhs

public final int scopeLhs(int index)

scopeLa

public final int scopeLa(int index)

scopeStateSet

public final int scopeStateSet(int index)

scopeRhs

public final int scopeRhs(int index)

scopeState

public final int scopeState(int index)

inSymb

public final int inSymb(int index)

name

public final java.lang.String name(int index)

originalState

public final int originalState(int state)

asi

public final int asi(int state)

nasi

public final int nasi(int state)

inSymbol

public final int inSymbol(int state)

ntAction

public final int ntAction(int state,
                          int sym)

assert(! goto_default);

tAction

public final int tAction(int state,
                         int sym)

assert(! shift_default);

lookAhead

public final int lookAhead(int la_state,
                           int sym)