ujf.verimag.bip.Extra.Contracts
Interface ContractsPackage.Literals

Enclosing interface:

ContractsPackage

public static interface ContractsPackage.Literals

Defines literals for the meta objects that represent

• each class,
• each feature of each class,
• each enum,
• and each data type

Field Summary

static EClass	CONTRACT The meta object literal for the 'Contract' class.
static EReference	CONTRACT__ASSUME The meta object literal for the 'Assume' reference feature.
static EReference	CONTRACT__CONTRACTED The meta object literal for the 'Contracted' reference feature.
static EReference	CONTRACT__PROMISE The meta object literal for the 'Promise' reference feature.
static EClass	CONTRACT_BINDING The meta object literal for the 'Contract Binding' class.
static EReference	CONTRACT_BINDING__CONTRACTED_PORT The meta object literal for the 'Contracted Port' reference feature.
static EClass	CONTRACT_STATE The meta object literal for the 'Contract State' class.
static EReference	CONTRACT_STATE__INVARIANT The meta object literal for the 'Invariant' containment reference feature.
static EAttribute	CONTRACT_STATE__IS_ACCEPTING The meta object literal for the 'Is Accepting' attribute feature.

Field Detail

CONTRACT

static final EClass CONTRACT

The meta object literal for the 'Contract' class.

See Also:

ContractImpl, ContractsPackageImpl.getContract()

CONTRACT__PROMISE

static final EReference CONTRACT__PROMISE

The meta object literal for the 'Promise' reference feature.

CONTRACT__ASSUME

static final EReference CONTRACT__ASSUME

The meta object literal for the 'Assume' reference feature.

CONTRACT__CONTRACTED

static final EReference CONTRACT__CONTRACTED

The meta object literal for the 'Contracted' reference feature.

CONTRACT_STATE

static final EClass CONTRACT_STATE

The meta object literal for the 'Contract State' class.

See Also:

ContractStateImpl, ContractsPackageImpl.getContractState()

CONTRACT_STATE__IS_ACCEPTING

static final EAttribute CONTRACT_STATE__IS_ACCEPTING

The meta object literal for the 'Is Accepting' attribute feature.

CONTRACT_STATE__INVARIANT

static final EReference CONTRACT_STATE__INVARIANT

The meta object literal for the 'Invariant' containment reference feature.

CONTRACT_BINDING

static final EClass CONTRACT_BINDING

The meta object literal for the 'Contract Binding' class.

See Also:

ContractBindingImpl, ContractsPackageImpl.getContractBinding()

CONTRACT_BINDING__CONTRACTED_PORT

static final EReference CONTRACT_BINDING__CONTRACTED_PORT

The meta object literal for the 'Contracted Port' reference feature.