org.eclipse.ocl.parser.backtracking
Class OCLBacktrackingParserprs

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

All Implemented Interfaces:

lpg.runtime.ParseTable, OCLBacktrackingParsersym

public class OCLBacktrackingParserprs
extends java.lang.Object
implements lpg.runtime.ParseTable, 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(! goto_default);
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(! shift_default);
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()

Specified by:

getErrorSymbol in interface lpg.runtime.ParseTable

getScopeUbound

public final int getScopeUbound()

Specified by:

getScopeUbound in interface lpg.runtime.ParseTable

getScopeSize

public final int getScopeSize()

Specified by:

getScopeSize in interface lpg.runtime.ParseTable

getMaxNameLength

public final int getMaxNameLength()

Specified by:

getMaxNameLength in interface lpg.runtime.ParseTable

getNumStates

public final int getNumStates()

Specified by:

getNumStates in interface lpg.runtime.ParseTable

getNtOffset

public final int getNtOffset()

Specified by:

getNtOffset in interface lpg.runtime.ParseTable

getLaStateOffset

public final int getLaStateOffset()

Specified by:

getLaStateOffset in interface lpg.runtime.ParseTable

getMaxLa

public final int getMaxLa()

Specified by:

getMaxLa in interface lpg.runtime.ParseTable

getNumRules

public final int getNumRules()

Specified by:

getNumRules in interface lpg.runtime.ParseTable

getNumNonterminals

public final int getNumNonterminals()

Specified by:

getNumNonterminals in interface lpg.runtime.ParseTable

getNumSymbols

public final int getNumSymbols()

Specified by:

getNumSymbols in interface lpg.runtime.ParseTable

getSegmentSize

public final int getSegmentSize()

Specified by:

getSegmentSize in interface lpg.runtime.ParseTable

getStartState

public final int getStartState()

Specified by:

getStartState in interface lpg.runtime.ParseTable

getIdentifier_SYMBOL

public final int getIdentifier_SYMBOL()

getEoftSymbol

public final int getEoftSymbol()

Specified by:

getEoftSymbol in interface lpg.runtime.ParseTable

getEoltSymbol

public final int getEoltSymbol()

Specified by:

getEoltSymbol in interface lpg.runtime.ParseTable

getAcceptAction

public final int getAcceptAction()

Specified by:

getAcceptAction in interface lpg.runtime.ParseTable

getErrorAction

public final int getErrorAction()

Specified by:

getErrorAction in interface lpg.runtime.ParseTable

getBacktrack

public final boolean getBacktrack()

Specified by:

getBacktrack in interface lpg.runtime.ParseTable

getStartSymbol

public final int getStartSymbol()

Specified by:

getStartSymbol in interface lpg.runtime.ParseTable

isValidForParser

public final boolean isValidForParser()

Specified by:

isValidForParser in interface lpg.runtime.ParseTable

isNullable

public final boolean isNullable(int index)

Specified by:

isNullable in interface lpg.runtime.ParseTable

prosthesesIndex

public final int prosthesesIndex(int index)

isKeyword

public final boolean isKeyword(int index)

baseCheck

public final int baseCheck(int index)

Specified by:

baseCheck in interface lpg.runtime.ParseTable

rhs

public final int rhs(int index)

Specified by:

rhs in interface lpg.runtime.ParseTable

baseAction

public final int baseAction(int index)

Specified by:

baseAction in interface lpg.runtime.ParseTable

lhs

public final int lhs(int index)

Specified by:

lhs in interface lpg.runtime.ParseTable

termCheck

public final int termCheck(int index)

Specified by:

termCheck in interface lpg.runtime.ParseTable

termAction

public final int termAction(int index)

Specified by:

termAction in interface lpg.runtime.ParseTable

asb

public final int asb(int index)

Specified by:

asb in interface lpg.runtime.ParseTable

asr

public final int asr(int index)

Specified by:

asr in interface lpg.runtime.ParseTable

nasb

public final int nasb(int index)

Specified by:

nasb in interface lpg.runtime.ParseTable

nasr

public final int nasr(int index)

Specified by:

nasr in interface lpg.runtime.ParseTable

terminalIndex

public final int terminalIndex(int index)

Specified by:

terminalIndex in interface lpg.runtime.ParseTable

nonterminalIndex

public final int nonterminalIndex(int index)

Specified by:

nonterminalIndex in interface lpg.runtime.ParseTable

scopePrefix

public final int scopePrefix(int index)

Specified by:

scopePrefix in interface lpg.runtime.ParseTable

scopeSuffix

public final int scopeSuffix(int index)

Specified by:

scopeSuffix in interface lpg.runtime.ParseTable

scopeLhs

public final int scopeLhs(int index)

Specified by:

scopeLhs in interface lpg.runtime.ParseTable

scopeLa

public final int scopeLa(int index)

Specified by:

scopeLa in interface lpg.runtime.ParseTable

scopeStateSet

public final int scopeStateSet(int index)

Specified by:

scopeStateSet in interface lpg.runtime.ParseTable

scopeRhs

public final int scopeRhs(int index)

Specified by:

scopeRhs in interface lpg.runtime.ParseTable

scopeState

public final int scopeState(int index)

Specified by:

scopeState in interface lpg.runtime.ParseTable

inSymb

public final int inSymb(int index)

Specified by:

inSymb in interface lpg.runtime.ParseTable

name

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

Specified by:

name in interface lpg.runtime.ParseTable

originalState

public final int originalState(int state)

Specified by:

originalState in interface lpg.runtime.ParseTable

asi

public final int asi(int state)

Specified by:

asi in interface lpg.runtime.ParseTable

nasi

public final int nasi(int state)

Specified by:

nasi in interface lpg.runtime.ParseTable

inSymbol

public final int inSymbol(int state)

Specified by:

inSymbol in interface lpg.runtime.ParseTable

ntAction

public final int ntAction(int state,
                          int sym)

assert(! goto_default);

Specified by:

ntAction in interface lpg.runtime.ParseTable

tAction

public final int tAction(int state,
                         int sym)

assert(! shift_default);

Specified by:

tAction in interface lpg.runtime.ParseTable

lookAhead

public final int lookAhead(int la_state,
                           int sym)

Specified by:

lookAhead in interface lpg.runtime.ParseTable