|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object EObjectImpl ujf.verimag.bip.Core.Behaviors.impl.NamedElementImpl ujf.verimag.bip.Core.Behaviors.impl.BipTypeImpl ujf.verimag.bip.Core.Behaviors.impl.PartTypeImpl ujf.verimag.bip.Core.Behaviors.impl.ComponentTypeImpl ujf.verimag.bip.Core.Interactions.impl.CompoundTypeImpl ujf.verimag.bip.Extra.Contracts.impl.ContractImpl
public class ContractImpl
An implementation of the model object 'Contract'.
The following features are implemented:
Field Summary | |
---|---|
protected Component |
assume
The cached value of the ' Assume ' reference. |
protected ComponentType |
contracted
The cached value of the ' Contracted ' reference. |
protected Component |
promise
The cached value of the ' Promise ' reference. |
Fields inherited from class ujf.verimag.bip.Core.Interactions.impl.CompoundTypeImpl |
---|
connector, subcomponent |
Fields inherited from class ujf.verimag.bip.Core.Behaviors.impl.ComponentTypeImpl |
---|
contract, interfaceVariable, IS_MULTISHOT_EDEFAULT, isMultishot, port, priorityRule |
Fields inherited from class ujf.verimag.bip.Core.Behaviors.impl.PartTypeImpl |
---|
constant, declaration |
Fields inherited from class ujf.verimag.bip.Core.Behaviors.impl.BipTypeImpl |
---|
dataParameter, START_SOURCE_LINE_EDEFAULT, startSourceLine |
Fields inherited from class ujf.verimag.bip.Core.Behaviors.impl.NamedElementImpl |
---|
name, NAME_EDEFAULT, scope, SCOPE_EDEFAULT |
Constructor Summary | |
---|---|
protected |
ContractImpl()
|
Method Summary | |
---|---|
Component |
basicGetAssume()
|
ComponentType |
basicGetContracted()
|
Component |
basicGetPromise()
|
NotificationChain |
basicSetContracted(ComponentType newContracted,
NotificationChain msgs)
|
java.lang.Object |
eGet(int featureID,
boolean resolve,
boolean coreType)
|
NotificationChain |
eInverseAdd(InternalEObject otherEnd,
int featureID,
NotificationChain msgs)
|
NotificationChain |
eInverseRemove(InternalEObject otherEnd,
int featureID,
NotificationChain msgs)
|
boolean |
eIsSet(int featureID)
|
void |
eSet(int featureID,
java.lang.Object newValue)
|
protected EClass |
eStaticClass()
|
void |
eUnset(int featureID)
|
Component |
getAssume()
|
ComponentType |
getContracted()
|
Component |
getPromise()
|
void |
setAssume(Component newAssume)
|
void |
setContracted(ComponentType newContracted)
|
void |
setPromise(Component newPromise)
|
Methods inherited from class ujf.verimag.bip.Core.Interactions.impl.CompoundTypeImpl |
---|
getConnector, getSubcomponent |
Methods inherited from class ujf.verimag.bip.Core.Behaviors.impl.ComponentTypeImpl |
---|
getContract, getInterfaceVariable, getPort, getPriorityRule, isIsMultishot, setIsMultishot, toString |
Methods inherited from class ujf.verimag.bip.Core.Behaviors.impl.PartTypeImpl |
---|
getConstant, getDeclaration |
Methods inherited from class ujf.verimag.bip.Core.Behaviors.impl.BipTypeImpl |
---|
basicSetModule, eBaseStructuralFeatureID, eBasicRemoveFromContainerFeature, eDerivedStructuralFeatureID, getDataParameter, getModule, getStartSourceLine, setModule, setStartSourceLine |
Methods inherited from class ujf.verimag.bip.Core.Behaviors.impl.NamedElementImpl |
---|
getName, getScope, setName, setScope |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
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 |
Field Detail |
---|
protected Component promise
Promise
' reference.
getPromise()
protected Component assume
Assume
' reference.
getAssume()
protected ComponentType contracted
Contracted
' reference.
getContracted()
Constructor Detail |
---|
protected ContractImpl()
Method Detail |
---|
protected EClass eStaticClass()
eStaticClass
in class CompoundTypeImpl
public Component getPromise()
getPromise
in interface Contract
Contract.setPromise(Component)
,
ContractsPackage.getContract_Promise()
public Component basicGetPromise()
public void setPromise(Component newPromise)
setPromise
in interface Contract
newPromise
- the new value of the 'Promise' reference.Contract.getPromise()
public Component getAssume()
getAssume
in interface Contract
Contract.setAssume(Component)
,
ContractsPackage.getContract_Assume()
public Component basicGetAssume()
public void setAssume(Component newAssume)
setAssume
in interface Contract
newAssume
- the new value of the 'Assume' reference.Contract.getAssume()
public ComponentType getContracted()
getContracted
in interface Contract
Contract.setContracted(ComponentType)
,
ContractsPackage.getContract_Contracted()
,
ComponentType.getContract()
public ComponentType basicGetContracted()
public NotificationChain basicSetContracted(ComponentType newContracted, NotificationChain msgs)
public void setContracted(ComponentType newContracted)
setContracted
in interface Contract
newContracted
- the new value of the 'Contracted' reference.Contract.getContracted()
public NotificationChain eInverseAdd(InternalEObject otherEnd, int featureID, NotificationChain msgs)
eInverseAdd
in class CompoundTypeImpl
public NotificationChain eInverseRemove(InternalEObject otherEnd, int featureID, NotificationChain msgs)
eInverseRemove
in class CompoundTypeImpl
public java.lang.Object eGet(int featureID, boolean resolve, boolean coreType)
eGet
in class CompoundTypeImpl
public void eSet(int featureID, java.lang.Object newValue)
eSet
in class CompoundTypeImpl
public void eUnset(int featureID)
eUnset
in class CompoundTypeImpl
public boolean eIsSet(int featureID)
eIsSet
in class CompoundTypeImpl
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |