Modifier and Type | Method and Description |
---|---|
HLMarking |
OrHLAPI.getContainerHLMarking()
Return the encapsulate Low Level API object.
|
HLMarking |
NotHLAPI.getContainerHLMarking()
Return the encapsulate Low Level API object.
|
HLMarking |
InequalityHLAPI.getContainerHLMarking()
Return the encapsulate Low Level API object.
|
HLMarking |
ImplyHLAPI.getContainerHLMarking()
Return the encapsulate Low Level API object.
|
HLMarking |
EqualityHLAPI.getContainerHLMarking()
Return the encapsulate Low Level API object.
|
HLMarking |
BooleanConstantHLAPI.getContainerHLMarking()
Return the encapsulate Low Level API object.
|
HLMarking |
AndHLAPI.getContainerHLMarking()
Return the encapsulate Low Level API object.
|
Modifier and Type | Method and Description |
---|---|
HLMarking |
DotConstantHLAPI.getContainerHLMarking()
Return the encapsulate Low Level API object.
|
Modifier and Type | Method and Description |
---|---|
HLMarking |
HlcorestructureFactory.createHLMarking()
Returns a new object of class 'HL Marking'
|
HLMarking |
Place.getHlinitialMarking()
Returns the value of the 'Hlinitial Marking' containment reference.
|
Modifier and Type | Method and Description |
---|---|
void |
Place.setHlinitialMarking(HLMarking value)
Sets the value of the '
Hlinitial Marking ' containment reference |
Modifier and Type | Method and Description |
---|---|
HLMarking |
HLMarkingHLAPI.getContainedItem()
Return encapsulated object
|
HLMarking |
PlaceHLAPI.getHlinitialMarking()
Return the encapsulate Low Level API object.
|
Constructor and Description |
---|
HLMarkingHLAPI(HLMarking lowLevelAPI)
This constructor encapsulate a low level API object in HLAPI.
|
Modifier and Type | Field and Description |
---|---|
protected HLMarking |
PlaceImpl.hlinitialMarking
The cached value of the '
Hlinitial Marking ' containment reference |
Modifier and Type | Method and Description |
---|---|
HLMarking |
HlcorestructureFactoryImpl.createHLMarking() |
HLMarking |
PlaceImpl.getHlinitialMarking() |
Modifier and Type | Method and Description |
---|---|
org.eclipse.emf.common.notify.NotificationChain |
PlaceImpl.basicSetHlinitialMarking(HLMarking newHlinitialMarking,
org.eclipse.emf.common.notify.NotificationChain msgs) |
void |
PlaceImpl.setHlinitialMarking(HLMarking newHlinitialMarking) |
Modifier and Type | Method and Description |
---|---|
T |
HlcorestructureSwitch.caseHLMarking(HLMarking object)
Returns the result of interpreting the object as an instance of 'HL Marking'
|
boolean |
HlcorestructureValidator.validateHLMarking(HLMarking hlMarking,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
Map<Object,Object> context) |
Modifier and Type | Method and Description |
---|---|
HLMarking |
SubtractionHLAPI.getContainerHLMarking()
Return the encapsulate Low Level API object.
|
HLMarking |
NumberConstantHLAPI.getContainerHLMarking()
Return the encapsulate Low Level API object.
|
HLMarking |
MultiplicationHLAPI.getContainerHLMarking()
Return the encapsulate Low Level API object.
|
HLMarking |
ModuloHLAPI.getContainerHLMarking()
Return the encapsulate Low Level API object.
|
HLMarking |
LessThanOrEqualHLAPI.getContainerHLMarking()
Return the encapsulate Low Level API object.
|
HLMarking |
LessThanHLAPI.getContainerHLMarking()
Return the encapsulate Low Level API object.
|
HLMarking |
GreaterThanOrEqualHLAPI.getContainerHLMarking()
Return the encapsulate Low Level API object.
|
HLMarking |
GreaterThanHLAPI.getContainerHLMarking()
Return the encapsulate Low Level API object.
|
HLMarking |
DivisionHLAPI.getContainerHLMarking()
Return the encapsulate Low Level API object.
|
HLMarking |
AdditionHLAPI.getContainerHLMarking()
Return the encapsulate Low Level API object.
|
Modifier and Type | Method and Description |
---|---|
HLMarking |
SubtractHLAPI.getContainerHLMarking()
Return the encapsulate Low Level API object.
|
HLMarking |
ScalarProductHLAPI.getContainerHLMarking()
Return the encapsulate Low Level API object.
|
HLMarking |
NumberOfHLAPI.getContainerHLMarking()
Return the encapsulate Low Level API object.
|
HLMarking |
EmptyHLAPI.getContainerHLMarking()
Return the encapsulate Low Level API object.
|
HLMarking |
ContainsHLAPI.getContainerHLMarking()
Return the encapsulate Low Level API object.
|
HLMarking |
CardinalityOfHLAPI.getContainerHLMarking()
Return the encapsulate Low Level API object.
|
HLMarking |
CardinalityHLAPI.getContainerHLMarking()
Return the encapsulate Low Level API object.
|
HLMarking |
AllHLAPI.getContainerHLMarking()
Return the encapsulate Low Level API object.
|
HLMarking |
AddHLAPI.getContainerHLMarking()
Return the encapsulate Low Level API object.
|
Modifier and Type | Method and Description |
---|---|
HLMarking |
PartitionElementOfHLAPI.getContainerHLMarking()
Return the encapsulate Low Level API object.
|
HLMarking |
LessThanHLAPI.getContainerHLMarking()
Return the encapsulate Low Level API object.
|
HLMarking |
GreaterThanHLAPI.getContainerHLMarking()
Return the encapsulate Low Level API object.
|
Modifier and Type | Method and Description |
---|---|
HLMarking |
Term.getContainerHLMarking()
Returns the value of the 'Container HL Marking' container reference.
|
Modifier and Type | Method and Description |
---|---|
void |
Term.setContainerHLMarking(HLMarking value)
Sets the value of the '
Container HL Marking ' container reference |
Modifier and Type | Method and Description |
---|---|
HLMarking |
VariableHLAPI.getContainerHLMarking()
Return the encapsulate Low Level API object.
|
HLMarking |
UserOperatorHLAPI.getContainerHLMarking()
Return the encapsulate Low Level API object.
|
HLMarking |
TupleHLAPI.getContainerHLMarking()
Return the encapsulate Low Level API object.
|
HLMarking |
TermHLAPI.getContainerHLMarking() |
HLMarking |
OperatorHLAPI.getContainerHLMarking() |
Modifier and Type | Method and Description |
---|---|
HLMarking |
TermImpl.getContainerHLMarking() |
Modifier and Type | Method and Description |
---|---|
org.eclipse.emf.common.notify.NotificationChain |
TermImpl.basicSetContainerHLMarking(HLMarking newContainerHLMarking,
org.eclipse.emf.common.notify.NotificationChain msgs) |
void |
TermImpl.setContainerHLMarking(HLMarking newContainerHLMarking) |
Copyright © 2009–2016 Univ. Paris Ouest, and Univ. Pierre et Marie Curie / CNRS UMR 7606 (LIP6). All rights reserved.