public class PartitionElementOfHLAPI extends Object implements HLAPIClass, TermHLAPI, OperatorHLAPI
Constructor and Description |
---|
PartitionElementOfHLAPI(PartitionElementOf lowLevelAPI)
This constructor encapsulate a low level API object in HLAPI.
|
PartitionElementOfHLAPI(PartitionHLAPI refpartition)
This constructor give access to required stuff only (not container if any)
|
PartitionElementOfHLAPI(PartitionHLAPI refpartition,
ConditionHLAPI containerCondition)
This constructor give access to required stuff only (and container)
|
PartitionElementOfHLAPI(PartitionHLAPI refpartition,
HLAnnotationHLAPI containerHLAnnotation)
This constructor give access to required stuff only (and container)
|
PartitionElementOfHLAPI(PartitionHLAPI refpartition,
HLMarkingHLAPI containerHLMarking)
This constructor give access to required stuff only (and container)
|
PartitionElementOfHLAPI(PartitionHLAPI refpartition,
NamedOperatorHLAPI containerNamedOperator)
This constructor give access to required stuff only (and container)
|
PartitionElementOfHLAPI(PartitionHLAPI refpartition,
OperatorHLAPI containerOperator)
This constructor give access to required stuff only (and container)
|
PartitionElementOfHLAPI(PartitionHLAPI refpartition,
PartitionElementHLAPI containerPartitionElement)
This constructor give access to required stuff only (and container)
|
PartitionElementOfHLAPI(SortHLAPI sort,
SortHLAPI output,
PartitionHLAPI refpartition)
this constructor allows you to set all 'settable' values
excepted container.
|
PartitionElementOfHLAPI(SortHLAPI sort,
SortHLAPI output,
PartitionHLAPI refpartition,
ConditionHLAPI containerCondition)
this constructor allows you to set all 'settable' values, including container if any.
|
PartitionElementOfHLAPI(SortHLAPI sort,
SortHLAPI output,
PartitionHLAPI refpartition,
HLAnnotationHLAPI containerHLAnnotation)
this constructor allows you to set all 'settable' values, including container if any.
|
PartitionElementOfHLAPI(SortHLAPI sort,
SortHLAPI output,
PartitionHLAPI refpartition,
HLMarkingHLAPI containerHLMarking)
this constructor allows you to set all 'settable' values, including container if any.
|
PartitionElementOfHLAPI(SortHLAPI sort,
SortHLAPI output,
PartitionHLAPI refpartition,
NamedOperatorHLAPI containerNamedOperator)
this constructor allows you to set all 'settable' values, including container if any.
|
PartitionElementOfHLAPI(SortHLAPI sort,
SortHLAPI output,
PartitionHLAPI refpartition,
OperatorHLAPI containerOperator)
this constructor allows you to set all 'settable' values, including container if any.
|
PartitionElementOfHLAPI(SortHLAPI sort,
SortHLAPI output,
PartitionHLAPI refpartition,
PartitionElementHLAPI containerPartitionElement)
this constructor allows you to set all 'settable' values, including container if any.
|
Modifier and Type | Method and Description |
---|---|
void |
addSubtermHLAPI(TermHLAPI unit) |
boolean |
equals(PartitionElementOfHLAPI item) |
void |
fromPNML(org.apache.axiom.om.OMElement subRoot,
IdRefLinker idr)
creates an object from the xml nodes.
|
PartitionElementOf |
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.
|
List<AnySortHLAPI> |
getInput_arbitrarydeclarations_AnySortHLAPI()
This accessor return a list of encapsulated subelement, only of AnySortHLAPI kind.
|
List<BoolHLAPI> |
getInput_booleans_BoolHLAPI()
This accessor return a list of encapsulated subelement, only of BoolHLAPI kind.
|
List<CyclicEnumerationHLAPI> |
getInput_cyclicEnumerations_CyclicEnumerationHLAPI()
This accessor return a list of encapsulated subelement, only of CyclicEnumerationHLAPI kind.
|
List<DotHLAPI> |
getInput_dots_DotHLAPI()
This accessor return a list of encapsulated subelement, only of DotHLAPI kind.
|
List<FiniteEnumerationHLAPI> |
getInput_finiteEnumerations_FiniteEnumerationHLAPI()
This accessor return a list of encapsulated subelement, only of FiniteEnumerationHLAPI kind.
|
List<FiniteIntRangeHLAPI> |
getInput_finiteIntRanges_FiniteIntRangeHLAPI()
This accessor return a list of encapsulated subelement, only of FiniteIntRangeHLAPI kind.
|
List<HLIntegerHLAPI> |
getInput_integers_HLIntegerHLAPI()
This accessor return a list of encapsulated subelement, only of HLIntegerHLAPI kind.
|
List<NaturalHLAPI> |
getInput_integers_NaturalHLAPI()
This accessor return a list of encapsulated subelement, only of NaturalHLAPI kind.
|
List<PositiveHLAPI> |
getInput_integers_PositiveHLAPI()
This accessor return a list of encapsulated subelement, only of PositiveHLAPI kind.
|
List<HLPNListHLAPI> |
getInput_lists_HLPNListHLAPI()
This accessor return a list of encapsulated subelement, only of HLPNListHLAPI kind.
|
List<HLPNStringHLAPI> |
getInput_strings_HLPNStringHLAPI()
This accessor return a list of encapsulated subelement, only of HLPNStringHLAPI kind.
|
List<MultisetSortHLAPI> |
getInput_terms_MultisetSortHLAPI()
This accessor return a list of encapsulated subelement, only of MultisetSortHLAPI kind.
|
List<ProductSortHLAPI> |
getInput_terms_ProductSortHLAPI()
This accessor return a list of encapsulated subelement, only of ProductSortHLAPI kind.
|
List<UserSortHLAPI> |
getInput_terms_UserSortHLAPI()
This accessor return a list of encapsulated subelement, only of UserSortHLAPI kind.
|
List<Sort> |
getInput()
Return the encapsulate Low Level API object.
|
List<SortHLAPI> |
getInputHLAPI()
This accessor automatically encapsulate all elements of the selected sublist.
|
Sort |
getOutput()
Return the encapsulate Low Level API object.
|
SortHLAPI |
getOutputHLAPI()
This accessor automatically encapsulate an element of the current object.
|
Partition |
getRefpartition()
Return the encapsulate Low Level API object.
|
PartitionHLAPI |
getRefpartitionHLAPI()
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.
|
List<AndHLAPI> |
getSubterm_booleans_AndHLAPI()
This accessor return a list of encapsulated subelement, only of AndHLAPI kind.
|
List<BooleanConstantHLAPI> |
getSubterm_booleans_BooleanConstantHLAPI()
This accessor return a list of encapsulated subelement, only of BooleanConstantHLAPI kind.
|
List<EqualityHLAPI> |
getSubterm_booleans_EqualityHLAPI()
This accessor return a list of encapsulated subelement, only of EqualityHLAPI kind.
|
List<ImplyHLAPI> |
getSubterm_booleans_ImplyHLAPI()
This accessor return a list of encapsulated subelement, only of ImplyHLAPI kind.
|
List<InequalityHLAPI> |
getSubterm_booleans_InequalityHLAPI()
This accessor return a list of encapsulated subelement, only of InequalityHLAPI kind.
|
List<NotHLAPI> |
getSubterm_booleans_NotHLAPI()
This accessor return a list of encapsulated subelement, only of NotHLAPI kind.
|
List<OrHLAPI> |
getSubterm_booleans_OrHLAPI()
This accessor return a list of encapsulated subelement, only of OrHLAPI kind.
|
List<PredecessorHLAPI> |
getSubterm_cyclicEnumerations_PredecessorHLAPI()
This accessor return a list of encapsulated subelement, only of PredecessorHLAPI kind.
|
List<SuccessorHLAPI> |
getSubterm_cyclicEnumerations_SuccessorHLAPI()
This accessor return a list of encapsulated subelement, only of SuccessorHLAPI kind.
|
List<DotConstantHLAPI> |
getSubterm_dots_DotConstantHLAPI()
This accessor return a list of encapsulated subelement, only of DotConstantHLAPI kind.
|
List<FiniteIntRangeConstantHLAPI> |
getSubterm_finiteIntRanges_FiniteIntRangeConstantHLAPI()
This accessor return a list of encapsulated subelement, only of FiniteIntRangeConstantHLAPI kind.
|
List<GreaterThanHLAPI> |
getSubterm_finiteIntRanges_GreaterThanHLAPI()
This accessor return a list of encapsulated subelement, only of GreaterThanHLAPI kind.
|
List<GreaterThanOrEqualHLAPI> |
getSubterm_finiteIntRanges_GreaterThanOrEqualHLAPI()
This accessor return a list of encapsulated subelement, only of GreaterThanOrEqualHLAPI kind.
|
List<LessThanHLAPI> |
getSubterm_finiteIntRanges_LessThanHLAPI()
This accessor return a list of encapsulated subelement, only of LessThanHLAPI kind.
|
List<LessThanOrEqualHLAPI> |
getSubterm_finiteIntRanges_LessThanOrEqualHLAPI()
This accessor return a list of encapsulated subelement, only of LessThanOrEqualHLAPI kind.
|
List<AdditionHLAPI> |
getSubterm_integers_AdditionHLAPI()
This accessor return a list of encapsulated subelement, only of AdditionHLAPI kind.
|
List<DivisionHLAPI> |
getSubterm_integers_DivisionHLAPI()
This accessor return a list of encapsulated subelement, only of DivisionHLAPI kind.
|
List<GreaterThanHLAPI> |
getSubterm_integers_GreaterThanHLAPI()
This accessor return a list of encapsulated subelement, only of GreaterThanHLAPI kind.
|
List<GreaterThanOrEqualHLAPI> |
getSubterm_integers_GreaterThanOrEqualHLAPI()
This accessor return a list of encapsulated subelement, only of GreaterThanOrEqualHLAPI kind.
|
List<LessThanHLAPI> |
getSubterm_integers_LessThanHLAPI()
This accessor return a list of encapsulated subelement, only of LessThanHLAPI kind.
|
List<LessThanOrEqualHLAPI> |
getSubterm_integers_LessThanOrEqualHLAPI()
This accessor return a list of encapsulated subelement, only of LessThanOrEqualHLAPI kind.
|
List<ModuloHLAPI> |
getSubterm_integers_ModuloHLAPI()
This accessor return a list of encapsulated subelement, only of ModuloHLAPI kind.
|
List<MultiplicationHLAPI> |
getSubterm_integers_MultiplicationHLAPI()
This accessor return a list of encapsulated subelement, only of MultiplicationHLAPI kind.
|
List<NumberConstantHLAPI> |
getSubterm_integers_NumberConstantHLAPI()
This accessor return a list of encapsulated subelement, only of NumberConstantHLAPI kind.
|
List<SubtractionHLAPI> |
getSubterm_integers_SubtractionHLAPI()
This accessor return a list of encapsulated subelement, only of SubtractionHLAPI kind.
|
List<AppendHLAPI> |
getSubterm_lists_AppendHLAPI()
This accessor return a list of encapsulated subelement, only of AppendHLAPI kind.
|
List<ConcatenationHLAPI> |
getSubterm_lists_ConcatenationHLAPI()
This accessor return a list of encapsulated subelement, only of ConcatenationHLAPI kind.
|
List<EmptyListHLAPI> |
getSubterm_lists_EmptyListHLAPI()
This accessor return a list of encapsulated subelement, only of EmptyListHLAPI kind.
|
List<LengthHLAPI> |
getSubterm_lists_LengthHLAPI()
This accessor return a list of encapsulated subelement, only of LengthHLAPI kind.
|
List<MakeListHLAPI> |
getSubterm_lists_MakeListHLAPI()
This accessor return a list of encapsulated subelement, only of MakeListHLAPI kind.
|
List<MemberAtIndexHLAPI> |
getSubterm_lists_MemberAtIndexHLAPI()
This accessor return a list of encapsulated subelement, only of MemberAtIndexHLAPI kind.
|
List<SublistHLAPI> |
getSubterm_lists_SublistHLAPI()
This accessor return a list of encapsulated subelement, only of SublistHLAPI kind.
|
List<AddHLAPI> |
getSubterm_multisets_AddHLAPI()
This accessor return a list of encapsulated subelement, only of AddHLAPI kind.
|
List<AllHLAPI> |
getSubterm_multisets_AllHLAPI()
This accessor return a list of encapsulated subelement, only of AllHLAPI kind.
|
List<CardinalityHLAPI> |
getSubterm_multisets_CardinalityHLAPI()
This accessor return a list of encapsulated subelement, only of CardinalityHLAPI kind.
|
List<CardinalityOfHLAPI> |
getSubterm_multisets_CardinalityOfHLAPI()
This accessor return a list of encapsulated subelement, only of CardinalityOfHLAPI kind.
|
List<ContainsHLAPI> |
getSubterm_multisets_ContainsHLAPI()
This accessor return a list of encapsulated subelement, only of ContainsHLAPI kind.
|
List<EmptyHLAPI> |
getSubterm_multisets_EmptyHLAPI()
This accessor return a list of encapsulated subelement, only of EmptyHLAPI kind.
|
List<NumberOfHLAPI> |
getSubterm_multisets_NumberOfHLAPI()
This accessor return a list of encapsulated subelement, only of NumberOfHLAPI kind.
|
List<ScalarProductHLAPI> |
getSubterm_multisets_ScalarProductHLAPI()
This accessor return a list of encapsulated subelement, only of ScalarProductHLAPI kind.
|
List<SubtractHLAPI> |
getSubterm_multisets_SubtractHLAPI()
This accessor return a list of encapsulated subelement, only of SubtractHLAPI kind.
|
List<GreaterThanHLAPI> |
getSubterm_partitions_GreaterThanHLAPI()
This accessor return a list of encapsulated subelement, only of GreaterThanHLAPI kind.
|
List<LessThanHLAPI> |
getSubterm_partitions_LessThanHLAPI()
This accessor return a list of encapsulated subelement, only of LessThanHLAPI kind.
|
List<PartitionElementOfHLAPI> |
getSubterm_partitions_PartitionElementOfHLAPI()
This accessor return a list of encapsulated subelement, only of PartitionElementOfHLAPI kind.
|
List<AppendHLAPI> |
getSubterm_strings_AppendHLAPI()
This accessor return a list of encapsulated subelement, only of AppendHLAPI kind.
|
List<ConcatenationHLAPI> |
getSubterm_strings_ConcatenationHLAPI()
This accessor return a list of encapsulated subelement, only of ConcatenationHLAPI kind.
|
List<GreaterThanHLAPI> |
getSubterm_strings_GreaterThanHLAPI()
This accessor return a list of encapsulated subelement, only of GreaterThanHLAPI kind.
|
List<GreaterThanOrEqualHLAPI> |
getSubterm_strings_GreaterThanOrEqualHLAPI()
This accessor return a list of encapsulated subelement, only of GreaterThanOrEqualHLAPI kind.
|
List<LengthHLAPI> |
getSubterm_strings_LengthHLAPI()
This accessor return a list of encapsulated subelement, only of LengthHLAPI kind.
|
List<LessThanHLAPI> |
getSubterm_strings_LessThanHLAPI()
This accessor return a list of encapsulated subelement, only of LessThanHLAPI kind.
|
List<LessThanOrEqualHLAPI> |
getSubterm_strings_LessThanOrEqualHLAPI()
This accessor return a list of encapsulated subelement, only of LessThanOrEqualHLAPI kind.
|
List<StringConstantHLAPI> |
getSubterm_strings_StringConstantHLAPI()
This accessor return a list of encapsulated subelement, only of StringConstantHLAPI kind.
|
List<SubstringHLAPI> |
getSubterm_strings_SubstringHLAPI()
This accessor return a list of encapsulated subelement, only of SubstringHLAPI kind.
|
List<TupleHLAPI> |
getSubterm_terms_TupleHLAPI()
This accessor return a list of encapsulated subelement, only of TupleHLAPI kind.
|
List<UserOperatorHLAPI> |
getSubterm_terms_UserOperatorHLAPI()
This accessor return a list of encapsulated subelement, only of UserOperatorHLAPI kind.
|
List<VariableHLAPI> |
getSubterm_terms_VariableHLAPI()
This accessor return a list of encapsulated subelement, only of VariableHLAPI kind.
|
List<Term> |
getSubterm()
Return the encapsulate Low Level API object.
|
List<TermHLAPI> |
getSubtermHLAPI()
This accessor automatically encapsulate all elements of the selected sublist.
|
void |
removeSubtermHLAPI(TermHLAPI unit) |
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 |
setOutputHLAPI(SortHLAPI elem)
set Output
|
void |
setRefpartitionHLAPI(PartitionHLAPI elem)
set Refpartition
|
void |
setSortHLAPI(SortHLAPI elem)
set Sort
|
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) |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
equals
public PartitionElementOfHLAPI(SortHLAPI sort, SortHLAPI output, PartitionHLAPI refpartition)
public PartitionElementOfHLAPI(SortHLAPI sort, SortHLAPI output, PartitionHLAPI refpartition, OperatorHLAPI containerOperator)
public PartitionElementOfHLAPI(SortHLAPI sort, SortHLAPI output, PartitionHLAPI refpartition, NamedOperatorHLAPI containerNamedOperator)
public PartitionElementOfHLAPI(SortHLAPI sort, SortHLAPI output, PartitionHLAPI refpartition, HLMarkingHLAPI containerHLMarking)
public PartitionElementOfHLAPI(SortHLAPI sort, SortHLAPI output, PartitionHLAPI refpartition, ConditionHLAPI containerCondition)
public PartitionElementOfHLAPI(SortHLAPI sort, SortHLAPI output, PartitionHLAPI refpartition, HLAnnotationHLAPI containerHLAnnotation)
public PartitionElementOfHLAPI(SortHLAPI sort, SortHLAPI output, PartitionHLAPI refpartition, PartitionElementHLAPI containerPartitionElement)
public PartitionElementOfHLAPI(PartitionHLAPI refpartition)
public PartitionElementOfHLAPI(PartitionHLAPI refpartition, OperatorHLAPI containerOperator)
public PartitionElementOfHLAPI(PartitionHLAPI refpartition, NamedOperatorHLAPI containerNamedOperator)
public PartitionElementOfHLAPI(PartitionHLAPI refpartition, HLMarkingHLAPI containerHLMarking)
public PartitionElementOfHLAPI(PartitionHLAPI refpartition, ConditionHLAPI containerCondition)
public PartitionElementOfHLAPI(PartitionHLAPI refpartition, HLAnnotationHLAPI containerHLAnnotation)
public PartitionElementOfHLAPI(PartitionHLAPI refpartition, PartitionElementHLAPI containerPartitionElement)
public PartitionElementOfHLAPI(PartitionElementOf lowLevelAPI)
public PartitionElementOf getContainedItem()
getContainedItem
in interface HLAPIClass
public Sort getSort()
getSort
in interface OperatorHLAPI
getSort
in interface TermHLAPI
public Operator getContainerOperator()
getContainerOperator
in interface OperatorHLAPI
getContainerOperator
in interface TermHLAPI
public NamedOperator getContainerNamedOperator()
getContainerNamedOperator
in interface OperatorHLAPI
getContainerNamedOperator
in interface TermHLAPI
public HLMarking getContainerHLMarking()
getContainerHLMarking
in interface OperatorHLAPI
getContainerHLMarking
in interface TermHLAPI
public Condition getContainerCondition()
getContainerCondition
in interface OperatorHLAPI
getContainerCondition
in interface TermHLAPI
public HLAnnotation getContainerHLAnnotation()
getContainerHLAnnotation
in interface OperatorHLAPI
getContainerHLAnnotation
in interface TermHLAPI
public PartitionElement getContainerPartitionElement()
getContainerPartitionElement
in interface OperatorHLAPI
getContainerPartitionElement
in interface TermHLAPI
public List<Term> getSubterm()
getSubterm
in interface OperatorHLAPI
public Sort getOutput()
getOutput
in interface OperatorHLAPI
public List<Sort> getInput()
getInput
in interface OperatorHLAPI
public Partition getRefpartition()
public SortHLAPI getSortHLAPI()
getSortHLAPI
in interface OperatorHLAPI
getSortHLAPI
in interface TermHLAPI
public OperatorHLAPI getContainerOperatorHLAPI()
getContainerOperatorHLAPI
in interface OperatorHLAPI
getContainerOperatorHLAPI
in interface TermHLAPI
public NamedOperatorHLAPI getContainerNamedOperatorHLAPI()
getContainerNamedOperatorHLAPI
in interface OperatorHLAPI
getContainerNamedOperatorHLAPI
in interface TermHLAPI
public HLMarkingHLAPI getContainerHLMarkingHLAPI()
getContainerHLMarkingHLAPI
in interface OperatorHLAPI
getContainerHLMarkingHLAPI
in interface TermHLAPI
public ConditionHLAPI getContainerConditionHLAPI()
getContainerConditionHLAPI
in interface OperatorHLAPI
getContainerConditionHLAPI
in interface TermHLAPI
public HLAnnotationHLAPI getContainerHLAnnotationHLAPI()
getContainerHLAnnotationHLAPI
in interface OperatorHLAPI
getContainerHLAnnotationHLAPI
in interface TermHLAPI
public PartitionElementHLAPI getContainerPartitionElementHLAPI()
getContainerPartitionElementHLAPI
in interface OperatorHLAPI
getContainerPartitionElementHLAPI
in interface TermHLAPI
public List<TermHLAPI> getSubtermHLAPI()
getSubtermHLAPI
in interface OperatorHLAPI
public SortHLAPI getOutputHLAPI()
getOutputHLAPI
in interface OperatorHLAPI
public List<SortHLAPI> getInputHLAPI()
getInputHLAPI
in interface OperatorHLAPI
public PartitionHLAPI getRefpartitionHLAPI()
public List<GreaterThanHLAPI> getSubterm_partitions_GreaterThanHLAPI()
getSubterm_partitions_GreaterThanHLAPI
in interface OperatorHLAPI
public List<PartitionElementOfHLAPI> getSubterm_partitions_PartitionElementOfHLAPI()
getSubterm_partitions_PartitionElementOfHLAPI
in interface OperatorHLAPI
public List<LessThanHLAPI> getSubterm_partitions_LessThanHLAPI()
getSubterm_partitions_LessThanHLAPI
in interface OperatorHLAPI
public List<EqualityHLAPI> getSubterm_booleans_EqualityHLAPI()
getSubterm_booleans_EqualityHLAPI
in interface OperatorHLAPI
public List<InequalityHLAPI> getSubterm_booleans_InequalityHLAPI()
getSubterm_booleans_InequalityHLAPI
in interface OperatorHLAPI
public List<BooleanConstantHLAPI> getSubterm_booleans_BooleanConstantHLAPI()
getSubterm_booleans_BooleanConstantHLAPI
in interface OperatorHLAPI
public List<OrHLAPI> getSubterm_booleans_OrHLAPI()
getSubterm_booleans_OrHLAPI
in interface OperatorHLAPI
public List<AndHLAPI> getSubterm_booleans_AndHLAPI()
getSubterm_booleans_AndHLAPI
in interface OperatorHLAPI
public List<ImplyHLAPI> getSubterm_booleans_ImplyHLAPI()
getSubterm_booleans_ImplyHLAPI
in interface OperatorHLAPI
public List<NotHLAPI> getSubterm_booleans_NotHLAPI()
getSubterm_booleans_NotHLAPI
in interface OperatorHLAPI
public List<SuccessorHLAPI> getSubterm_cyclicEnumerations_SuccessorHLAPI()
getSubterm_cyclicEnumerations_SuccessorHLAPI
in interface OperatorHLAPI
public List<PredecessorHLAPI> getSubterm_cyclicEnumerations_PredecessorHLAPI()
getSubterm_cyclicEnumerations_PredecessorHLAPI
in interface OperatorHLAPI
public List<DotConstantHLAPI> getSubterm_dots_DotConstantHLAPI()
getSubterm_dots_DotConstantHLAPI
in interface OperatorHLAPI
public List<FiniteIntRangeConstantHLAPI> getSubterm_finiteIntRanges_FiniteIntRangeConstantHLAPI()
getSubterm_finiteIntRanges_FiniteIntRangeConstantHLAPI
in interface OperatorHLAPI
public List<LessThanHLAPI> getSubterm_finiteIntRanges_LessThanHLAPI()
getSubterm_finiteIntRanges_LessThanHLAPI
in interface OperatorHLAPI
public List<GreaterThanHLAPI> getSubterm_finiteIntRanges_GreaterThanHLAPI()
getSubterm_finiteIntRanges_GreaterThanHLAPI
in interface OperatorHLAPI
public List<LessThanOrEqualHLAPI> getSubterm_finiteIntRanges_LessThanOrEqualHLAPI()
getSubterm_finiteIntRanges_LessThanOrEqualHLAPI
in interface OperatorHLAPI
public List<GreaterThanOrEqualHLAPI> getSubterm_finiteIntRanges_GreaterThanOrEqualHLAPI()
getSubterm_finiteIntRanges_GreaterThanOrEqualHLAPI
in interface OperatorHLAPI
public List<NumberConstantHLAPI> getSubterm_integers_NumberConstantHLAPI()
getSubterm_integers_NumberConstantHLAPI
in interface OperatorHLAPI
public List<AdditionHLAPI> getSubterm_integers_AdditionHLAPI()
getSubterm_integers_AdditionHLAPI
in interface OperatorHLAPI
public List<SubtractionHLAPI> getSubterm_integers_SubtractionHLAPI()
getSubterm_integers_SubtractionHLAPI
in interface OperatorHLAPI
public List<MultiplicationHLAPI> getSubterm_integers_MultiplicationHLAPI()
getSubterm_integers_MultiplicationHLAPI
in interface OperatorHLAPI
public List<DivisionHLAPI> getSubterm_integers_DivisionHLAPI()
getSubterm_integers_DivisionHLAPI
in interface OperatorHLAPI
public List<ModuloHLAPI> getSubterm_integers_ModuloHLAPI()
getSubterm_integers_ModuloHLAPI
in interface OperatorHLAPI
public List<GreaterThanHLAPI> getSubterm_integers_GreaterThanHLAPI()
getSubterm_integers_GreaterThanHLAPI
in interface OperatorHLAPI
public List<GreaterThanOrEqualHLAPI> getSubterm_integers_GreaterThanOrEqualHLAPI()
getSubterm_integers_GreaterThanOrEqualHLAPI
in interface OperatorHLAPI
public List<LessThanHLAPI> getSubterm_integers_LessThanHLAPI()
getSubterm_integers_LessThanHLAPI
in interface OperatorHLAPI
public List<LessThanOrEqualHLAPI> getSubterm_integers_LessThanOrEqualHLAPI()
getSubterm_integers_LessThanOrEqualHLAPI
in interface OperatorHLAPI
public List<EmptyListHLAPI> getSubterm_lists_EmptyListHLAPI()
getSubterm_lists_EmptyListHLAPI
in interface OperatorHLAPI
public List<AppendHLAPI> getSubterm_lists_AppendHLAPI()
getSubterm_lists_AppendHLAPI
in interface OperatorHLAPI
public List<ConcatenationHLAPI> getSubterm_lists_ConcatenationHLAPI()
getSubterm_lists_ConcatenationHLAPI
in interface OperatorHLAPI
public List<LengthHLAPI> getSubterm_lists_LengthHLAPI()
getSubterm_lists_LengthHLAPI
in interface OperatorHLAPI
public List<MakeListHLAPI> getSubterm_lists_MakeListHLAPI()
getSubterm_lists_MakeListHLAPI
in interface OperatorHLAPI
public List<MemberAtIndexHLAPI> getSubterm_lists_MemberAtIndexHLAPI()
getSubterm_lists_MemberAtIndexHLAPI
in interface OperatorHLAPI
public List<SublistHLAPI> getSubterm_lists_SublistHLAPI()
getSubterm_lists_SublistHLAPI
in interface OperatorHLAPI
public List<CardinalityHLAPI> getSubterm_multisets_CardinalityHLAPI()
getSubterm_multisets_CardinalityHLAPI
in interface OperatorHLAPI
public List<ContainsHLAPI> getSubterm_multisets_ContainsHLAPI()
getSubterm_multisets_ContainsHLAPI
in interface OperatorHLAPI
public List<CardinalityOfHLAPI> getSubterm_multisets_CardinalityOfHLAPI()
getSubterm_multisets_CardinalityOfHLAPI
in interface OperatorHLAPI
public List<AddHLAPI> getSubterm_multisets_AddHLAPI()
getSubterm_multisets_AddHLAPI
in interface OperatorHLAPI
public List<AllHLAPI> getSubterm_multisets_AllHLAPI()
getSubterm_multisets_AllHLAPI
in interface OperatorHLAPI
public List<EmptyHLAPI> getSubterm_multisets_EmptyHLAPI()
getSubterm_multisets_EmptyHLAPI
in interface OperatorHLAPI
public List<NumberOfHLAPI> getSubterm_multisets_NumberOfHLAPI()
getSubterm_multisets_NumberOfHLAPI
in interface OperatorHLAPI
public List<SubtractHLAPI> getSubterm_multisets_SubtractHLAPI()
getSubterm_multisets_SubtractHLAPI
in interface OperatorHLAPI
public List<ScalarProductHLAPI> getSubterm_multisets_ScalarProductHLAPI()
getSubterm_multisets_ScalarProductHLAPI
in interface OperatorHLAPI
public List<StringConstantHLAPI> getSubterm_strings_StringConstantHLAPI()
getSubterm_strings_StringConstantHLAPI
in interface OperatorHLAPI
public List<AppendHLAPI> getSubterm_strings_AppendHLAPI()
getSubterm_strings_AppendHLAPI
in interface OperatorHLAPI
public List<ConcatenationHLAPI> getSubterm_strings_ConcatenationHLAPI()
getSubterm_strings_ConcatenationHLAPI
in interface OperatorHLAPI
public List<GreaterThanHLAPI> getSubterm_strings_GreaterThanHLAPI()
getSubterm_strings_GreaterThanHLAPI
in interface OperatorHLAPI
public List<GreaterThanOrEqualHLAPI> getSubterm_strings_GreaterThanOrEqualHLAPI()
getSubterm_strings_GreaterThanOrEqualHLAPI
in interface OperatorHLAPI
public List<LessThanHLAPI> getSubterm_strings_LessThanHLAPI()
getSubterm_strings_LessThanHLAPI
in interface OperatorHLAPI
public List<LessThanOrEqualHLAPI> getSubterm_strings_LessThanOrEqualHLAPI()
getSubterm_strings_LessThanOrEqualHLAPI
in interface OperatorHLAPI
public List<LengthHLAPI> getSubterm_strings_LengthHLAPI()
getSubterm_strings_LengthHLAPI
in interface OperatorHLAPI
public List<SubstringHLAPI> getSubterm_strings_SubstringHLAPI()
getSubterm_strings_SubstringHLAPI
in interface OperatorHLAPI
public List<VariableHLAPI> getSubterm_terms_VariableHLAPI()
getSubterm_terms_VariableHLAPI
in interface OperatorHLAPI
public List<TupleHLAPI> getSubterm_terms_TupleHLAPI()
getSubterm_terms_TupleHLAPI
in interface OperatorHLAPI
public List<UserOperatorHLAPI> getSubterm_terms_UserOperatorHLAPI()
getSubterm_terms_UserOperatorHLAPI
in interface OperatorHLAPI
public List<AnySortHLAPI> getInput_arbitrarydeclarations_AnySortHLAPI()
getInput_arbitrarydeclarations_AnySortHLAPI
in interface OperatorHLAPI
public List<BoolHLAPI> getInput_booleans_BoolHLAPI()
getInput_booleans_BoolHLAPI
in interface OperatorHLAPI
public List<CyclicEnumerationHLAPI> getInput_cyclicEnumerations_CyclicEnumerationHLAPI()
getInput_cyclicEnumerations_CyclicEnumerationHLAPI
in interface OperatorHLAPI
public List<DotHLAPI> getInput_dots_DotHLAPI()
getInput_dots_DotHLAPI
in interface OperatorHLAPI
public List<FiniteEnumerationHLAPI> getInput_finiteEnumerations_FiniteEnumerationHLAPI()
getInput_finiteEnumerations_FiniteEnumerationHLAPI
in interface OperatorHLAPI
public List<FiniteIntRangeHLAPI> getInput_finiteIntRanges_FiniteIntRangeHLAPI()
getInput_finiteIntRanges_FiniteIntRangeHLAPI
in interface OperatorHLAPI
public List<NaturalHLAPI> getInput_integers_NaturalHLAPI()
getInput_integers_NaturalHLAPI
in interface OperatorHLAPI
public List<PositiveHLAPI> getInput_integers_PositiveHLAPI()
getInput_integers_PositiveHLAPI
in interface OperatorHLAPI
public List<HLIntegerHLAPI> getInput_integers_HLIntegerHLAPI()
getInput_integers_HLIntegerHLAPI
in interface OperatorHLAPI
public List<HLPNListHLAPI> getInput_lists_HLPNListHLAPI()
getInput_lists_HLPNListHLAPI
in interface OperatorHLAPI
public List<HLPNStringHLAPI> getInput_strings_HLPNStringHLAPI()
getInput_strings_HLPNStringHLAPI
in interface OperatorHLAPI
public List<MultisetSortHLAPI> getInput_terms_MultisetSortHLAPI()
getInput_terms_MultisetSortHLAPI
in interface OperatorHLAPI
public List<ProductSortHLAPI> getInput_terms_ProductSortHLAPI()
getInput_terms_ProductSortHLAPI
in interface OperatorHLAPI
public List<UserSortHLAPI> getInput_terms_UserSortHLAPI()
getInput_terms_UserSortHLAPI
in interface OperatorHLAPI
public void setSortHLAPI(SortHLAPI elem)
setSortHLAPI
in interface OperatorHLAPI
setSortHLAPI
in interface TermHLAPI
public void setOutputHLAPI(SortHLAPI elem)
setOutputHLAPI
in interface OperatorHLAPI
public void setRefpartitionHLAPI(PartitionHLAPI elem)
public void setContainerOperatorHLAPI(OperatorHLAPI elem)
setContainerOperatorHLAPI
in interface OperatorHLAPI
setContainerOperatorHLAPI
in interface TermHLAPI
public void setContainerNamedOperatorHLAPI(NamedOperatorHLAPI elem)
setContainerNamedOperatorHLAPI
in interface OperatorHLAPI
setContainerNamedOperatorHLAPI
in interface TermHLAPI
public void setContainerHLMarkingHLAPI(HLMarkingHLAPI elem)
setContainerHLMarkingHLAPI
in interface OperatorHLAPI
setContainerHLMarkingHLAPI
in interface TermHLAPI
public void setContainerConditionHLAPI(ConditionHLAPI elem)
setContainerConditionHLAPI
in interface OperatorHLAPI
setContainerConditionHLAPI
in interface TermHLAPI
public void setContainerHLAnnotationHLAPI(HLAnnotationHLAPI elem)
setContainerHLAnnotationHLAPI
in interface OperatorHLAPI
setContainerHLAnnotationHLAPI
in interface TermHLAPI
public void setContainerPartitionElementHLAPI(PartitionElementHLAPI elem)
setContainerPartitionElementHLAPI
in interface OperatorHLAPI
setContainerPartitionElementHLAPI
in interface TermHLAPI
public void addSubtermHLAPI(TermHLAPI unit)
addSubtermHLAPI
in interface OperatorHLAPI
public void removeSubtermHLAPI(TermHLAPI unit)
removeSubtermHLAPI
in interface OperatorHLAPI
public boolean equals(PartitionElementOfHLAPI 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.