ujf.verimag.bip.Extra.Contracts
Interface Contract

All Superinterfaces:
BipType, ComponentType, CompoundType, NamedElement, ParameterizedElement, PartType, TraceableElement
All Known Implementing Classes:
ContractImpl

public interface Contract
extends CompoundType

A representation of the model object 'Contract'.

The following features are supported:

See Also:
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

getPromise

Component getPromise()
Returns the value of the 'Promise' reference.

If the meaning of the 'Promise' reference isn't clear, there really should be more of a description here...

Returns:
the value of the 'Promise' reference.
See Also:
setPromise(Component), ContractsPackage.getContract_Promise()

setPromise

void setPromise(Component value)
Sets the value of the 'Promise' reference.

Parameters:
value - the new value of the 'Promise' reference.
See Also:
getPromise()

getAssume

Component getAssume()
Returns the value of the 'Assume' reference.

If the meaning of the 'Assume' reference isn't clear, there really should be more of a description here...

Returns:
the value of the 'Assume' reference.
See Also:
setAssume(Component), ContractsPackage.getContract_Assume()

setAssume

void setAssume(Component value)
Sets the value of the 'Assume' reference.

Parameters:
value - the new value of the 'Assume' reference.
See Also:
getAssume()

getContracted

ComponentType getContracted()
Returns the value of the 'Contracted' reference. It is bidirectional and its opposite is 'Contract'.

If the meaning of the 'Contracted' reference isn't clear, there really should be more of a description here...

Returns:
the value of the 'Contracted' reference.
See Also:
setContracted(ComponentType), ContractsPackage.getContract_Contracted(), ComponentType.getContract()

setContracted

void setContracted(ComponentType value)
Sets the value of the 'Contracted' reference.

Parameters:
value - the new value of the 'Contracted' reference.
See Also:
getContracted()