Package | Description |
---|---|
fr.lip6.move.pnml.pthlpng.hlcorestructure.hlapi | |
fr.lip6.move.pnml.pthlpng.partitions.hlapi | |
fr.lip6.move.pnml.pthlpng.terms.hlapi |
Modifier and Type | Method and Description |
---|---|
DeclarationsHLAPI |
DeclarationHLAPI.getStructureHLAPI()
This accessor automatically encapsulate an element of the current object.
|
Modifier and Type | Method and Description |
---|---|
void |
DeclarationHLAPI.setStructureHLAPI(DeclarationsHLAPI elem)
set Structure
|
Constructor and Description |
---|
DeclarationHLAPI(AnnotationGraphicsHLAPI annotationgraphics,
String text,
DeclarationsHLAPI structure)
this constructor allows you to set all 'settable' values
excepted container.
|
DeclarationHLAPI(AnnotationGraphicsHLAPI annotationgraphics,
String text,
DeclarationsHLAPI structure,
PageHLAPI containerDeclarationPage)
this constructor allows you to set all 'settable' values, including container if any.
|
DeclarationHLAPI(AnnotationGraphicsHLAPI annotationgraphics,
String text,
DeclarationsHLAPI structure,
PetriNetHLAPI containerDeclarationPetriNet)
this constructor allows you to set all 'settable' values, including container if any.
|
Modifier and Type | Method and Description |
---|---|
DeclarationsHLAPI |
PartitionHLAPI.getContainerDeclarationsHLAPI()
This accessor automatically encapsulate an element of the current object.
|
DeclarationsHLAPI |
PartitionElementHLAPI.getContainerDeclarationsHLAPI()
This accessor automatically encapsulate an element of the current object.
|
Modifier and Type | Method and Description |
---|---|
void |
PartitionHLAPI.setContainerDeclarationsHLAPI(DeclarationsHLAPI elem)
set ContainerDeclarations
|
void |
PartitionElementHLAPI.setContainerDeclarationsHLAPI(DeclarationsHLAPI elem)
set ContainerDeclarations
|
Constructor and Description |
---|
PartitionElementHLAPI(String id,
String name,
DeclarationsHLAPI containerDeclarations)
this constructor allows you to set all 'settable' values, including container if any.
|
PartitionHLAPI(String id,
String name,
SortHLAPI def,
DeclarationsHLAPI containerDeclarations)
this constructor allows you to set all 'settable' values, including container if any.
|
Modifier and Type | Method and Description |
---|---|
DeclarationsHLAPI |
VariableDeclHLAPI.getContainerDeclarationsHLAPI()
This accessor automatically encapsulate an element of the current object.
|
DeclarationsHLAPI |
TermsDeclarationHLAPI.getContainerDeclarationsHLAPI()
This accessor automaticaly encapsulate an element of the current object.
|
DeclarationsHLAPI |
SortDeclHLAPI.getContainerDeclarationsHLAPI()
This accessor automaticaly encapsulate an element of the current object.
|
DeclarationsHLAPI |
OperatorDeclHLAPI.getContainerDeclarationsHLAPI()
This accessor automaticaly encapsulate an element of the current object.
|
DeclarationsHLAPI |
NamedSortHLAPI.getContainerDeclarationsHLAPI()
This accessor automatically encapsulate an element of the current object.
|
DeclarationsHLAPI |
NamedOperatorHLAPI.getContainerDeclarationsHLAPI()
This accessor automatically encapsulate an element of the current object.
|
Modifier and Type | Method and Description |
---|---|
boolean |
DeclarationsHLAPI.equals(DeclarationsHLAPI item) |
void |
VariableDeclHLAPI.setContainerDeclarationsHLAPI(DeclarationsHLAPI elem)
set ContainerDeclarations
|
void |
TermsDeclarationHLAPI.setContainerDeclarationsHLAPI(DeclarationsHLAPI elem)
set ContainerDeclarations
|
void |
SortDeclHLAPI.setContainerDeclarationsHLAPI(DeclarationsHLAPI elem)
set ContainerDeclarations
|
void |
OperatorDeclHLAPI.setContainerDeclarationsHLAPI(DeclarationsHLAPI elem)
set ContainerDeclarations
|
void |
NamedSortHLAPI.setContainerDeclarationsHLAPI(DeclarationsHLAPI elem)
set ContainerDeclarations
|
void |
NamedOperatorHLAPI.setContainerDeclarationsHLAPI(DeclarationsHLAPI elem)
set ContainerDeclarations
|
Constructor and Description |
---|
NamedOperatorHLAPI(String id,
String name,
TermHLAPI def,
DeclarationsHLAPI containerDeclarations)
this constructor allows you to set all 'settable' values, including container if any.
|
NamedSortHLAPI(String id,
String name,
SortHLAPI sortdef,
DeclarationsHLAPI containerDeclarations)
this constructor allows you to set all 'settable' values, including container if any.
|
VariableDeclHLAPI(String id,
String name,
SortHLAPI sort,
DeclarationsHLAPI containerDeclarations)
this constructor allows you to set all 'settable' values, including container if any.
|
Copyright © 2009–2016 Univ. Paris Ouest, and Univ. Pierre et Marie Curie / CNRS UMR 7606 (LIP6). All rights reserved.