A B C D E F G I J L M N O P Q R S T U V W Y

A

abort() - Method in class app.Main

Gestione del pulsante abort per il prolog

accept(SexpVisitor) - Method in class exp.ConsSexp

Specifica di un visitor

accept(SexpVisitor) - Method in class exp.IdentSexp

Specifica di un visitor

accept(SexpVisitor) - Method in class exp.NilSexp

accept(SexpVisitor) - Method in class exp.NumSexp

Specifica del visitor

accept(SexpVisitor) - Method in class exp.Sexp

Specifica di un visitor

accept(SexpVisitor) - Method in class lisp.Environment

accept2(PrologVisitor, Sexp) - Method in class exp.prolog.EmptyList

accept2(PrologVisitor, Sexp) - Method in class exp.prolog.Structure

accept2(PrologVisitor, Sexp) - Method in class exp.prolog.Symbol

accept2(PrologVisitor, Sexp) - Method in class exp.prolog.TermList

accept2(PrologVisitor, Sexp) - Method in class exp.prolog.Var

accept2(PrologVisitor, Sexp) - Method in class exp.Sexp

Accettazione di un visitor per il prolog

actionPerformed(ActionEvent) - Method in class app.Main

Implementazione dell'interfaccia ActionListener

actionPerformed(ActionEvent) - Method in class app.StarterApplet

AndSexp - class exp.AndSexp.

AndSexp Classe per l'operatore and

AndSexp() - Constructor for class exp.AndSexp

anonymous - Static variable in class prolog.PrologLexer

append(Sexp, Sexp) - Static method in class exp.Sexp

Appende l2 a l1

appendConj(Sexp, Sexp) - Method in class prolog.PrologEvaluator

Appende due liste di termini

apply(Sexp, Sexp) - Method in class lisp.LispEvaluator

Applicazione di una funzione a una lista di argomenti

applyAritmOperator(Sexp, String) - Method in class lisp.LispEvaluator

Applicazione di un operatore aritmetico

applyLogOperator(Sexp, String) - Method in class lisp.LispEvaluator

Applicazione di un operatore logico

applyOpDouble(double, double, String) - Method in class exp.NumSexp

Applicazione di un operatore a numeri double

applyOperator(NumSexp, String) - Method in class exp.DoubleSexp

Applicazione di un operazione

applyOperator(NumSexp, String) - Method in class exp.IntSexp

Applicazione di un operazione

applyOperator(NumSexp, String) - Method in class exp.NumSexp

applyOpInteger(int, int, String) - Method in class exp.NumSexp

Applicazione di un operatore a numeri interi

applyPrimitive(Sexp, Sexp) - Method in class lisp.LispEvaluator

Applicazione di una primitiva

applyPrin1(Sexp) - Method in class lisp.LispEvaluator

Applicazione della primitiva prin1

applyPrint(Sexp) - Method in class lisp.LispEvaluator

Applicazione della primitiva print

applyRead() - Method in class lisp.LispEvaluator

Applicazione della primitiva read

applyRelOperator(Sexp, String) - Method in class lisp.LispEvaluator

Applicazione di un operatore relazionale

ArgList - class exp.prolog.ArgList.

ArgList Classe per le liste di argomenti

argList() - Method in class lisp.JavaParser

Lettura della lista di argomenti di una funzione

argList() - Method in class prolog.PrologParser

Lettura di una lista di argomenti di una funzione

ArgList(Sexp) - Constructor for class exp.prolog.ArgList

ArgList(Sexp, Sexp) - Constructor for class exp.prolog.ArgList

AritmSexp - class exp.AritmSexp.

AritmSexp Classe per gli operatori aritmetici

AritmSexp(String) - Constructor for class exp.AritmSexp

assoc(Sexp, Sexp) - Static method in class exp.Sexp

