|
J-Sim v1.2.1-p7 API | ||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||||
java.lang.Objectdrcl.comp.Contract
drcl.comp.ContractAny
The contract that matches any contract.
| Field Summary | |
static ContractAny |
INSTANCE
|
| Fields inherited from class drcl.comp.Contract |
Role_INITIATOR, Role_PEER, Role_REACTOR |
| Constructor Summary | |
ContractAny()
|
|
| Method Summary | |
java.lang.Object |
getContractContent()
Returns the content of this contract (format?). |
java.lang.String |
getName()
|
boolean |
match(Contract that_)
Returns true if this contract matches that_. |
| Methods inherited from class drcl.comp.Contract |
getRole, setRole |
| Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
| Field Detail |
public static final ContractAny INSTANCE
| Constructor Detail |
public ContractAny()
| Method Detail |
public boolean match(Contract that_)
Contractthat_.
match in class Contractpublic java.lang.Object getContractContent()
Contract
getContractContent in class Contractpublic java.lang.String getName()
getName in class Contract
|
J-Sim v1.2.1-p7 API | ||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||||