ujf.verimag.bip.Extra.Contracts.impl
Class ContractImpl

java.lang.Object
  extended by EObjectImpl
      extended by ujf.verimag.bip.Core.Behaviors.impl.NamedElementImpl
          extended by ujf.verimag.bip.Core.Behaviors.impl.BipTypeImpl
              extended by ujf.verimag.bip.Core.Behaviors.impl.PartTypeImpl
                  extended by ujf.verimag.bip.Core.Behaviors.impl.ComponentTypeImpl
                      extended by ujf.verimag.bip.Core.Interactions.impl.CompoundTypeImpl
                          extended by ujf.verimag.bip.Extra.Contracts.impl.ContractImpl
All Implemented Interfaces:
BipType, ComponentType, NamedElement, ParameterizedElement, PartType, CompoundType, Contract, TraceableElement

public class ContractImpl
extends CompoundTypeImpl
implements Contract

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

promise

protected Component promise
The cached value of the 'Promise' reference.

See Also:
getPromise()

assume

protected Component assume
The cached value of the 'Assume' reference.

See Also:
getAssume()

contracted

protected ComponentType contracted
The cached value of the 'Contracted' reference.

See Also:
getContracted()
Constructor Detail

ContractImpl

protected ContractImpl()

Method Detail

eStaticClass

protected EClass eStaticClass()

Overrides:
eStaticClass in class CompoundTypeImpl

getPromise

public Component getPromise()

Specified by:
getPromise in interface Contract
Returns:
the value of the 'Promise' reference.
See Also:
Contract.setPromise(Component), ContractsPackage.getContract_Promise()

basicGetPromise

public Component basicGetPromise()


setPromise

public void setPromise(Component newPromise)

Specified by:
setPromise in interface Contract
Parameters:
newPromise - the new value of the 'Promise' reference.
See Also:
Contract.getPromise()

getAssume

public Component getAssume()

Specified by:
getAssume in interface Contract
Returns:
the value of the 'Assume' reference.
See Also:
Contract.setAssume(Component), ContractsPackage.getContract_Assume()

basicGetAssume

public Component basicGetAssume()


setAssume

public void setAssume(Component newAssume)

Specified by:
setAssume in interface Contract
Parameters:
newAssume - the new value of the 'Assume' reference.
See Also:
Contract.getAssume()

getContracted

public ComponentType getContracted()

Specified by:
getContracted in interface Contract
Returns:
the value of the 'Contracted' reference.
See Also:
Contract.setContracted(ComponentType), ContractsPackage.getContract_Contracted(), ComponentType.getContract()

basicGetContracted

public ComponentType basicGetContracted()


basicSetContracted

public NotificationChain basicSetContracted(ComponentType newContracted,
                                            NotificationChain msgs)


setContracted

public void setContracted(ComponentType newContracted)

Specified by:
setContracted in interface Contract
Parameters:
newContracted - the new value of the 'Contracted' reference.
See Also:
Contract.getContracted()

eInverseAdd

public NotificationChain eInverseAdd(InternalEObject otherEnd,
                                     int featureID,
                                     NotificationChain msgs)

Overrides:
eInverseAdd in class CompoundTypeImpl

eInverseRemove

public NotificationChain eInverseRemove(InternalEObject otherEnd,
                                        int featureID,
                                        NotificationChain msgs)

Overrides:
eInverseRemove in class CompoundTypeImpl

eGet

public java.lang.Object eGet(int featureID,
                             boolean resolve,
                             boolean coreType)

Overrides:
eGet in class CompoundTypeImpl

eSet

public void eSet(int featureID,
                 java.lang.Object newValue)

Overrides:
eSet in class CompoundTypeImpl

eUnset

public void eUnset(int featureID)

Overrides:
eUnset in class CompoundTypeImpl

eIsSet

public boolean eIsSet(int featureID)

Overrides:
eIsSet in class CompoundTypeImpl