org.pasoa.common.structure
Class ActorStatePAssertion
java.lang.Object
org.pasoa.common.structure.PAssertion
org.pasoa.common.structure.ActorStatePAssertion
- All Implemented Interfaces:
- Serializable
- public class ActorStatePAssertion
- extends PAssertion
This class models an ActorStatePAssertion
- Author:
- pgroth, sm
- See Also:
- Serialized Form
Method Summary |
Element |
getActorStateBody()
An actor state p-assertion contains some element that represents
part of an actor's state. |
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
ActorStatePAssertion
public ActorStatePAssertion(String localPAssertionID,
Element stateBody)
- Construct an actor state PAssertion
- Parameters:
localPAssertionID
- the id of the p-assertionstateBody
- a DOM element that represents part of the actor's state
getActorStateBody
public Element getActorStateBody()
- An actor state p-assertion contains some element that represents
part of an actor's state.
- Returns:
- an Element that represents part of the actor's state