com.uppaal.model.io2

Class XTAReader

java.lang.Object

com.uppaal.model.io2.XTAReader

All Implemented Interfaces:

XTAReaderConstants

public class XTAReader
extends Object
implements XTAReaderConstants

Field Summary

Fields

Modifier and Type	Field and Description
Token	jj_nt Next token.
Token	token Current token.
XTAReaderTokenManager	token_source Generated Token Manager.

Fields inherited from interface com.uppaal.model.io2.XTAReaderConstants

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 Summary

Constructors

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.

Method Summary

Methods

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)

Methods inherited from class java.lang.Object

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

Field Detail

token_source

public XTAReaderTokenManager token_source

Generated Token Manager.

token

public Token token

Current token.

jj_nt

public Token jj_nt

Next token.

Constructor Detail

XTAReader

public XTAReader(InputStream stream)

Constructor with InputStream.

XTAReader

public XTAReader(InputStream stream,
         String encoding)

Constructor with InputStream and supplied encoding

XTAReader

public XTAReader(Reader stream)

Constructor.

XTAReader

public XTAReader(XTAReaderTokenManager tm)

Constructor with generated Token Manager.

Method Detail

parse

public Document parse(Element prototype)
               throws ParseException

Throws:

ParseException

getErrors

public String getErrors()

systemSpec

public final void systemSpec(Document document)
                      throws ParseException

Throws:

ParseException

processdecl

public final void processdecl(Document document)
                       throws ParseException

Throws:

ParseException

PTHead

public final void PTHead(Template template)
                  throws ParseException

Throws:

ParseException

PTParamList

public final void PTParamList(Template template)
                       throws ParseException

Throws:

ParseException

PTBody

public final void PTBody(Template template)
                  throws ParseException

Throws:

ParseException

body

public final void body(Template template)
                throws ParseException

Throws:

ParseException

bodyStates

public final void bodyStates(Template template,
              Map locations)
                      throws ParseException

Throws:

ParseException

bodyBranches

public final void bodyBranches(Template template,
                Map locations)
                        throws ParseException

Throws:

ParseException

bodyState

public final void bodyState(Template template,
             Map locations)
                     throws ParseException

Throws:

ParseException

bodyBranch

public final void bodyBranch(Template template,
              Map locations)
                      throws ParseException

Throws:

ParseException

bodyCommitted

public final void bodyCommitted(Map locations)
                         throws ParseException

Throws:

ParseException

bodyUrgent

public final void bodyUrgent(Map locations)
                      throws ParseException

Throws:

ParseException

bodyInit

public final void bodyInit(Template template,
            Map locations)
                    throws ParseException

Throws:

ParseException

bodyTransitions

public final void bodyTransitions(Template template,
                   Map locations)
                           throws ParseException

Throws:

ParseException

bodyTransitionSymbol

public final boolean bodyTransitionSymbol()
                                   throws ParseException

Throws:

ParseException

location

public final AbstractLocation location(Map locations)
                                throws ParseException

Throws:

ParseException

destination

public final void destination(Template template,
               Map locations,
               AbstractLocation src,
               boolean controllable)
                       throws ParseException

Throws:

ParseException

ReInit

public void ReInit(InputStream stream)

Reinitialise.

ReInit

public void ReInit(InputStream stream,
          String encoding)

Reinitialise.

ReInit

public void ReInit(Reader stream)

Reinitialise.

ReInit

public void ReInit(XTAReaderTokenManager tm)

Reinitialise.

getNextToken

public final Token getNextToken()

Get the next Token.

getToken

public final Token getToken(int index)

Get the specific Token.

generateParseException

public ParseException generateParseException()

Generate ParseException.

enable_tracing

public final void enable_tracing()

Enable tracing.

disable_tracing

public final void disable_tracing()

Disable tracing.