|
IRS-III | ||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use PostCondition | |
kmi.irsIII.wsmo.GoalDescription | |
kmi.irsIII.wsmo.WebServiceDescription |
Uses of PostCondition in kmi.irsIII.wsmo.GoalDescription |
Methods in kmi.irsIII.wsmo.GoalDescription that return PostCondition | |
PostCondition |
Goal.getPostCondition()
|
Methods in kmi.irsIII.wsmo.GoalDescription with parameters of type PostCondition | |
void |
Goal.setPostCondition(PostCondition postCondition)
|
Constructors in kmi.irsIII.wsmo.GoalDescription with parameters of type PostCondition | |
Goal(NonFunctionalProperties nonFunctionalProperties,
java.util.Collection inputGoalRoles,
GoalRole outputGoalRole,
java.util.Collection goalUsedMediators,
PostCondition postCondition,
Effect effect,
java.lang.String goalParent)
|
Uses of PostCondition in kmi.irsIII.wsmo.WebServiceDescription |
Methods in kmi.irsIII.wsmo.WebServiceDescription that return PostCondition | |
PostCondition |
ServiceCapability.getPostCondition()
|
Constructors in kmi.irsIII.wsmo.WebServiceDescription with parameters of type PostCondition | |
ServiceCapability(NonFunctionalProperties nonFunctionalProperties,
java.util.Collection capabilityUsedMediators,
PreCondition preCondition,
PostCondition postCondition,
Assumption assumption,
Effect effect,
java.lang.String capabilityParent)
|
|
IRS-III | ||||||||||
PREV NEXT | FRAMES NO FRAMES |