Package iota

Class TypeNameDefn

java.lang.Object
iota.TypeNameDefn
All Implemented Interfaces:
Defn

class TypeNameDefn extends Object implements Defn
A definition of a type name. The only type name in iota is the one induced by the program being compiled (eg, the type name T for the program T.java).
  • Constructor Details

    • TypeNameDefn

      public TypeNameDefn(Type type)
      Constructs a type name definition for a type.
      Parameters:
      type - the definition's type.
  • Method Details

    • type

      public Type type()
      Returns the type for this definition.
      Specified by:
      type in interface Defn
      Returns:
      the definition's type.