Modifier and Type | Method and Description |
---|---|
HLAPIClass |
PnmlImport.importFile(String path)
Imports the given file with is default importer, or fallback one if
defined.
|
HLAPIClass |
PnmlImport.importFile(String path,
String forcedNameSpace)
Imports the file in the given namespace pnml types, or in the file one if
forcedNamespace is null.
|
Modifier and Type | Method and Description |
---|---|
void |
PnmlExport.exportObject(HLAPIClass object,
String filepath)
Creates a PNML file from a PetriNetDocHLAPI object.
|
void |
PnmlExport.exportObject(HLAPIClass object,
String filepath,
boolean usePrettyPrint)
Creates a PNML file from a PetriNetDocHLAPI object.
|
protected void |
AbstractPnmlImportExport.oclChecking(HLAPIClass rootclass)
Calls ocl checking one the given object.
|
Modifier and Type | Interface and Description |
---|---|
interface |
HLAPIRootClass
All HLAPI root classes must implement this interface.
|
Modifier and Type | Class and Description |
---|---|
class |
AnySortHLAPI |
class |
ArbitraryOperatorHLAPI |
class |
ArbitrarySortHLAPI |
class |
UnparsedHLAPI |
Modifier and Type | Class and Description |
---|---|
class |
AppendHLAPI |
class |
ConcatenationHLAPI |
class |
EmptyListHLAPI |
class |
HLPNListHLAPI |
class |
LengthHLAPI |
class |
MakeListHLAPI |
class |
MemberAtIndexHLAPI |
class |
SublistHLAPI |
Modifier and Type | Class and Description |
---|---|
class |
HLPNStringHLAPI |
class |
StringConstantHLAPI |
class |
SubstringHLAPI |
Modifier and Type | Interface and Description |
---|---|
interface |
AnnotationHLAPI |
interface |
AnyObjectHLAPI |
interface |
CoordinateHLAPI |
interface |
GraphicsHLAPI |
interface |
LabelHLAPI |
interface |
NodeHLAPI |
interface |
PlaceNodeHLAPI |
interface |
PnObjectHLAPI |
interface |
TransitionNodeHLAPI |
Modifier and Type | Class and Description |
---|---|
class |
AnnotationGraphicsHLAPI |
class |
ArcGraphicsHLAPI |
class |
ArcHLAPI |
class |
DimensionHLAPI |
class |
FillHLAPI |
class |
FontHLAPI |
class |
LineHLAPI |
class |
NameHLAPI |
class |
NodeGraphicsHLAPI |
class |
OffsetHLAPI |
class |
PageHLAPI |
class |
PetriNetDocHLAPI |
class |
PetriNetHLAPI |
class |
PlaceHLAPI |
class |
PositionHLAPI |
class |
RefPlaceHLAPI |
class |
RefTransitionHLAPI |
class |
ToolInfoHLAPI |
class |
TransitionHLAPI |
Modifier and Type | Class and Description |
---|---|
class |
PTArcAnnotationHLAPI |
class |
PTMarkingHLAPI |
Modifier and Type | Class and Description |
---|---|
class |
AndHLAPI |
class |
BooleanConstantHLAPI |
class |
BoolHLAPI |
class |
EqualityHLAPI |
class |
ImplyHLAPI |
class |
InequalityHLAPI |
class |
NotHLAPI |
class |
OrHLAPI |
Modifier and Type | Class and Description |
---|---|
class |
CyclicEnumerationHLAPI |
class |
PredecessorHLAPI |
class |
SuccessorHLAPI |
Modifier and Type | Class and Description |
---|---|
class |
DotConstantHLAPI |
class |
DotHLAPI |
Modifier and Type | Class and Description |
---|---|
class |
FEConstantHLAPI |
class |
FiniteEnumerationHLAPI |
Modifier and Type | Class and Description |
---|---|
class |
FiniteIntRangeConstantHLAPI |
class |
FiniteIntRangeHLAPI |
class |
GreaterThanHLAPI |
class |
GreaterThanOrEqualHLAPI |
class |
LessThanHLAPI |
class |
LessThanOrEqualHLAPI |
Modifier and Type | Class and Description |
---|---|
class |
ConditionHLAPI |
class |
DeclarationHLAPI |
class |
HLAnnotationHLAPI |
class |
HLMarkingHLAPI |
class |
TypeHLAPI |
Modifier and Type | Interface and Description |
---|---|
interface |
HLPNNumberHLAPI |
Modifier and Type | Class and Description |
---|---|
class |
AdditionHLAPI |
class |
DivisionHLAPI |
class |
HLIntegerHLAPI |
class |
ModuloHLAPI |
class |
MultiplicationHLAPI |
class |
NaturalHLAPI |
class |
NumberConstantHLAPI |
class |
PositiveHLAPI |
class |
SubtractionHLAPI |
Modifier and Type | Class and Description |
---|---|
class |
AddHLAPI |
class |
AllHLAPI |
class |
CardinalityHLAPI |
class |
CardinalityOfHLAPI |
class |
ContainsHLAPI |
class |
EmptyHLAPI |
class |
NumberOfHLAPI |
class |
ScalarProductHLAPI |
class |
SubtractHLAPI |
Modifier and Type | Class and Description |
---|---|
class |
PartitionElementHLAPI |
class |
PartitionElementOfHLAPI |
class |
PartitionHLAPI |
Modifier and Type | Interface and Description |
---|---|
interface |
OperatorDeclHLAPI |
interface |
OperatorHLAPI |
interface |
SortDeclHLAPI |
interface |
SortHLAPI |
interface |
TermHLAPI |
interface |
TermsDeclarationHLAPI |
Modifier and Type | Class and Description |
---|---|
class |
DeclarationsHLAPI |
class |
MultisetSortHLAPI |
class |
NamedOperatorHLAPI |
class |
NamedSortHLAPI |
class |
ProductSortHLAPI |
class |
TupleHLAPI |
class |
UserOperatorHLAPI |
class |
UserSortHLAPI |
class |
VariableDeclHLAPI |
class |
VariableHLAPI |
Copyright © 2009–2016 Univ. Paris Ouest, and Univ. Pierre et Marie Curie / CNRS UMR 7606 (LIP6). All rights reserved.