|
|||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
| SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||
java.lang.Object
|
+--Interpreter.Sexp.Sexp
|
+--Interpreter.Sexp.AtomSexp
|
+--Interpreter.PrologInterpreter.Sexp.DottedTermSexp
|
+--Interpreter.PrologInterpreter.Sexp.DottedQuerySexp
Un oggetto QuerySexp è una S-expression non atomica rappresentante una query Prolog. È costituita da una coppia di Sexp di cui la prima è l'antecedente e la seconda è il conseguente (eventualmente nil se si tratta di un fatto).
| Fields inherited from class Interpreter.PrologInterpreter.Sexp.DottedTermSexp |
inner,
varList |
| 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 | |
DottedQuerySexp(QuerySexp query,
Sexp list)
Costruisce una nuova QuerySexp. |
|
| Method Summary | |
void |
accept(SexpVisitor e)
Accetta un SexpVisitor per la valutazione. |
| Methods inherited from class Interpreter.PrologInterpreter.Sexp.DottedTermSexp |
getInner,
getVars,
toString,
toString,
toStringInList |
| 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 |
| Constructor Detail |
public DottedQuerySexp(QuerySexp query,
Sexp list)
r - risolvente della QuerySexp;list - lista delle variabili contenute nella QuerySexp;| Method Detail |
public void accept(SexpVisitor e)
throws InterpreterException
e - oggetto che realizza un Pattern Visitor per le Sexp.
|
|||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
| SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||