name.java

来自「编译原理大作业---tiger编译器 包括semant,translate,m」· Java 代码 · 共 22 行

package Types;

public class NAME extends Type {
   public Symbol.Symbol name;
   private Type binding;
   public NAME(Symbol.Symbol n) { name = n; }
   public boolean isLoop() {
      Type b = binding;
      boolean any;
      binding = null;
      if (b==null) any = true;
      else if (b instanceof NAME) any = ((NAME)b).isLoop();
           else any = false;
      binding = b;
      return any;
   }

   public Type actual() {return binding.actual();}
   public boolean coerceTo(Type t) { return this.actual().coerceTo(t); }
   public void bind(Type t) {binding = t;}
}