Modifier and Type | Method and Description |
---|---|
VariableDeclHLAPI |
BoolHLAPI.getContainerVariableDeclHLAPI()
This accessor automatically encapsulate an element of the current object.
|
Modifier and Type | Method and Description |
---|---|
void |
BoolHLAPI.setContainerVariableDeclHLAPI(VariableDeclHLAPI elem)
set ContainerVariableDecl
|
Constructor and Description |
---|
BoolHLAPI(VariableDeclHLAPI containerVariableDecl)
this constructor allows you to set all 'settable' values, including container if any.
|
Modifier and Type | Method and Description |
---|---|
VariableDeclHLAPI |
DotHLAPI.getContainerVariableDeclHLAPI()
This accessor automatically encapsulate an element of the current object.
|
Modifier and Type | Method and Description |
---|---|
void |
DotHLAPI.setContainerVariableDeclHLAPI(VariableDeclHLAPI elem)
set ContainerVariableDecl
|
Constructor and Description |
---|
DotHLAPI(VariableDeclHLAPI containerVariableDecl)
this constructor allows you to set all 'settable' values, including container if any.
|
Modifier and Type | Method and Description |
---|---|
VariableDeclHLAPI |
PositiveHLAPI.getContainerVariableDeclHLAPI()
This accessor automatically encapsulate an element of the current object.
|
VariableDeclHLAPI |
NaturalHLAPI.getContainerVariableDeclHLAPI()
This accessor automatically encapsulate an element of the current object.
|
VariableDeclHLAPI |
HLPNNumberHLAPI.getContainerVariableDeclHLAPI()
This accessor automaticaly encapsulate an element of the current object.
|
VariableDeclHLAPI |
HLIntegerHLAPI.getContainerVariableDeclHLAPI()
This accessor automatically encapsulate an element of the current object.
|
Modifier and Type | Method and Description |
---|---|
void |
PositiveHLAPI.setContainerVariableDeclHLAPI(VariableDeclHLAPI elem)
set ContainerVariableDecl
|
void |
NaturalHLAPI.setContainerVariableDeclHLAPI(VariableDeclHLAPI elem)
set ContainerVariableDecl
|
void |
HLPNNumberHLAPI.setContainerVariableDeclHLAPI(VariableDeclHLAPI elem)
set ContainerVariableDecl
|
void |
HLIntegerHLAPI.setContainerVariableDeclHLAPI(VariableDeclHLAPI elem)
set ContainerVariableDecl
|
Constructor and Description |
---|
HLIntegerHLAPI(VariableDeclHLAPI containerVariableDecl)
this constructor allows you to set all 'settable' values, including container if any.
|
NaturalHLAPI(VariableDeclHLAPI containerVariableDecl)
this constructor allows you to set all 'settable' values, including container if any.
|
PositiveHLAPI(VariableDeclHLAPI containerVariableDecl)
this constructor allows you to set all 'settable' values, including container if any.
|
Modifier and Type | Method and Description |
---|---|
VariableDeclHLAPI |
UserSortHLAPI.getContainerVariableDeclHLAPI()
This accessor automatically encapsulate an element of the current object.
|
VariableDeclHLAPI |
SortHLAPI.getContainerVariableDeclHLAPI()
This accessor automaticaly encapsulate an element of the current object.
|
VariableDeclHLAPI |
ProductSortHLAPI.getContainerVariableDeclHLAPI()
This accessor automatically encapsulate an element of the current object.
|
VariableDeclHLAPI |
MultisetSortHLAPI.getContainerVariableDeclHLAPI()
This accessor automatically encapsulate an element of the current object.
|
VariableDeclHLAPI |
VariableHLAPI.getVariableDeclHLAPI()
This accessor automatically encapsulate an element of the current object.
|
Modifier and Type | Method and Description |
---|---|
List<VariableDeclHLAPI> |
DeclarationsHLAPI.getDeclaration_terms_VariableDeclHLAPI()
This accessor return a list of encapsulated subelement, only of VariableDeclHLAPI kind.
|
List<VariableDeclHLAPI> |
NamedOperatorHLAPI.getParametersHLAPI()
This accessor automatically encapsulate all elements of the selected sublist.
|
Modifier and Type | Method and Description |
---|---|
void |
NamedOperatorHLAPI.addParametersHLAPI(VariableDeclHLAPI unit) |
boolean |
VariableDeclHLAPI.equals(VariableDeclHLAPI item) |
void |
NamedOperatorHLAPI.removeParametersHLAPI(VariableDeclHLAPI unit) |
void |
UserSortHLAPI.setContainerVariableDeclHLAPI(VariableDeclHLAPI elem)
set ContainerVariableDecl
|
void |
SortHLAPI.setContainerVariableDeclHLAPI(VariableDeclHLAPI elem)
set ContainerVariableDecl
|
void |
ProductSortHLAPI.setContainerVariableDeclHLAPI(VariableDeclHLAPI elem)
set ContainerVariableDecl
|
void |
MultisetSortHLAPI.setContainerVariableDeclHLAPI(VariableDeclHLAPI elem)
set ContainerVariableDecl
|
void |
VariableHLAPI.setVariableDeclHLAPI(VariableDeclHLAPI elem)
set VariableDecl
|
Constructor and Description |
---|
MultisetSortHLAPI(SortHLAPI basis,
VariableDeclHLAPI containerVariableDecl)
this constructor allows you to set all 'settable' values, including container if any.
|
ProductSortHLAPI(VariableDeclHLAPI containerVariableDecl)
this constructor allows you to set all 'settable' values, including container if any.
|
UserSortHLAPI(SortDeclHLAPI declaration,
VariableDeclHLAPI containerVariableDecl)
this constructor allows you to set all 'settable' values, including container if any.
|
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(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)
|
Copyright © 2009–2016 Univ. Paris Ouest, and Univ. Pierre et Marie Curie / CNRS UMR 7606 (LIP6). All rights reserved.