exp.prolog
Class Symbol

java.lang.Object
  |
  +--exp.Sexp
        |
        +--exp.AtomSexp
              |
              +--exp.IdentSexp
                    |
                    +--exp.prolog.AtomicTerm
                          |
                          +--exp.prolog.Symbol

Direct Known Subclasses:

Eq, NotEq, True, Unif

public class Symbol

extends AtomicTerm

Symbol Classe per i simboli

Version:

2/2/2000

Author:

Marco Chiesi

Fields inherited from class exp.IdentSexp

id

Fields inherited from class exp.Sexp

EOF, FALSE, NIL, TRUE

Constructor Summary

Symbol(java.lang.String id)

Method Summary

void	accept2(PrologVisitor v, Sexp that) Accettazione di un visitor per il prolog
Sexp	dup() Creazione di un clone dell'espressione

Methods inherited from class exp.prolog.AtomicTerm

ref

Methods inherited from class exp.IdentSexp

accept, isEq, isNull, toSimpleString, toString

Methods inherited from class exp.AtomSexp

car, cdr, isAtom, isList

Methods inherited from class exp.Sexp

append, assoc, atom, caar, cadr, car, cdar, cddr, cdr, cons, eq, isAnAtom, isAtom, isEq, isList, isNull, isPair, length, list1, list2, list3, list4, list5, listArray, member, pairList, selfEvaluating, toString

Methods inherited from class java.lang.Object

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

Constructor Detail

Symbol

public Symbol(java.lang.String id)

Method Detail

accept2

public void accept2(PrologVisitor v,
                    Sexp that)

Description copied from class: Sexp

Accettazione di un visitor per il prolog

Overrides:

accept2 in class Sexp

dup

public Sexp dup()
         throws java.lang.CloneNotSupportedException

Description copied from class: Sexp

Creazione di un clone dell'espressione

Overrides:

dup in class Sexp