Package | Description |
---|---|
fr.lip6.move.pnml.pthlpng.integers | |
fr.lip6.move.pnml.pthlpng.integers.hlapi | |
fr.lip6.move.pnml.pthlpng.integers.impl | |
fr.lip6.move.pnml.pthlpng.integers.util |
Modifier and Type | Method and Description |
---|---|
NumberConstant |
IntegersFactory.createNumberConstant()
Returns a new object of class 'Number Constant'
|
NumberConstant |
HLPNNumber.getContainerNumberConstant()
Returns the value of the 'Container Number Constant' container reference.
|
Modifier and Type | Method and Description |
---|---|
void |
HLPNNumber.setContainerNumberConstant(NumberConstant value)
Sets the value of the '
Container Number Constant ' container reference |
Modifier and Type | Method and Description |
---|---|
NumberConstant |
NumberConstantHLAPI.getContainedItem()
Return encapsulated object
|
NumberConstant |
PositiveHLAPI.getContainerNumberConstant()
Return the encapsulate Low Level API object.
|
NumberConstant |
NaturalHLAPI.getContainerNumberConstant()
Return the encapsulate Low Level API object.
|
NumberConstant |
HLPNNumberHLAPI.getContainerNumberConstant() |
NumberConstant |
HLIntegerHLAPI.getContainerNumberConstant()
Return the encapsulate Low Level API object.
|
Constructor and Description |
---|
NumberConstantHLAPI(NumberConstant lowLevelAPI)
This constructor encapsulate a low level API object in HLAPI.
|
Modifier and Type | Method and Description |
---|---|
NumberConstant |
IntegersFactoryImpl.createNumberConstant() |
NumberConstant |
HLPNNumberImpl.getContainerNumberConstant() |
Modifier and Type | Method and Description |
---|---|
org.eclipse.emf.common.notify.NotificationChain |
HLPNNumberImpl.basicSetContainerNumberConstant(NumberConstant newContainerNumberConstant,
org.eclipse.emf.common.notify.NotificationChain msgs) |
void |
HLPNNumberImpl.setContainerNumberConstant(NumberConstant newContainerNumberConstant) |
Modifier and Type | Method and Description |
---|---|
T |
IntegersSwitch.caseNumberConstant(NumberConstant object)
Returns the result of interpreting the object as an instance of 'Number Constant'
|
boolean |
IntegersValidator.validateNumberConstant_typeType(NumberConstant numberConstant,
org.eclipse.emf.common.util.DiagnosticChain diagnostics,
Map<Object,Object> context)
Validates the typeType constraint of 'Number Constant'
|
boolean |
IntegersValidator.validateNumberConstant(NumberConstant numberConstant,
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.