de.cau.cs.kieler.kies.validation
Class EsterelJavaValidator

java.lang.Object
  extended by AbstractEsterelJavaValidator
      extended by de.cau.cs.kieler.kies.validation.EsterelJavaValidator

public class EsterelJavaValidator
extends AbstractEsterelJavaValidator

Rating red

Constructor Summary
EsterelJavaValidator()
           
 
Method Summary
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

EsterelJavaValidator

public EsterelJavaValidator()