Modifier and Type | Interface and Description |
---|---|
interface |
FEConstant
A representation of the model object 'FE Constant'
|
Modifier and Type | Class and Description |
---|---|
class |
FEConstantImpl
An implementation of the model object 'FE Constant'
|
Modifier and Type | Method and Description |
---|---|
T |
FiniteEnumerationsSwitch.caseTermsDeclaration(TermsDeclaration object)
Returns the result of interpreting the object as an instance of 'Declaration'
|
Modifier and Type | Interface and Description |
---|---|
interface |
Partition
A representation of the model object 'Partition'
|
interface |
PartitionElement
A representation of the model object 'Partition Element'
|
Modifier and Type | Class and Description |
---|---|
class |
PartitionElementImpl
An implementation of the model object 'Partition Element'
|
class |
PartitionImpl
An implementation of the model object 'Partition'
|
Modifier and Type | Method and Description |
---|---|
T |
PartitionsSwitch.caseTermsDeclaration(TermsDeclaration object)
Returns the result of interpreting the object as an instance of 'Declaration'
|
Modifier and Type | Interface and Description |
---|---|
interface |
NamedOperator
A representation of the model object 'Named Operator'
|
interface |
NamedSort
A representation of the model object 'Named Sort'
|
interface |
OperatorDecl
A representation of the model object 'Operator Decl'
|
interface |
SortDecl
A representation of the model object 'Sort Decl'
|
interface |
VariableDecl
A representation of the model object 'Variable Decl'
|
Modifier and Type | Method and Description |
---|---|
List<TermsDeclaration> |
Declarations.getDeclaration()
Returns the value of the 'Declaration' containment reference list.
|
Modifier and Type | Method and Description |
---|---|
List<TermsDeclaration> |
DeclarationsHLAPI.getDeclaration()
Return the encapsulate Low Level API object.
|
Modifier and Type | Class and Description |
---|---|
class |
NamedOperatorImpl
An implementation of the model object 'Named Operator'
|
class |
NamedSortImpl
An implementation of the model object 'Named Sort'
|
class |
OperatorDeclImpl
An implementation of the model object 'Operator Decl'
|
class |
SortDeclImpl
An implementation of the model object 'Sort Decl'
|
class |
TermsDeclarationImpl
An implementation of the model object 'Declaration'
|
class |
VariableDeclImpl
An implementation of the model object 'Variable Decl'
|
Modifier and Type | Field and Description |
---|---|
protected org.eclipse.emf.common.util.EList<TermsDeclaration> |
DeclarationsImpl.declaration
The cached value of the '
Declaration ' containment reference list |
Modifier and Type | Method and Description |
---|---|
List<TermsDeclaration> |
DeclarationsImpl.getDeclaration() |
Modifier and Type | Method and Description |
---|---|
T |
TermsSwitch.caseTermsDeclaration(TermsDeclaration object)
Returns the result of interpreting the object as an instance of 'Declaration'
|
boolean |
TermsValidator.validateTermsDeclaration(TermsDeclaration termsDeclaration,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
Map<Object,Object> context) |
Copyright © 2009–2016 Univ. Paris Ouest, and Univ. Pierre et Marie Curie / CNRS UMR 7606 (LIP6). All rights reserved.