vanted.validation
Class Validator

java.lang.Object
  extended by vanted.validation.Validator

public class Validator
extends java.lang.Object

The Class Validator controls the Petri net structure for validity.

Author:
Kevin Pucknat

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

Validator

public Validator()
Method Detail

isPNCorrect

public boolean isPNCorrect(org.graffiti.graph.Graph graph)
Checks if the Petri net is correct.

Parameters:
graph - the graph
Returns:
true, if is pN correct

isPNCorrectSilent

public 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).

Parameters:
graph - the graph
Returns:
true, if is pN correct silent

isVisuallyInvertedEdge

public static boolean isVisuallyInvertedEdge(org.graffiti.graph.Edge ed)
Checks if edges are visually inverted.

Parameters:
ed - the ed
Returns:
true, if is visually inverted edge