|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectverf.mdverif.verifier.MDVerifFormula
public class MDVerifFormula
Class representing modechart verifier input RTL fomula.
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 |
---|
public static final int TYPE_IN
public static final int TYPE_OUT
public static final int TYPE_RELATION1
public static final int TYPE_RELATION2
Constructor Detail |
---|
public MDVerifFormula()
Method Detail |
---|
public verf.mddesigner.gui.mvc.model.mode.MDMode getMode1()
public verf.mddesigner.gui.mvc.model.mode.MDMode getMode2()
public int getModeType1()
public int getModeType2()
public int getConstant()
public int getRelation()
public void setMode1(verf.mddesigner.gui.mvc.model.mode.MDMode mode1)
mode1
- First formula mode event reference.public void setMode2(verf.mddesigner.gui.mvc.model.mode.MDMode mode2)
mode2
- Second formula mode event reference.public void setModeType1(int type)
type
- First formula event type.public void setModeType2(int type)
type
- Second formula event type.public void setConstant(int constant)
constant
- Constant value.public void setRelation(int relation)
relation
- Relation between formulas.public java.lang.String getString()
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |