public interface HLMarking extends HLCoreAnnotation
The following features are supported:
HlcorestructurePackage.getHLMarking()
Modifier and Type | Method and Description |
---|---|
void |
fromPNML(org.apache.axiom.om.OMElement subRoot,
IdRefLinker idr)
set values to conform PNML document
|
Place |
getContainerPlace()
Returns the value of the 'Container Place' container reference.
|
Term |
getStructure()
Returns the value of the 'Structure' containment reference.
|
void |
setContainerPlace(Place value)
Sets the value of the '
Container Place ' container reference |
void |
setStructure(Term value)
Sets the value of the '
Structure ' containment reference |
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) |
getText, setText
getAnnotationgraphics, setAnnotationgraphics
getToolspecifics
Term getStructure()
Container HL Marking
'.
If the meaning of the 'Structure' containment reference isn't clear, there really should be more of a description here...
setStructure(Term)
,
HlcorestructurePackage.getHLMarking_Structure()
,
Term.getContainerHLMarking()
void setStructure(Term value)
Structure
' containment reference.
value
- the new value of the 'Structure' containment reference.getStructure()
Place getContainerPlace()
Hlinitial Marking
'.
If the meaning of the 'Container Place' container reference isn't clear, there really should be more of a description here...
setContainerPlace(Place)
,
HlcorestructurePackage.getHLMarking_ContainerPlace()
,
Place.getHlinitialMarking()
void setContainerPlace(Place value)
Container Place
' container reference.
value
- the new value of the 'Container Place' container reference.getContainerPlace()
String toPNML()
toPNML
in interface Annotation
toPNML
in interface HLCoreAnnotation
toPNML
in interface Label
void fromPNML(org.apache.axiom.om.OMElement subRoot, IdRefLinker idr) throws InnerBuildException, InvalidIDException, VoidRepositoryException
fromPNML
in interface Annotation
fromPNML
in interface HLCoreAnnotation
fromPNML
in interface Label
InnerBuildException
InvalidIDException
VoidRepositoryException
void toPNML(FileChannel fc)
toPNML
in interface Annotation
toPNML
in interface HLCoreAnnotation
toPNML
in interface Label
boolean validateOCL(org.eclipse.emf.common.util.DiagnosticChain diagnostics)
validateOCL
in interface Annotation
validateOCL
in interface HLCoreAnnotation
validateOCL
in interface Label
Copyright © 2009–2016 Univ. Paris Ouest, and Univ. Pierre et Marie Curie / CNRS UMR 7606 (LIP6). All rights reserved.