|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
public interface ContractsPackage
The Package for the model. It contains accessors for the meta objects to represent
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 |
---|
static final java.lang.String eNAME
static final java.lang.String eNS_URI
static final java.lang.String eNS_PREFIX
static final ContractsPackage eINSTANCE
static final int CONTRACT
Contract
' class.
ContractImpl
,
ContractsPackageImpl.getContract()
,
Constant Field Valuesstatic final int CONTRACT__NAME
static final int CONTRACT__SCOPE
static final int CONTRACT__DATA_PARAMETER
static final int CONTRACT__START_SOURCE_LINE
static final int CONTRACT__MODULE
static final int CONTRACT__CONSTANT
static final int CONTRACT__DECLARATION
static final int CONTRACT__PORT
static final int CONTRACT__PRIORITY_RULE
static final int CONTRACT__INTERFACE_VARIABLE
static final int CONTRACT__CONTRACT
static final int CONTRACT__IS_MULTISHOT
static final int CONTRACT__CONNECTOR
static final int CONTRACT__SUBCOMPONENT
static final int CONTRACT__PROMISE
static final int CONTRACT__ASSUME
static final int CONTRACT__CONTRACTED
static final int CONTRACT_FEATURE_COUNT
static final int CONTRACT_STATE
Contract State
' class.
ContractStateImpl
,
ContractsPackageImpl.getContractState()
,
Constant Field Valuesstatic final int CONTRACT_STATE__NAME
static final int CONTRACT_STATE__SCOPE
static final int CONTRACT_STATE__INCOMING
static final int CONTRACT_STATE__ALTERNATIVE_INCOMING
static final int CONTRACT_STATE__OUTGOING
static final int CONTRACT_STATE__IS_ACCEPTING
static final int CONTRACT_STATE__INVARIANT
static final int CONTRACT_STATE_FEATURE_COUNT
static final int CONTRACT_BINDING
Contract Binding
' class.
ContractBindingImpl
,
ContractsPackageImpl.getContractBinding()
,
Constant Field Valuesstatic final int CONTRACT_BINDING__TARGET_PORT
static final int CONTRACT_BINDING__TARGET_INSTANCE
static final int CONTRACT_BINDING__OUTER_PORT
static final int CONTRACT_BINDING__CONTRACTED_PORT
static final int CONTRACT_BINDING_FEATURE_COUNT
Method Detail |
---|
EClass getContract()
Contract
'.
Contract
EReference getContract_Promise()
Promise
'.
Contract.getPromise()
,
getContract()
EReference getContract_Assume()
Assume
'.
Contract.getAssume()
,
getContract()
EReference getContract_Contracted()
Contracted
'.
Contract.getContracted()
,
getContract()
EClass getContractState()
Contract State
'.
ContractState
EAttribute getContractState_IsAccepting()
Is Accepting
'.
ContractState.isIsAccepting()
,
getContractState()
EReference getContractState_Invariant()
Invariant
'.
ContractState.getInvariant()
,
getContractState()
EClass getContractBinding()
Contract Binding
'.
ContractBinding
EReference getContractBinding_ContractedPort()
Contracted Port
'.
ContractBinding.getContractedPort()
,
getContractBinding()
ContractsFactory getContractsFactory()
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |