public interface GreaterThan extends FiniteIntRangeOperator
FiniteIntRangesPackage.getGreaterThan()
Modifier and Type | Method and Description |
---|---|
void |
fromPNML(org.apache.axiom.om.OMElement subRoot,
IdRefLinker idr)
set values to conform PNML document
|
String |
toPNML()
Return the string containing the pnml output
|
void |
toPNML(FileChannel fc)
Write the PNML xml tree of this object into file
|
boolean |
validateOCL(org.eclipse.emf.common.util.DiagnosticChain diagnostics) |
getInput, getOutput, getSubterm, setOutput
getContainerCondition, getContainerHLAnnotation, getContainerHLMarking, getContainerNamedOperator, getContainerOperator, getContainerPartitionElement, getSort, setContainerCondition, setContainerHLAnnotation, setContainerHLMarking, setContainerNamedOperator, setContainerOperator, setContainerPartitionElement, setSort
String toPNML()
toPNML
in interface BuiltInOperator
toPNML
in interface FiniteIntRangeOperator
toPNML
in interface Operator
toPNML
in interface Term
void fromPNML(org.apache.axiom.om.OMElement subRoot, IdRefLinker idr) throws InnerBuildException, InvalidIDException, VoidRepositoryException
fromPNML
in interface BuiltInOperator
fromPNML
in interface FiniteIntRangeOperator
fromPNML
in interface Operator
fromPNML
in interface Term
InnerBuildException
InvalidIDException
VoidRepositoryException
void toPNML(FileChannel fc)
toPNML
in interface BuiltInOperator
toPNML
in interface FiniteIntRangeOperator
toPNML
in interface Operator
toPNML
in interface Term
boolean validateOCL(org.eclipse.emf.common.util.DiagnosticChain diagnostics)
validateOCL
in interface BuiltInOperator
validateOCL
in interface FiniteIntRangeOperator
validateOCL
in interface Operator
validateOCL
in interface Term
Copyright © 2009–2016 Univ. Paris Ouest, and Univ. Pierre et Marie Curie / CNRS UMR 7606 (LIP6). All rights reserved.