anonnumberer.java

SRI international 发布的OAA框架软件

package com.sri.oaa2.icl;

public class AnonNumberer implements OaaPrologVisitor
{
  /// Our singleton instance
  private static final AnonNumberer singleton = new AnonNumberer();

  protected AnonNumberer() 
  {
  }

  public Object visit(IclTerm node, Object data) 
  {
    node.childrenAccept(this, null);
    return null;
  }
  
  public Object visit(IclStruct node, Object data) 
  {
    node.childrenAccept(this, null);
    return null;
  }
  
  public Object visit(IclList node, Object data) 
  {
    node.childrenAccept(this, null);
    return null;
  }
  
  public Object visit(IclGroup node, Object data) 
  {
    node.childrenAccept(this, null);
    return null;
  }
  
  public Object visit(IclInt node, Object data) 
  {
    return null;
  }
  
  public Object visit(IclFloat node, Object data) 
  {
    return null;
  }
  
  public Object visit(IclStr node, Object data) 
  {
    return null;
  }
  
  public Object visit(IclVar node, Object data) 
  {
    node.renumber();
    return null;
  }
  
  /**
   * Get an instance of a AnonNumberer object.  This avoids multiple calls to the constructor.
   * AnonNumberer is thread safe.
   */
  public static AnonNumberer getInstance() 
  {
    return singleton;
  }

  /**
   * Renumber the anonymous variables in the term
   *
   * @param IclTerm t: the term to renumber
   * @return IclTerm: the new version of t
   */
  public IclTerm renumber(IclTerm t) 
  {
    t.accept(this, null);
    return t;
  }
}