Class PreambleBuilder
- java.lang.Object
-
- edu.kit.ipd.sdq.dataflow.systemmodel.PreambleBuilder
-
public class PreambleBuilder extends Object
Builds teh preamble added to every program. This preamble defines common analysis logic.
-
-
Constructor Summary
Constructors Constructor Description PreambleBuilder(Configuration config)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description void
addAPIRules(PrologProgram result)
void
addAPIShortcuts(PrologProgram result)
void
addHelperRules(PrologProgram result)
void
addIndexResolvingRules(PrologProgram result)
void
addLogicalNegationRules(PrologProgram result)
void
buildPreamble(PrologProgram result)
-
-
-
Constructor Detail
-
PreambleBuilder
public PreambleBuilder(Configuration config)
-
-
Method Detail
-
addAPIRules
public void addAPIRules(PrologProgram result)
-
addLogicalNegationRules
public void addLogicalNegationRules(PrologProgram result)
-
addIndexResolvingRules
public void addIndexResolvingRules(PrologProgram result)
-
addAPIShortcuts
public void addAPIShortcuts(PrologProgram result)
-
addHelperRules
public void addHelperRules(PrologProgram result)
-
buildPreamble
public void buildPreamble(PrologProgram result)
-
-