Interpreter.PrologInterpreter.Sexp.Utils
Class PrologSexpVisitor

java.lang.Object
  |
  +--Interpreter.Sexp.Utils.SexpVisitor
        |
        +--Interpreter.PrologInterpreter.Sexp.Utils.StructureSexpVisitor
              |
              +--Interpreter.PrologInterpreter.Sexp.Utils.PrologSexpVisitor

Direct Known Subclasses:

EngineSexpVisitor

public abstract class PrologSexpVisitor

extends StructureSexpVisitor

Un oggetto SexpVisitor realizza un Pattern Visitor per una s-expression. COntiene le visit per tutti i termini che partecipano alla risoluzione.

Fields inherited from class Interpreter.Sexp.Utils.SexpVisitor

stack

Constructor Summary

PrologSexpVisitor()

Method Summary

abstract void	visit(AndSexp e) Effettua la visita di un AndSexp.
abstract void	visit(ArEqualSexp e) Effettua la visita di un ArEqualSexp.
abstract void	visit(ArgTerm e) Effettua la visita di un ArgTerm.
abstract void	visit(ArNotEqualSexp e) Effettua la visita di un ArNotEqualSexp.
abstract void	visit(AssertaTerm e) Effettua la visita di un AssertaTerm.
abstract void	visit(AssertTerm e) Effettua la visita di un AssertTerm.
abstract void	visit(AtomicTerm e) Effettua la visita di un AtomicTerm.
abstract void	visit(AtomTerm e) Effettua la visita di un AtomTerm.
abstract void	visit(BagOfTerm e) Effettua la visita di un BagOfTerm.
abstract void	visit(CallTerm e) Effettua la visita di un CallTerm.
abstract void	visit(ClauseSexp e) Effettua la visita di un ClauseSexp.
abstract void	visit(ClauseTerm e) Effettua la visita di un ClauseTerm.
abstract void	visit(CompoundTerm e) Effettua la visita di un CompoundTerm.
abstract void	visit(CutSexp e) Effettua la visita di un CutSexp.
abstract void	visit(DottedClauseSexp e) Effettua la visita di un ClauseSexp.
abstract void	visit(DottedQuerySexp e) Effettua la visita di un QuerySexp.
abstract void	visit(EqualLessSexp e) Effettua la visita di un EqualLessSexp.
abstract void	visit(EqualSexp e) Effettua la visita di un ArEqualSexp.
abstract void	visit(FailSexp e) Effettua la visita di un FailSexp.
abstract void	visit(FindAllTerm e) Effettua la visita di un FindAllTerm.
abstract void	visit(FunctorTerm e) Effettua la visita di un FunctorTerm.
abstract void	visit(GreatEqualSexp e) Effettua la visita di un GreatEqualSexp.
abstract void	visit(GreatSexp e) Effettua la visita di un GreatSexp.
abstract void	visit(GroundTerm e) Effettua la visita di un GroundTerm.
abstract void	visit(IntegerTerm e) Effettua la visita di un IntegerTerm.
abstract void	visit(IsSexp e) Effettua la visita di un IsSexp.
abstract void	visit(LessSexp e) Effettua la visita di un LessSexp.
abstract void	visit(ListingSexp e) Effettua la visita di un RetractAllTerm.
abstract void	visit(ListingTerm e) Effettua la visita di un RetractTerm.
abstract void	visit(ListSexp e) Effettua la visita di una ListSexp.
abstract void	visit(NameTerm e) Effettua la visita di un NameTerm.
abstract void	visit(NilListSexp e) Effettua la visita di una NilListSexp.
abstract void	visit(NlSexp e) Effettua la visita di un NlSexp.
abstract void	visit(NonVarTerm e) Effettua la visita di un NonVarTerm.
abstract void	visit(NotEqualSexp e) Effettua la visita di un ArNotEqualSexp.
abstract void	visit(NotSexp e) Effettua la visita di un NotSexp.
abstract void	visit(NumberTerm e) Effettua la visita di un NumberTerm.
abstract void	visit(OrSexp e) Effettua la visita di un OrSexp.
abstract void	visit(QuerySexp e) Effettua la visita di un QuerySexp.
abstract void	visit(RandomTerm e) Effettua la visita di un RandomTerm.
abstract void	visit(ReadTerm e) Effettua la visita di un ReadTerm.
abstract void	visit(RetractAllTerm e) Effettua la visita di un RetractAllTerm.
abstract void	visit(RetractTerm e) Effettua la visita di un RetractTerm.
abstract void	visit(SetOfTerm e) Effettua la visita di un SetOfTerm.
abstract void	visit(TermToListSexp e) Effettua la visita di un TermToListSexp.
abstract void	visit(TrueTerm e) Effettua la visita di un TrueTerm.
abstract void	visit(UnaryClauseSexp e) Effettua la visita di un UnaryClauseSexp.
abstract void	visit(UnifySexp e) Effettua la visita di un UnifySexp.
abstract void	visit(VarTerm e) Effettua la visita di un VarTerm.
abstract void	visit(WriteTerm e) Effettua la visita di un WrietTerm.

