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

Class ARelation

java.lang.Object

edu.unc.cs.comp524.parsers.prolog.ARelation

All Implemented Interfaces:

Relation

Direct Known Subclasses:

AFact, ARule

public abstract class ARelation
extends Object
implements Relation

Abstract super-class that handles most of the Relation details.

Constructor Summary

Constructors

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

Method Summary

Modifier and Type	Method	Description
List<org.antlr.v4.runtime.tree.ParseTree>	args()	The arguments of the relation
int	arity()	How many arguments the relation takes
Optional<Comment>	comment()	The Comment, if available
String	name()	The name of the relation
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

ARelation

public ARelation(PrologParser.AtomContext atom, PrologParser.TermlistContext termlist, Optional<Comment> comment)

Constructor for use with PrologParser-related objects.

Parameters:

atom - Context from which to derive name

termlist - Context from which to derive args

ARelation

public ARelation(String name, List<org.antlr.v4.runtime.tree.ParseTree> args, Optional<Comment> comment)

Method Details

name

public String name()

Description copied from interface: Relation

The name of the relation

Specified by:

name in interface Relation

args

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

Description copied from interface: Relation

The arguments of the relation

Specified by:

args in interface Relation

arity

public int arity()

Description copied from interface: Relation

How many arguments the relation takes

Should be equivalent to args().size()

Specified by:

arity in interface Relation

comment

public Optional<Comment> comment()

Description copied from interface: Relation

The Comment, if available

Specified by:

comment in interface Relation

toString

public String toString()

A JSON-like debugging-aid String representation.

Overrides:

toString in class Object