Package | Description |
---|---|
fr.lip6.move.pnml.hlpn.terms | |
fr.lip6.move.pnml.hlpn.terms.hlapi | |
fr.lip6.move.pnml.hlpn.terms.impl | |
fr.lip6.move.pnml.hlpn.terms.util |
Modifier and Type | Method and Description |
---|---|
UserOperator |
TermsFactory.createUserOperator()
Returns a new object of class 'User Operator'
|
Modifier and Type | Method and Description |
---|---|
UserOperator |
UserOperatorHLAPI.getContainedItem()
Return encapsulated object
|
Constructor and Description |
---|
UserOperatorHLAPI(UserOperator lowLevelAPI)
This constructor encapsulate a low level API object in HLAPI.
|
Modifier and Type | Method and Description |
---|---|
UserOperator |
TermsFactoryImpl.createUserOperator() |
Modifier and Type | Method and Description |
---|---|
T |
TermsSwitch.caseUserOperator(UserOperator object)
Returns the result of interpreting the object as an instance of 'User Operator'
|
boolean |
TermsValidator.validateUserOperator(UserOperator userOperator,
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.