|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectvanted.validation.Validator
public class Validator
The Class Validator controls the Petri net structure for validity.
Constructor Summary | |
---|---|
Validator()
|
Method Summary | |
---|---|
boolean |
isPNCorrect(org.graffiti.graph.Graph graph)
Checks if the Petri net is correct. |
boolean |
isPNCorrectSilent(org.graffiti.graph.Graph graph)
Checks if the Petri net is correct in silent mode (silent = no message if the Petri net is correct). |
static boolean |
isVisuallyInvertedEdge(org.graffiti.graph.Edge ed)
Checks if edges are visually inverted. |
Methods inherited from class java.lang.Object |
---|
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
---|
public Validator()
Method Detail |
---|
public boolean isPNCorrect(org.graffiti.graph.Graph graph)
graph
- the graph
public boolean isPNCorrectSilent(org.graffiti.graph.Graph graph)
graph
- the graph
public static boolean isVisuallyInvertedEdge(org.graffiti.graph.Edge ed)
ed
- the ed
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |