ujf.verimag.bip.Core.Behaviors.impl
Class PetriNetImpl

java.lang.Object
  EObjectImpl
      ujf.verimag.bip.Core.Behaviors.impl.BehaviorImpl
          ujf.verimag.bip.Core.Behaviors.impl.PetriNetImpl

All Implemented Interfaces:

Behavior, PetriNet

public class PetriNetImpl
extends BehaviorImpl
implements PetriNet

An implementation of the model object 'Petri Net'.

The following features are implemented:

• State
• Transition
• Initial State
• Initialization

Field Summary

protected Action	initialization The cached value of the 'Initialization' containment reference.
protected	initialState The cached value of the 'Initial State' reference list.
protected	state The cached value of the 'State' containment reference list.
protected	transition The cached value of the 'Transition' containment reference list.

Constructor Summary

protected

PetriNetImpl()

Method Summary

NotificationChain	basicSetInitialization(Action newInitialization, 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)
Action	getInitialization()
	getInitialState()
	getState()
	getTransition()
void	setInitialization(Action newInitialization)

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

basicSetAtomType, eBasicRemoveFromContainerFeature, eInverseAdd, getAtomType, setAtomType

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

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

getAtomType, setAtomType

Field Detail

state

protected  state

The cached value of the 'State' containment reference list.

See Also:

getState()

transition

protected  transition

The cached value of the 'Transition' containment reference list.

See Also:

getTransition()

initialState

protected  initialState

The cached value of the 'Initial State' reference list.

See Also:

getInitialState()

initialization

protected Action initialization

The cached value of the 'Initialization' containment reference.

See Also:

getInitialization()

Constructor Detail

PetriNetImpl

protected PetriNetImpl()

Method Detail

eStaticClass

protected EClass eStaticClass()

Overrides:

eStaticClass in class BehaviorImpl

getState

public  getState()

Specified by:

getState in interface PetriNet

Returns:

the value of the 'State' containment reference list.

See Also:

BehaviorsPackage.getPetriNet_State()

getTransition

public  getTransition()

Specified by:

getTransition in interface PetriNet

Returns:

the value of the 'Transition' containment reference list.

See Also:

BehaviorsPackage.getPetriNet_Transition()

getInitialState

public  getInitialState()

Specified by:

getInitialState in interface PetriNet

Returns:

the value of the 'Initial State' reference list.

See Also:

BehaviorsPackage.getPetriNet_InitialState()

getInitialization

public Action getInitialization()

Specified by:

getInitialization in interface PetriNet

Returns:

the value of the 'Initialization' containment reference.

See Also:

PetriNet.setInitialization(Action), BehaviorsPackage.getPetriNet_Initialization()

basicSetInitialization

public NotificationChain basicSetInitialization(Action newInitialization,
                                                NotificationChain msgs)

setInitialization

public void setInitialization(Action newInitialization)

Specified by:

setInitialization in interface PetriNet

Parameters:

newInitialization - the new value of the 'Initialization' containment reference.

See Also:

PetriNet.getInitialization()

eInverseRemove

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

Overrides:

eInverseRemove in class BehaviorImpl

eGet

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

Overrides:

eGet in class BehaviorImpl

eSet

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

Overrides:

eSet in class BehaviorImpl

eUnset

public void eUnset(int featureID)

Overrides:

eUnset in class BehaviorImpl

eIsSet

public boolean eIsSet(int featureID)

Overrides:

eIsSet in class BehaviorImpl