public interface FiniteIntRange extends BuiltInSort
The following features are supported:
Modifier and Type | Method and Description |
---|---|
void |
fromPNML(org.apache.axiom.om.OMElement subRoot,
IdRefLinker idr)
set values to conform PNML document
|
FiniteIntRangeConstant |
getContainerFiniteIntRangeConstant()
Returns the value of the 'Container Finite Int Range Constant' container reference.
|
Long |
getEnd()
Returns the value of the 'End' attribute
|
Long |
getStart()
Returns the value of the 'Start' attribute
|
void |
setContainerFiniteIntRangeConstant(FiniteIntRangeConstant value)
Sets the value of the '
Container Finite Int Range Constant ' container reference |
void |
setEnd(Long value)
Sets the value of the '
End ' attribute |
void |
setStart(Long value)
Sets the value of the '
Start ' attribute |
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) |
equalSorts, getContainerAll, getContainerEmpty, getContainerNamedSort, getContainerPartition, getContainerProductSort, getContainerType, getContainerVariableDecl, getMulti, setContainerAll, setContainerEmpty, setContainerNamedSort, setContainerPartition, setContainerProductSort, setContainerType, setContainerVariableDecl, setMulti
Long getStart()
If the meaning of the 'Start' attribute isn't clear, there really should be more of a description here...
setStart(Long)
,
FiniteIntRangesPackage.getFiniteIntRange_Start()
void setStart(Long value)
Start
' attribute.
value
- the new value of the 'Start' attribute.getStart()
Long getEnd()
If the meaning of the 'End' attribute isn't clear, there really should be more of a description here...
setEnd(Long)
,
FiniteIntRangesPackage.getFiniteIntRange_End()
void setEnd(Long value)
End
' attribute.
value
- the new value of the 'End' attribute.getEnd()
FiniteIntRangeConstant getContainerFiniteIntRangeConstant()
Range
'.
If the meaning of the 'Container Finite Int Range Constant' container reference isn't clear, there really should be more of a description here...
setContainerFiniteIntRangeConstant(FiniteIntRangeConstant)
,
FiniteIntRangesPackage.getFiniteIntRange_ContainerFiniteIntRangeConstant()
,
FiniteIntRangeConstant.getRange()
void setContainerFiniteIntRangeConstant(FiniteIntRangeConstant value)
Container Finite Int Range Constant
' container reference.
value
- the new value of the 'Container Finite Int Range Constant' container reference.getContainerFiniteIntRangeConstant()
String toPNML()
toPNML
in interface BuiltInSort
toPNML
in interface Sort
void fromPNML(org.apache.axiom.om.OMElement subRoot, IdRefLinker idr) throws InnerBuildException, InvalidIDException, VoidRepositoryException
fromPNML
in interface BuiltInSort
fromPNML
in interface Sort
InnerBuildException
InvalidIDException
VoidRepositoryException
void toPNML(FileChannel fc)
toPNML
in interface BuiltInSort
toPNML
in interface Sort
boolean validateOCL(org.eclipse.emf.common.util.DiagnosticChain diagnostics)
validateOCL
in interface BuiltInSort
validateOCL
in interface Sort
Copyright © 2009–2016 Univ. Paris Ouest, and Univ. Pierre et Marie Curie / CNRS UMR 7606 (LIP6). All rights reserved.