Class ParsingResult

java.lang.Object
fr.inria.rules.integraal.api.internal.ParsingResult
public class ParsingResult extends Object
Aggregates the objects parsed from a DLGP or DLGPE input.

  • Constructor Details

    • ParsingResult

      public ParsingResult()
      Creates an empty parsing result.

  • Method Details

    • getFactBase

      public FactBase getFactBase()
      Returns the parsed fact base.
      Returns:
      the parsed fact base

    • getRuleBase

      public RuleBase getRuleBase()
      Returns the parsed rule base.
      Returns:
      the parsed rule base

    • getQueryCollection

      public Collection<UnionFOQuery> getQueryCollection()
      Returns the parsed query collection.
      Returns:
      the parsed queries

    • getFactBaseCollection

      public Collection<FactBase> getFactBaseCollection()
      Returns the parsed fact base collection.
      Returns:
      the parsed fact bases

    • addAtom

      public void addAtom(Atom atom)
      Adds an atom to the parsed fact base.
      Parameters:
      atom - the atom to add

    • addRule

      public void addRule(FORule rule)
      Adds a rule to the parsed rule base.
      Parameters:
      rule - the rule to add

    • addQuery

      public void addQuery(UnionFOQuery query)
      Adds a query to the parsed query collection.
      Parameters:
      query - the query to add

    • addFactBase

      public void addFactBase(FactBase factBase)
      Adds a fact base to the parsed fact base collection.
      Parameters:
      factBase - the fact base to add