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. |
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 java.lang.Object |
clone,
finalize,
getClass,
hashCode,
notify,
notifyAll,
wait,
wait,
wait |
inner
protected TermSexp inner
- Termine contenuto, cioč non dotted.
varList
protected Sexp varList
- Lista delle variabili della clausola.
DottedTermSexp
public DottedTermSexp(TermSexp term,
Sexp list)
- Costruisce una nuova TermSexp.
- Parameters:
h
- primo elemento costituente la TermSexp;t
- secondo elemento costituente la TermSexp;
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
Codice realizzato da Francesco Geri & Marco Tamanti