IRS-III

Uses of Class
kmi.irsIII.wsmo.WebServiceDescription.PostCondition

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

Copyright © 2003 KMI - The Open University. All Rights Reserved.