ujf.verimag.bip.Extra.Contracts
Interface ContractsPackage

All Known Implementing Classes:
ContractsPackageImpl

public interface ContractsPackage

The Package for the model. It contains accessors for the meta objects to represent

See Also:
ContractsFactory

Nested Class Summary
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 int CONTRACT
          The meta object id for the 'Contract' class.
static int CONTRACT__ASSUME
          The feature id for the 'Assume' reference.
static int CONTRACT__CONNECTOR
          The feature id for the 'Connector' containment reference list.
static int CONTRACT__CONSTANT
          The feature id for the 'Constant' containment reference list.
static int CONTRACT__CONTRACT
          The feature id for the 'Contract' reference list.
static int CONTRACT__CONTRACTED
          The feature id for the 'Contracted' reference.
static int CONTRACT__DATA_PARAMETER
          The feature id for the 'Data Parameter' containment reference list.
static int CONTRACT__DECLARATION
          The feature id for the 'Declaration' containment reference list.
static int CONTRACT__INTERFACE_VARIABLE
          The feature id for the 'Interface Variable' containment reference list.
static int CONTRACT__IS_MULTISHOT
          The feature id for the 'Is Multishot' attribute.
static int CONTRACT__MODULE
          The feature id for the 'Module' container reference.
static int CONTRACT__NAME
          The feature id for the 'Name' attribute.
static int CONTRACT__PORT
          The feature id for the 'Port' containment reference list.
static int CONTRACT__PRIORITY_RULE
          The feature id for the 'Priority Rule' containment reference list.
static int CONTRACT__PROMISE
          The feature id for the 'Promise' reference.
static int CONTRACT__SCOPE
          The feature id for the 'Scope' attribute.
static int CONTRACT__START_SOURCE_LINE
          The feature id for the 'Start Source Line' attribute.
static int CONTRACT__SUBCOMPONENT
          The feature id for the 'Subcomponent' containment reference list.
static int CONTRACT_BINDING
          The meta object id for the 'Contract Binding' class.
static int CONTRACT_BINDING__CONTRACTED_PORT
          The feature id for the 'Contracted Port' reference.
static int CONTRACT_BINDING__OUTER_PORT
          The feature id for the 'Outer Port' container reference.
static int CONTRACT_BINDING__TARGET_INSTANCE
          The feature id for the 'Target Instance' containment reference.
static int CONTRACT_BINDING__TARGET_PORT
          The feature id for the 'Target Port' reference.
static int CONTRACT_BINDING_FEATURE_COUNT
          The number of structural features of the 'Contract Binding' class.
static int CONTRACT_FEATURE_COUNT
          The number of structural features of the 'Contract' class.
static int CONTRACT_STATE
          The meta object id for the 'Contract State' class.
static int CONTRACT_STATE__ALTERNATIVE_INCOMING
          The feature id for the 'Alternative Incoming' reference list.
static int CONTRACT_STATE__INCOMING
          The feature id for the 'Incoming' reference list.
static int CONTRACT_STATE__INVARIANT
          The feature id for the 'Invariant' containment reference.
static int CONTRACT_STATE__IS_ACCEPTING
          The feature id for the 'Is Accepting' attribute.
static int CONTRACT_STATE__NAME
          The feature id for the 'Name' attribute.
static int CONTRACT_STATE__OUTGOING
          The feature id for the 'Outgoing' reference list.
static int CONTRACT_STATE__SCOPE
          The feature id for the 'Scope' attribute.
static int CONTRACT_STATE_FEATURE_COUNT
          The number of structural features of the 'Contract State' class.
static ContractsPackage eINSTANCE
          The singleton instance of the package.
static java.lang.String eNAME
          The package name.
static java.lang.String eNS_PREFIX
          The package namespace name.
static java.lang.String eNS_URI
          The package namespace URI.
 
Method Summary
 EReference getContract_Assume()
          Returns the meta object for the reference 'Assume'.
 EReference getContract_Contracted()
          Returns the meta object for the reference 'Contracted'.
 EReference getContract_Promise()
          Returns the meta object for the reference 'Promise'.
 EClass getContract()
          Returns the meta object for class 'Contract'.
 EReference getContractBinding_ContractedPort()
          Returns the meta object for the reference 'Contracted Port'.
 EClass getContractBinding()
          Returns the meta object for class 'Contract Binding'.
 ContractsFactory getContractsFactory()
          Returns the factory that creates the instances of the model.
 EReference getContractState_Invariant()
          Returns the meta object for the containment reference 'Invariant'.
 EAttribute getContractState_IsAccepting()
          Returns the meta object for the attribute 'Is Accepting'.
 EClass getContractState()
          Returns the meta object for class 'Contract State'.
 

