org.pasoa.common.structure
Class InteractionPAssertion
java.lang.Object
org.pasoa.common.structure.PAssertion
org.pasoa.common.structure.InteractionPAssertion
- All Implemented Interfaces:
- Serializable
- public class InteractionPAssertion
- extends PAssertion
Models an assertion about an Interaction.
- Author:
- pgroth
- See Also:
- Serialized Form
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
InteractionPAssertion
public InteractionPAssertion(String localPAssertionID,
String documentationStyle,
Element messageBody)
- Construct an interaction p-assertion.
- Parameters:
localPAssertionID
- identify this assertion uniquely within a viewdocumentationStyle
- the documentation style of the message body.
this should be a URLmessageBody
- the actual assertion content about the message
exchanged in an interaction between two actors
getDocumentationStyle
public String getDocumentationStyle()
getMessageBody
public Element getMessageBody()