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