Field Detail

eNAME

static final java.lang.String eNAME
The package name.

See Also:
Constant Field Values

eNS_URI

static final java.lang.String eNS_URI
The package namespace URI.

See Also:
Constant Field Values

eNS_PREFIX

static final java.lang.String eNS_PREFIX
The package namespace name.

See Also:
Constant Field Values

eINSTANCE

static final ContractsPackage eINSTANCE
The singleton instance of the package.


CONTRACT

static final int CONTRACT
The meta object id for the 'Contract' class.

See Also:
ContractImpl, ContractsPackageImpl.getContract(), Constant Field Values

CONTRACT__NAME

static final int CONTRACT__NAME
The feature id for the 'Name' attribute.

See Also:
Constant Field Values

CONTRACT__SCOPE

static final int CONTRACT__SCOPE
The feature id for the 'Scope' attribute.

See Also:
Constant Field Values

CONTRACT__DATA_PARAMETER

static final int CONTRACT__DATA_PARAMETER
The feature id for the 'Data Parameter' containment reference list.

See Also:
Constant Field Values

CONTRACT__START_SOURCE_LINE

static final int CONTRACT__START_SOURCE_LINE
The feature id for the 'Start Source Line' attribute.

See Also:
Constant Field Values

CONTRACT__MODULE

static final int CONTRACT__MODULE
The feature id for the 'Module' container reference.

See Also:
Constant Field Values

CONTRACT__CONSTANT

static final int CONTRACT__CONSTANT
The feature id for the 'Constant' containment reference list.

See Also:
Constant Field Values

CONTRACT__DECLARATION

static final int CONTRACT__DECLARATION
The feature id for the 'Declaration' containment reference list.

See Also:
Constant Field Values

CONTRACT__PORT

static final int CONTRACT__PORT
The feature id for the 'Port' containment reference list.

See Also:
Constant Field Values

CONTRACT__PRIORITY_RULE

static final int CONTRACT__PRIORITY_RULE
The feature id for the 'Priority Rule' containment reference list.

See Also:
Constant Field Values

CONTRACT__INTERFACE_VARIABLE

static final int CONTRACT__INTERFACE_VARIABLE
The feature id for the 'Interface Variable' containment reference list.

See Also:
Constant Field Values

CONTRACT__CONTRACT

static final int CONTRACT__CONTRACT
The feature id for the 'Contract' reference list.

See Also:
Constant Field Values

CONTRACT__IS_MULTISHOT

static final int CONTRACT__IS_MULTISHOT
The feature id for the 'Is Multishot' attribute.

See Also:
Constant Field Values

CONTRACT__CONNECTOR

static final int CONTRACT__CONNECTOR
The feature id for the 'Connector' containment reference list.

See Also:
Constant Field Values

CONTRACT__SUBCOMPONENT

static final int CONTRACT__SUBCOMPONENT
The feature id for the 'Subcomponent' containment reference list.

See Also:
Constant Field Values

CONTRACT__PROMISE

static final int CONTRACT__PROMISE
The feature id for the 'Promise' reference.

See Also:
Constant Field Values

CONTRACT__ASSUME

static final int CONTRACT__ASSUME
The feature id for the 'Assume' reference.

See Also:
Constant Field Values

CONTRACT__CONTRACTED

static final int CONTRACT__CONTRACTED
The feature id for the 'Contracted' reference.

See Also:
Constant Field Values

CONTRACT_FEATURE_COUNT

static final int CONTRACT_FEATURE_COUNT
The number of structural features of the 'Contract' class.

See Also:
Constant Field Values

CONTRACT_STATE

static final int CONTRACT_STATE
The meta object id for the 'Contract State' class.

See Also:
ContractStateImpl, ContractsPackageImpl.getContractState(), Constant Field Values

CONTRACT_STATE__NAME

static final int CONTRACT_STATE__NAME
The feature id for the 'Name' attribute.

See Also:
Constant Field Values

CONTRACT_STATE__SCOPE

static final int CONTRACT_STATE__SCOPE
The feature id for the 'Scope' attribute.

See Also:
Constant Field Values

