checks
Class Snotcheck

java.lang.Object
  |
  +--checks.Snotcheck

public class Snotcheck
extends java.lang.Object

Diese Klasse macht eine ganze Menge, n"amlich zum Beispiel: checken von SFCs

Author:
Dimitri Schultheis, Tobias Pugatschov

Constructor Summary
Snotcheck()
           
 
Method Summary
static boolean isOnlyBool(SFC aSFCObject)
          Diese Funktion prueft, ob nur boolsche Variablen vorkommen.
static boolean isWellDefined(SFC aSFCObject)
          Diese Funktion prueft, ob der angegebene SFC korrekt ist
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

Snotcheck

public Snotcheck()
Method Detail

isOnlyBool

public static boolean isOnlyBool(SFC aSFCObject)
Diese Funktion prueft, ob nur boolsche Variablen vorkommen.

isWellDefined

public static boolean isWellDefined(SFC aSFCObject)
                             throws CheckException
Diese Funktion prueft, ob der angegebene SFC korrekt ist