Class Registries

java.lang.Object
fr.inria.rules.integraal.api.external.registries.Registries
public class Registries extends Object
Aggregates the registries used by an external API environment.

  • Constructor Details

    • Registries

      public Registries(boolean individualizedRules, boolean individualizedQueries)
      Creates the registries for one environment.
      Parameters:
      individualizedRules - whether rules should also be stored individually
      individualizedQueries - whether queries should also be stored individually

  • Method Details

    • hasIndividualizedRules

      public boolean hasIndividualizedRules()
      Indicates whether this instance stores rules individually.
      Returns:
      true if individual rule storage is enabled

    • hasIndividualizedQueries

      public boolean hasIndividualizedQueries()
      Indicates whether this instance stores queries individually.
      Returns:
      true if individual query storage is enabled

    • getFactBases

      public LabeledRegistry<FactBase> getFactBases()
      Returns the fact base registry.
      Returns:
      the fact base registry

    • getFactBase

      public FactBase getFactBase(String key)
      Returns the fact base associated with the given key.
      Parameters:
      key - the fact base key
      Returns:
      the stored fact base

    • getRules

      public LabeledRegistry<FORule> getRules()
      Returns the rule registry.
      Returns:
      the rule registry

    • getRule

      public FORule getRule(String key)
      Returns the rule associated with the given key.
      Parameters:
      key - the rule key
      Returns:
      the stored rule

    • getQueries

      public LabeledRegistry<UnionFOQuery> getQueries()
      Returns the query registry.
      Returns:
      the query registry

    • getQuery

      public UnionFOQuery getQuery(String key)
      Returns the query associated with the given key.
      Parameters:
      key - the query key
      Returns:
      the stored query

    • getRuleBases

      public IterableLabeledRegistry<FORule,RuleBase> getRuleBases()
      Returns the rule base registry.
      Returns:
      the rule base registry

    • getRuleBase

      public RuleBase getRuleBase(String key)
      Returns the rule base associated with the given key.
      Parameters:
      key - the rule base key
      Returns:
      the stored rule base

    • getQueryCollections

      public IterableLabeledRegistry<UnionFOQuery, Collection<UnionFOQuery>> getQueryCollections()
      Returns the query collection registry.
      Returns:
      the query collection registry

    • getFactBaseCollections

      public IterableLabeledRegistry<FactBase, Collection<FactBase>> getFactBaseCollections()
      Returns the fact base collection registry.
      Returns:
      the fact base collection registry

    • getAnswerIterators

      public BasicRegistry<Iterator<Substitution>> getAnswerIterators()
      Returns the answer iterator registry.
      Returns:
      the answer iterator registry

    • getCompilations

      public BasicRegistry<CompilationResult> getCompilations()
      Returns the compilation registry.
      Returns:
      the compilation registry

    • getAnalysers

      public BasicRegistry<Analyser> getAnalysers()
      Returns the analyser registry.
      Returns:
      the analyser registry

    • main

      public static void main(String[] args)
      Temporary entry point for manual registry checks.
      Parameters:
      args - command-line arguments