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

Class ARuleInvocation

java.lang.Object

edu.unc.cs.comp524.parsers.prolog.ARuleInvocation

All Implemented Interfaces:

RuleInvocation

public class ARuleInvocation
extends Object
implements RuleInvocation

The default concrete RuleInvocation implementation.

Constructor Summary

Constructors

Constructor	Description
ARuleInvocation(Fact f)
ARuleInvocation(PrologParser.AtomContext atom, PrologParser.TermlistContext termlist)	Constructor for use with PrologParser-related objects.
ARuleInvocation(String name, List<org.antlr.v4.runtime.tree.ParseTree> args)

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
String	toString()	A JSON-like debugging-aid String representation.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Details

ARuleInvocation

public ARuleInvocation(PrologParser.AtomContext atom, PrologParser.TermlistContext termlist)

Constructor for use with PrologParser-related objects.

Parameters:

atom - Context from which to derive name()

termlist - Context from which to derive args()

ARuleInvocation

public ARuleInvocation(String name, List<org.antlr.v4.runtime.tree.ParseTree> args)

ARuleInvocation

public ARuleInvocation(Fact f)

Method Details

name

public String name()

Description copied from interface: RuleInvocation

The name of the relation being invoked

Specified by:

name in interface RuleInvocation

args

public List<org.antlr.v4.runtime.tree.ParseTree> args()

Description copied from interface: RuleInvocation

The arguments of the relation being invoked

Specified by:

args in interface RuleInvocation

arity

public int arity()

Description copied from interface: RuleInvocation

The arity of the relation being invoked

Should be equivalent to args().size()

Specified by:

arity in interface RuleInvocation

isInvocationOf

public boolean isInvocationOf(Relation r)

Description copied from interface: RuleInvocation

Implementation-defined.

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

Specified by:

isInvocationOf in interface RuleInvocation

isInvocationOf

public boolean isInvocationOf(String name, int arity)

Description copied from interface: RuleInvocation

Implementation-defined.

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

Specified by:

isInvocationOf in interface RuleInvocation

toString

public String toString()

A JSON-like debugging-aid String representation.

Overrides:

toString in class Object