public interface FiniteIntRangeConstant extends BuiltInConstant
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
|
FiniteIntRange |
getRange()
Returns the value of the 'Range' containment reference.
|
Integer |
getValue()
Returns the value of the 'Value' attribute
|
void |
setRange(FiniteIntRange value)
Sets the value of the '
Range ' containment reference |
void |
setValue(Integer value)
Sets the value of the '
Value ' 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) |
getInput, getOutput, getSubterm, setOutput
getContainerCondition, getContainerHLAnnotation, getContainerHLMarking, getContainerNamedOperator, getContainerOperator, getContainerPartitionElement, getSort, setContainerCondition, setContainerHLAnnotation, setContainerHLMarking, setContainerNamedOperator, setContainerOperator, setContainerPartitionElement, setSort
Integer getValue()
If the meaning of the 'Value' attribute isn't clear, there really should be more of a description here...
setValue(Integer)
,
FiniteIntRangesPackage.getFiniteIntRangeConstant_Value()
void setValue(Integer value)
Value
' attribute.
value
- the new value of the 'Value' attribute.getValue()
FiniteIntRange getRange()
Container Finite Int Range Constant
'.
If the meaning of the 'Range' containment reference isn't clear, there really should be more of a description here...
setRange(FiniteIntRange)
,
FiniteIntRangesPackage.getFiniteIntRangeConstant_Range()
,
FiniteIntRange.getContainerFiniteIntRangeConstant()
void setRange(FiniteIntRange value)
Range
' containment reference.
value
- the new value of the 'Range' containment reference.getRange()
String toPNML()
void fromPNML(org.apache.axiom.om.OMElement subRoot, IdRefLinker idr) throws InnerBuildException, InvalidIDException, VoidRepositoryException
fromPNML
in interface BuiltInConstant
fromPNML
in interface Operator
fromPNML
in interface Term
InnerBuildException
InvalidIDException
VoidRepositoryException
void toPNML(FileChannel fc)
boolean validateOCL(org.eclipse.emf.common.util.DiagnosticChain diagnostics)
validateOCL
in interface BuiltInConstant
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.