|
SMC 6_0_1 |
||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectnet.sf.smc.model.SmcVisitor
net.sf.smc.SmcSyntaxChecker
public final class SmcSyntaxChecker
Performs a global syntax check on the various elements of the abstract syntax tree. This includes:
SmcElement
Constructor Summary | |
---|---|
SmcSyntaxChecker(java.lang.String fsm,
SmcParser.TargetLanguage targetLanguage)
Creates a syntax checker for the named FSM and target programming language. |
Method Summary | |
---|---|
java.util.List<SmcMessage> |
getMessages()
Returns a list of warning and error messages. |
boolean |
isValid()
Returns true if no errors were found and
false if there are syntax errors. |
void |
visit(SmcFSM fsm)
Visits the top-level finite state machine element. |
void |
visit(SmcGuard guard)
Visits a state tansition guard. |
void |
visit(SmcMap map)
Visits a finite state machine submap. |
void |
visit(SmcParameter parameter)
Visits a state transition parameter. |
void |
visit(SmcState state)
Visits a finite state machine state. |
void |
visit(SmcTransition transition)
Visits a finite state machine state transition. |
Methods inherited from class net.sf.smc.model.SmcVisitor |
---|
visit |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
---|
public SmcSyntaxChecker(java.lang.String fsm, SmcParser.TargetLanguage targetLanguage)
fsm
- the finite state machine's name.targetLanguage
- the target programming language.Method Detail |
---|
public boolean isValid()
true
if no errors were found and
false
if there are syntax errors.
true
if no errors were found and
false
if there are syntax errors.public java.util.List<SmcMessage> getMessages()
public void visit(SmcFSM fsm)
SmcVisitor
visit
in class SmcVisitor
fsm
- The top-level finite state machine element.public void visit(SmcMap map)
SmcVisitor
visit
in class SmcVisitor
map
- A finite state machine submap.public void visit(SmcState state)
SmcVisitor
visit
in class SmcVisitor
state
- A finite state machine state.public void visit(SmcTransition transition)
SmcVisitor
visit
in class SmcVisitor
transition
- A finite state machine state transition.public void visit(SmcGuard guard)
SmcVisitor
visit
in class SmcVisitor
guard
- A state tansition guard.public void visit(SmcParameter parameter)
SmcVisitor
visit
in class SmcVisitor
parameter
- A state transition parameter.
|
SMC 6_0_1 |
||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |