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

java.lang.Object
  EObjectImpl
      ujf.verimag.bip.Core.Behaviors.impl.NamedElementImpl
          ujf.verimag.bip.Core.Behaviors.impl.StateImpl
              ujf.verimag.bip.Extra.Contracts.impl.ContractStateImpl

All Implemented Interfaces:

NamedElement, State, ContractState

public class ContractStateImpl
extends StateImpl
implements ContractState

An implementation of the model object 'Contract State'.

The following features are implemented:

• Is Accepting
• Invariant

Field Summary

protected Expression	invariant The cached value of the 'Invariant' containment reference.
protected static boolean	IS_ACCEPTING_EDEFAULT The default value of the 'Is Accepting' attribute.
protected boolean	isAccepting The cached value of the 'Is Accepting' attribute.

Fields inherited from class ujf.verimag.bip.Core.Behaviors.impl.StateImpl

alternativeIncoming, incoming, outgoing

Fields inherited from class ujf.verimag.bip.Core.Behaviors.impl.NamedElementImpl

name, NAME_EDEFAULT, scope, SCOPE_EDEFAULT

Constructor Summary

protected

ContractStateImpl()

Method Summary

NotificationChain	basicSetInvariant(Expression newInvariant, NotificationChain msgs)
java.lang.Object	eGet(int featureID, boolean resolve, boolean coreType)
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)
Expression	getInvariant()
boolean	isIsAccepting()
void	setInvariant(Expression newInvariant)
void	setIsAccepting(boolean newIsAccepting)
java.lang.String	toString()

Methods inherited from class ujf.verimag.bip.Core.Behaviors.impl.StateImpl

eInverseAdd, getAlternativeIncoming, getIncoming, getOutgoing

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.Behaviors.State

getAlternativeIncoming, getIncoming, getOutgoing

Methods inherited from interface ujf.verimag.bip.Core.Behaviors.NamedElement

getName, getScope, setName, setScope

Field Detail

IS_ACCEPTING_EDEFAULT

protected static final boolean IS_ACCEPTING_EDEFAULT

The default value of the 'Is Accepting' attribute.

See Also:

isIsAccepting(), Constant Field Values

isAccepting

protected boolean isAccepting

The cached value of the 'Is Accepting' attribute.

See Also:

isIsAccepting()

invariant

protected Expression invariant

The cached value of the 'Invariant' containment reference.

See Also:

getInvariant()

Constructor Detail

ContractStateImpl

protected ContractStateImpl()

Method Detail

eStaticClass

protected EClass eStaticClass()

Overrides:

eStaticClass in class StateImpl

isIsAccepting

public boolean isIsAccepting()

Specified by:

isIsAccepting in interface ContractState

Returns:

the value of the 'Is Accepting' attribute.

See Also:

ContractState.setIsAccepting(boolean), ContractsPackage.getContractState_IsAccepting()

setIsAccepting

public void setIsAccepting(boolean newIsAccepting)

Specified by:

setIsAccepting in interface ContractState

Parameters:

newIsAccepting - the new value of the 'Is Accepting' attribute.

See Also:

ContractState.isIsAccepting()

getInvariant

public Expression getInvariant()

Specified by:

getInvariant in interface ContractState

Returns:

the value of the 'Invariant' containment reference.

See Also:

ContractState.setInvariant(Expression), ContractsPackage.getContractState_Invariant()

basicSetInvariant

public NotificationChain basicSetInvariant(Expression newInvariant,
                                           NotificationChain msgs)

setInvariant

public void setInvariant(Expression newInvariant)

Specified by:

setInvariant in interface ContractState

Parameters:

newInvariant - the new value of the 'Invariant' containment reference.

See Also:

ContractState.getInvariant()

eInverseRemove

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

Overrides:

eInverseRemove in class StateImpl

eGet

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

Overrides:

eGet in class StateImpl

eSet

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

Overrides:

eSet in class StateImpl

eUnset

public void eUnset(int featureID)

Overrides:

eUnset in class StateImpl

eIsSet

public boolean eIsSet(int featureID)

Overrides:

eIsSet in class StateImpl

toString

public java.lang.String toString()

Overrides:

toString in class NamedElementImpl