|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
public interface Contract
A representation of the model object 'Contract'.
The following features are supported:
ContractsPackage.getContract()
Method Summary | |
---|---|
Component |
getAssume()
Returns the value of the 'Assume' reference. |
ComponentType |
getContracted()
Returns the value of the 'Contracted' reference. |
Component |
getPromise()
Returns the value of the 'Promise' reference. |
void |
setAssume(Component value)
Sets the value of the ' Assume ' reference. |
void |
setContracted(ComponentType value)
Sets the value of the ' Contracted ' reference. |
void |
setPromise(Component value)
Sets the value of the ' Promise ' reference. |
Methods inherited from interface ujf.verimag.bip.Core.Interactions.CompoundType |
---|
getConnector, getSubcomponent |
Methods inherited from interface ujf.verimag.bip.Core.Behaviors.ComponentType |
---|
getContract, getInterfaceVariable, getPort, getPriorityRule, isIsMultishot, setIsMultishot |
Methods inherited from interface ujf.verimag.bip.Core.Behaviors.PartType |
---|
getConstant, getDeclaration |
Methods inherited from interface ujf.verimag.bip.Core.Behaviors.BipType |
---|
getModule, setModule |
Methods inherited from interface ujf.verimag.bip.Core.Behaviors.NamedElement |
---|
getName, getScope, setName, setScope |
Methods inherited from interface ujf.verimag.bip.Core.Behaviors.ParameterizedElement |
---|
getDataParameter |
Methods inherited from interface ujf.verimag.bip.Extra.Traceability.TraceableElement |
---|
getStartSourceLine, setStartSourceLine |
Method Detail |
---|
Component getPromise()
If the meaning of the 'Promise' reference isn't clear, there really should be more of a description here...
setPromise(Component)
,
ContractsPackage.getContract_Promise()
void setPromise(Component value)
Promise
' reference.
value
- the new value of the 'Promise' reference.getPromise()
Component getAssume()
If the meaning of the 'Assume' reference isn't clear, there really should be more of a description here...
setAssume(Component)
,
ContractsPackage.getContract_Assume()
void setAssume(Component value)
Assume
' reference.
value
- the new value of the 'Assume' reference.getAssume()
ComponentType getContracted()
Contract
'.
If the meaning of the 'Contracted' reference isn't clear, there really should be more of a description here...
setContracted(ComponentType)
,
ContractsPackage.getContract_Contracted()
,
ComponentType.getContract()
void setContracted(ComponentType value)
Contracted
' reference.
value
- the new value of the 'Contracted' reference.getContracted()
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |