public class PKServices
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
static PKServices |
INSTANCE |
static java.lang.String |
pK_Version |
Modifier and Type | Method and Description |
---|---|
static boolean |
addExceptionsForConstraints(long graphNode) |
static boolean |
applyTabularMorphism(long graphNode) |
static boolean |
breakCPG(long graphNode) |
static long |
buildAbstraction(long graphNode) |
static boolean |
buildClockProcessInterface(long graphNode) |
static boolean |
buildIOClockSubHierarchy(long graphNode,
boolean clockOfDependences) |
static boolean |
checkExplicitTyping(long graphNode) |
static void |
computeClockExclusions(long graphNode,
ExclusiveClockLevelKind level) |
static void |
computeClockExclusions(long graphNode,
int vlevel) |
static boolean |
computeIOTransitiveClosure(long graphNode) |
static void |
computeProductiveClock(long graphNode) |
static void |
computeProductiveClockStateVar(long graphNode) |
static GraphValue |
DCGBasic2DCGPoly(long graphNode) |
static GraphValue |
DCGBool2DCGFlat(long graphNode) |
static GraphValue |
DCGPoly2DCGBool(long graphNode) |
static boolean |
delayTreeBuild(long graphNode) |
static boolean |
dependenceReinforcing(long graphNode) |
static void |
displayWarnings(boolean enable)
This method enables/disables the warning flag.
|
static boolean |
DotUnparse(long graphNode) |
static boolean |
expandModelReference(long graphNode,
boolean asSubGraph) |
static boolean |
expressionExpand(long graphNode) |
void |
finalize()
Finalyzing the use of the PKServices
|
static boolean |
genCodeC(long graphNode,
boolean mainFile,
boolean bodyFile,
boolean ioFile) |
static boolean |
genCodeCPP(long graphNode,
boolean mainFile,
boolean bodyFile,
boolean ioFile) |
static boolean |
genCodeCPPSeparate(long graphNode) |
static boolean |
genCodeCSeparate(long graphNode) |
static boolean |
genCodeJava(long graphNode,
boolean mainFile,
boolean bodyFile,
boolean ioFile) |
static boolean |
genCodeJavaSeparate(long graphNode) |
static boolean |
genCodeJavaThreads(long graphNode,
boolean mainFile,
boolean bodyFile,
boolean ioFile) |
SignalTreeComment |
getCommentAPI() |
static java.lang.String |
getEnv(java.lang.String key) |
SignalParser |
getParser() |
SignalTreePrinter |
getPrinter() |
TreesInterface |
getTraceabilityAPI() |
PKTrees |
getTreeAPI() |
SignalTreeBuilting |
getTreeBuilder() |
SignalTreeExploring |
getTreeExplorer() |
java.lang.String |
getWaitedVersion() |
static boolean |
groupPartialDefinitions(long graphNode) |
static boolean |
hasStaticCycle(long graphNode,
boolean debug) |
static boolean |
hasUnsolvedClockConstraints(long graphNode) |
static boolean |
IGraph2Vhdl(long graphNode) |
boolean |
isSignalToolBoxLoaded() |
static boolean |
LustreUnparse(long graphNode) |
static void |
memoryOptimizations(long graphNode,
boolean delayMultiplexing) |
static boolean |
moveIn2OutDelays(long graphNode) |
static boolean |
nonProductiveSignalElimination(long graphNode) |
static long |
parse(java.lang.String srcFile,
java.lang.String paramFile)
This method parses a SIG source file and a parameter file and returns the
corresponding graph.
|
static boolean |
phylumClustering(long graphNode) |
static boolean |
printCHStatistics(long graphNode) |
static boolean |
printSignalLIS(long tree,
long params)
It produces in a file the text representation of a Signal model (tree)
represented as abstract tree, with its associated parameters (params).
|
static long |
produce(long graphNode) |
static long |
produceFlat(long graphNode) |
static long |
produceInterfaceAbstraction(long graphNode) |
static long |
produceSubgraph(long graphNode,
int subGraph) |
static boolean |
removeSignalClones(long graphNode) |
static boolean |
removeSignalEqualities(long graphNode) |
static void |
resetMachine() |
static void |
separateBooleansOthers(long graphNode) |
static boolean |
separatedCompilingPoly(long graphNode,
boolean genCode) |
static void |
separateStatesOthers(long graphNode) |
static GraphValue |
Serializing(long graphNode,
boolean btotalOrder,
boolean alwaysCode,
boolean check,
boolean delayMultiplexing) |
static boolean |
setClockDependences(long graphNode) |
static boolean |
setDelayMemoryOverloading(long graphNode) |
static void |
setEnv(java.lang.String key,
java.lang.String value) |
static boolean |
setIntrinsicClocks(long graphNode) |
static void |
setSignalLibraryPath(java.lang.String value) |
static boolean |
SigaliPrintExtraction(long graphNode) |
static boolean |
signal2SME(long tree,
java.lang.String outputDirectory) |
static boolean |
signal2SME(java.lang.String srcFile,
java.lang.String outputDirectory)
Deprecated.
|
static boolean |
signal2SSME(long tree,
java.lang.String outputDirectory)
This method translates an abstract syntax tree corresponding to a Signal
program into its SSME representation, according to the SSME meta-model.
|
static boolean |
signal2SSME(java.lang.String srcFile,
java.lang.String outputDirectory) |
static boolean |
splitDataStructure(long graphNode) |
static boolean |
splitDefaultDefinitions(long graphNode) |
static boolean |
substituteExpr2Var(long graphNode,
int maxRef) |
static boolean |
SynDExUnparse(long graphNode) |
static boolean |
transformBooleanClocks2Events(long graphNode) |
static GraphValue |
tree2DCG(long tree,
boolean retTreeError,
long paramTree,
boolean retParamTreeError,
java.lang.String outputDirectory,
boolean generateLISFile,
boolean bannounce)
Abstract tree representation to graph translation (entry point for the
GUI integrated compiler).
|
static boolean |
unparse(long graphNode) |
static boolean |
unparseAbstraction(long graphNode) |
public static java.lang.String pK_Version
public static final PKServices INSTANCE
public boolean isSignalToolBoxLoaded()
public java.lang.String getWaitedVersion()
public SignalParser getParser()
public SignalTreePrinter getPrinter()
public SignalTreeBuilting getTreeBuilder()
public SignalTreeExploring getTreeExplorer()
public PKTrees getTreeAPI()
public SignalTreeComment getCommentAPI()
public TreesInterface getTraceabilityAPI()
public static void setSignalLibraryPath(java.lang.String value)
public static void resetMachine()
public static void displayWarnings(boolean enable)
enable
- true to display the warnings, false otherwise.public void finalize()
finalize
in class java.lang.Object
public static GraphValue tree2DCG(long tree, boolean retTreeError, long paramTree, boolean retParamTreeError, java.lang.String outputDirectory, boolean generateLISFile, boolean bannounce)
tree
- tree node built by the getDeclarationAST of a Model
Declaration or a Module.retTreeError
- true to return error-code for the tree.paramTree
- abstract tree of the parameters file.retParamTreeError
- true to return error-code of the parser for paramTree.dirName
- the complete name of the directory where to generate the
compiling result.generateLISFile
- true to produce the annotated original Signal program
(X_LIS.SIG file) when errors or not.vgraph
- (out) : the graph of an instance of the model defined in
srcfile.public static boolean printSignalLIS(long tree, long params)
tree
- a Signal Tree modelparams
- the effective associated parameters of the tree model.public static boolean signal2SSME(long tree, java.lang.String outputDirectory)
tree
- the abstract syntax tree to translate.outputDirectory
- the directory in which the SSME file is generated. the name of
the file is given by the name of the Signal model, suffixed by
".ssme".public static boolean signal2SSME(java.lang.String srcFile, java.lang.String outputDirectory)
public static boolean signal2SME(java.lang.String srcFile, java.lang.String outputDirectory)
srcFile
- the file that contains the Signal program to translate.outputDirectory
- the directory in which the SME file is generated. the name of
the file is given by the name of the Signal model, suffixed by
".sme".public static boolean signal2SME(long tree, java.lang.String outputDirectory)
public static boolean genCodeC(long graphNode, boolean mainFile, boolean bodyFile, boolean ioFile)
graphNode
- mainFile
- bodyFile
- ioFile
- public static boolean genCodeCPP(long graphNode, boolean mainFile, boolean bodyFile, boolean ioFile)
graphNode
- mainFile
- bodyFile
- ioFile
- public static boolean genCodeCPPSeparate(long graphNode)
graphNode
- public static boolean genCodeCSeparate(long graphNode)
graphNode
- public static boolean DotUnparse(long graphNode)
graphNode
- public static boolean genCodeJava(long graphNode, boolean mainFile, boolean bodyFile, boolean ioFile)
graphNode
- mainFile
- bodyFile
- ioFile
- public static boolean genCodeJavaSeparate(long graphNode)
graphNode
- public static boolean expressionExpand(long graphNode)
graphNode
- public static boolean unparse(long graphNode)
graphNode
- public static long produce(long graphNode)
graphNode
- public static long produceFlat(long graphNode)
graphNode
- public static boolean SynDExUnparse(long graphNode)
graphNode
- public static boolean genCodeJavaThreads(long graphNode, boolean mainFile, boolean bodyFile, boolean ioFile)
graphNode
- mainFile
- bodyFile
- ioFile
- public static boolean IGraph2Vhdl(long graphNode)
graphNode
- public static boolean SigaliPrintExtraction(long graphNode)
graphNode
- public static long produceInterfaceAbstraction(long graphNode)
graphNode
- public static long buildAbstraction(long graphNode)
graphNode
- public static void memoryOptimizations(long graphNode, boolean delayMultiplexing)
graphNode
- delayMultiplexing
- public static GraphValue DCGPoly2DCGBool(long graphNode)
graphNode
- public static boolean transformBooleanClocks2Events(long graphNode)
graphNode
- public static void separateBooleansOthers(long graphNode)
graphNode
- public static GraphValue DCGBasic2DCGPoly(long graphNode)
graphNode
- public static boolean setIntrinsicClocks(long graphNode)
graphNode
- public static boolean dependenceReinforcing(long graphNode)
graphNode
- public static boolean addExceptionsForConstraints(long graphNode)
graphNode
- public static boolean hasStaticCycle(long graphNode, boolean debug)
graphNode
- debug
- public static boolean splitDefaultDefinitions(long graphNode)
graphNode
- public static boolean setDelayMemoryOverloading(long graphNode)
graphNode
- public static boolean moveIn2OutDelays(long graphNode)
graphNode
- public static void computeClockExclusions(long graphNode, int vlevel)
graphNode
- vlevel
- public static void computeClockExclusions(long graphNode, ExclusiveClockLevelKind level)
graphNode
- level
- public static boolean expandModelReference(long graphNode, boolean asSubGraph)
graphNode
- asSubGraph
- public static boolean breakCPG(long graphNode)
graphNode
- public static boolean checkExplicitTyping(long graphNode)
graphNode
- public static boolean printCHStatistics(long graphNode)
graphNode
- public static boolean phylumClustering(long graphNode)
graphNode
- public static boolean buildClockProcessInterface(long graphNode)
graphNode
- public static boolean hasUnsolvedClockConstraints(long graphNode)
graphNode
- public static boolean delayTreeBuild(long graphNode)
graphNode
- public static boolean groupPartialDefinitions(long graphNode)
graphNode
- public static boolean applyTabularMorphism(long graphNode)
graphNode
- public static boolean buildIOClockSubHierarchy(long graphNode, boolean clockOfDependences)
graphNode
- clockOfDependences
- public static boolean nonProductiveSignalElimination(long graphNode)
graphNode
- public static boolean removeSignalEqualities(long graphNode)
graphNode
- public static boolean separatedCompilingPoly(long graphNode, boolean genCode)
graphNode
- genCode
- public static GraphValue Serializing(long graphNode, boolean btotalOrder, boolean alwaysCode, boolean check, boolean delayMultiplexing)
graphNode
- alwaysCode
- check
- delayMultiplexing
- public static boolean setClockDependences(long graphNode)
graphNode
- public static boolean unparseAbstraction(long graphNode)
graphNode
- public static boolean splitDataStructure(long graphNode)
graphNode
- public static void separateStatesOthers(long graphNode)
graphNode
- public static void computeProductiveClockStateVar(long graphNode)
graphNode
- public static GraphValue DCGBool2DCGFlat(long graphNode)
graphNode
- public static long produceSubgraph(long graphNode, int subGraph)
graphNode
- subGraph
- public static boolean substituteExpr2Var(long graphNode, int maxRef)
graphNode
- maxRef
- public static boolean computeIOTransitiveClosure(long graphNode)
graphNode
- public static boolean removeSignalClones(long graphNode)
graphNode
- public static void computeProductiveClock(long graphNode)
graphNode
- public static boolean LustreUnparse(long graphNode)
graphNode
- public static long parse(java.lang.String srcFile, java.lang.String paramFile)
srcfile
- the SIG fileparamfile
- the parameter file, or the empty string is none.public static void setEnv(java.lang.String key, java.lang.String value)
key
- a string to identify the environment variablevalue
- the value associated to the keypublic static java.lang.String getEnv(java.lang.String key)
key
- a string to identify the environment variablekey
if it exists, null otherwise.