Modifier and Type | Interface and Description |
---|---|
interface |
AnySort
A representation of the model object 'Any Sort'
|
Modifier and Type | Method and Description |
---|---|
boolean |
AnySortImpl.equalSorts(Sort sort) |
Modifier and Type | Method and Description |
---|---|
T |
ArbitrarydeclarationsSwitch.caseSort(Sort object)
Returns the result of interpreting the object as an instance of 'Sort'
|
Modifier and Type | Interface and Description |
---|---|
interface |
Bool
A representation of the model object 'Bool'
|
Modifier and Type | Method and Description |
---|---|
Sort |
OrHLAPI.getOutput()
Return the encapsulate Low Level API object.
|
Sort |
NotHLAPI.getOutput()
Return the encapsulate Low Level API object.
|
Sort |
InequalityHLAPI.getOutput()
Return the encapsulate Low Level API object.
|
Sort |
ImplyHLAPI.getOutput()
Return the encapsulate Low Level API object.
|
Sort |
EqualityHLAPI.getOutput()
Return the encapsulate Low Level API object.
|
Sort |
BooleanConstantHLAPI.getOutput()
Return the encapsulate Low Level API object.
|
Sort |
AndHLAPI.getOutput()
Return the encapsulate Low Level API object.
|
Sort |
OrHLAPI.getSort()
Return the encapsulate Low Level API object.
|
Sort |
NotHLAPI.getSort()
Return the encapsulate Low Level API object.
|
Sort |
InequalityHLAPI.getSort()
Return the encapsulate Low Level API object.
|
Sort |
ImplyHLAPI.getSort()
Return the encapsulate Low Level API object.
|
Sort |
EqualityHLAPI.getSort()
Return the encapsulate Low Level API object.
|
Sort |
BooleanConstantHLAPI.getSort()
Return the encapsulate Low Level API object.
|
Sort |
AndHLAPI.getSort()
Return the encapsulate Low Level API object.
|
Modifier and Type | Method and Description |
---|---|
List<Sort> |
OrHLAPI.getInput()
Return the encapsulate Low Level API object.
|
List<Sort> |
NotHLAPI.getInput()
Return the encapsulate Low Level API object.
|
List<Sort> |
InequalityHLAPI.getInput()
Return the encapsulate Low Level API object.
|
List<Sort> |
ImplyHLAPI.getInput()
Return the encapsulate Low Level API object.
|
List<Sort> |
EqualityHLAPI.getInput()
Return the encapsulate Low Level API object.
|
List<Sort> |
BooleanConstantHLAPI.getInput()
Return the encapsulate Low Level API object.
|
List<Sort> |
AndHLAPI.getInput()
Return the encapsulate Low Level API object.
|
Modifier and Type | Method and Description |
---|---|
boolean |
BoolImpl.equalSorts(Sort sort) |
Modifier and Type | Method and Description |
---|---|
T |
BooleansSwitch.caseSort(Sort object)
Returns the result of interpreting the object as an instance of 'Sort'
|
Modifier and Type | Interface and Description |
---|---|
interface |
CyclicEnumeration
A representation of the model object 'Cyclic Enumeration'
|
Modifier and Type | Method and Description |
---|---|
Sort |
SuccessorHLAPI.getOutput()
Return the encapsulate Low Level API object.
|
Sort |
PredecessorHLAPI.getOutput()
Return the encapsulate Low Level API object.
|
Sort |
SuccessorHLAPI.getSort()
Return the encapsulate Low Level API object.
|
Sort |
PredecessorHLAPI.getSort()
Return the encapsulate Low Level API object.
|
Modifier and Type | Method and Description |
---|---|
List<Sort> |
SuccessorHLAPI.getInput()
Return the encapsulate Low Level API object.
|
List<Sort> |
PredecessorHLAPI.getInput()
Return the encapsulate Low Level API object.
|
Modifier and Type | Method and Description |
---|---|
boolean |
CyclicEnumerationImpl.equalSorts(Sort sort) |
Modifier and Type | Method and Description |
---|---|
T |
CyclicEnumerationsSwitch.caseSort(Sort object)
Returns the result of interpreting the object as an instance of 'Sort'
|
Modifier and Type | Interface and Description |
---|---|
interface |
Dot
A representation of the model object 'Dot'
|
Modifier and Type | Method and Description |
---|---|
Sort |
DotConstantHLAPI.getOutput()
Return the encapsulate Low Level API object.
|
Sort |
DotConstantHLAPI.getSort()
Return the encapsulate Low Level API object.
|
Modifier and Type | Method and Description |
---|---|
List<Sort> |
DotConstantHLAPI.getInput()
Return the encapsulate Low Level API object.
|
Modifier and Type | Method and Description |
---|---|
boolean |
DotImpl.equalSorts(Sort sort) |
Modifier and Type | Method and Description |
---|---|
T |
DotsSwitch.caseSort(Sort object)
Returns the result of interpreting the object as an instance of 'Sort'
|
Modifier and Type | Interface and Description |
---|---|
interface |
FiniteEnumeration
A representation of the model object 'Finite Enumeration'
|
Modifier and Type | Method and Description |
---|---|
boolean |
FiniteEnumerationImpl.equalSorts(Sort sort) |
Modifier and Type | Method and Description |
---|---|
T |
FiniteEnumerationsSwitch.caseSort(Sort object)
Returns the result of interpreting the object as an instance of 'Sort'
|
Modifier and Type | Interface and Description |
---|---|
interface |
FiniteIntRange
A representation of the model object 'Finite Int Range'
|
Modifier and Type | Method and Description |
---|---|
Sort |
LessThanOrEqualHLAPI.getOutput()
Return the encapsulate Low Level API object.
|
Sort |
LessThanHLAPI.getOutput()
Return the encapsulate Low Level API object.
|
Sort |
GreaterThanOrEqualHLAPI.getOutput()
Return the encapsulate Low Level API object.
|
Sort |
GreaterThanHLAPI.getOutput()
Return the encapsulate Low Level API object.
|
Sort |
FiniteIntRangeConstantHLAPI.getOutput()
Return the encapsulate Low Level API object.
|
Sort |
LessThanOrEqualHLAPI.getSort()
Return the encapsulate Low Level API object.
|
Sort |
LessThanHLAPI.getSort()
Return the encapsulate Low Level API object.
|
Sort |
GreaterThanOrEqualHLAPI.getSort()
Return the encapsulate Low Level API object.
|
Sort |
GreaterThanHLAPI.getSort()
Return the encapsulate Low Level API object.
|
Sort |
FiniteIntRangeConstantHLAPI.getSort()
Return the encapsulate Low Level API object.
|
Modifier and Type | Method and Description |
---|---|
List<Sort> |
LessThanOrEqualHLAPI.getInput()
Return the encapsulate Low Level API object.
|
List<Sort> |
LessThanHLAPI.getInput()
Return the encapsulate Low Level API object.
|
List<Sort> |
GreaterThanOrEqualHLAPI.getInput()
Return the encapsulate Low Level API object.
|
List<Sort> |
GreaterThanHLAPI.getInput()
Return the encapsulate Low Level API object.
|
List<Sort> |
FiniteIntRangeConstantHLAPI.getInput()
Return the encapsulate Low Level API object.
|
Modifier and Type | Method and Description |
---|---|
boolean |
FiniteIntRangeImpl.equalSorts(Sort sort) |
Modifier and Type | Method and Description |
---|---|
T |
FiniteIntRangesSwitch.caseSort(Sort object)
Returns the result of interpreting the object as an instance of 'Sort'
|
Modifier and Type | Method and Description |
---|---|
Sort |
Type.getStructure()
Returns the value of the 'Structure' containment reference.
|
Modifier and Type | Method and Description |
---|---|
void |
Type.setStructure(Sort value)
Sets the value of the '
Structure ' containment reference |
Modifier and Type | Method and Description |
---|---|
Sort |
TypeHLAPI.getStructure()
Return the encapsulate Low Level API object.
|
Modifier and Type | Field and Description |
---|---|
protected Sort |
TypeImpl.structure
The cached value of the '
Structure ' containment reference |
Modifier and Type | Method and Description |
---|---|
Sort |
TypeImpl.getStructure() |
Modifier and Type | Method and Description |
---|---|
org.eclipse.emf.common.notify.NotificationChain |
TypeImpl.basicSetStructure(Sort newStructure,
org.eclipse.emf.common.notify.NotificationChain msgs) |
void |
TypeImpl.setStructure(Sort newStructure) |
Modifier and Type | Interface and Description |
---|---|
interface |
HLInteger
A representation of the model object 'HL Integer'
|
interface |
HLPNNumber
A representation of the model object 'HLPN Number'
|
interface |
Natural
A representation of the model object 'Natural'
|
interface |
Positive
A representation of the model object 'Positive'
|
Modifier and Type | Method and Description |
---|---|
Sort |
SubtractionHLAPI.getOutput()
Return the encapsulate Low Level API object.
|
Sort |
NumberConstantHLAPI.getOutput()
Return the encapsulate Low Level API object.
|
Sort |
MultiplicationHLAPI.getOutput()
Return the encapsulate Low Level API object.
|
Sort |
ModuloHLAPI.getOutput()
Return the encapsulate Low Level API object.
|
Sort |
LessThanOrEqualHLAPI.getOutput()
Return the encapsulate Low Level API object.
|
Sort |
LessThanHLAPI.getOutput()
Return the encapsulate Low Level API object.
|
Sort |
GreaterThanOrEqualHLAPI.getOutput()
Return the encapsulate Low Level API object.
|
Sort |
GreaterThanHLAPI.getOutput()
Return the encapsulate Low Level API object.
|
Sort |
DivisionHLAPI.getOutput()
Return the encapsulate Low Level API object.
|
Sort |
AdditionHLAPI.getOutput()
Return the encapsulate Low Level API object.
|
Sort |
SubtractionHLAPI.getSort()
Return the encapsulate Low Level API object.
|
Sort |
NumberConstantHLAPI.getSort()
Return the encapsulate Low Level API object.
|
Sort |
MultiplicationHLAPI.getSort()
Return the encapsulate Low Level API object.
|
Sort |
ModuloHLAPI.getSort()
Return the encapsulate Low Level API object.
|
Sort |
LessThanOrEqualHLAPI.getSort()
Return the encapsulate Low Level API object.
|
Sort |
LessThanHLAPI.getSort()
Return the encapsulate Low Level API object.
|
Sort |
GreaterThanOrEqualHLAPI.getSort()
Return the encapsulate Low Level API object.
|
Sort |
GreaterThanHLAPI.getSort()
Return the encapsulate Low Level API object.
|
Sort |
DivisionHLAPI.getSort()
Return the encapsulate Low Level API object.
|
Sort |
AdditionHLAPI.getSort()
Return the encapsulate Low Level API object.
|
Modifier and Type | Method and Description |
---|---|
List<Sort> |
SubtractionHLAPI.getInput()
Return the encapsulate Low Level API object.
|
List<Sort> |
NumberConstantHLAPI.getInput()
Return the encapsulate Low Level API object.
|
List<Sort> |
MultiplicationHLAPI.getInput()
Return the encapsulate Low Level API object.
|
List<Sort> |
ModuloHLAPI.getInput()
Return the encapsulate Low Level API object.
|
List<Sort> |
LessThanOrEqualHLAPI.getInput()
Return the encapsulate Low Level API object.
|
List<Sort> |
LessThanHLAPI.getInput()
Return the encapsulate Low Level API object.
|
List<Sort> |
GreaterThanOrEqualHLAPI.getInput()
Return the encapsulate Low Level API object.
|
List<Sort> |
GreaterThanHLAPI.getInput()
Return the encapsulate Low Level API object.
|
List<Sort> |
DivisionHLAPI.getInput()
Return the encapsulate Low Level API object.
|
List<Sort> |
AdditionHLAPI.getInput()
Return the encapsulate Low Level API object.
|
Modifier and Type | Method and Description |
---|---|
boolean |
HLPNNumberImpl.equalSorts(Sort sort) |
Modifier and Type | Method and Description |
---|---|
T |
IntegersSwitch.caseSort(Sort object)
Returns the result of interpreting the object as an instance of 'Sort'
|
Modifier and Type | Interface and Description |
---|---|
interface |
HLPNList
A representation of the model object 'HLPN List'
|
Modifier and Type | Method and Description |
---|---|
Sort |
HLPNList.getBasis()
Returns the value of the 'Basis' containment reference.
|
Sort |
MakeList.getRefsort()
Returns the value of the 'Refsort' containment reference.
|
Sort |
EmptyList.getRefsort()
Returns the value of the 'Refsort' containment reference.
|
Modifier and Type | Method and Description |
---|---|
void |
HLPNList.setBasis(Sort value)
Sets the value of the '
Basis ' containment reference |
void |
MakeList.setRefsort(Sort value)
Sets the value of the '
Refsort ' containment reference |
void |
EmptyList.setRefsort(Sort value)
Sets the value of the '
Refsort ' containment reference |
Modifier and Type | Method and Description |
---|---|
Sort |
HLPNListHLAPI.getBasis()
Return the encapsulate Low Level API object.
|
Sort |
SublistHLAPI.getOutput()
Return the encapsulate Low Level API object.
|
Sort |
MemberAtIndexHLAPI.getOutput()
Return the encapsulate Low Level API object.
|
Sort |
MakeListHLAPI.getOutput()
Return the encapsulate Low Level API object.
|
Sort |
LengthHLAPI.getOutput()
Return the encapsulate Low Level API object.
|
Sort |
EmptyListHLAPI.getOutput()
Return the encapsulate Low Level API object.
|
Sort |
ConcatenationHLAPI.getOutput()
Return the encapsulate Low Level API object.
|
Sort |
AppendHLAPI.getOutput()
Return the encapsulate Low Level API object.
|
Sort |
MakeListHLAPI.getRefsort()
Return the encapsulate Low Level API object.
|
Sort |
EmptyListHLAPI.getRefsort()
Return the encapsulate Low Level API object.
|
Sort |
SublistHLAPI.getSort()
Return the encapsulate Low Level API object.
|
Sort |
MemberAtIndexHLAPI.getSort()
Return the encapsulate Low Level API object.
|
Sort |
MakeListHLAPI.getSort()
Return the encapsulate Low Level API object.
|
Sort |
LengthHLAPI.getSort()
Return the encapsulate Low Level API object.
|
Sort |
EmptyListHLAPI.getSort()
Return the encapsulate Low Level API object.
|
Sort |
ConcatenationHLAPI.getSort()
Return the encapsulate Low Level API object.
|
Sort |
AppendHLAPI.getSort()
Return the encapsulate Low Level API object.
|
Modifier and Type | Method and Description |
---|---|
List<Sort> |
SublistHLAPI.getInput()
Return the encapsulate Low Level API object.
|
List<Sort> |
MemberAtIndexHLAPI.getInput()
Return the encapsulate Low Level API object.
|
List<Sort> |
MakeListHLAPI.getInput()
Return the encapsulate Low Level API object.
|
List<Sort> |
LengthHLAPI.getInput()
Return the encapsulate Low Level API object.
|
List<Sort> |
EmptyListHLAPI.getInput()
Return the encapsulate Low Level API object.
|
List<Sort> |
ConcatenationHLAPI.getInput()
Return the encapsulate Low Level API object.
|
List<Sort> |
AppendHLAPI.getInput()
Return the encapsulate Low Level API object.
|
Modifier and Type | Field and Description |
---|---|
protected Sort |
HLPNListImpl.basis
The cached value of the '
Basis ' containment reference |
protected Sort |
MakeListImpl.refsort
The cached value of the '
Refsort ' containment reference |
protected Sort |
EmptyListImpl.refsort
The cached value of the '
Refsort ' containment reference |
Modifier and Type | Method and Description |
---|---|
Sort |
HLPNListImpl.getBasis() |
Sort |
MakeListImpl.getRefsort() |
Sort |
EmptyListImpl.getRefsort() |
Modifier and Type | Method and Description |
---|---|
org.eclipse.emf.common.notify.NotificationChain |
HLPNListImpl.basicSetBasis(Sort newBasis,
org.eclipse.emf.common.notify.NotificationChain msgs) |
org.eclipse.emf.common.notify.NotificationChain |
MakeListImpl.basicSetRefsort(Sort newRefsort,
org.eclipse.emf.common.notify.NotificationChain msgs) |
org.eclipse.emf.common.notify.NotificationChain |
EmptyListImpl.basicSetRefsort(Sort newRefsort,
org.eclipse.emf.common.notify.NotificationChain msgs) |
boolean |
HLPNListImpl.equalSorts(Sort sort) |
void |
HLPNListImpl.setBasis(Sort newBasis) |
void |
MakeListImpl.setRefsort(Sort newRefsort) |
void |
EmptyListImpl.setRefsort(Sort newRefsort) |
Modifier and Type | Method and Description |
---|---|
T |
ListsSwitch.caseSort(Sort object)
Returns the result of interpreting the object as an instance of 'Sort'
|
Modifier and Type | Method and Description |
---|---|
Sort |
Empty.getRefsort()
Returns the value of the 'Refsort' containment reference.
|
Sort |
All.getRefsort()
Returns the value of the 'Refsort' containment reference.
|
Modifier and Type | Method and Description |
---|---|
void |
Empty.setRefsort(Sort value)
Sets the value of the '
Refsort ' containment reference |
void |
All.setRefsort(Sort value)
Sets the value of the '
Refsort ' containment reference |
Modifier and Type | Method and Description |
---|---|
Sort |
SubtractHLAPI.getOutput()
Return the encapsulate Low Level API object.
|
Sort |
ScalarProductHLAPI.getOutput()
Return the encapsulate Low Level API object.
|
Sort |
NumberOfHLAPI.getOutput()
Return the encapsulate Low Level API object.
|
Sort |
EmptyHLAPI.getOutput()
Return the encapsulate Low Level API object.
|
Sort |
ContainsHLAPI.getOutput()
Return the encapsulate Low Level API object.
|
Sort |
CardinalityOfHLAPI.getOutput()
Return the encapsulate Low Level API object.
|
Sort |
CardinalityHLAPI.getOutput()
Return the encapsulate Low Level API object.
|
Sort |
AllHLAPI.getOutput()
Return the encapsulate Low Level API object.
|
Sort |
AddHLAPI.getOutput()
Return the encapsulate Low Level API object.
|
Sort |
EmptyHLAPI.getRefsort()
Return the encapsulate Low Level API object.
|
Sort |
AllHLAPI.getRefsort()
Return the encapsulate Low Level API object.
|
Sort |
SubtractHLAPI.getSort()
Return the encapsulate Low Level API object.
|
Sort |
ScalarProductHLAPI.getSort()
Return the encapsulate Low Level API object.
|
Sort |
NumberOfHLAPI.getSort()
Return the encapsulate Low Level API object.
|
Sort |
EmptyHLAPI.getSort()
Return the encapsulate Low Level API object.
|
Sort |
ContainsHLAPI.getSort()
Return the encapsulate Low Level API object.
|
Sort |
CardinalityOfHLAPI.getSort()
Return the encapsulate Low Level API object.
|
Sort |
CardinalityHLAPI.getSort()
Return the encapsulate Low Level API object.
|
Sort |
AllHLAPI.getSort()
Return the encapsulate Low Level API object.
|
Sort |
AddHLAPI.getSort()
Return the encapsulate Low Level API object.
|
Modifier and Type | Method and Description |
---|---|
List<Sort> |
SubtractHLAPI.getInput()
Return the encapsulate Low Level API object.
|
List<Sort> |
ScalarProductHLAPI.getInput()
Return the encapsulate Low Level API object.
|
List<Sort> |
NumberOfHLAPI.getInput()
Return the encapsulate Low Level API object.
|
List<Sort> |
EmptyHLAPI.getInput()
Return the encapsulate Low Level API object.
|
List<Sort> |
ContainsHLAPI.getInput()
Return the encapsulate Low Level API object.
|
List<Sort> |
CardinalityOfHLAPI.getInput()
Return the encapsulate Low Level API object.
|
List<Sort> |
CardinalityHLAPI.getInput()
Return the encapsulate Low Level API object.
|
List<Sort> |
AllHLAPI.getInput()
Return the encapsulate Low Level API object.
|
List<Sort> |
AddHLAPI.getInput()
Return the encapsulate Low Level API object.
|
Modifier and Type | Field and Description |
---|---|
protected Sort |
EmptyImpl.refsort
The cached value of the '
Refsort ' containment reference |
protected Sort |
AllImpl.refsort
The cached value of the '
Refsort ' containment reference |
Modifier and Type | Method and Description |
---|---|
Sort |
EmptyImpl.getRefsort() |
Sort |
AllImpl.getRefsort() |
Modifier and Type | Method and Description |
---|---|
org.eclipse.emf.common.notify.NotificationChain |
EmptyImpl.basicSetRefsort(Sort newRefsort,
org.eclipse.emf.common.notify.NotificationChain msgs) |
org.eclipse.emf.common.notify.NotificationChain |
AllImpl.basicSetRefsort(Sort newRefsort,
org.eclipse.emf.common.notify.NotificationChain msgs) |
void |
EmptyImpl.setRefsort(Sort newRefsort) |
void |
AllImpl.setRefsort(Sort newRefsort) |
Modifier and Type | Method and Description |
---|---|
Sort |
Partition.getDef()
Returns the value of the 'Def' containment reference.
|
Modifier and Type | Method and Description |
---|---|
void |
Partition.setDef(Sort value)
Sets the value of the '
Def ' containment reference |
Modifier and Type | Method and Description |
---|---|
Sort |
PartitionHLAPI.getDef()
Return the encapsulate Low Level API object.
|
Sort |
PartitionElementOfHLAPI.getOutput()
Return the encapsulate Low Level API object.
|
Sort |
LessThanHLAPI.getOutput()
Return the encapsulate Low Level API object.
|
Sort |
GreaterThanHLAPI.getOutput()
Return the encapsulate Low Level API object.
|
Sort |
PartitionElementOfHLAPI.getSort()
Return the encapsulate Low Level API object.
|
Sort |
LessThanHLAPI.getSort()
Return the encapsulate Low Level API object.
|
Sort |
GreaterThanHLAPI.getSort()
Return the encapsulate Low Level API object.
|
Modifier and Type | Method and Description |
---|---|
List<Sort> |
PartitionElementOfHLAPI.getInput()
Return the encapsulate Low Level API object.
|
List<Sort> |
LessThanHLAPI.getInput()
Return the encapsulate Low Level API object.
|
List<Sort> |
GreaterThanHLAPI.getInput()
Return the encapsulate Low Level API object.
|
Modifier and Type | Field and Description |
---|---|
protected Sort |
PartitionImpl.def
The cached value of the '
Def ' containment reference |
Modifier and Type | Method and Description |
---|---|
Sort |
PartitionImpl.getDef() |
Modifier and Type | Method and Description |
---|---|
org.eclipse.emf.common.notify.NotificationChain |
PartitionImpl.basicSetDef(Sort newDef,
org.eclipse.emf.common.notify.NotificationChain msgs) |
void |
PartitionImpl.setDef(Sort newDef) |
Modifier and Type | Interface and Description |
---|---|
interface |
HLPNString
A representation of the model object 'HLPN String'
|
Modifier and Type | Method and Description |
---|---|
Sort |
SubstringHLAPI.getOutput()
Return the encapsulate Low Level API object.
|
Sort |
StringConstantHLAPI.getOutput()
Return the encapsulate Low Level API object.
|
Sort |
LessThanOrEqualHLAPI.getOutput()
Return the encapsulate Low Level API object.
|
Sort |
LessThanHLAPI.getOutput()
Return the encapsulate Low Level API object.
|
Sort |
LengthHLAPI.getOutput()
Return the encapsulate Low Level API object.
|
Sort |
GreaterThanOrEqualHLAPI.getOutput()
Return the encapsulate Low Level API object.
|
Sort |
GreaterThanHLAPI.getOutput()
Return the encapsulate Low Level API object.
|
Sort |
ConcatenationHLAPI.getOutput()
Return the encapsulate Low Level API object.
|
Sort |
AppendHLAPI.getOutput()
Return the encapsulate Low Level API object.
|
Sort |
SubstringHLAPI.getSort()
Return the encapsulate Low Level API object.
|
Sort |
StringConstantHLAPI.getSort()
Return the encapsulate Low Level API object.
|
Sort |
LessThanOrEqualHLAPI.getSort()
Return the encapsulate Low Level API object.
|
Sort |
LessThanHLAPI.getSort()
Return the encapsulate Low Level API object.
|
Sort |
LengthHLAPI.getSort()
Return the encapsulate Low Level API object.
|
Sort |
GreaterThanOrEqualHLAPI.getSort()
Return the encapsulate Low Level API object.
|
Sort |
GreaterThanHLAPI.getSort()
Return the encapsulate Low Level API object.
|
Sort |
ConcatenationHLAPI.getSort()
Return the encapsulate Low Level API object.
|
Sort |
AppendHLAPI.getSort()
Return the encapsulate Low Level API object.
|
Modifier and Type | Method and Description |
---|---|
List<Sort> |
SubstringHLAPI.getInput()
Return the encapsulate Low Level API object.
|
List<Sort> |
StringConstantHLAPI.getInput()
Return the encapsulate Low Level API object.
|
List<Sort> |
LessThanOrEqualHLAPI.getInput()
Return the encapsulate Low Level API object.
|
List<Sort> |
LessThanHLAPI.getInput()
Return the encapsulate Low Level API object.
|
List<Sort> |
LengthHLAPI.getInput()
Return the encapsulate Low Level API object.
|
List<Sort> |
GreaterThanOrEqualHLAPI.getInput()
Return the encapsulate Low Level API object.
|
List<Sort> |
GreaterThanHLAPI.getInput()
Return the encapsulate Low Level API object.
|
List<Sort> |
ConcatenationHLAPI.getInput()
Return the encapsulate Low Level API object.
|
List<Sort> |
AppendHLAPI.getInput()
Return the encapsulate Low Level API object.
|
Modifier and Type | Method and Description |
---|---|
boolean |
HLPNStringImpl.equalSorts(Sort sort) |
Modifier and Type | Method and Description |
---|---|
T |
StringsSwitch.caseSort(Sort object)
Returns the result of interpreting the object as an instance of 'Sort'
|
Modifier and Type | Interface and Description |
---|---|
interface |
BuiltInSort
A representation of the model object 'Built In Sort'
|
interface |
MultisetSort
A representation of the model object 'Multiset Sort'
|
interface |
ProductSort
A representation of the model object 'Product Sort'
|
interface |
UserSort
A representation of the model object 'User Sort'
|
Modifier and Type | Method and Description |
---|---|
Sort |
MultisetSort.getBasis()
Returns the value of the 'Basis' containment reference.
|
Sort |
Operator.getOutput()
Returns the value of the 'Output' reference
|
Sort |
VariableDecl.getSort()
Returns the value of the 'Sort' containment reference.
|
Sort |
Term.getSort()
Returns the value of the 'Sort' reference
|
Sort |
NamedSort.getSortdef()
Returns the value of the 'Sortdef' containment reference.
|
Modifier and Type | Method and Description |
---|---|
List<Sort> |
ProductSort.getElementSort()
Returns the value of the 'Element Sort' containment reference list.
|
List<Sort> |
Operator.getInput()
Returns the value of the 'Input' reference list.
|
Modifier and Type | Method and Description |
---|---|
boolean |
Sort.equalSorts(Sort sort)
Returns true if this sort and argument sort are actually semantically the
same sort, even in two different objects.
|
void |
MultisetSort.setBasis(Sort value)
Sets the value of the '
Basis ' containment reference |
void |
Operator.setOutput(Sort value)
Sets the value of the '
Output ' reference |
void |
VariableDecl.setSort(Sort value)
Sets the value of the '
Sort ' containment reference |
void |
Term.setSort(Sort value)
Sets the value of the '
Sort ' reference |
void |
NamedSort.setSortdef(Sort value)
Sets the value of the '
Sortdef ' containment reference |
Modifier and Type | Method and Description |
---|---|
Sort |
MultisetSortHLAPI.getBasis()
Return the encapsulate Low Level API object.
|
Sort |
UserOperatorHLAPI.getOutput()
Return the encapsulate Low Level API object.
|
Sort |
TupleHLAPI.getOutput()
Return the encapsulate Low Level API object.
|
Sort |
OperatorHLAPI.getOutput() |
Sort |
VariableHLAPI.getSort()
Return the encapsulate Low Level API object.
|
Sort |
VariableDeclHLAPI.getSort()
Return the encapsulate Low Level API object.
|
Sort |
UserOperatorHLAPI.getSort()
Return the encapsulate Low Level API object.
|
Sort |
TupleHLAPI.getSort()
Return the encapsulate Low Level API object.
|
Sort |
TermHLAPI.getSort() |
Sort |
OperatorHLAPI.getSort() |
Sort |
NamedSortHLAPI.getSortdef()
Return the encapsulate Low Level API object.
|
Modifier and Type | Method and Description |
---|---|
List<Sort> |
ProductSortHLAPI.getElementSort()
Return the encapsulate Low Level API object.
|
List<Sort> |
UserOperatorHLAPI.getInput()
Return the encapsulate Low Level API object.
|
List<Sort> |
TupleHLAPI.getInput()
Return the encapsulate Low Level API object.
|
List<Sort> |
OperatorHLAPI.getInput() |
Modifier and Type | Field and Description |
---|---|
protected Sort |
MultisetSortImpl.basis
The cached value of the '
Basis ' containment reference |
protected Sort |
OperatorImpl.output
The cached value of the '
Output ' reference |
protected Sort |
VariableDeclImpl.sort
The cached value of the '
Sort ' containment reference |
protected Sort |
TermImpl.sort
The cached value of the '
Sort ' reference |
protected Sort |
NamedSortImpl.sortdef
The cached value of the '
Sortdef ' containment reference |
Modifier and Type | Field and Description |
---|---|
protected org.eclipse.emf.common.util.EList<Sort> |
ProductSortImpl.elementSort
The cached value of the '
Element Sort ' containment reference list |
protected org.eclipse.emf.common.util.EList<Sort> |
OperatorImpl.input
The cached value of the '
Input ' reference list |
Modifier and Type | Method and Description |
---|---|
Sort |
OperatorImpl.basicGetOutput() |
Sort |
TermImpl.basicGetSort() |
Sort |
MultisetSortImpl.getBasis() |
Sort |
OperatorImpl.getOutput() |
Sort |
VariableDeclImpl.getSort() |
Sort |
TermImpl.getSort() |
Sort |
NamedSortImpl.getSortdef() |
Modifier and Type | Method and Description |
---|---|
List<Sort> |
ProductSortImpl.getElementSort() |
List<Sort> |
OperatorImpl.getInput() |
Modifier and Type | Method and Description |
---|---|
org.eclipse.emf.common.notify.NotificationChain |
MultisetSortImpl.basicSetBasis(Sort newBasis,
org.eclipse.emf.common.notify.NotificationChain msgs) |
org.eclipse.emf.common.notify.NotificationChain |
VariableDeclImpl.basicSetSort(Sort newSort,
org.eclipse.emf.common.notify.NotificationChain msgs) |
org.eclipse.emf.common.notify.NotificationChain |
NamedSortImpl.basicSetSortdef(Sort newSortdef,
org.eclipse.emf.common.notify.NotificationChain msgs) |
boolean |
UserSortImpl.equalSorts(Sort sort) |
boolean |
ProductSortImpl.equalSorts(Sort sort) |
boolean |
MultisetSortImpl.equalSorts(Sort sort) |
void |
MultisetSortImpl.setBasis(Sort newBasis) |
void |
OperatorImpl.setOutput(Sort newOutput) |
void |
VariableDeclImpl.setSort(Sort newSort) |
void |
TermImpl.setSort(Sort newSort) |
void |
NamedSortImpl.setSortdef(Sort newSortdef) |
Modifier and Type | Method and Description |
---|---|
T |
TermsSwitch.caseSort(Sort object)
Returns the result of interpreting the object as an instance of 'Sort'
|
boolean |
TermsValidator.validateSort(Sort sort,
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.