|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectantlr.Parser
antlr.LLkParser
modesteditor.core.antlrparser.ModestParserNew
public class ModestParserNew
Field Summary | |
---|---|
static java.lang.String[] |
_tokenNames
|
static antlr.collections.impl.BitSet |
_tokenSet_0
|
static antlr.collections.impl.BitSet |
_tokenSet_1
|
static antlr.collections.impl.BitSet |
_tokenSet_10
|
static antlr.collections.impl.BitSet |
_tokenSet_11
|
static antlr.collections.impl.BitSet |
_tokenSet_12
|
static antlr.collections.impl.BitSet |
_tokenSet_13
|
static antlr.collections.impl.BitSet |
_tokenSet_14
|
static antlr.collections.impl.BitSet |
_tokenSet_15
|
static antlr.collections.impl.BitSet |
_tokenSet_16
|
static antlr.collections.impl.BitSet |
_tokenSet_17
|
static antlr.collections.impl.BitSet |
_tokenSet_18
|
static antlr.collections.impl.BitSet |
_tokenSet_19
|
static antlr.collections.impl.BitSet |
_tokenSet_2
|
static antlr.collections.impl.BitSet |
_tokenSet_20
|
static antlr.collections.impl.BitSet |
_tokenSet_21
|
static antlr.collections.impl.BitSet |
_tokenSet_22
|
static antlr.collections.impl.BitSet |
_tokenSet_23
|
static antlr.collections.impl.BitSet |
_tokenSet_24
|
static antlr.collections.impl.BitSet |
_tokenSet_25
|
static antlr.collections.impl.BitSet |
_tokenSet_26
|
static antlr.collections.impl.BitSet |
_tokenSet_27
|
static antlr.collections.impl.BitSet |
_tokenSet_28
|
static antlr.collections.impl.BitSet |
_tokenSet_29
|
static antlr.collections.impl.BitSet |
_tokenSet_3
|
static antlr.collections.impl.BitSet |
_tokenSet_30
|
static antlr.collections.impl.BitSet |
_tokenSet_31
|
static antlr.collections.impl.BitSet |
_tokenSet_32
|
static antlr.collections.impl.BitSet |
_tokenSet_33
|
static antlr.collections.impl.BitSet |
_tokenSet_34
|
static antlr.collections.impl.BitSet |
_tokenSet_35
|
static antlr.collections.impl.BitSet |
_tokenSet_36
|
static antlr.collections.impl.BitSet |
_tokenSet_37
|
static antlr.collections.impl.BitSet |
_tokenSet_38
|
static antlr.collections.impl.BitSet |
_tokenSet_39
|
static antlr.collections.impl.BitSet |
_tokenSet_4
|
static antlr.collections.impl.BitSet |
_tokenSet_40
|
static antlr.collections.impl.BitSet |
_tokenSet_41
|
static antlr.collections.impl.BitSet |
_tokenSet_42
|
static antlr.collections.impl.BitSet |
_tokenSet_43
|
static antlr.collections.impl.BitSet |
_tokenSet_44
|
static antlr.collections.impl.BitSet |
_tokenSet_45
|
static antlr.collections.impl.BitSet |
_tokenSet_46
|
static antlr.collections.impl.BitSet |
_tokenSet_47
|
static antlr.collections.impl.BitSet |
_tokenSet_48
|
static antlr.collections.impl.BitSet |
_tokenSet_49
|
static antlr.collections.impl.BitSet |
_tokenSet_5
|
static antlr.collections.impl.BitSet |
_tokenSet_50
|
static antlr.collections.impl.BitSet |
_tokenSet_51
|
static antlr.collections.impl.BitSet |
_tokenSet_52
|
static antlr.collections.impl.BitSet |
_tokenSet_53
|
static antlr.collections.impl.BitSet |
_tokenSet_54
|
static antlr.collections.impl.BitSet |
_tokenSet_6
|
static antlr.collections.impl.BitSet |
_tokenSet_7
|
static antlr.collections.impl.BitSet |
_tokenSet_8
|
static antlr.collections.impl.BitSet |
_tokenSet_9
|
protected boolean |
defActionsPatient
|
protected boolean |
defGuardsUrgent
|
protected java.util.ArrayList<Symbol> |
excs
|
protected static int |
MOD_CONST
|
protected static int |
MOD_EXTERN
|
protected static int |
MOD_IMPATIENT
|
protected static int |
MOD_NONE
|
protected static int |
MOD_PATIENT
|
protected int |
numErrors
|
protected long |
numTryCatch
|
java.util.ArrayList<org.eclipse.jface.text.IRegion> |
problems
|
protected java.util.ArrayList<java.lang.String> |
processes
|
protected int |
procLevel
|
protected java.util.ArrayList<java.lang.String> |
types
|
protected java.util.HashMap<java.lang.String,Symbol> |
unUsedVars
|
protected java.util.ArrayList<Symbol> |
vars
|
Fields inherited from class antlr.Parser |
---|
astFactory, inputState, returnAST, tokenNames, tokenTypeToASTClassMap, traceDepth |
Constructor Summary | |
---|---|
|
ModestParserNew(antlr.ParserSharedInputState state)
|
|
ModestParserNew(antlr.TokenBuffer tokenBuf)
|
protected |
ModestParserNew(antlr.TokenBuffer tokenBuf,
int k)
|
|
ModestParserNew(antlr.TokenStream lexer)
|
protected |
ModestParserNew(antlr.TokenStream lexer,
int k)
|
Method Summary | |
---|---|
java.lang.String |
additive_expr()
|
antlr.Token |
additive_op()
|
boolean |
addType(java.lang.String s)
|
void |
alt_stmnt()
Alt statement |
void |
alternative()
|
java.lang.String |
and_expr()
|
void |
arguments()
Parameter list for invocation of functions or instantiation of processes |
void |
assignment_block()
Atomic assignment block used in palt statement |
antlr.Token |
assignment_op()
Normal assignment |
void |
assignment(boolean need_palt)
Assignment rule. |
void |
assignments()
|
void |
astruct()
Struct definition |
java.lang.String |
base_expr()
|
java.lang.String |
bitand_expr()
|
java.lang.String |
bitexclor_expr()
|
java.lang.String |
bitor_expr()
|
protected void |
buildTokenTypeASTClassMap()
|
antlr.Token |
comp_op()
|
void |
declarative_stmnt()
Declarations of types/processes/functions/variables |
void |
defaults_section()
Rule to take care of defaults section |
void |
description()
Grammar rule for descriptions |
static void |
doFile(java.io.File f)
|
antlr.Token |
eq_op()
|
java.lang.String |
equality_expr()
|
java.lang.String |
expression()
|
java.lang.String |
findType(java.lang.String s)
|
int |
getErrorCount()
|
java.util.ArrayList<java.lang.String> |
getProcesses()
|
java.util.HashMap<java.lang.String,Symbol> |
getUnUsedVars()
|
java.util.ArrayList<java.lang.String> |
getVars()
|
void |
guarded_process()
Guarded process |
void |
identifier_or_array_decl(java.lang.String sType,
int modifiers,
boolean inStruct)
normal variable or array declaration |
void |
if_stmnt()
If statement this is a static construct NOTE: probably not used anymore due to disabling of forall |
void |
label_modification()
Labeling modifiers |
void |
labels_by_labels()
|
void |
local_process()
Local process work horse practically any statement. |
void |
loop_stmnt()
Loop statement |
static void |
main(java.lang.String[] args)
|
int |
modifier()
Modifiers used in variable declarations to specify externness, constness and (im)patience. |
java.lang.String |
multiplicative_expr()
|
antlr.Token |
multiplicative_op()
|
java.lang.String |
or_expr()
|
void |
palt_alternative()
|
void |
palt_stmnt()
|
void |
parallel_composition()
Parallel composition |
java.util.ArrayList<Symbol> |
param_definition(java.lang.String function)
Parameter list for definition of functions/processes |
Symbol |
parameter(java.lang.String function,
int cnt)
|
java.lang.String |
parameterized_object()
Function invocation or process instantiation |
static void |
parseFile(java.io.InputStream s)
|
void |
perform_action()
|
void |
process_body()
Process body used as process body and as function body. |
void |
process_definition()
Process definition Define a process. |
java.lang.String |
qualified_identifier(boolean allow_single_id)
Qualified identifier 'normal' identifier reference with optional namespace specification |
java.lang.String |
qualified_type()
Qualified type type with optional namespace qualification |
java.lang.String |
range()
specify a range [a_range_type] or [ |
java.lang.String |
relational_expr()
|
void |
reportError(antlr.RecognitionException ex)
|
void |
sequential_processes()
sequential composition or action prefixing |
void |
set_element()
|
void |
set()
Set definition |
java.lang.String |
shift_expr()
|
antlr.Token |
shift_op()
|
java.lang.String |
simple_expression()
|
void |
start()
Start rule for grammar |
void |
try_block()
Try .. throw .. catch .. |
void |
type_definition()
Type definition define a new type - a set (mostly implemented) - a struct (mostly unimplemented) - a range (mostly unimplemented) |
java.lang.String |
unary_expr()
|
void |
vardecl_assign(int modifiers,
ModestAST id)
|
void |
variable_declaration(boolean inStruct)
Variable declarations define a variable for later use. |
void |
weight()
Note: Alternative :: treated as :1: |
Methods inherited from class antlr.LLkParser |
---|
consume, LA, LT, traceIn, traceOut |
Methods inherited from class antlr.Parser |
---|
addMessageListener, addParserListener, addParserMatchListener, addParserTokenListener, addSemanticPredicateListener, addSyntacticPredicateListener, addTraceListener, consumeUntil, consumeUntil, defaultDebuggingSetup, getAST, getASTFactory, getFilename, getInputState, getTokenName, getTokenNames, getTokenTypeToASTClassMap, isDebugMode, mark, match, match, matchNot, panic, recover, removeMessageListener, removeParserListener, removeParserMatchListener, removeParserTokenListener, removeSemanticPredicateListener, removeSyntacticPredicateListener, removeTraceListener, reportError, reportWarning, rewind, setASTFactory, setASTNodeClass, setASTNodeType, setDebugMode, setFilename, setIgnoreInvalidDebugCalls, setInputState, setTokenBuffer, traceIndent |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Field Detail |
---|
protected long numTryCatch
protected int numErrors
protected int procLevel
protected boolean defActionsPatient
protected boolean defGuardsUrgent
protected static final int MOD_NONE
protected static final int MOD_EXTERN
protected static final int MOD_CONST
protected static final int MOD_PATIENT
protected static final int MOD_IMPATIENT
protected java.util.ArrayList<java.lang.String> types
protected java.util.ArrayList<Symbol> vars
protected java.util.ArrayList<Symbol> excs
protected java.util.ArrayList<java.lang.String> processes
protected java.util.HashMap<java.lang.String,Symbol> unUsedVars
public java.util.ArrayList<org.eclipse.jface.text.IRegion> problems
public static final java.lang.String[] _tokenNames
public static final antlr.collections.impl.BitSet _tokenSet_0
public static final antlr.collections.impl.BitSet _tokenSet_1
public static final antlr.collections.impl.BitSet _tokenSet_2
public static final antlr.collections.impl.BitSet _tokenSet_3
public static final antlr.collections.impl.BitSet _tokenSet_4
public static final antlr.collections.impl.BitSet _tokenSet_5
public static final antlr.collections.impl.BitSet _tokenSet_6
public static final antlr.collections.impl.BitSet _tokenSet_7
public static final antlr.collections.impl.BitSet _tokenSet_8
public static final antlr.collections.impl.BitSet _tokenSet_9
public static final antlr.collections.impl.BitSet _tokenSet_10
public static final antlr.collections.impl.BitSet _tokenSet_11
public static final antlr.collections.impl.BitSet _tokenSet_12
public static final antlr.collections.impl.BitSet _tokenSet_13
public static final antlr.collections.impl.BitSet _tokenSet_14
public static final antlr.collections.impl.BitSet _tokenSet_15
public static final antlr.collections.impl.BitSet _tokenSet_16
public static final antlr.collections.impl.BitSet _tokenSet_17
public static final antlr.collections.impl.BitSet _tokenSet_18
public static final antlr.collections.impl.BitSet _tokenSet_19
public static final antlr.collections.impl.BitSet _tokenSet_20
public static final antlr.collections.impl.BitSet _tokenSet_21
public static final antlr.collections.impl.BitSet _tokenSet_22
public static final antlr.collections.impl.BitSet _tokenSet_23
public static final antlr.collections.impl.BitSet _tokenSet_24
public static final antlr.collections.impl.BitSet _tokenSet_25
public static final antlr.collections.impl.BitSet _tokenSet_26
public static final antlr.collections.impl.BitSet _tokenSet_27
public static final antlr.collections.impl.BitSet _tokenSet_28
public static final antlr.collections.impl.BitSet _tokenSet_29
public static final antlr.collections.impl.BitSet _tokenSet_30
public static final antlr.collections.impl.BitSet _tokenSet_31
public static final antlr.collections.impl.BitSet _tokenSet_32
public static final antlr.collections.impl.BitSet _tokenSet_33
public static final antlr.collections.impl.BitSet _tokenSet_34
public static final antlr.collections.impl.BitSet _tokenSet_35
public static final antlr.collections.impl.BitSet _tokenSet_36
public static final antlr.collections.impl.BitSet _tokenSet_37
public static final antlr.collections.impl.BitSet _tokenSet_38
public static final antlr.collections.impl.BitSet _tokenSet_39
public static final antlr.collections.impl.BitSet _tokenSet_40
public static final antlr.collections.impl.BitSet _tokenSet_41
public static final antlr.collections.impl.BitSet _tokenSet_42
public static final antlr.collections.impl.BitSet _tokenSet_43
public static final antlr.collections.impl.BitSet _tokenSet_44
public static final antlr.collections.impl.BitSet _tokenSet_45
public static final antlr.collections.impl.BitSet _tokenSet_46
public static final antlr.collections.impl.BitSet _tokenSet_47
public static final antlr.collections.impl.BitSet _tokenSet_48
public static final antlr.collections.impl.BitSet _tokenSet_49
public static final antlr.collections.impl.BitSet _tokenSet_50
public static final antlr.collections.impl.BitSet _tokenSet_51
public static final antlr.collections.impl.BitSet _tokenSet_52
public static final antlr.collections.impl.BitSet _tokenSet_53
public static final antlr.collections.impl.BitSet _tokenSet_54
Constructor Detail |
---|
protected ModestParserNew(antlr.TokenBuffer tokenBuf, int k)
public ModestParserNew(antlr.TokenBuffer tokenBuf)
protected ModestParserNew(antlr.TokenStream lexer, int k)
public ModestParserNew(antlr.TokenStream lexer)
public ModestParserNew(antlr.ParserSharedInputState state)
Method Detail |
---|
public static void main(java.lang.String[] args)
public static void doFile(java.io.File f) throws java.lang.Exception
java.lang.Exception
public static void parseFile(java.io.InputStream s) throws java.lang.Exception
java.lang.Exception
public java.util.HashMap<java.lang.String,Symbol> getUnUsedVars()
public java.util.ArrayList<java.lang.String> getVars()
public java.util.ArrayList<java.lang.String> getProcesses()
public int getErrorCount()
public java.lang.String findType(java.lang.String s)
public boolean addType(java.lang.String s)
public void reportError(antlr.RecognitionException ex)
reportError
in class antlr.Parser
public final void start() throws antlr.RecognitionException, antlr.TokenStreamException
antlr.RecognitionException
antlr.TokenStreamException
public final void defaults_section() throws antlr.RecognitionException, antlr.TokenStreamException
antlr.RecognitionException
antlr.TokenStreamException
public final void description() throws antlr.RecognitionException, antlr.TokenStreamException
proc
- the process symbol the description belongs to.
antlr.RecognitionException
antlr.TokenStreamException
public final void declarative_stmnt() throws antlr.RecognitionException, antlr.TokenStreamException
assignments
- ASTVector used to collect initializations of variables
antlr.RecognitionException
antlr.TokenStreamException
public final void sequential_processes() throws antlr.RecognitionException, antlr.TokenStreamException
antlr.RecognitionException
antlr.TokenStreamException
public final void type_definition() throws antlr.RecognitionException, antlr.TokenStreamException
antlr.RecognitionException
antlr.TokenStreamException
public final void process_definition() throws antlr.RecognitionException, antlr.TokenStreamException
antlr.RecognitionException
antlr.TokenStreamException
public final int modifier() throws antlr.RecognitionException, antlr.TokenStreamException
antlr.RecognitionException
antlr.TokenStreamException
public final java.lang.String qualified_type() throws antlr.RecognitionException, antlr.TokenStreamException
antlr.RecognitionException
antlr.TokenStreamException
public final void variable_declaration(boolean inStruct) throws antlr.RecognitionException, antlr.TokenStreamException
antlr.RecognitionException
antlr.TokenStreamException
public final void set() throws antlr.RecognitionException, antlr.TokenStreamException
antlr.RecognitionException
antlr.TokenStreamException
public final java.lang.String range() throws antlr.RecognitionException, antlr.TokenStreamException
antlr.RecognitionException
antlr.TokenStreamException
public final void astruct() throws antlr.RecognitionException, antlr.TokenStreamException
antlr.RecognitionException
antlr.TokenStreamException
public final void vardecl_assign(int modifiers, ModestAST id) throws antlr.RecognitionException, antlr.TokenStreamException
antlr.RecognitionException
antlr.TokenStreamException
public final java.lang.String expression() throws antlr.RecognitionException, antlr.TokenStreamException
antlr.RecognitionException
antlr.TokenStreamException
public final void identifier_or_array_decl(java.lang.String sType, int modifiers, boolean inStruct) throws antlr.RecognitionException, antlr.TokenStreamException
antlr.RecognitionException
antlr.TokenStreamException
public final void local_process() throws antlr.RecognitionException, antlr.TokenStreamException
antlr.RecognitionException
antlr.TokenStreamException
public final void try_block() throws antlr.RecognitionException, antlr.TokenStreamException
antlr.RecognitionException
antlr.TokenStreamException
public final void if_stmnt() throws antlr.RecognitionException, antlr.TokenStreamException
antlr.RecognitionException
antlr.TokenStreamException
public final void alt_stmnt() throws antlr.RecognitionException, antlr.TokenStreamException
antlr.RecognitionException
antlr.TokenStreamException
public final void loop_stmnt() throws antlr.RecognitionException, antlr.TokenStreamException
antlr.RecognitionException
antlr.TokenStreamException
public final void parallel_composition() throws antlr.RecognitionException, antlr.TokenStreamException
antlr.RecognitionException
antlr.TokenStreamException
public final void label_modification() throws antlr.RecognitionException, antlr.TokenStreamException
antlr.RecognitionException
antlr.TokenStreamException
public final void guarded_process() throws antlr.RecognitionException, antlr.TokenStreamException
antlr.RecognitionException
antlr.TokenStreamException
public final void process_body() throws antlr.RecognitionException, antlr.TokenStreamException
antlr.RecognitionException
antlr.TokenStreamException
public final void assignment(boolean need_palt) throws antlr.RecognitionException, antlr.TokenStreamException
antlr.RecognitionException
antlr.TokenStreamException
public final java.lang.String parameterized_object() throws antlr.RecognitionException, antlr.TokenStreamException
antlr.RecognitionException
antlr.TokenStreamException
public final void perform_action() throws antlr.RecognitionException, antlr.TokenStreamException
antlr.RecognitionException
antlr.TokenStreamException
public final void palt_stmnt() throws antlr.RecognitionException, antlr.TokenStreamException
antlr.RecognitionException
antlr.TokenStreamException
public final java.lang.String qualified_identifier(boolean allow_single_id) throws antlr.RecognitionException, antlr.TokenStreamException
antlr.RecognitionException
antlr.TokenStreamException
public final void assignment_block() throws antlr.RecognitionException, antlr.TokenStreamException
antlr.RecognitionException
antlr.TokenStreamException
public final java.lang.String simple_expression() throws antlr.RecognitionException, antlr.TokenStreamException
antlr.RecognitionException
antlr.TokenStreamException
public final void labels_by_labels() throws antlr.RecognitionException, antlr.TokenStreamException
antlr.RecognitionException
antlr.TokenStreamException
public final java.util.ArrayList<Symbol> param_definition(java.lang.String function) throws antlr.RecognitionException, antlr.TokenStreamException
antlr.RecognitionException
antlr.TokenStreamException
public final void alternative() throws antlr.RecognitionException, antlr.TokenStreamException
antlr.RecognitionException
antlr.TokenStreamException
public final antlr.Token assignment_op() throws antlr.RecognitionException, antlr.TokenStreamException
antlr.RecognitionException
antlr.TokenStreamException
public final void assignments() throws antlr.RecognitionException, antlr.TokenStreamException
antlr.RecognitionException
antlr.TokenStreamException
public final void weight() throws antlr.RecognitionException, antlr.TokenStreamException
antlr.RecognitionException
antlr.TokenStreamException
public final void palt_alternative() throws antlr.RecognitionException, antlr.TokenStreamException
antlr.RecognitionException
antlr.TokenStreamException
public final void arguments() throws antlr.RecognitionException, antlr.TokenStreamException
antlr.RecognitionException
antlr.TokenStreamException
public final Symbol parameter(java.lang.String function, int cnt) throws antlr.RecognitionException, antlr.TokenStreamException
antlr.RecognitionException
antlr.TokenStreamException
public final java.lang.String additive_expr() throws antlr.RecognitionException, antlr.TokenStreamException
antlr.RecognitionException
antlr.TokenStreamException
public final java.lang.String or_expr() throws antlr.RecognitionException, antlr.TokenStreamException
antlr.RecognitionException
antlr.TokenStreamException
public final java.lang.String and_expr() throws antlr.RecognitionException, antlr.TokenStreamException
antlr.RecognitionException
antlr.TokenStreamException
public final java.lang.String bitor_expr() throws antlr.RecognitionException, antlr.TokenStreamException
antlr.RecognitionException
antlr.TokenStreamException
public final java.lang.String bitexclor_expr() throws antlr.RecognitionException, antlr.TokenStreamException
antlr.RecognitionException
antlr.TokenStreamException
public final java.lang.String bitand_expr() throws antlr.RecognitionException, antlr.TokenStreamException
antlr.RecognitionException
antlr.TokenStreamException
public final java.lang.String equality_expr() throws antlr.RecognitionException, antlr.TokenStreamException
antlr.RecognitionException
antlr.TokenStreamException
public final antlr.Token eq_op() throws antlr.RecognitionException, antlr.TokenStreamException
antlr.RecognitionException
antlr.TokenStreamException
public final java.lang.String relational_expr() throws antlr.RecognitionException, antlr.TokenStreamException
antlr.RecognitionException
antlr.TokenStreamException
public final antlr.Token comp_op() throws antlr.RecognitionException, antlr.TokenStreamException
antlr.RecognitionException
antlr.TokenStreamException
public final java.lang.String shift_expr() throws antlr.RecognitionException, antlr.TokenStreamException
antlr.RecognitionException
antlr.TokenStreamException
public final antlr.Token shift_op() throws antlr.RecognitionException, antlr.TokenStreamException
antlr.RecognitionException
antlr.TokenStreamException
public final antlr.Token additive_op() throws antlr.RecognitionException, antlr.TokenStreamException
antlr.RecognitionException
antlr.TokenStreamException
public final java.lang.String multiplicative_expr() throws antlr.RecognitionException, antlr.TokenStreamException
antlr.RecognitionException
antlr.TokenStreamException
public final antlr.Token multiplicative_op() throws antlr.RecognitionException, antlr.TokenStreamException
antlr.RecognitionException
antlr.TokenStreamException
public final java.lang.String unary_expr() throws antlr.RecognitionException, antlr.TokenStreamException
antlr.RecognitionException
antlr.TokenStreamException
public final java.lang.String base_expr() throws antlr.RecognitionException, antlr.TokenStreamException
antlr.RecognitionException
antlr.TokenStreamException
public final void set_element() throws antlr.RecognitionException, antlr.TokenStreamException
antlr.RecognitionException
antlr.TokenStreamException
protected void buildTokenTypeASTClassMap()
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |