Interpreter.PrologInterpreter.Sexp
Class DottedQuerySexp

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

public class DottedQuerySexp

extends DottedTermSexp

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

DottedQuerySexp

public DottedQuerySexp(QuerySexp query,
                       Sexp list)

Costruisce una nuova QuerySexp.

Parameters:

r - risolvente della QuerySexp;

list - lista delle variabili contenute nella QuerySexp;

Method Detail

accept

public void accept(SexpVisitor e)
            throws InterpreterException

Accetta un SexpVisitor per la valutazione.

Parameters:

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

Overrides:

accept in class DottedTermSexp