modcheck
Class LabelHandler

java.lang.Object
  |
  +--modcheck.LabelHandler

public class LabelHandler
extends java.lang.Object


Constructor Summary
LabelHandler()
           
 
Method Summary
static VardecList accomplishAction(Label _l, Modstate _m)
          Fuehre Aktion eines Labels durch.
static boolean checkExpr(Label _l, Modstate _m)
          Pruefe Zulaessigkeit eines Labels.
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

LabelHandler

public LabelHandler()
Method Detail

checkExpr

public static boolean checkExpr(Label _l,
                                Modstate _m)
Pruefe Zulaessigkeit eines Labels.
Parameters:
Label - mit "Expr"
Modstate - mit Ausgangsdaten (inbes. Variablenwerte)
Returns:
true, falls Label zulaessig, false sonst.

accomplishAction

public static VardecList accomplishAction(Label _l,
                                          Modstate _m)
                                   throws java.lang.NumberFormatException
Fuehre Aktion eines Labels durch.
Parameters:
Label - mit "Action"
Modstate - mit Ausgangsdaten
Returns:
VardecList mit neuen Variablenwerten