Interpreter.PrologInterpreter.Sexp
Class DottedTermSexp

java.lang.Object
  |
  +--Interpreter.Sexp.Sexp
        |
        +--Interpreter.Sexp.AtomSexp
              |
              +--Interpreter.PrologInterpreter.Sexp.DottedTermSexp

Direct Known Subclasses:

DottedClauseSexp, DottedQuerySexp

public class DottedTermSexp

extends AtomSexp

Un oggetto TermSexp č una S-expression non atomica. Č costituita da una coppia di Sexp.

Field Summary

protected TermSexp	inner Termine contenuto, cioč non dotted.
protected Sexp	varList Lista delle variabili della clausola.

Fields inherited from class Interpreter.Sexp.AtomSexp

name

Fields inherited from class Interpreter.Sexp.Sexp

BEGIN_S, COUPLE_S, END_S, isAList, Lisp, nil, NIL_S, SEP_S, Separators

Constructor Summary

DottedTermSexp(TermSexp term, Sexp list)
Costruisce una nuova TermSexp.

Method Summary

void	accept(SexpVisitor e) Accetta un SexpVisitor per la valutazione.
TermSexp	getInner() Restituisce la clausola.
Sexp	getVars() Restituisce la lista delle variabili del termine.
java.lang.String	toString() Restituisce la rappresentazione in forma di stringa.
java.lang.String	toString(java.lang.String[] sep, boolean personal) Restituisce la rappresentazione in forma di stringa.
java.lang.String	toStringInList(java.lang.String[] sep, boolean personal) Restituisce la rappresentazione in forma di stringa.

Methods inherited from class Interpreter.Sexp.AtomSexp

append, car, cdr, count, equals, equals, reverse

Methods inherited from class Interpreter.Sexp.Sexp

isAList, isEq, reverse

Methods inherited from class java.lang.Object

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

Field Detail

inner

protected TermSexp inner

Termine contenuto, cioč non dotted.

varList

protected Sexp varList

Lista delle variabili della clausola.

Constructor Detail

DottedTermSexp

public DottedTermSexp(TermSexp term,
                      Sexp list)

Costruisce una nuova TermSexp.

Parameters:

h - primo elemento costituente la TermSexp;

t - secondo elemento costituente la TermSexp;

Method Detail

getInner

public TermSexp getInner()

Restituisce la clausola.

getVars

public Sexp getVars()

Restituisce la lista delle variabili del termine.

Parameters:

return - la lista delle variabili che compaiono nel termine.

toString

public java.lang.String toString()

Restituisce la rappresentazione in forma di stringa.

Returns:

la stringa rappresentativa dell'oggetto: una lista in formato lisp.

Overrides:

toString in class AtomSexp

toString

public java.lang.String toString(java.lang.String[] sep,
                                 boolean personal)

Restituisce la rappresentazione in forma di stringa.

Parameters:

sep - contiene un array di 5 stringhe separatrici (see Separators): nil, couple, sep, beginList, endList.

personal - se true permette di personalizzare la stampa della lista utilizzando le stringhe prese da Separators di ciascuna Sexp, oppure sep se Separators non č inizializzato. Nelle chiamate ricorsive a toStringInList() viene passato la lista corrente di separatori. Se false viene utilizzata sep in ogni caso.

Returns:

la stringa rappresentativa dell'oggetto.

Overrides:

toString in class AtomSexp

See Also:

Sexp.Separators

toStringInList

public java.lang.String toStringInList(java.lang.String[] sep,
                                       boolean personal)

Restituisce la rappresentazione in forma di stringa. Viene usata all'interno di una lista.

Parameters:

sep - contiene un array di 5 stringhe separatrici (see Separators): nil, couple, sep, beginList, endList.

personal - se true permette di personalizzare la stampa della lista utilizzando le stringhe prese da Separators di ciascuna Sexp, oppure sep se Separators non č inizializzato. Nelle chiamate ricorsive a toStringInList() viene passato la lista corrente di separatori. Se false viene utilizzata sep in ogni caso.

Returns:

la stringa rappresentativa dell'oggetto.

Overrides:

toStringInList in class AtomSexp

See Also:

Sexp.Separators

accept

public void accept(SexpVisitor e)
            throws InterpreterException

Accetta un SexpVisitor per la valutazione.

Parameters:

e - oggetto della classe SexpVisitor che realizza un Pattern Visitor per le Sexp.

Overrides:

accept in class Sexp