|
|||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
| SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||
java.lang.Object
|
+--Interpreter.Sexp.Utils.SexpVisitor
|
+--Interpreter.PrologInterpreter.Sexp.Utils.StructureSexpVisitor
|
+--Interpreter.PrologInterpreter.Sexp.Utils.PrologSexpVisitor
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 |
public PrologSexpVisitor()
| Method Detail |
public abstract void visit(DottedClauseSexp e)
throws InterpreterException
e - oggetto che viene visitato.
public abstract void visit(DottedQuerySexp e)
throws InterpreterException
e - oggetto che viene visitato.
public abstract void visit(ClauseSexp e)
throws InterpreterException
e - oggetto che viene visitato.
public abstract void visit(QuerySexp e)
throws InterpreterException
e - oggetto che viene visitato.
public abstract void visit(UnaryClauseSexp e)
throws InterpreterException
e - oggetto che viene visitato.
public abstract void visit(AndSexp e)
throws InterpreterException
e - oggetto che viene visitato.
public abstract void visit(OrSexp e)
throws InterpreterException
e - oggetto che viene visitato.
public abstract void visit(FunctorTerm e)
throws InterpreterException
e - oggetto che viene visitato.
public abstract void visit(ArgTerm e)
throws InterpreterException
e - oggetto che viene visitato.
public abstract void visit(AssertTerm e)
throws InterpreterException
e - oggetto che viene visitato.
public abstract void visit(AssertaTerm e)
throws InterpreterException
e - oggetto che viene visitato.
public abstract void visit(RetractTerm e)
throws InterpreterException
e - oggetto che viene visitato.
public abstract void visit(RetractAllTerm e)
throws InterpreterException
e - oggetto che viene visitato.
public abstract void visit(ListingTerm e)
throws InterpreterException
e - oggetto che viene visitato.
public abstract void visit(ListingSexp e)
throws InterpreterException
e - oggetto che viene visitato.
public abstract void visit(WriteTerm e)
throws InterpreterException
e - oggetto che viene visitato.
public abstract void visit(ReadTerm e)
throws InterpreterException
e - oggetto che viene visitato.
public abstract void visit(VarTerm e)
throws InterpreterException
e - oggetto che viene visitato.
public abstract void visit(NonVarTerm e)
throws InterpreterException
e - oggetto che viene visitato.
public abstract void visit(AtomTerm e)
throws InterpreterException
e - oggetto che viene visitato.
public abstract void visit(AtomicTerm e)
throws InterpreterException
e - oggetto che viene visitato.
public abstract void visit(NumberTerm e)
throws InterpreterException
e - oggetto che viene visitato.
public abstract void visit(IntegerTerm e)
throws InterpreterException
e - oggetto che viene visitato.
public abstract void visit(CompoundTerm e)
throws InterpreterException
e - oggetto che viene visitato.
public abstract void visit(SetOfTerm e)
throws InterpreterException
e - oggetto che viene visitato.
public abstract void visit(BagOfTerm e)
throws InterpreterException
e - oggetto che viene visitato.
public abstract void visit(FindAllTerm e)
throws InterpreterException
e - oggetto che viene visitato.
public abstract void visit(RandomTerm e)
throws InterpreterException
e - oggetto che viene visitato.
public abstract void visit(NameTerm e)
throws InterpreterException
e - oggetto che viene visitato.
public abstract void visit(CallTerm e)
throws InterpreterException
e - oggetto che viene visitato.
public abstract void visit(GroundTerm e)
throws InterpreterException
e - oggetto che viene visitato.
public abstract void visit(ClauseTerm e)
throws InterpreterException
e - oggetto che viene visitato.
public abstract void visit(TrueTerm e)
throws InterpreterException
e - oggetto che viene visitato.
public abstract void visit(UnifySexp e)
throws InterpreterException
e - oggetto che viene visitato.
public abstract void visit(TermToListSexp e)
throws InterpreterException
e - oggetto che viene visitato.
public abstract void visit(NotSexp e)
throws InterpreterException
e - oggetto che viene visitato.
public abstract void visit(CutSexp e)
throws InterpreterException
e - oggetto che viene visitato.
public abstract void visit(FailSexp e)
throws InterpreterException
e - oggetto che viene visitato.
public abstract void visit(NlSexp e)
throws InterpreterException
e - oggetto che viene visitato.
public abstract void visit(ListSexp e)
throws InterpreterException
e - oggetto che viene visitato.
public abstract void visit(NilListSexp e)
throws InterpreterException
e - oggetto che viene visitato.
public abstract void visit(IsSexp e)
throws InterpreterException
e - oggetto che viene visitato.
public abstract void visit(ArEqualSexp e)
throws InterpreterException
e - oggetto che viene visitato.
public abstract void visit(ArNotEqualSexp e)
throws InterpreterException
e - oggetto che viene visitato.
public abstract void visit(GreatSexp e)
throws InterpreterException
e - oggetto che viene visitato.
public abstract void visit(LessSexp e)
throws InterpreterException
e - oggetto che viene visitato.
public abstract void visit(GreatEqualSexp e)
throws InterpreterException
e - oggetto che viene visitato.
public abstract void visit(EqualLessSexp e)
throws InterpreterException
e - oggetto che viene visitato.
public abstract void visit(EqualSexp e)
throws InterpreterException
e - oggetto che viene visitato.
public abstract void visit(NotEqualSexp e)
throws InterpreterException
e - oggetto che viene visitato.
|
|||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
| SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||