Package edu.unc.cs.comp524.parsers.prolog

Interface RuleInvocation

All Known Implementing Classes:
ARuleInvocation
public interface RuleInvocation
An invocation of some relation; typically found in Rule.rhs()

  • Method Summary

    Modifier and Type Method Description
    List<org.antlr.v4.runtime.tree.ParseTree> args()
    The arguments of the relation being invoked
    int arity()
    The arity of the relation being invoked
    boolean isInvocationOf​(Relation r)
    Implementation-defined.
    boolean isInvocationOf​(String name, int arity)
    Implementation-defined.
    String name()
    The name of the relation being invoked

  • Method Details

    • name

      String name()
      The name of the relation being invoked

    • args

      List<org.antlr.v4.runtime.tree.ParseTree> args()
      The arguments of the relation being invoked

    • arity

      int arity()
      The arity of the relation being invoked

      Should be equivalent to args().size()

    • isInvocationOf

      boolean isInvocationOf​(Relation r)
      Implementation-defined.

      The default implementation is true iff the names and arity are equivalent.

    • isInvocationOf

      boolean isInvocationOf​(String name, int arity)
      Implementation-defined.

      The default implementation is true iff the names and arity are equivalent.