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 voidaddAPIRules(PrologProgram result)voidaddAPIShortcuts(PrologProgram result)voidaddHelperRules(PrologProgram result)voidaddIndexResolvingRules(PrologProgram result)voidaddLogicalNegationRules(PrologProgram result)voidbuildPreamble(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)
-
-