edu.neu.ccs.demeterf.typecheck.classes
Class AlphaT.id

java.lang.Object
  edu.neu.ccs.demeterf.control.Fields.any
      edu.neu.ccs.demeterf.typecheck.classes.AlphaT.id

Enclosing class:

AlphaT

public static class AlphaT.id
extends Fields.any

Constructor Summary

AlphaT.id()

Method Summary

Methods inherited from class java.lang.Object

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

Constructor Detail

AlphaT.id

public AlphaT.id()