org.pasoa.common.structure
Class ActorStatePAssertion

java.lang.Object
  extended by org.pasoa.common.structure.PAssertion
      extended by 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

Constructor Summary
ActorStatePAssertion(String localPAssertionID, Element stateBody)
          Construct an actor state PAssertion
 
Method Summary
 Element getActorStateBody()
          An actor state p-assertion contains some element that represents part of an actor's state.
 
Methods inherited from class org.pasoa.common.structure.PAssertion
getLocalPAssertionID
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

ActorStatePAssertion

public ActorStatePAssertion(String localPAssertionID,
                            Element stateBody)
Construct an actor state PAssertion

Parameters:
localPAssertionID - the id of the p-assertion
stateBody - a DOM element that represents part of the actor's state
Method Detail

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