Interpreter.PrologInterpreter.Sexp.Infix
Class IsSexp

java.lang.Object
  |
  +--Interpreter.Sexp.Sexp
        |
        +--Interpreter.Sexp.ConsSexp
              |
              +--Interpreter.PrologInterpreter.Sexp.TermSexp
                    |
                    +--Interpreter.PrologInterpreter.Sexp.Infix.InfixSexp
                          |
                          +--Interpreter.PrologInterpreter.Sexp.Infix.IsSexp

public class IsSexp
extends InfixSexp

Un oggetto IsSexp è una S-expression con l'operatore "is". È costituita da una coppia di Sexp di cui il primo è la variabiale, ovvero un oggetto della classe VarSexp, il secondo è un'espressione aritmetica che deve essere assegnata alla variabile.


Fields inherited from class Interpreter.PrologInterpreter.Sexp.Infix.InfixSexp
dx, sx
 
Fields inherited from class Interpreter.PrologInterpreter.Sexp.TermSexp
priority, Prolog, PrologTerm, Spaces
 
Fields inherited from class Interpreter.Sexp.ConsSexp
head, tail
 
Fields inherited from class Interpreter.Sexp.Sexp
BEGIN_S, COUPLE_S, END_S, isAList, Lisp, nil, NIL_S, SEP_S, Separators
 
Constructor Summary
IsSexp(Sexp h, Sexp t)
          Costruisce una nuova IsSexp.
 
Method Summary
 void accept(SexpVisitor e)
          Accetta un SexpVisitor per la valutazione.
 
Methods inherited from class Interpreter.PrologInterpreter.Sexp.Infix.InfixSexp
choose, toString, toString
 
Methods inherited from class Interpreter.PrologInterpreter.Sexp.TermSexp
argList, argNum, first, functor, getPriority, getVarList, second, toStringInList, unify
 
Methods inherited from class Interpreter.Sexp.ConsSexp
append, car, cdr, count, equals, isEq, reverse, setIsAList
 
Methods inherited from class Interpreter.Sexp.Sexp
isAList, reverse
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Constructor Detail

IsSexp

public IsSexp(Sexp h,
              Sexp t)
Costruisce una nuova IsSexp.
Parameters:
h - primo elemento costituente la IsSexp, ovvero un VarSexp;
t - secondo elemento costituente la IsSexp, ovvero un ExprSexp;
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 TermSexp


Codice realizzato da Francesco Geri & Marco Tamanti