verf.mdverif.verifier
Class MDVerifFormula

java.lang.Object
  extended by verf.mdverif.verifier.MDVerifFormula

public class MDVerifFormula
extends java.lang.Object

Class representing modechart verifier input RTL fomula.

Author:
Bc. Marek Gach

Field Summary
static int TYPE_IN
           
static int TYPE_OUT
           
static int TYPE_RELATION1
           
static int TYPE_RELATION2
           
 
Constructor Summary
MDVerifFormula()
          Default condtructor.
 
Method Summary
 int getConstant()
          Get numeric constant value.
 verf.mddesigner.gui.mvc.model.mode.MDMode getMode1()
          Get reference to first formula mode.
 verf.mddesigner.gui.mvc.model.mode.MDMode getMode2()
          Get reference to second formula mode.
 int getModeType1()
          Get first formula event type.
 int getModeType2()
          Get second formula event type.
 int getRelation()
          Get formula relation.
 java.lang.String getString()
          Return string representation of given formula.
 void setConstant(int constant)
          Set number constant value.
 void setMode1(verf.mddesigner.gui.mvc.model.mode.MDMode mode1)
          Set reference onto first formula event mode.
 void setMode2(verf.mddesigner.gui.mvc.model.mode.MDMode mode2)
          Set reference onto second formula event mode.
 void setModeType1(int type)
          Set first formula event type.
 void setModeType2(int type)
          Set second formula event type.
 void setRelation(int relation)
          Set relation between formulas.
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

TYPE_IN

public static final int TYPE_IN
See Also:
Constant Field Values

TYPE_OUT

public static final int TYPE_OUT
See Also:
Constant Field Values

TYPE_RELATION1

public static final int TYPE_RELATION1
See Also:
Constant Field Values

TYPE_RELATION2

public static final int TYPE_RELATION2
See Also:
Constant Field Values
Constructor Detail

MDVerifFormula

public MDVerifFormula()
Default condtructor. Definitely does nothing.

Method Detail

getMode1

public verf.mddesigner.gui.mvc.model.mode.MDMode getMode1()
Get reference to first formula mode.

Returns:
Mode reference.

getMode2

public verf.mddesigner.gui.mvc.model.mode.MDMode getMode2()
Get reference to second formula mode.

Returns:
Mode reference.

getModeType1

public int getModeType1()
Get first formula event type.

Returns:
Type of first mode.

getModeType2

public int getModeType2()
Get second formula event type.

Returns:
Type of mode 2.

getConstant

public int getConstant()
Get numeric constant value.

Returns:
Numeric constant value.

getRelation

public int getRelation()
Get formula relation.

Returns:
Relation between formula.

setMode1

public void setMode1(verf.mddesigner.gui.mvc.model.mode.MDMode mode1)
Set reference onto first formula event mode.

Parameters:
mode1 - First formula mode event reference.

setMode2

public void setMode2(verf.mddesigner.gui.mvc.model.mode.MDMode mode2)
Set reference onto second formula event mode.

Parameters:
mode2 - Second formula mode event reference.

setModeType1

public void setModeType1(int type)
Set first formula event type.

Parameters:
type - First formula event type.

setModeType2

public void setModeType2(int type)
Set second formula event type.

Parameters:
type - Second formula event type.

setConstant

public void setConstant(int constant)
Set number constant value.

Parameters:
constant - Constant value.

setRelation

public void setRelation(int relation)
Set relation between formulas.

Parameters:
relation - Relation between formulas.

getString

public java.lang.String getString()
Return string representation of given formula.

Returns:
String representation of given formula.