Class DlgpeSentenceFactory

java.lang.Object
fr.inria.rules.integraal.io.dlgpe2.DlgpeSentenceFactory
All Implemented Interfaces:
fr.inria.rules.dlgpereader.builder.api.ISentenceFactory
public class DlgpeSentenceFactory extends Object implements fr.inria.rules.dlgpereader.builder.api.ISentenceFactory
Creates sentence objects while parsing DLGPE input.

  • Constructor Details

    • DlgpeSentenceFactory

      public DlgpeSentenceFactory(IntegraalEnvironment env)
      Creates a DLGPE sentence factory for the supplied environment.
      Parameters:
      env - the parsing environment

  • Method Details

    • createRule

      public FORule createRule(fr.inria.rules.dlgpemodel.api.formulas.IFormula head, fr.inria.rules.dlgpemodel.api.formulas.IFormula body)
      Specified by:
      createRule in interface fr.inria.rules.dlgpereader.builder.api.ISentenceFactory

    • createFact

      public FactBase createFact(fr.inria.rules.dlgpemodel.api.formulas.IFormula head)
      Specified by:
      createFact in interface fr.inria.rules.dlgpereader.builder.api.ISentenceFactory

    • createConstraint

      public fr.inria.rules.dlgpemodel.testimpl.sentences.DummyConstraint createConstraint(fr.inria.rules.dlgpemodel.api.formulas.IFormula body)
      Specified by:
      createConstraint in interface fr.inria.rules.dlgpereader.builder.api.ISentenceFactory

    • createQuery

      public UnionFOQuery createQuery(List<? extends fr.inria.rules.dlgpemodel.api.elems.IVariable> answerVars, fr.inria.rules.dlgpemodel.api.formulas.IFormula body)
      Specified by:
      createQuery in interface fr.inria.rules.dlgpereader.builder.api.ISentenceFactory