|
|||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||||
java.lang.Object | +--MicroTAPAS.RoleSession
Implementation of Role Session
| Field Summary | |
GAI |
cooperator
RoleSession cooperator |
GAI |
initiator
RoleSession initiator |
java.lang.String |
roleSessionId
RoleSession identifier |
| Constructor Summary | |
RoleSession(RoleSession rs)
Constructor to make a new object from an old RoleSession |
|
RoleSession(java.lang.String pRSI,
GAI pInitiator,
GAI pCooperator)
Constructor to fill data field values |
|
| Method Summary | |
void |
actorMove(GAI oldGAI,
GAI newGAI)
Method to update this RoleSession when an actor is moved |
boolean |
equalTo(RoleSession rs)
Tests equality of this RoleSession to another one |
void |
terminalMove(java.lang.String oldNode,
java.lang.String newNode)
Method to update this RoleSession when a terminal is moved |
java.lang.String |
toString()
Simple utility to convert all data field values into one String for easy Debug purposes |
static java.lang.String |
toString(RoleSession obj)
Simple utility to convert all data field values into one String for easy Debug purposes |
boolean |
validate(int level)
Validation of the RoleSession object. |
| Methods inherited from class java.lang.Object |
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait |
| Field Detail |
public java.lang.String roleSessionId
public GAI initiator
public GAI cooperator
| Constructor Detail |
public RoleSession(java.lang.String pRSI,
GAI pInitiator,
GAI pCooperator)
public RoleSession(RoleSession rs)
| Method Detail |
public java.lang.String toString()
toString in class java.lang.Objectpublic static java.lang.String toString(RoleSession obj)
obj - Object to convert - if existing
public boolean validate(int level)
level - If =1 check no null for all parameters
public boolean equalTo(RoleSession rs)
rs - The other RoleSession to test for equality
public void terminalMove(java.lang.String oldNode,
java.lang.String newNode)
oldNode - The old nodenewNode - The new node
public void actorMove(GAI oldGAI,
GAI newGAI)
oldGAI - The actors old GAI
|
|||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||||