Interpreter.PrologInterpreter.Sexp
Class DottedClauseSexp

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

public class DottedClauseSexp

extends DottedTermSexp

Un oggetto DottedClauseSexp è una S-expression non atomica rappresentante una clausola Prolog con punto finale. È 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

DottedClauseSexp(ClauseSexp clause, Sexp list)
Costruisce una nuova ClauseSexp.

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

DottedClauseSexp

public DottedClauseSexp(ClauseSexp clause,
                        Sexp list)

Costruisce una nuova ClauseSexp.

Parameters:

h - primo elemento costituente la ClauseSexp;

body - secondo elemento costituente la ClauseSexp;

list - lista delle variabili contenute nella ClauseSexp;

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