|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectde.cau.cs.kieler.synccharts.s.Dependency
public class Dependency
A dependency is a type which contains two tuples and a type. The tuples represents two states (the first and the second one) and the type differentiates between control flow dependencies, hierarchical dependencies and signal dependencies.
Constructor Summary | |
---|---|
Dependency()
The constructor without parameters. |
|
Dependency(StatePlusTransition firstState,
StatePlusTransition secondState,
int type)
The constructor with two tuples and a type. |
Method Summary | |
---|---|
boolean |
equals(Object other)
|
int |
getDependencyType()
Returns the type of the dependency. |
StatePlusTransition |
getFirstState()
Returns the first state tuple. |
StatePlusTransition |
getSecondState()
Returns the second state tuple. |
void |
setDependencyType(int type)
Sets the type of the dependency. |
void |
setFirstStateTupel(StatePlusTransition firstState)
Sets the first state tuple. |
void |
setSecondStateTupel(StatePlusTransition secondState)
Sets the second state tuple. |
Methods inherited from class java.lang.Object |
---|
clone, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
---|
public Dependency(StatePlusTransition firstState, StatePlusTransition secondState, int type)
firstState
- tuple of the first statesecondState
- tuple of the second statetype
- type of the dependencypublic Dependency()
Method Detail |
---|
public StatePlusTransition getFirstState()
public StatePlusTransition getSecondState()
public int getDependencyType()
public void setFirstStateTupel(StatePlusTransition firstState)
firstState
- first state tuplepublic void setSecondStateTupel(StatePlusTransition secondState)
secondState
- second state tuplepublic void setDependencyType(int type)
type
- type of the dependencypublic boolean equals(Object other)
equals
in class Object
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |