Modifier and Type | Interface and Description |
---|---|
interface |
ArbitrarySort
A representation of the model object 'Arbitrary Sort'
|
Modifier and Type | Method and Description |
---|---|
T |
ArbitrarydeclarationsSwitch.caseSortDecl(SortDecl object)
Returns the result of interpreting the object as an instance of 'Sort Decl'
|
Modifier and Type | Interface and Description |
---|---|
interface |
Partition
A representation of the model object 'Partition'
|
Modifier and Type | Method and Description |
---|---|
T |
PartitionsSwitch.caseSortDecl(SortDecl object)
Returns the result of interpreting the object as an instance of 'Sort Decl'
|
Modifier and Type | Interface and Description |
---|---|
interface |
NamedSort
A representation of the model object 'Named Sort'
|
Modifier and Type | Method and Description |
---|---|
SortDecl |
UserSort.getDeclaration()
Returns the value of the 'Declaration' reference
|
Modifier and Type | Method and Description |
---|---|
void |
UserSort.setDeclaration(SortDecl value)
Sets the value of the '
Declaration ' reference |
Modifier and Type | Method and Description |
---|---|
SortDecl |
UserSortHLAPI.getDeclaration()
Return the encapsulate Low Level API object.
|
Modifier and Type | Field and Description |
---|---|
protected SortDecl |
UserSortImpl.declaration
The cached value of the '
Declaration ' reference |
Modifier and Type | Method and Description |
---|---|
SortDecl |
UserSortImpl.basicGetDeclaration() |
SortDecl |
UserSortImpl.getDeclaration() |
Modifier and Type | Method and Description |
---|---|
void |
UserSortImpl.setDeclaration(SortDecl newDeclaration) |
Modifier and Type | Method and Description |
---|---|
T |
TermsSwitch.caseSortDecl(SortDecl object)
Returns the result of interpreting the object as an instance of 'Sort Decl'
|
boolean |
TermsValidator.validateSortDecl(SortDecl sortDecl,
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.