Class PreambleBuilder


  • public class PreambleBuilder
    extends Object
    Builds teh preamble added to every program. This preamble defines common analysis logic.
    • 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)