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

Class AProgram

java.lang.Object

edu.unc.cs.comp524.parsers.prolog.AProgram

All Implemented Interfaces:

Program

public class AProgram
extends Object
implements Program

The default concrete Program implementation.

Constructor Summary

Constructors

Constructor	Description
AProgram(List<Relation> clauses)
AProgram(Map<String,List<Relation>> clauses)

Method Summary

Modifier and Type	Method	Description
Map<String,List<Relation>>	clauses()	The program's clauses.
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

Methods inherited from interface edu.unc.cs.comp524.parsers.prolog.Program

arity, containsRecursive, depth, isRecursive, names, noMagicNumbers, relations, relationsWithComments, undefined

Constructor Details

AProgram

public AProgram(Map<String,List<Relation>> clauses)

AProgram

public AProgram(List<Relation> clauses)

Method Details

clauses

public Map<String,List<Relation>> clauses()

Description copied from interface: Program

The program's clauses.

A clause is identified by name; since prolog clauses support overloading by arity, each clause gives a list of possible Relations.

Specified by:

clauses in interface Program

toString

public String toString()

A JSON-like debugging-aid String representation.

Overrides:

toString in class Object