com.sri.oaa2.icl
Class AnonNumberer

java.lang.Object
  |
  +--com.sri.oaa2.icl.AnonNumberer

All Implemented Interfaces:

OaaPrologVisitor

public class AnonNumberer

extends java.lang.Object

implements OaaPrologVisitor

Constructor Summary

protected

AnonNumberer()

Method Summary

static AnonNumberer	getInstance() Get an instance of a AnonNumberer object.
IclTerm	renumber(IclTerm t) Renumber the anonymous variables in the term
java.lang.Object	visit(IclFloat node, java.lang.Object data)
java.lang.Object	visit(IclGroup node, java.lang.Object data)
java.lang.Object	visit(IclInt node, java.lang.Object data)
java.lang.Object	visit(IclList node, java.lang.Object data)
java.lang.Object	visit(IclStr node, java.lang.Object data)
java.lang.Object	visit(IclStruct node, java.lang.Object data)
java.lang.Object	visit(IclTerm node, java.lang.Object data)
java.lang.Object	visit(IclVar node, java.lang.Object data)

Methods inherited from class java.lang.Object

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

Constructor Detail

AnonNumberer

protected AnonNumberer()

Method Detail

visit

public java.lang.Object visit(IclTerm node,
                              java.lang.Object data)

Specified by:

visit in interface OaaPrologVisitor

visit

public java.lang.Object visit(IclStruct node,
                              java.lang.Object data)

Specified by:

visit in interface OaaPrologVisitor

visit

public java.lang.Object visit(IclList node,
                              java.lang.Object data)

Specified by:

visit in interface OaaPrologVisitor

visit

public java.lang.Object visit(IclGroup node,
                              java.lang.Object data)

Specified by:

visit in interface OaaPrologVisitor

visit

public java.lang.Object visit(IclInt node,
                              java.lang.Object data)

Specified by:

visit in interface OaaPrologVisitor

visit

public java.lang.Object visit(IclFloat node,
                              java.lang.Object data)

Specified by:

visit in interface OaaPrologVisitor

visit

public java.lang.Object visit(IclStr node,
                              java.lang.Object data)

Specified by:

visit in interface OaaPrologVisitor

visit

public java.lang.Object visit(IclVar node,
                              java.lang.Object data)

Specified by:

visit in interface OaaPrologVisitor

getInstance

public static AnonNumberer getInstance()

Get an instance of a AnonNumberer object. This avoids multiple calls to the constructor. AnonNumberer is thread safe.

renumber

public IclTerm renumber(IclTerm t)

Renumber the anonymous variables in the term

Returns:

IclTerm: the new version of t