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

java.lang.Object
  EPackageImpl
      ujf.verimag.bip.Extra.Contracts.impl.ContractsPackageImpl

All Implemented Interfaces:

ContractsPackage

public class ContractsPackageImpl
extends EPackageImpl
implements ContractsPackage

An implementation of the model Package.

Nested Class Summary

Nested classes/interfaces inherited from interface ujf.verimag.bip.Extra.Contracts.ContractsPackage

ContractsPackage.Literals

Field Summary

Fields inherited from interface ujf.verimag.bip.Extra.Contracts.ContractsPackage

CONTRACT, CONTRACT__ASSUME, CONTRACT__CONNECTOR, CONTRACT__CONSTANT, CONTRACT__CONTRACT, CONTRACT__CONTRACTED, CONTRACT__DATA_PARAMETER, CONTRACT__DECLARATION, CONTRACT__INTERFACE_VARIABLE, CONTRACT__IS_MULTISHOT, CONTRACT__MODULE, CONTRACT__NAME, CONTRACT__PORT, CONTRACT__PRIORITY_RULE, CONTRACT__PROMISE, CONTRACT__SCOPE, CONTRACT__START_SOURCE_LINE, CONTRACT__SUBCOMPONENT, CONTRACT_BINDING, CONTRACT_BINDING__CONTRACTED_PORT, CONTRACT_BINDING__OUTER_PORT, CONTRACT_BINDING__TARGET_INSTANCE, CONTRACT_BINDING__TARGET_PORT, CONTRACT_BINDING_FEATURE_COUNT, CONTRACT_FEATURE_COUNT, CONTRACT_STATE, CONTRACT_STATE__ALTERNATIVE_INCOMING, CONTRACT_STATE__INCOMING, CONTRACT_STATE__INVARIANT, CONTRACT_STATE__IS_ACCEPTING, CONTRACT_STATE__NAME, CONTRACT_STATE__OUTGOING, CONTRACT_STATE__SCOPE, CONTRACT_STATE_FEATURE_COUNT, eINSTANCE, eNAME, eNS_PREFIX, eNS_URI

Method Summary

void	createPackageContents() Creates the meta-model objects for the package.
EReference	getContract_Assume()
EReference	getContract_Contracted()
EReference	getContract_Promise()
EClass	getContract()
EReference	getContractBinding_ContractedPort()
EClass	getContractBinding()
ContractsFactory	getContractsFactory()
EReference	getContractState_Invariant()
EAttribute	getContractState_IsAccepting()
EClass	getContractState()
static ContractsPackage	init() Creates, registers, and initializes the Package for this model, and for any others upon which it depends.
void	initializePackageContents() Complete the initialization of the package and its meta-model.

Methods inherited from class java.lang.Object

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

Method Detail

init

public static ContractsPackage init()

Creates, registers, and initializes the Package for this model, and for any others upon which it depends.

This method is used to initialize ContractsPackage.eINSTANCE when that field is accessed. Clients should not invoke it directly. Instead, they should simply access that field to obtain the package.

See Also:

ContractsPackage.eNS_URI, createPackageContents(), initializePackageContents()

getContract

public EClass getContract()

Specified by:

getContract in interface ContractsPackage

Returns:

the meta object for class 'Contract'.

See Also:

Contract

getContract_Promise

public EReference getContract_Promise()

Specified by:

getContract_Promise in interface ContractsPackage

Returns:

the meta object for the reference 'Promise'.

See Also:

Contract.getPromise(), ContractsPackage.getContract()

getContract_Assume

public EReference getContract_Assume()

Specified by:

getContract_Assume in interface ContractsPackage

Returns:

the meta object for the reference 'Assume'.

See Also:

Contract.getAssume(), ContractsPackage.getContract()

getContract_Contracted

public EReference getContract_Contracted()

Specified by:

getContract_Contracted in interface ContractsPackage

Returns:

the meta object for the reference 'Contracted'.

See Also:

Contract.getContracted(), ContractsPackage.getContract()

getContractState

public EClass getContractState()

Specified by:

getContractState in interface ContractsPackage

Returns:

the meta object for class 'Contract State'.

See Also:

ContractState

getContractState_IsAccepting

public EAttribute getContractState_IsAccepting()

Specified by:

getContractState_IsAccepting in interface ContractsPackage

Returns:

the meta object for the attribute 'Is Accepting'.

See Also:

ContractState.isIsAccepting(), ContractsPackage.getContractState()

getContractState_Invariant

public EReference getContractState_Invariant()

Specified by:

getContractState_Invariant in interface ContractsPackage

Returns:

the meta object for the containment reference 'Invariant'.

See Also:

ContractState.getInvariant(), ContractsPackage.getContractState()

getContractBinding

public EClass getContractBinding()

Specified by:

getContractBinding in interface ContractsPackage

Returns:

the meta object for class 'Contract Binding'.

See Also:

ContractBinding

getContractBinding_ContractedPort

public EReference getContractBinding_ContractedPort()

Specified by:

getContractBinding_ContractedPort in interface ContractsPackage

Returns:

the meta object for the reference 'Contracted Port'.

See Also:

ContractBinding.getContractedPort(), ContractsPackage.getContractBinding()

getContractsFactory

public ContractsFactory getContractsFactory()

Specified by:

getContractsFactory in interface ContractsPackage

Returns:

the factory that creates the instances of the model.

createPackageContents

public void createPackageContents()

Creates the meta-model objects for the package. This method is guarded to have no affect on any invocation but its first.

initializePackageContents

public void initializePackageContents()

Complete the initialization of the package and its meta-model. This method is guarded to have no affect on any invocation but its first.