public class VariableHLAPI extends Object implements HLAPIClass, TermHLAPI
Constructor and Description |
---|
VariableHLAPI(SortHLAPI sort,
VariableDeclHLAPI variableDecl)
this constructor allows you to set all 'settable' values
excepted container.
|
VariableHLAPI(SortHLAPI sort,
VariableDeclHLAPI variableDecl,
ConditionHLAPI containerCondition)
this constructor allows you to set all 'settable' values, including container if any.
|
VariableHLAPI(SortHLAPI sort,
VariableDeclHLAPI variableDecl,
HLAnnotationHLAPI containerHLAnnotation)
this constructor allows you to set all 'settable' values, including container if any.
|
VariableHLAPI(SortHLAPI sort,
VariableDeclHLAPI variableDecl,
HLMarkingHLAPI containerHLMarking)
this constructor allows you to set all 'settable' values, including container if any.
|
VariableHLAPI(SortHLAPI sort,
VariableDeclHLAPI variableDecl,
NamedOperatorHLAPI containerNamedOperator)
this constructor allows you to set all 'settable' values, including container if any.
|
VariableHLAPI(SortHLAPI sort,
VariableDeclHLAPI variableDecl,
OperatorHLAPI containerOperator)
this constructor allows you to set all 'settable' values, including container if any.
|
VariableHLAPI(SortHLAPI sort,
VariableDeclHLAPI variableDecl,
PartitionElementHLAPI containerPartitionElement)
this constructor allows you to set all 'settable' values, including container if any.
|
VariableHLAPI(Variable lowLevelAPI)
This constructor encapsulate a low level API object in HLAPI.
|
VariableHLAPI(VariableDeclHLAPI variableDecl)
This constructor give access to required stuff only (not container if any)
|
VariableHLAPI(VariableDeclHLAPI variableDecl,
ConditionHLAPI containerCondition)
This constructor give access to required stuff only (and container)
|
VariableHLAPI(VariableDeclHLAPI variableDecl,
HLAnnotationHLAPI containerHLAnnotation)
This constructor give access to required stuff only (and container)
|
VariableHLAPI(VariableDeclHLAPI variableDecl,
HLMarkingHLAPI containerHLMarking)
This constructor give access to required stuff only (and container)
|
VariableHLAPI(VariableDeclHLAPI variableDecl,
NamedOperatorHLAPI containerNamedOperator)
This constructor give access to required stuff only (and container)
|
VariableHLAPI(VariableDeclHLAPI variableDecl,
OperatorHLAPI containerOperator)
This constructor give access to required stuff only (and container)
|
VariableHLAPI(VariableDeclHLAPI variableDecl,
PartitionElementHLAPI containerPartitionElement)
This constructor give access to required stuff only (and container)
|
Modifier and Type | Method and Description |
---|---|
boolean |
equals(VariableHLAPI item) |
void |
fromPNML(org.apache.axiom.om.OMElement subRoot,
IdRefLinker idr)
creates an object from the xml nodes.
|
Variable |
getContainedItem()
Return encapsulated object
|
Condition |
getContainerCondition()
Return the encapsulate Low Level API object.
|
ConditionHLAPI |
getContainerConditionHLAPI()
This accessor automatically encapsulate an element of the current object.
|
HLAnnotation |
getContainerHLAnnotation()
Return the encapsulate Low Level API object.
|
HLAnnotationHLAPI |
getContainerHLAnnotationHLAPI()
This accessor automatically encapsulate an element of the current object.
|
HLMarking |
getContainerHLMarking()
Return the encapsulate Low Level API object.
|
HLMarkingHLAPI |
getContainerHLMarkingHLAPI()
This accessor automatically encapsulate an element of the current object.
|
NamedOperator |
getContainerNamedOperator()
Return the encapsulate Low Level API object.
|
NamedOperatorHLAPI |
getContainerNamedOperatorHLAPI()
This accessor automatically encapsulate an element of the current object.
|
Operator |
getContainerOperator()
Return the encapsulate Low Level API object.
|
OperatorHLAPI |
getContainerOperatorHLAPI()
This accessor automatically encapsulate an element of the current object.
|
PartitionElement |
getContainerPartitionElement()
Return the encapsulate Low Level API object.
|
PartitionElementHLAPI |
getContainerPartitionElementHLAPI()
This accessor automatically encapsulate an element of the current object.
|
Sort |
getSort()
Return the encapsulate Low Level API object.
|
SortHLAPI |
getSortHLAPI()
This accessor automatically encapsulate an element of the current object.
|
VariableDecl |
getVariableDecl()
Return the encapsulate Low Level API object.
|
VariableDeclHLAPI |
getVariableDeclHLAPI()
This accessor automatically encapsulate an element of the current object.
|
void |
setContainerConditionHLAPI(ConditionHLAPI elem)
set ContainerCondition
|
void |
setContainerHLAnnotationHLAPI(HLAnnotationHLAPI elem)
set ContainerHLAnnotation
|
void |
setContainerHLMarkingHLAPI(HLMarkingHLAPI elem)
set ContainerHLMarking
|
void |
setContainerNamedOperatorHLAPI(NamedOperatorHLAPI elem)
set ContainerNamedOperator
|
void |
setContainerOperatorHLAPI(OperatorHLAPI elem)
set ContainerOperator
|
void |
setContainerPartitionElementHLAPI(PartitionElementHLAPI elem)
set ContainerPartitionElement
|
void |
setSortHLAPI(SortHLAPI elem)
set Sort
|
void |
setVariableDeclHLAPI(VariableDeclHLAPI elem)
set VariableDecl
|
String |
toPNML()
Returns the PNML xml tree for this object.
|
void |
toPNML(FileChannel fc)
Writes the PNML XML tree of this object into file channel.
|
boolean |
validateOCL(org.eclipse.emf.common.util.DiagnosticChain diagnostics) |
public VariableHLAPI(SortHLAPI sort, VariableDeclHLAPI variableDecl)
public VariableHLAPI(SortHLAPI sort, VariableDeclHLAPI variableDecl, OperatorHLAPI containerOperator)
public VariableHLAPI(SortHLAPI sort, VariableDeclHLAPI variableDecl, NamedOperatorHLAPI containerNamedOperator)
public VariableHLAPI(SortHLAPI sort, VariableDeclHLAPI variableDecl, HLMarkingHLAPI containerHLMarking)
public VariableHLAPI(SortHLAPI sort, VariableDeclHLAPI variableDecl, ConditionHLAPI containerCondition)
public VariableHLAPI(SortHLAPI sort, VariableDeclHLAPI variableDecl, HLAnnotationHLAPI containerHLAnnotation)
public VariableHLAPI(SortHLAPI sort, VariableDeclHLAPI variableDecl, PartitionElementHLAPI containerPartitionElement)
public VariableHLAPI(VariableDeclHLAPI variableDecl)
public VariableHLAPI(VariableDeclHLAPI variableDecl, OperatorHLAPI containerOperator)
public VariableHLAPI(VariableDeclHLAPI variableDecl, NamedOperatorHLAPI containerNamedOperator)
public VariableHLAPI(VariableDeclHLAPI variableDecl, HLMarkingHLAPI containerHLMarking)
public VariableHLAPI(VariableDeclHLAPI variableDecl, ConditionHLAPI containerCondition)
public VariableHLAPI(VariableDeclHLAPI variableDecl, HLAnnotationHLAPI containerHLAnnotation)
public VariableHLAPI(VariableDeclHLAPI variableDecl, PartitionElementHLAPI containerPartitionElement)
public VariableHLAPI(Variable lowLevelAPI)
public Variable getContainedItem()
getContainedItem
in interface HLAPIClass
public Sort getSort()
public Operator getContainerOperator()
getContainerOperator
in interface TermHLAPI
public NamedOperator getContainerNamedOperator()
getContainerNamedOperator
in interface TermHLAPI
public HLMarking getContainerHLMarking()
getContainerHLMarking
in interface TermHLAPI
public Condition getContainerCondition()
getContainerCondition
in interface TermHLAPI
public HLAnnotation getContainerHLAnnotation()
getContainerHLAnnotation
in interface TermHLAPI
public PartitionElement getContainerPartitionElement()
getContainerPartitionElement
in interface TermHLAPI
public VariableDecl getVariableDecl()
public SortHLAPI getSortHLAPI()
getSortHLAPI
in interface TermHLAPI
public OperatorHLAPI getContainerOperatorHLAPI()
getContainerOperatorHLAPI
in interface TermHLAPI
public NamedOperatorHLAPI getContainerNamedOperatorHLAPI()
getContainerNamedOperatorHLAPI
in interface TermHLAPI
public HLMarkingHLAPI getContainerHLMarkingHLAPI()
getContainerHLMarkingHLAPI
in interface TermHLAPI
public ConditionHLAPI getContainerConditionHLAPI()
getContainerConditionHLAPI
in interface TermHLAPI
public HLAnnotationHLAPI getContainerHLAnnotationHLAPI()
getContainerHLAnnotationHLAPI
in interface TermHLAPI
public PartitionElementHLAPI getContainerPartitionElementHLAPI()
getContainerPartitionElementHLAPI
in interface TermHLAPI
public VariableDeclHLAPI getVariableDeclHLAPI()
public void setSortHLAPI(SortHLAPI elem)
setSortHLAPI
in interface TermHLAPI
public void setVariableDeclHLAPI(VariableDeclHLAPI elem)
public void setContainerOperatorHLAPI(OperatorHLAPI elem)
setContainerOperatorHLAPI
in interface TermHLAPI
public void setContainerNamedOperatorHLAPI(NamedOperatorHLAPI elem)
setContainerNamedOperatorHLAPI
in interface TermHLAPI
public void setContainerHLMarkingHLAPI(HLMarkingHLAPI elem)
setContainerHLMarkingHLAPI
in interface TermHLAPI
public void setContainerConditionHLAPI(ConditionHLAPI elem)
setContainerConditionHLAPI
in interface TermHLAPI
public void setContainerHLAnnotationHLAPI(HLAnnotationHLAPI elem)
setContainerHLAnnotationHLAPI
in interface TermHLAPI
public void setContainerPartitionElementHLAPI(PartitionElementHLAPI elem)
setContainerPartitionElementHLAPI
in interface TermHLAPI
public boolean equals(VariableHLAPI item)
public String toPNML()
toPNML
in interface HLAPIClass
HLAPIClass.toPNML(FileChannel)
public void toPNML(FileChannel fc)
toPNML
in interface HLAPIClass
fc
- the file channel into which to write the contentspublic void fromPNML(org.apache.axiom.om.OMElement subRoot, IdRefLinker idr) throws InnerBuildException, InvalidIDException, VoidRepositoryException
fromPNML
in interface HLAPIClass
subRoot
- the sub-tree to import.idr
- an idreflinker to solve idref.InnerBuildException
- .InvalidIDException
- .VoidRepositoryException
- .public boolean validateOCL(org.eclipse.emf.common.util.DiagnosticChain diagnostics)
validateOCL
in interface HLAPIClass
diagnostics
- for diagnostic informations.Copyright © 2009–2016 Univ. Paris Ouest, and Univ. Pierre et Marie Curie / CNRS UMR 7606 (LIP6). All rights reserved.