Methods inherited from class Interpreter.PrologInterpreter.Sexp.Utils.StructureSexpVisitor

visit, visit, visit, visit, visit, visit, visit, visit

Methods inherited from class Interpreter.Sexp.Utils.SexpVisitor

getResult, getStack, visit, visit

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

PrologSexpVisitor

public PrologSexpVisitor()

Method Detail

visit

public abstract void visit(DottedClauseSexp e)
                    throws InterpreterException

Effettua la visita di un ClauseSexp.

Parameters:

e - oggetto che viene visitato.

visit

public abstract void visit(DottedQuerySexp e)
                    throws InterpreterException

Effettua la visita di un QuerySexp.

Parameters:

e - oggetto che viene visitato.

visit

public abstract void visit(ClauseSexp e)
                    throws InterpreterException

Effettua la visita di un ClauseSexp.

Parameters:

e - oggetto che viene visitato.

visit

public abstract void visit(QuerySexp e)
                    throws InterpreterException

Effettua la visita di un QuerySexp.

Parameters:

e - oggetto che viene visitato.

visit

public abstract void visit(UnaryClauseSexp e)
                    throws InterpreterException

Effettua la visita di un UnaryClauseSexp.

Parameters:

e - oggetto che viene visitato.

visit

public abstract void visit(AndSexp e)
                    throws InterpreterException

Effettua la visita di un AndSexp.

Parameters:

e - oggetto che viene visitato.

visit

public abstract void visit(OrSexp e)
                    throws InterpreterException

Effettua la visita di un OrSexp.

Parameters:

e - oggetto che viene visitato.

visit

public abstract void visit(FunctorTerm e)
                    throws InterpreterException

Effettua la visita di un FunctorTerm.

Parameters:

e - oggetto che viene visitato.

visit

public abstract void visit(ArgTerm e)
                    throws InterpreterException

Effettua la visita di un ArgTerm.

Parameters:

e - oggetto che viene visitato.

visit

public abstract void visit(AssertTerm e)
                    throws InterpreterException

Effettua la visita di un AssertTerm.

Parameters:

e - oggetto che viene visitato.

visit

public abstract void visit(AssertaTerm e)
                    throws InterpreterException

Effettua la visita di un AssertaTerm.

Parameters:

e - oggetto che viene visitato.

visit

public abstract void visit(RetractTerm e)
                    throws InterpreterException

Effettua la visita di un RetractTerm.

Parameters:

e - oggetto che viene visitato.

visit

public abstract void visit(RetractAllTerm e)
                    throws InterpreterException

Effettua la visita di un RetractAllTerm.

Parameters:

e - oggetto che viene visitato.

visit

public abstract void visit(ListingTerm e)
                    throws InterpreterException

Effettua la visita di un RetractTerm.

Parameters:

e - oggetto che viene visitato.

visit

public abstract void visit(ListingSexp e)
                    throws InterpreterException

Effettua la visita di un RetractAllTerm.

Parameters:

e - oggetto che viene visitato.

visit

public abstract void visit(WriteTerm e)
                    throws InterpreterException

Effettua la visita di un WrietTerm.

Parameters:

e - oggetto che viene visitato.

visit

public abstract void visit(ReadTerm e)
                    throws InterpreterException

Effettua la visita di un ReadTerm.

Parameters:

e - oggetto che viene visitato.

visit

public abstract void visit(VarTerm e)
                    throws InterpreterException

Effettua la visita di un VarTerm.

Parameters:

e - oggetto che viene visitato.

visit

public abstract void visit(NonVarTerm e)
                    throws InterpreterException

Effettua la visita di un NonVarTerm.

Parameters:

e - oggetto che viene visitato.

visit

public abstract void visit(AtomTerm e)
                    throws InterpreterException

Effettua la visita di un AtomTerm.

Parameters:

e - oggetto che viene visitato.

visit

public abstract void visit(AtomicTerm e)
                    throws InterpreterException

Effettua la visita di un AtomicTerm.

Parameters:

e - oggetto che viene visitato.

visit

public abstract void visit(NumberTerm e)
                    throws InterpreterException

Effettua la visita di un NumberTerm.

Parameters:

e - oggetto che viene visitato.

visit

public abstract void visit(IntegerTerm e)
                    throws InterpreterException

Effettua la visita di un IntegerTerm.

Parameters:

