public final class SmcSyntaxChecker extends SmcVisitor
SmcElement
Constructor and Description |
---|
SmcSyntaxChecker(java.lang.String fsm,
int targetLanguage)
Creates a syntax checker for the named FSM and target
programming language.
|
Modifier and Type | Method and Description |
---|---|
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) |
void |
visit(SmcGuard guard) |
void |
visit(SmcMap map) |
void |
visit(SmcParameter parameter) |
void |
visit(SmcState state) |
void |
visit(SmcTransition transition) |
visit
public SmcSyntaxChecker(java.lang.String fsm, int targetLanguage)
fsm
- the finite state machine's name.targetLanguage
- the target programming language.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)
visit
in class SmcVisitor
public void visit(SmcMap map)
visit
in class SmcVisitor
public void visit(SmcState state)
visit
in class SmcVisitor
public void visit(SmcTransition transition)
visit
in class SmcVisitor
public void visit(SmcGuard guard)
visit
in class SmcVisitor
public void visit(SmcParameter parameter)
visit
in class SmcVisitor