CONTRACT_STATE__INCOMING

static final int CONTRACT_STATE__INCOMING
The feature id for the 'Incoming' reference list.

See Also:
Constant Field Values

CONTRACT_STATE__ALTERNATIVE_INCOMING

static final int CONTRACT_STATE__ALTERNATIVE_INCOMING
The feature id for the 'Alternative Incoming' reference list.

See Also:
Constant Field Values

CONTRACT_STATE__OUTGOING

static final int CONTRACT_STATE__OUTGOING
The feature id for the 'Outgoing' reference list.

See Also:
Constant Field Values

CONTRACT_STATE__IS_ACCEPTING

static final int CONTRACT_STATE__IS_ACCEPTING
The feature id for the 'Is Accepting' attribute.

See Also:
Constant Field Values

CONTRACT_STATE__INVARIANT

static final int CONTRACT_STATE__INVARIANT
The feature id for the 'Invariant' containment reference.

See Also:
Constant Field Values

CONTRACT_STATE_FEATURE_COUNT

static final int CONTRACT_STATE_FEATURE_COUNT
The number of structural features of the 'Contract State' class.

See Also:
Constant Field Values

CONTRACT_BINDING

static final int CONTRACT_BINDING
The meta object id for the 'Contract Binding' class.

See Also:
ContractBindingImpl, ContractsPackageImpl.getContractBinding(), Constant Field Values

CONTRACT_BINDING__TARGET_PORT

static final int CONTRACT_BINDING__TARGET_PORT
The feature id for the 'Target Port' reference.

See Also:
Constant Field Values

CONTRACT_BINDING__TARGET_INSTANCE

static final int CONTRACT_BINDING__TARGET_INSTANCE
The feature id for the 'Target Instance' containment reference.

See Also:
Constant Field Values

CONTRACT_BINDING__OUTER_PORT

static final int CONTRACT_BINDING__OUTER_PORT
The feature id for the 'Outer Port' container reference.

See Also:
Constant Field Values

CONTRACT_BINDING__CONTRACTED_PORT

static final int CONTRACT_BINDING__CONTRACTED_PORT
The feature id for the 'Contracted Port' reference.

See Also:
Constant Field Values

CONTRACT_BINDING_FEATURE_COUNT

static final int CONTRACT_BINDING_FEATURE_COUNT
The number of structural features of the 'Contract Binding' class.

See Also:
Constant Field Values
Method Detail

getContract

EClass getContract()
Returns the meta object for class 'Contract'.

Returns:
the meta object for class 'Contract'.
See Also:
Contract

getContract_Promise

EReference getContract_Promise()
Returns the meta object for the reference 'Promise'.

Returns:
the meta object for the reference 'Promise'.
See Also:
Contract.getPromise(), getContract()

getContract_Assume

EReference getContract_Assume()
Returns the meta object for the reference 'Assume'.

Returns:
the meta object for the reference 'Assume'.
See Also:
Contract.getAssume(), getContract()

getContract_Contracted

EReference getContract_Contracted()
Returns the meta object for the reference 'Contracted'.

Returns:
the meta object for the reference 'Contracted'.
See Also:
Contract.getContracted(), getContract()

getContractState

EClass getContractState()
Returns the meta object for class 'Contract State'.

Returns:
the meta object for class 'Contract State'.
See Also:
ContractState

getContractState_IsAccepting

EAttribute getContractState_IsAccepting()
Returns the meta object for the attribute 'Is Accepting'.

Returns:
the meta object for the attribute 'Is Accepting'.
See Also:
ContractState.isIsAccepting(), getContractState()

getContractState_Invariant

EReference getContractState_Invariant()
Returns the meta object for the containment reference 'Invariant'.

Returns:
the meta object for the containment reference 'Invariant'.
See Also:
ContractState.getInvariant(), getContractState()

getContractBinding

EClass getContractBinding()
Returns the meta object for class 'Contract Binding'.

Returns:
the meta object for class 'Contract Binding'.
See Also:
ContractBinding

getContractBinding_ContractedPort

EReference getContractBinding_ContractedPort()
Returns the meta object for the reference 'Contracted Port'.

Returns:
the meta object for the reference 'Contracted Port'.
See Also:
ContractBinding.getContractedPort(), getContractBinding()

getContractsFactory

ContractsFactory getContractsFactory()
Returns the factory that creates the instances of the model.

Returns:
the factory that creates the instances of the model.