Cerca un elemento nella lista di coppie e restituisce la coppia (Serve per controllare la presenza nell'environment)

atEOF() - Method in class exp.Parser

Indicazione di fine file

ATOM - Static variable in class lisp.LispEvaluator

atom() - Method in class prolog.PrologParser

Lettura di un goal

atom(String) - Static method in class exp.Sexp

Costruzione di un'espressione atomica

AtomicTerm - class exp.prolog.AtomicTerm.

AtomicTerm Classe per i termini atomici

AtomicTerm(String) - Constructor for class exp.prolog.AtomicTerm

AtomSexp - class exp.AtomSexp.

AtomSexp Classe astratta per le espressioni atomiche

atomSexp() - Method in class lisp.LispParser

Lettura di un'espressione atomica

AtomSexp() - Constructor for class exp.AtomSexp

B

body(Sexp) - Method in class prolog.PrologParser

Lettura del corpo di una clausola

bodyElem(Sexp) - Method in class prolog.PrologParser

Lettura di un elemento del corpo

BorderPanel - class app.BorderPanel.

BorderPanel Pannello che contiene l'interfaccia grafica

BorderPanel() - Constructor for class app.BorderPanel

C

caar(Sexp) - Static method in class exp.Sexp

Car del car

cadr(Sexp) - Static method in class exp.Sexp

Car del cdr

CAR - Static variable in class lisp.LispEvaluator

car() - Method in class exp.AtomSexp

car() - Method in class exp.ConsSexp

car() - Method in class exp.Sexp

Primo elemento di lista o coppia

car() - Method in class lisp.Environment

car(Sexp) - Static method in class exp.Sexp

Primo elemento di lista o coppia

cdar(Sexp) - Static method in class exp.Sexp

Cdr del car

cddr(Sexp) - Static method in class exp.Sexp

Cdr del cdr

CDR - Static variable in class lisp.LispEvaluator

cdr() - Method in class exp.AtomSexp

cdr() - Method in class exp.ConsSexp

cdr() - Method in class exp.Sexp

Secondo elemento di lista o coppia

cdr() - Method in class lisp.Environment

cdr(Sexp) - Static method in class exp.Sexp

Secondo elemento di lista o coppia

changeVal(Sexp) - Method in class exp.ConsSexp

Modifica il valore di un binding

CharSexp - class exp.CharSexp.

CharSexp Classe per i caratteri

CharSexp(String) - Constructor for class exp.CharSexp

chLang(int) - Method in class app.Main

Cambio del linguaggio

Clause - class exp.prolog.Clause.

Clause Classe per le clausole

clause() - Method in class prolog.PrologParser

Lettura di una clausola

Clause(Sexp, Sexp) - Constructor for class exp.prolog.Clause

clear() - Static method in class exp.prolog.Prolog

Azzeramento delle strutture

CLOSURE - Static variable in class lisp.LispEvaluator

clrArea() - Method in class app.Main

Azzeramento di tutte le aree di testo

clrInput() - Method in class app.Main

Azzeramento dell'area di testo di input

CommaToken - class exp.token.CommaToken.

CommaToken Classe per il token virgola

CommaToken() - Constructor for class exp.token.CommaToken

CompareVisitor - class prolog.CompareVisitor.

CompareVisitor Visitor per il confronto

CompareVisitor() - Constructor for class prolog.CompareVisitor

COND - Static variable in class lisp.LispEvaluator

Conj - class exp.prolog.Conj.

Conj Classe per le Conj

Conj(Sexp) - Constructor for class exp.prolog.Conj

Conj(Sexp, Sexp) - Constructor for class exp.prolog.Conj

CONS - Static variable in class lisp.LispEvaluator

cons(Sexp, Sexp) - Static method in class exp.Sexp

Costruzione di un'espressione stutturata (lista o coppia)

ConsSexp - class exp.ConsSexp.

ConsSexp Classe per le espressioni strutturate (coppie e liste)

consSexp() - Method in class lisp.LispParser

Lettura del primo elemento di una coppia o una lista

ConsSexp(Sexp, Sexp) - Constructor for class exp.ConsSexp

Costruttore

createPrimitiveSet(Sexp) - Static method in class lisp.LispEvaluator

Costruzione della lista dei binding per le primitive

createVar(String) - Method in class prolog.PrologLexer

Creazione di una variabile (Questo metodo serve per garantire che variabili uguali all'interno della stessa clausola siano rappresentata dalla stessa istanza della classe Var).

curHead - Static variable in class exp.prolog.Prolog

Testa corrente

curToken - Variable in class exp.Lexer

Token corrente

curToken - Variable in class exp.Parser

Token corente

Cut - class exp.prolog.Cut.

Cut Classe per il cut

Cut() - Constructor for class exp.prolog.Cut

D

Debug - class exp.Debug.

Debug Classe astratta che definisce delle variabili per abilitare o meno la stampa dei messaggi di Debug

Debug() - Constructor for class exp.Debug

DEFINE - Static variable in class lisp.LispEvaluator

DEFUN - Static variable in class lisp.LispEvaluator

demo(Clause, Sexp) - Method in class prolog.PrologEvaluator

Dimostrazione di un goal

DifferSexp - class exp.DifferSexp.

DifferSexp Classe per l'operatore di non uguaglianza

DifferSexp() - Constructor for class exp.DifferSexp

DivSexp - class exp.DivSexp.

DivSexp Classe per l'operatore /

DivSexp() - Constructor for class exp.DivSexp

DotToken - class exp.token.DotToken.

DotToken Classe per il token punto

DotToken() - Constructor for class exp.token.DotToken

DoubleSexp - class exp.DoubleSexp.

DoubleSexp Classe per i numeri reali (double)

DoubleSexp(double) - Constructor for class exp.DoubleSexp

DoubleSexp(Double) - Constructor for class exp.DoubleSexp

Costruttori

drawNode(int, int, int, int, boolean, String) - Method in class lisp.TreeSexpVisitor

Disegno di un nodo

drawTree(Sexp, Sexp, String) - Method in class lisp.TreeSexpVisitor

Disegno di un sottoalbero

DUMMY_BIND - Static variable in class lisp.Environment

Costante di binding finto per inizializzare l'environment locale (serve per implementare correttamente la setq)

dup() - Method in class exp.ConsSexp

dup() - Method in class exp.prolog.Clause

dup() - Method in class exp.prolog.Cut

dup() - Method in class exp.prolog.Symbol

dup() - Method in class exp.prolog.Var

dup() - Method in class exp.Sexp

Creazione di un clone dell'espressione

E

EMPTY_ENV - Static variable in class lisp.Environment

Costante di environment vuoto

EmptyList - class exp.prolog.EmptyList.

EmptyList Classe per le liste vuote

EmptyList() - Constructor for class exp.prolog.EmptyList

Environment - class lisp.Environment.

Environment Classe che mette a disposizione metodi di utilita' relativi all'environment

ENVIRONMENT - Static variable in class exp.Debug

Environment() - Constructor for class lisp.Environment

Costruttore di environment vuoto

Environment(Sexp, Sexp) - Constructor for class lisp.Environment

Costruttore con specifica dei binding

Environment(Sexp, Sexp, OutputDevice) - Constructor for class lisp.Environment

Costruttore con specifica di dispositivo di output

EOF - Static variable in class exp.Sexp

Costante fine file

EofToken - class exp.token.EofToken.

EofToken Classe per il token fine file

EofToken() - Constructor for class exp.token.EofToken

Eq - class exp.prolog.Eq.

Eq Classe per il simbolo ==

EQ - Static variable in class lisp.LispEvaluator

Eq() - Constructor for class exp.prolog.Eq

eq(Sexp, Sexp) - Static method in class exp.Sexp

Controlla l'uguaglianza tra espressioni

EqualSexp - class exp.EqualSexp.

EqualSexp Classe per l'operatore di uguaglianza

EqualSexp() - Constructor for class exp.EqualSexp

EquivSexp - class exp.EquivSexp.

EquivSexp Classe per l'operatore di equivalenza logica

EquivSexp() - Constructor for class exp.EquivSexp

EVAL - Static variable in class exp.Debug

EVAL - Static variable in class lisp.LispEvaluator

eval(Sexp) - Method in class lisp.LispEvaluator

Valutazione di un'espressione

eval(Sexp, Sexp) - Method in class lisp.LispEvaluator

Valutazione di un'espressione con environment locale

evalArgList(Sexp, Sexp) - Method in class lisp.LispEvaluator

Valutazione di una lista di argomenti

evalAtom(Sexp, Sexp) - Method in class lisp.LispEvaluator

Valutazione di un atomo

evalCond(Sexp, Sexp, Sexp) - Method in class lisp.LispEvaluator

Valutazione di cond

evalDefine(Sexp, Sexp, Sexp) - Method in class lisp.LispEvaluator

Valutazione di define

evalDefun(Sexp, Sexp, Sexp) - Method in class lisp.LispEvaluator

Valutazione di defun

evalIf(Sexp, Sexp, Sexp) - Method in class lisp.LispEvaluator

Valutazione di if

evalLambda(Sexp, Sexp, Sexp) - Method in class lisp.LispEvaluator

Valutazione di lambda

evalLet(Sexp, Sexp, Sexp) - Method in class lisp.LispEvaluator

Valutazione di let

evalProlog(String) - Method in class app.Main

Valutazione per il prolog

evalQuote(Sexp) - Method in class lisp.LispEvaluator

Valutazione di quote

evalSequence(Sexp, Sexp) - Method in class lisp.LispEvaluator

Valutazione di una sequenza

evalSet(Sexp, Sexp, Sexp) - Method in class lisp.LispEvaluator

Valutazione di set

evalSetq(Sexp, Sexp, Sexp) - Method in class lisp.LispEvaluator

Valutazione di setq

evalSexp() - Method in class app.Main

Valutazione dell'espressione data in input

EvalSexpVisitor - class lisp.EvalSexpVisitor.

TreeSexpVisitor Visitor che valuta le espressioni

EvalSexpVisitor(LispEvaluator) - Constructor for class lisp.EvalSexpVisitor

Costruttore

evalString(String) - Method in class app.Main

Valutazione di un'espressione contenuta in una stringa

execProg() - Method in class app.Main

Esecuzione di un programma

exitProg() - Method in class app.Main

Uscita dal programma

exp() - Method in class lisp.JavaParser

Lettura di un'espressione aritmetica

extendEnv(Sexp, Sexp) - Method in class lisp.Environment

Aggiunta di un simbolo all'environment globale

extendEnv(Sexp, Sexp, Sexp) - Static method in class lisp.Environment

Aggiunta in testa di un simbolo a un environment (globale o locale)

F

factor() - Method in class lisp.JavaParser

Lettura di un fattore

FALSE - Static variable in class exp.Sexp

Costante booleana false

funcPred() - Method in class prolog.PrologParser

Lettura di una funzione

FunToken - class exp.token.FunToken.

FunToken Classe per il token funzione

FunToken(String) - Constructor for class exp.token.FunToken

G

getAppletInfo() - Method in class app.StarterApplet

getBody() - Method in class exp.prolog.Clause

getCharacter() - Method in class exp.CharSexp

getFirst() - Method in class exp.prolog.Clause

getHead() - Method in class exp.prolog.Clause

getHead() - Method in class exp.prolog.Cut

getInsets() - Method in class app.BorderPanel

getInsets() - Method in class app.StarterApplet

getInternalName() - Method in class exp.prolog.Var

getMinimumSize() - Method in class app.SexpViewer

getName() - Method in class exp.prolog.Var

getPreferredSize() - Method in class app.SexpViewer

getRest() - Method in class exp.prolog.Clause

getSize() - Method in class lisp.TreeSexpVisitor

Calcolo delle dimensioni in pixel dell'albero

getVal() - Method in class exp.DoubleSexp

Selettori del valore

getVal() - Method in class exp.IntSexp

Selettori del valore

getVal() - Method in class exp.NumSexp

Metodi astratti

getVal() - Method in class exp.StringSexp

getValDouble() - Method in class exp.DoubleSexp

getValDouble() - Method in class exp.IntSexp

getValDouble() - Method in class exp.NumSexp

getValInt() - Method in class exp.DoubleSexp

getValInt() - Method in class exp.IntSexp

getValInt() - Method in class exp.NumSexp

getWord() - Method in class prolog.PrologLexer

Restituzione di un identificatore

getWord(boolean) - Method in class lisp.LispLexer

Restituzione del token corrente (in caso di WORD)

goalVars - Static variable in class exp.prolog.Prolog

Vettore delle variabili del goal; usato dal parser e dal valutatore

GreaterSexp - class exp.GreaterSexp.

GreaterSexp Classe per l'operatore maggiore

GreaterSexp() - Constructor for class exp.GreaterSexp

GrOrEqSexp - class exp.GrOrEqSexp.

GrOrEqSexp Classe per l'operatore maggiore o uguale

GrOrEqSexp() - Constructor for class exp.GrOrEqSexp

I

id - Variable in class exp.IdentSexp

Nome dell'identificatore

IdentSexp - class exp.IdentSexp.

IdentSexp Classe per gli identificatori

IdentSexp(String) - Constructor for class exp.IdentSexp

Costruttore

IF - Static variable in class lisp.LispEvaluator

IfToken - class exp.token.IfToken.

IfToken Classe per il token :-

IfToken() - Constructor for class exp.token.IfToken

impl() - Method in class lisp.JavaParser

Lettura di una implicazione

ImpSexp - class exp.ImpSexp.

ImpSexp Classe per l'operatore di implicazione

ImpSexp() - Constructor for class exp.ImpSexp

init() - Method in class app.StarterApplet

InputDevice - interface ui.InputDevice.

InputDevice Interfaccia per il dispositivo di ingresso

InputTextArea - class ui.InputTextArea.

InputTextArea Area di testo per l'input

InputTextArea() - Constructor for class ui.InputTextArea

insertVal(Sexp, Sexp) - Method in class exp.ConsSexp

Inserisce un binding in un environment (effetto collaterale!)

IntSexp - class exp.IntSexp.

IntSexp Classe per i numeri interi

IntSexp(int) - Constructor for class exp.IntSexp

IntSexp(Integer) - Constructor for class exp.IntSexp

Costruttori

isAList - Variable in class exp.ConsSexp

Indica se e' una lista o una coppia

isAnAtom(Sexp) - Static method in class exp.Sexp

Controlla se e' un atomo

isAtom() - Method in class exp.AtomSexp

Implementazione di alcuni metodi astratti di Sexp

isAtom() - Method in class exp.ConsSexp

Implementazione dei metodi astratti di Sexp

isAtom() - Method in class exp.Sexp

Controlla se e' un atomo

isAtom() - Method in class lisp.Environment

isAtom(Sexp) - Static method in class exp.Sexp

Controlla se e' un atomo

isEq(Sexp) - Method in class exp.ConsSexp

isEq(Sexp) - Method in class exp.IdentSexp

isEq(Sexp) - Method in class exp.NilSexp

isEq(Sexp) - Method in class exp.NumSexp

isEq(Sexp) - Method in class exp.Sexp

Controlla l'uguaglianza tra espressioni

isEq(Sexp) - Method in class lisp.Environment

isEq(Sexp, Sexp) - Static method in class exp.Sexp

Controlla l'uguaglianza tra espressioni

isLast() - Method in class exp.prolog.ArgList

isLast() - Method in class exp.prolog.Conj

isLast() - Method in class exp.prolog.List

isLast() - Method in class exp.prolog.TermList

isList() - Method in class exp.AtomSexp

isList() - Method in class exp.ConsSexp

isList() - Method in class exp.NilSexp

isList() - Method in class exp.Sexp

Controlla se e' una lista

isList() - Method in class lisp.Environment

isList(Sexp) - Static method in class exp.Sexp

Controlla se e' una lista

isNull() - Method in class exp.ConsSexp

isNull() - Method in class exp.IdentSexp

Implementazione dei metodi astratti di Sexp

isNull() - Method in class exp.NilSexp

isNull() - Method in class exp.NumSexp

Metodi implementati di Sexp

isNull() - Method in class exp.Sexp

Controlla se la lista e' vuota

isNull() - Method in class lisp.Environment

isNull(Sexp) - Static method in class exp.Sexp

Controlla se la lista e' vuota

isPair() - Method in class exp.Sexp

Controlla se e' una coppia

itemStateChanged(ItemEvent) - Method in class app.Main

Implementazione dell'interfaccia ItemListener

J

JavaParser - class lisp.JavaParser.

JavaParser Analizzatore sintattico che accetta la sintassi JAVA

JavaParser(Lexer) - Constructor for class lisp.JavaParser

Costruttore

JavaParser(Lexer, OutputDevice) - Constructor for class lisp.JavaParser

Costruttore

L

LAMBDA - Static variable in class lisp.LispEvaluator

lastComm() - Method in class app.Main

Riscrittura dell'ultimo comando

LBraToken - class exp.token.LBraToken.

LBraToken Classe per il token aperta parentesi quadra

LBraToken() - Constructor for class exp.token.LBraToken

left - Variable in class exp.ConsSexp

Primo lemento

length(Sexp) - Static method in class exp.Sexp

Lunghezza di una lista

LessSexp - class exp.LessSexp.

LessSexp Classe per l'operatore minore

LessSexp() - Constructor for class exp.LessSexp

LET - Static variable in class lisp.LispEvaluator

lex - Variable in class exp.Parser

Analizzatore lessicale (fornisce i token)

Lexer - class exp.Lexer.

Lexer Analizzatore lessicale genreico

LEXER - Static variable in class exp.Debug

Lexer(InputStream) - Constructor for class exp.Lexer

Lexer(Reader) - Constructor for class exp.Lexer

Costruttori

Lexer(String) - Constructor for class exp.Lexer

Lexer(String, OutputDevice) - Constructor for class exp.Lexer

LispEvaluator - class lisp.LispEvaluator.

LispEvaluator Valutatore di espressioni

LispEvaluator(SexpReader, Environment) - Constructor for class lisp.LispEvaluator

Costruttore

LispEvaluator(SexpReader, Environment, OutputDevice, OutputDevice) - Constructor for class lisp.LispEvaluator

Costruttore con specifica di dispositivo di output

LispLexer - class lisp.LispLexer.

LispLexer Analizzatore lessicale per il Lisp e Java

LispLexer(InputStream) - Constructor for class lisp.LispLexer

LispLexer(Reader) - Constructor for class lisp.LispLexer

Costruttori

LispLexer(String) - Constructor for class lisp.LispLexer

LispLexer(String, OutputDevice) - Constructor for class lisp.LispLexer

LispParser - class lisp.LispParser.

LispParser Analizzatore sintattico che accetta la sintassi LISP

LispParser(Lexer) - Constructor for class lisp.LispParser

Costruttore

LispParser(Lexer, OutputDevice) - Constructor for class lisp.LispParser

Costruttore

lispSexp() - Method in class app.Main

Visualizzazione della rappresentazione esterna Lisp

LispSexpVisitor - class lisp.LispSexpVisitor.

LispSexpVisitor Visitor che costruisce la rappresentazione esterna in forma lisp

LispSexpVisitor() - Constructor for class lisp.LispSexpVisitor

Costruttore

List - class exp.prolog.List.

List Classe per le liste

list() - Method in class prolog.PrologParser

Lettura di una lista compresa tra []

List(Sexp) - Constructor for class exp.prolog.List

List(Sexp, Sexp) - Constructor for class exp.prolog.List

list1(Sexp) - Static method in class exp.Sexp

Costruzione di una lista di un elemento

list2(Sexp, Sexp) - Static method in class exp.Sexp

Costruzione di una lista di 2 elementi

list3(Sexp, Sexp, Sexp) - Static method in class exp.Sexp

Costruzione di una lista di 3 elementi

list4(Sexp, Sexp, Sexp, Sexp) - Static method in class exp.Sexp

Costruzione di una lista di 4 elementi

list5(Sexp, Sexp, Sexp, Sexp, Sexp) - Static method in class exp.Sexp

Costruzione di una lista di 3 elementi

listArray(Sexp[]) - Static method in class exp.Sexp

Costruzione di una lista a partire da un array

listSexp() - Method in class lisp.LispParser

Lettura dei restanti elementi di una lista

loadProg() - Method in class app.Main

Caricamento di un programma

logExp() - Method in class lisp.JavaParser

Lettura di una espressione logica

logFact() - Method in class lisp.JavaParser

Lettura di un fattore logico

LogicSexp - class exp.LogicSexp.

LogicSexp Classe per gli operatori logici

LogicSexp(String) - Constructor for class exp.LogicSexp

logTerm() - Method in class lisp.JavaParser

Lettura di un termine logico

LParToken - class exp.token.LParToken.

LParToken Classe per il token aperta parentesi

LParToken() - Constructor for class exp.token.LParToken

LsOrEqSexp - class exp.LsOrEqSexp.

LsOrEqSexp Classe per l'operatore minore o uguale

LsOrEqSexp() - Constructor for class exp.LsOrEqSexp

M

Main - class app.Main.

Main Interprete JAVA-LISP-PROLOG

Main() - Constructor for class app.Main

Costruttore

main(String[]) - Static method in class app.Main

Main

member(Sexp, Sexp) - Static method in class exp.Sexp

Controlla la presenza in lista

MinusSexp - class exp.MinusSexp.

MinusSexp Classe per l'operatore -

MinusSexp() - Constructor for class exp.MinusSexp

more() - Method in class app.Main

Gestione del pulsante more per il prolog

more() - Method in class prolog.PrologEvaluator

Sospensione in attesa che l'utente scelga se vuole altre soluzioni

msgOut - Variable in class exp.Lexer

Dispositivo di output

msgOut - Variable in class exp.Parser

Dispositivo di output

MulSexp - class exp.MulSexp.

MulSexp Classe per l'operatore *

MulSexp() - Constructor for class exp.MulSexp

N

newProg() - Method in class app.Main

Azzeramento dell'area di programma

next() - Method in class exp.Lexer

Restituzione del prossimo token

next() - Method in class lisp.LispLexer

Restituzione del prossimo token

next() - Method in class prolog.PrologLexer

Lettura del prossimo token

nextToken() - Method in class exp.Parser

Consumo del token corrente e avanzamento al successivo

NIL - Static variable in class exp.Sexp

Costante lista vuota

NilSexp - class exp.NilSexp.

NilSexp Classe per le espressioni atomiche nulle

NilSexp() - Constructor for class exp.NilSexp

NonAtomicTerm - class exp.prolog.NonAtomicTerm.

NonAtomicTerm Classe per il i termini non atomici

NonAtomicTerm(Sexp, Sexp) - Constructor for class exp.prolog.NonAtomicTerm

NotEq - class exp.prolog.NotEq.

NotEq Classe per il simbolo \==

NotEq() - Constructor for class exp.prolog.NotEq

NotSexp - class exp.NotSexp.

NotSexp Classe per l'operatore not

NotSexp() - Constructor for class exp.NotSexp

NULL - Static variable in class lisp.LispEvaluator

NumSexp - class exp.NumSexp.

NumSexp Classe astratta per i numeri (interi e reali)

NumSexp() - Constructor for class exp.NumSexp

O

OP_AND - Static variable in class lisp.LispEvaluator

OP_DIFFER - Static variable in class lisp.LispEvaluator

OP_DIV - Static variable in class lisp.LispEvaluator

OP_EQUAL - Static variable in class lisp.LispEvaluator

OP_EQUIV - Static variable in class lisp.LispEvaluator

OP_GREATER - Static variable in class lisp.LispEvaluator

OP_GROREQ - Static variable in class lisp.LispEvaluator

OP_IMP - Static variable in class lisp.LispEvaluator

OP_LESS - Static variable in class lisp.LispEvaluator

OP_LSOREQ - Static variable in class lisp.LispEvaluator

OP_MINUS - Static variable in class lisp.LispEvaluator

OP_MUL - Static variable in class lisp.LispEvaluator

OP_NOT - Static variable in class lisp.LispEvaluator

OP_OR - Static variable in class lisp.LispEvaluator

OP_PLUS - Static variable in class lisp.LispEvaluator

operator() - Method in class prolog.PrologParser

Lettura di un operatore

operPred() - Method in class prolog.PrologParser

Lettura di un predicato con operatori

OpSexp - class exp.OpSexp.

OpSexp Classe per gli operatori

OpSexp(String) - Constructor for class exp.OpSexp

OrSexp - class exp.OrSexp.

OrSexp Classe per l'operatore Or

OrSexp() - Constructor for class exp.OrSexp

OutputDevice - interface ui.OutputDevice.

OutputDevice Interfaccia per il dispositivo di uscita

OutputTextArea - class ui.OutputTextArea.

OutputTextArea Area di testo per l'output

OutputTextArea() - Constructor for class ui.OutputTextArea

P

paint(Graphics) - Method in class app.SexpViewer

Disegno dell'albero

pairList(Sexp, Sexp, Sexp) - Static method in class exp.Sexp

Costruisce una lista di coppie date due liste (aggiungendola ad a) (serve per creare l'environment)

pairSexp() - Method in class lisp.LispParser

Lettura del secondo elemento di una coppia

parse() - Method in class exp.Parser

Lettura della prossima Sexp

Parser - class exp.Parser.

Parser Classe astratta per un generico analizzatore sintattico

PARSER - Static variable in class exp.Debug

Parser(Lexer) - Constructor for class exp.Parser

Costruttore

Parser(Lexer, OutputDevice) - Constructor for class exp.Parser

Costruttore

PipeToken - class exp.token.PipeToken.

PipeToken Classe per il token pipe |

PipeToken() - Constructor for class exp.token.PipeToken

PlusSexp - class exp.PlusSexp.

PlusSexp Classe per l'operatore +

PlusSexp() - Constructor for class exp.PlusSexp

polSexp(int) - Method in class app.Main

Visualizzazione della rappresentazione polacca postfissa

PolSexpVisitor - class lisp.PolSexpVisitor.

PolSexpVisitor Visitor che costruisce la forma polacca postfissa, prefissa e infissa

PolSexpVisitor(int) - Constructor for class lisp.PolSexpVisitor

Costruttore

PRIMITIVE - Static variable in class lisp.LispEvaluator

PRIN1 - Static variable in class lisp.LispEvaluator

PRINT - Static variable in class lisp.LispEvaluator

print(String) - Method in class exp.Lexer

Scrittura di un messaggio in output

print(String) - Method in class exp.Parser

Scrittura di un messaggio in output

print(String) - Method in class lisp.Environment

Scrittura di un messaggio in output

print(String) - Method in class lisp.LispEvaluator

Scrittura di un messaggio in output

print(String) - Method in class lisp.TreeSexpVisitor

Scrittura di un messaggio in output

print(String) - Method in class prolog.PrologEvaluator

Scrittura di un messaggio in output

print(String) - Method in interface ui.OutputDevice

print(String) - Method in class ui.OutputTextArea

println(String) - Method in class exp.Lexer

println(String) - Method in class exp.Parser

Scrittura di un messaggio in output con ritorno a capo

println(String) - Method in class lisp.Environment

Scrittura di un messaggio in output con ritorno a capo

println(String) - Method in class lisp.LispEvaluator

Scrittura di un messaggio in output con ritorno a capo

println(String) - Method in class lisp.TreeSexpVisitor

Scrittura di un messaggio in output con ritorno a capo

println(String) - Method in class prolog.PrologEvaluator

Scrittura di un messaggio in output con ritorno a capo

println(String) - Method in interface ui.OutputDevice

println(String) - Method in class ui.OutputTextArea

printResults() - Method in class prolog.PrologEvaluator

Stampa dei risultati

program() - Method in class prolog.PrologParser

Lettura di un programma

Prolog - class exp.prolog.Prolog.

Prolog Alcune variabili globali per il prolog

Prolog() - Constructor for class exp.prolog.Prolog

PrologEvaluator - class prolog.PrologEvaluator.

PrologEvaluator Valutatore Prolog

PrologEvaluator(OutputDevice, OutputDevice, Sexp, Clause, Button, Button, Button) - Constructor for class prolog.PrologEvaluator

Costruttore

PrologLexer - class prolog.PrologLexer.

PrologLexer Analizzatore lessicale per il Lisp e Java

PrologLexer(InputStream) - Constructor for class prolog.PrologLexer

PrologLexer(Reader) - Constructor for class prolog.PrologLexer

Costruttori

PrologLexer(String) - Constructor for class prolog.PrologLexer

PrologLexer(String, OutputDevice) - Constructor for class prolog.PrologLexer

PrologParser - class prolog.PrologParser.

PrologParser Analizzatore sintattico che accetta la sintassi Prolog

PrologParser(Lexer) - Constructor for class prolog.PrologParser

Costruttore

PrologParser(Lexer, OutputDevice) - Constructor for class prolog.PrologParser

Costruttore

PrologVisitor - interface exp.prolog.PrologVisitor.

PrologVisitor Interfaccia per il pattern visitor relativa al prolog

prop() - Method in class lisp.JavaParser

Lettura di una proposizione

Q

query() - Method in class prolog.PrologParser

Lettura di una query

QUOTE - Static variable in class lisp.LispEvaluator

QuoteToken - class exp.token.QuoteToken.

QuoteToken Classe per il token apice

QuoteToken() - Constructor for class exp.token.QuoteToken

R

rappSexp() - Method in class app.Main

Visualizzazione della rappresentazione esterna Lisp

RBraToken - class exp.token.RBraToken.

RBraToken Classe per il token chiusa parentesi quadra

RBraToken() - Constructor for class exp.token.RBraToken

READ - Static variable in class lisp.LispEvaluator

readChar() - Method in interface ui.InputDevice

readChar() - Method in class ui.InputTextArea

readSexp() - Method in class app.Main

Lettura di un'espressione da input per la primitiva read

readSexp() - Method in class exp.Parser

Lettura di un'espressione

readSexp() - Method in class lisp.JavaParser

Lettura di un'espressione

readSexp() - Method in class lisp.LispParser

Lettura di un'espressione

readSexp() - Method in interface lisp.SexpReader

Lettura di un'espressione da input per implementare la primitva read

readSexp() - Method in class prolog.PrologParser

Lettura di un'espressione

readSexp(Sexp) - Method in class app.Main

Lettura di un'espressione da input per simboli non definiti

readSexp(Sexp) - Method in interface lisp.SexpReader

Lettura di un'espressione da input per i simboli non definiti

readSexp(String) - Method in class app.Main

Lettura di un'espressione a partire da una stringa

readSexp(String, String) - Method in class app.Main

Lettura di un'espressione con una finestra di dialogo

readString() - Method in interface ui.InputDevice

readString() - Method in class ui.InputTextArea

ref() - Method in class exp.prolog.AtomicTerm

ref() - Method in class exp.prolog.NonAtomicTerm

relExp() - Method in class lisp.JavaParser

Lettura di un'espressione relazionale

RelSexp - class exp.RelSexp.

RelSexp Classe per gli operatori relazionali

RelSexp(String) - Constructor for class exp.RelSexp

resetEnv() - Method in class app.Main

Azzeramento dell'ambiente globale

resetHead() - Method in class exp.prolog.Cut

right - Variable in class exp.ConsSexp

Secondo elemento

RParToken - class exp.token.RParToken.

RParToken Classe per il token chiusa parentesi

RParToken() - Constructor for class exp.token.RParToken

run() - Method in class prolog.PrologEvaluator

Metodo run per l'esecuzione

S

saveProg() - Method in class app.Main

Salvataggio di un programma

searchInEnv(Sexp) - Method in class lisp.Environment

Ricerca di un simbolo nell'environment globale e restituzione del binding

searchInEnv(Sexp, Sexp) - Static method in class lisp.Environment

Ricerca di un simbolo nell'environment e restituzione del binding

selfEvaluating(Sexp) - Static method in class exp.Sexp

Controlla se l'espressione e' autovalutante

SemiCommaToken - class exp.token.SemiCommaToken.

SemiCommaToken Classe per il token punto e virgola

SemiCommaToken() - Constructor for class exp.token.SemiCommaToken

separator() - Method in class exp.ConsSexp

separator() - Method in class exp.prolog.Clause

separator() - Method in class exp.prolog.List

separator() - Method in class exp.prolog.Structure

SET - Static variable in class lisp.LispEvaluator

setCommandPanel() - Method in class app.Main

Inizializzazione del pannello di comando

setDebugPanel() - Method in class app.Main

Inizializzazione del pannello di debug

setHead(Sexp) - Method in class exp.prolog.Cut

setInputPanel() - Method in class app.Main

Inizializzazione del pannello di input

setMenu() - Method in class app.Main

Inizializzazione del menu

setOutputPanel() - Method in class app.Main

Inizializzazione del pannello di output

setPrimitiveNames() - Static method in class lisp.LispEvaluator

Costruzione della lista delle primitive

setProgramPanel() - Method in class app.Main

Inizializzazione del pannello di programma

SETQ - Static variable in class lisp.LispEvaluator

setVal(Sexp) - Method in class exp.prolog.Var

setWorkPanel() - Method in class app.Main

Inizializzazione del pannello di lavoro

Sexp - class exp.Sexp.

Sexp Classe astratta per le espressioni simboliche

sexp() - Method in class lisp.LispParser

Lettura di un'espressione simbolica

Sexp() - Constructor for class exp.Sexp

SexpReader - interface lisp.SexpReader.

SexpReader Componente che legge le espressioni dall'utente

SexpViewer - class app.SexpViewer.

SexpViewer Componente che visualizza le espressioni ad albero

SexpViewer(Sexp, boolean) - Constructor for class app.SexpViewer

Costruttore

SexpViewer(Sexp, boolean, OutputDevice) - Constructor for class app.SexpViewer

Costruttore con specifica del dispositivo di output per il debugging

SexpVisitor - interface exp.SexpVisitor.

SexpVisitor Interfaccia per il pattern visitor

showEnv() - Method in class app.Main

Visualizzazione dell'ambiente globale

showSexp() - Method in class app.Main

Visualizzazione dell'albero

StarterApplet - class app.StarterApplet.

StarterApplet Applet di partenza dell'applicazione

StarterApplet() - Constructor for class app.StarterApplet

step(Clause, int, Sexp, Sexp) - Method in class prolog.PrologEvaluator

Passo successivo della risoluzione

StringSexp - class exp.StringSexp.

StringSexp Classe per le stringhe

StringSexp(String) - Constructor for class exp.StringSexp

Structure - class exp.prolog.Structure.

Structure Classe per le strutture(funzioni)

Structure(Sexp, Sexp) - Constructor for class exp.prolog.Structure

Symbol - class exp.prolog.Symbol.

Symbol Classe per i simboli

Symbol(String) - Constructor for class exp.prolog.Symbol

T

term() - Method in class lisp.JavaParser

Lettura di un termine

term() - Method in class prolog.PrologParser

Lettura di un termine

TermList - class exp.prolog.TermList.

TermList Classe per le liste di termini

termList() - Method in class prolog.PrologParser

Lettura di una lista di termini

TermList(Sexp) - Constructor for class exp.prolog.TermList

TermList(Sexp, Sexp) - Constructor for class exp.prolog.TermList

TokenSexp - class exp.token.TokenSexp.

TokenSexp Classe astratta generica per i token

TokenSexp(String) - Constructor for class exp.token.TokenSexp

toSimpleString() - Method in class exp.ConsSexp

toSimpleString() - Method in class exp.DoubleSexp

toSimpleString() - Method in class exp.IdentSexp

toSimpleString() - Method in class exp.IntSexp

toSimpleString() - Method in class exp.NilSexp

toSimpleString() - Method in class exp.prolog.EmptyList

toSimpleString() - Method in class exp.prolog.List

toSimpleString() - Method in class exp.prolog.TermList

toSimpleString() - Method in class exp.prolog.Var

toSimpleString() - Method in class exp.Sexp

Conversione a stringa

toSimpleString() - Method in class exp.StringSexp

toSimpleString() - Method in class lisp.Environment

toString() - Method in class exp.CharSexp

toString() - Method in class exp.ConsSexp

toString() - Method in class exp.DoubleSexp

Implementazione dei metodi di Sexp

toString() - Method in class exp.IdentSexp

toString() - Method in class exp.IntSexp

Implementazione dei metodi di Sexp

toString() - Method in class exp.NilSexp

toString() - Method in class exp.prolog.Clause

toString() - Method in class exp.prolog.Conj

toString() - Method in class exp.prolog.EmptyList

toString() - Method in class exp.prolog.NonAtomicTerm

toString() - Method in class exp.prolog.TermList

toString() - Method in class exp.prolog.Var

toString() - Method in class exp.StringSexp

toString() - Method in class lisp.Environment

Conversione a stringa con un binding per ogni linea

toString(Sexp) - Static method in class exp.Sexp

Conversione a stringa (stile funz.)

trailStack - Static variable in class exp.prolog.Prolog

Stack delle varabili legate; usato dal visitor che unifica e dal valutatore

TreeSexpVisitor - class lisp.TreeSexpVisitor.

TreeSexpVisitor Visitor che visualizza l'albero delle espressioni

TreeSexpVisitor(boolean, Graphics, OutputDevice) - Constructor for class lisp.TreeSexpVisitor

Costruttore con specifica del dispositivo di output per il debugging

TreeSexpVisitor(Graphics) - Constructor for class lisp.TreeSexpVisitor

Costruttore

True - class exp.prolog.True.

True Classe per il simbolo True

TRUE - Static variable in class exp.Sexp

Costante booleana true

True() - Constructor for class exp.prolog.True

U

unbound() - Method in class exp.prolog.Var

unfold(Clause, Clause) - Method in class prolog.PrologEvaluator

Unificazione e creazione di un nuovo risolvente

Unif - class exp.prolog.Unif.

Unif Classe per il simbolo ==

Unif() - Constructor for class exp.prolog.Unif

unified - Variable in class prolog.UnifyVisitor

UnifyVisitor - class prolog.UnifyVisitor.

UnifyVisitor Visitor per l'unificazione

UnifyVisitor() - Constructor for class prolog.UnifyVisitor

unwindtrail(Stack, int) - Method in class prolog.PrologEvaluator

Estrazione delle variabili dallo stack e reimpostazione del riferimento a se stesse

V

val() - Method in class lisp.EvalSexpVisitor

Risultato della valutazione

val() - Method in class lisp.LispSexpVisitor

Restituzione del risultato

val() - Method in class lisp.PolSexpVisitor

Restituzione del risultato

value() - Method in class exp.prolog.Var

Var - class exp.prolog.Var.

Var Classe per le variabili

Var(String) - Constructor for class exp.prolog.Var

varTable - Static variable in class exp.prolog.Prolog

Tabella hash delle variabili trovate; usata dal lexer e nella dup

visitArgList(Sexp, Sexp) - Method in class prolog.UnifyVisitor

visitAtomSexp(Sexp) - Method in class lisp.TreeSexpVisitor

Visita di un atomo generico

visitConsSexp(ConsSexp) - Method in interface exp.SexpVisitor

Visita di un espressione strutturata

visitConsSexp(ConsSexp) - Method in class lisp.EvalSexpVisitor

visitConsSexp(ConsSexp) - Method in class lisp.LispSexpVisitor

visitConsSexp(ConsSexp) - Method in class lisp.PolSexpVisitor

visitConsSexp(ConsSexp) - Method in class lisp.TreeSexpVisitor

visitEmptyList(EmptyList, Sexp) - Method in interface exp.prolog.PrologVisitor

Visita di una lista vuota

visitEmptyList(EmptyList, Sexp) - Method in class prolog.UnifyVisitor

visitIdentSexp(IdentSexp) - Method in interface exp.SexpVisitor

Visita di un espressione identificatore

visitIdentSexp(IdentSexp) - Method in class lisp.EvalSexpVisitor

visitIdentSexp(IdentSexp) - Method in class lisp.LispSexpVisitor

visitIdentSexp(IdentSexp) - Method in class lisp.PolSexpVisitor

visitIdentSexp(IdentSexp) - Method in class lisp.TreeSexpVisitor

visitNilSexp(NilSexp) - Method in interface exp.SexpVisitor

Visita di un espressione NIL

visitNilSexp(NilSexp) - Method in class lisp.EvalSexpVisitor

visitNilSexp(NilSexp) - Method in class lisp.LispSexpVisitor

visitNilSexp(NilSexp) - Method in class lisp.PolSexpVisitor

visitNilSexp(NilSexp) - Method in class lisp.TreeSexpVisitor

visitNumSexp(NumSexp) - Method in interface exp.SexpVisitor

Visita di un espressione numerica

visitNumSexp(NumSexp) - Method in class lisp.EvalSexpVisitor

visitNumSexp(NumSexp) - Method in class lisp.LispSexpVisitor

visitNumSexp(NumSexp) - Method in class lisp.PolSexpVisitor

visitNumSexp(NumSexp) - Method in class lisp.TreeSexpVisitor

visitStructure(Structure, Sexp) - Method in interface exp.prolog.PrologVisitor

Visita di una struttura

visitStructure(Structure, Sexp) - Method in class prolog.UnifyVisitor

visitSymbol(Symbol, Sexp) - Method in interface exp.prolog.PrologVisitor

Visita di un simbolo

visitSymbol(Symbol, Sexp) - Method in class prolog.UnifyVisitor

visitTermList(TermList, Sexp) - Method in interface exp.prolog.PrologVisitor

Visita di una lista

visitTermList(TermList, Sexp) - Method in class prolog.UnifyVisitor

visitVar(Var, Sexp) - Method in interface exp.prolog.PrologVisitor

Visita di una variabile

visitVar(Var, Sexp) - Method in class prolog.CompareVisitor

visitVar(Var, Sexp) - Method in class prolog.UnifyVisitor

W

widthNode(String) - Method in class lisp.TreeSexpVisitor

Calcola la larghezza in pixel di un nodo in base alla stringa

Y

yNode(int) - Method in class lisp.TreeSexpVisitor

Calcola la y di un nodo in base al livello

A B C D E F G I J L M N O P Q R S T U V W Y