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 |
---|---|
Positive |
IntegersFactory.createPositive()
Returns a new object of class 'Positive'
|
Modifier and Type | Method and Description |
---|---|
Positive |
PositiveHLAPI.getContainedItem()
Return encapsulated object
|
Constructor and Description |
---|
PositiveHLAPI(Positive lowLevelAPI)
This constructor encapsulate a low level API object in HLAPI.
|
Modifier and Type | Method and Description |
---|---|
Positive |
IntegersFactoryImpl.createPositive() |
Modifier and Type | Method and Description |
---|---|
T |
IntegersSwitch.casePositive(Positive object)
Returns the result of interpreting the object as an instance of 'Positive'
|
boolean |
IntegersValidator.validatePositive(Positive positive,
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.