e - oggetto che viene visitato.

visit

public abstract void visit(CompoundTerm e)
                    throws InterpreterException

Effettua la visita di un CompoundTerm.

Parameters:

e - oggetto che viene visitato.

visit

public abstract void visit(SetOfTerm e)
                    throws InterpreterException

Effettua la visita di un SetOfTerm.

Parameters:

e - oggetto che viene visitato.

visit

public abstract void visit(BagOfTerm e)
                    throws InterpreterException

Effettua la visita di un BagOfTerm.

Parameters:

e - oggetto che viene visitato.

visit

public abstract void visit(FindAllTerm e)
                    throws InterpreterException

Effettua la visita di un FindAllTerm.

Parameters:

e - oggetto che viene visitato.

visit

public abstract void visit(RandomTerm e)
                    throws InterpreterException

Effettua la visita di un RandomTerm.

Parameters:

e - oggetto che viene visitato.

visit

public abstract void visit(NameTerm e)
                    throws InterpreterException

Effettua la visita di un NameTerm.

Parameters:

e - oggetto che viene visitato.

visit

public abstract void visit(CallTerm e)
                    throws InterpreterException

Effettua la visita di un CallTerm.

Parameters:

e - oggetto che viene visitato.

visit

public abstract void visit(GroundTerm e)
                    throws InterpreterException

Effettua la visita di un GroundTerm.

Parameters:

e - oggetto che viene visitato.

visit

public abstract void visit(ClauseTerm e)
                    throws InterpreterException

Effettua la visita di un ClauseTerm.

Parameters:

e - oggetto che viene visitato.

visit

public abstract void visit(TrueTerm e)
                    throws InterpreterException

Effettua la visita di un TrueTerm.

Parameters:

e - oggetto che viene visitato.

visit

public abstract void visit(UnifySexp e)
                    throws InterpreterException

Effettua la visita di un UnifySexp.

Parameters:

e - oggetto che viene visitato.

visit

public abstract void visit(TermToListSexp e)
                    throws InterpreterException

Effettua la visita di un TermToListSexp.

Parameters:

e - oggetto che viene visitato.

visit

public abstract void visit(NotSexp e)
                    throws InterpreterException

Effettua la visita di un NotSexp.

Parameters:

e - oggetto che viene visitato.

visit

public abstract void visit(CutSexp e)
                    throws InterpreterException

Effettua la visita di un CutSexp.

Parameters:

e - oggetto che viene visitato.

visit

public abstract void visit(FailSexp e)
                    throws InterpreterException

Effettua la visita di un FailSexp.

Parameters:

e - oggetto che viene visitato.

visit

public abstract void visit(NlSexp e)
                    throws InterpreterException

Effettua la visita di un NlSexp.

Parameters:

e - oggetto che viene visitato.

visit

public abstract void visit(ListSexp e)
                    throws InterpreterException

Effettua la visita di una ListSexp.

Parameters:

e - oggetto che viene visitato.

visit

public abstract void visit(NilListSexp e)
                    throws InterpreterException

Effettua la visita di una NilListSexp.

Parameters:

e - oggetto che viene visitato.

visit

public abstract void visit(IsSexp e)
                    throws InterpreterException

Effettua la visita di un IsSexp.

Parameters:

e - oggetto che viene visitato.

visit

public abstract void visit(ArEqualSexp e)
                    throws InterpreterException

Effettua la visita di un ArEqualSexp.

Parameters:

e - oggetto che viene visitato.

visit

public abstract void visit(ArNotEqualSexp e)
                    throws InterpreterException

Effettua la visita di un ArNotEqualSexp.

Parameters:

e - oggetto che viene visitato.

visit

public abstract void visit(GreatSexp e)
                    throws InterpreterException

Effettua la visita di un GreatSexp.

Parameters:

e - oggetto che viene visitato.

visit

public abstract void visit(LessSexp e)
                    throws InterpreterException

Effettua la visita di un LessSexp.

Parameters:

e - oggetto che viene visitato.

visit

public abstract void visit(GreatEqualSexp e)
                    throws InterpreterException

Effettua la visita di un GreatEqualSexp.

Parameters:

e - oggetto che viene visitato.

visit

public abstract void visit(EqualLessSexp e)
                    throws InterpreterException

Effettua la visita di un EqualLessSexp.

Parameters:

e - oggetto che viene visitato.

visit

public abstract void visit(EqualSexp e)
                    throws InterpreterException

Effettua la visita di un ArEqualSexp.

Parameters:

e - oggetto che viene visitato.

visit

public abstract void visit(NotEqualSexp e)
                    throws InterpreterException

Effettua la visita di un ArNotEqualSexp.

Parameters:

e - oggetto che viene visitato.