public class XTAReader extends Object implements XTAReaderConstants
Modifier and Type | Field and Description |
---|---|
Token |
jj_nt
Next token.
|
Token |
token
Current token.
|
XTAReaderTokenManager |
token_source
Generated Token Manager.
|
ASSIGN, BECOMES, BODY, BRANCH, CHAN, CLBR, CLBRACE, CLOCK, CLOSE, COLON, COMMA, COMMIT, CONST, DEFAULT, DOT, DOUBLE, EOF, EQUAL, ERROR, EXCLMARK, EXTERNAL, FROM, GEQ, GRT, GUARD, ID, IMPLIES, IMPORT, INIT, INT, IS, ISNOT, LEQ, LESS, LOCAL, MINUS, MLCOMMENT, NAT, OPBR, OPBRACE, OPEN, PLUS, PROCESS, QM, SELECT, SEMICOLON, SLASH, SLCOMMENT, STATE, SYNC, SYSTEM, TIMES, tokenImage, TRANS, UNCONTROLLABLETRANS, URGENT, WS
Constructor and Description |
---|
XTAReader(InputStream stream)
Constructor with InputStream.
|
XTAReader(InputStream stream,
String encoding)
Constructor with InputStream and supplied encoding
|
XTAReader(Reader stream)
Constructor.
|
XTAReader(XTAReaderTokenManager tm)
Constructor with generated Token Manager.
|
Modifier and Type | Method and Description |
---|---|
void |
body(Template template) |
void |
bodyBranch(Template template,
Map locations) |
void |
bodyBranches(Template template,
Map locations) |
void |
bodyCommitted(Map locations) |
void |
bodyInit(Template template,
Map locations) |
void |
bodyState(Template template,
Map locations) |
void |
bodyStates(Template template,
Map locations) |
void |
bodyTransitions(Template template,
Map locations) |
boolean |
bodyTransitionSymbol() |
void |
bodyUrgent(Map locations) |
void |
destination(Template template,
Map locations,
AbstractLocation src,
boolean controllable) |
void |
disable_tracing()
Disable tracing.
|
void |
enable_tracing()
Enable tracing.
|
ParseException |
generateParseException()
Generate ParseException.
|
String |
getErrors() |
Token |
getNextToken()
Get the next Token.
|
Token |
getToken(int index)
Get the specific Token.
|
AbstractLocation |
location(Map locations) |
Document |
parse(Element prototype) |
void |
processdecl(Document document) |
void |
PTBody(Template template) |
void |
PTHead(Template template) |
void |
PTParamList(Template template) |
void |
ReInit(InputStream stream)
Reinitialise.
|
void |
ReInit(InputStream stream,
String encoding)
Reinitialise.
|
void |
ReInit(Reader stream)
Reinitialise.
|
void |
ReInit(XTAReaderTokenManager tm)
Reinitialise.
|
void |
systemSpec(Document document) |
public XTAReaderTokenManager token_source
public Token token
public Token jj_nt
public XTAReader(InputStream stream)
public XTAReader(InputStream stream, String encoding)
public XTAReader(Reader stream)
public XTAReader(XTAReaderTokenManager tm)
public Document parse(Element prototype) throws ParseException
ParseException
public String getErrors()
public final void systemSpec(Document document) throws ParseException
ParseException
public final void processdecl(Document document) throws ParseException
ParseException
public final void PTHead(Template template) throws ParseException
ParseException
public final void PTParamList(Template template) throws ParseException
ParseException
public final void PTBody(Template template) throws ParseException
ParseException
public final void body(Template template) throws ParseException
ParseException
public final void bodyStates(Template template, Map locations) throws ParseException
ParseException
public final void bodyBranches(Template template, Map locations) throws ParseException
ParseException
public final void bodyState(Template template, Map locations) throws ParseException
ParseException
public final void bodyBranch(Template template, Map locations) throws ParseException
ParseException
public final void bodyCommitted(Map locations) throws ParseException
ParseException
public final void bodyUrgent(Map locations) throws ParseException
ParseException
public final void bodyInit(Template template, Map locations) throws ParseException
ParseException
public final void bodyTransitions(Template template, Map locations) throws ParseException
ParseException
public final boolean bodyTransitionSymbol() throws ParseException
ParseException
public final AbstractLocation location(Map locations) throws ParseException
ParseException
public final void destination(Template template, Map locations, AbstractLocation src, boolean controllable) throws ParseException
ParseException
public void ReInit(InputStream stream)
public void ReInit(InputStream stream, String encoding)
public void ReInit(Reader stream)
public void ReInit(XTAReaderTokenManager tm)
public final Token getNextToken()
public final Token getToken(int index)
public ParseException generateParseException()
public final void enable_tracing()
public final void disable_tracing()
Copyright © 2012 Uppsala University and Aalborg University. All Rights Reserved.