org.jpc.term

Class Atom

java.lang.Object

org.jpc.term.Term

org.jpc.term.Atom

public final class Atom
extends Term

A class reifying a logic atom

Author:

scastro

Field Summary

Fields

Modifier and Type	Field and Description
static Atom	FAIL_TERM
static Atom	NIL
static Atom	TRUE_TERM

Constructor Summary

Constructors

Constructor and Description
Atom(Boolean bool)
Atom(String name)

Method Summary

Modifier and Type	Method and Description
void	accept(TermVisitor termVisitor) Accepts a Jpc term visitor.
ListTerm	asList() Returns a list representation of this term.
protected boolean	basicIsList()
protected void	basicRead(TermContentHandler contentHandler, com.google.common.base.Function<Term,Term> termExpander)
boolean	equals(Object obj)
String	getName()
boolean	hasFunctor(Functor functor) Whether this term has a given functor.
int	hashCode()
boolean	isBoolean()
boolean	isGround()
Term	preCompile(Environment env)
Term	prepareForFrame(Environment env)
Term	prepareForQuery(Environment env)
String	toEscapedString()
String	toString(OperatorsContext operatorsContext)

Methods inherited from class org.jpc.term.Term

arg, arity, canUnify, changeVariablesNames, compile, compile, compile, compile, compileAndUnify, compileAndUnifyVars, getArgs, getNamedVariables, getNamedVariablesNames, getNonUnderscoreVariableNames, getNonUnderscoreVariables, getVariableNames, getVariables, hasFunctor, hasFunctor, hasFunctor, hasFunctor, hasVariable, isHilog, isList, listLength, prepareForFrame, prepareForQuery, read, read, replaceVariables, resolveBindings, termEquals, termEquals, termExpansion, toEscapedString, toEscapedString, toString, unify, unifyAndBind, varBindings

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Field Detail

TRUE_TERM

public static final Atom TRUE_TERM

FAIL_TERM

public static final Atom FAIL_TERM

NIL

public static final Atom NIL

Constructor Detail

Atom

public Atom(Boolean bool)

Atom

public Atom(String name)

Parameters:

id - the Atom's id (unquoted)

Method Detail

getName

public String getName()

hasFunctor

public boolean hasFunctor(Functor functor)

Description copied from class: Term

Whether this term has a given functor.

Specified by:

hasFunctor in class Term

Parameters:

functor - the functor of this term.

Returns:

true if the term has the given functor. False otherwise.

isBoolean

public boolean isBoolean()

basicIsList

protected boolean basicIsList()

Overrides:

basicIsList in class Term

asList

public ListTerm asList()

Description copied from class: Term

Returns a list representation of this term. Throws an exception if the term cannot be converted to a list (if it is not either the atom '[]' or a cons compound term)

Overrides:

asList in class Term

Returns:

a list representation of this term.

isGround

public boolean isGround()

Specified by:

isGround in class Term

Returns:

true if the term is ground (it does not have unbound variables). false otherwise.

accept

public void accept(TermVisitor termVisitor)

Description copied from class: Term

Accepts a Jpc term visitor.

Specified by:

accept in class Term

Parameters:

termVisitor - the accepted visitor

basicRead

protected void basicRead(TermContentHandler contentHandler,
                         com.google.common.base.Function<Term,Term> termExpander)

Specified by:

basicRead in class Term

toEscapedString

public String toEscapedString()

Specified by:

toEscapedString in class Term

toString

public String toString(OperatorsContext operatorsContext)

Specified by:

toString in class Term

hashCode

public int hashCode()

Overrides:

hashCode in class Object

equals

public boolean equals(Object obj)

Overrides:

equals in class Object

preCompile

public Term preCompile(Environment env)

Specified by:

preCompile in class Term

prepareForQuery

public Term prepareForQuery(Environment env)

Specified by:

prepareForQuery in class Term

prepareForFrame

public Term prepareForFrame(Environment env)

Specified by:

prepareForFrame in class Term