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

java.lang.Object
  edu.neu.ccs.demeterf.typecheck.classes.TypeT
      edu.neu.ccs.demeterf.typecheck.classes.AlphaT

public class AlphaT
extends TypeT

Nested Class Summary

static class	AlphaT.id
static class	AlphaT.tag

Field Summary

ident	id
int	tag

Fields inherited from class edu.neu.ccs.demeterf.typecheck.classes.TypeT

boolT, doubleT, floatT, intT, stringT

Constructor Summary

AlphaT(ident i)

AlphaT(ident id, int tag)

Method Summary

AlphaT	asAlphaT()
boolean	equals(java.lang.Object o)
Type	findType()
boolean	isAlphaT()
static AlphaT	parse(java.io.InputStream inpt)
static AlphaT	parse(java.io.Reader inpt)
static AlphaT	parse(java.lang.String inpt)
java.lang.String	toString()

Methods inherited from class edu.neu.ccs.demeterf.typecheck.classes.TypeT

isPrim, toUnionT, union

Methods inherited from class java.lang.Object

getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Detail

id

public final ident id

tag

public final int tag

Constructor Detail

AlphaT

public AlphaT(ident id,
              int tag)

AlphaT

public AlphaT(ident i)

Method Detail

equals

public boolean equals(java.lang.Object o)

Overrides:

equals in class java.lang.Object

parse

public static AlphaT parse(java.lang.String inpt)
                    throws ParseException

Throws:

ParseException

parse

public static AlphaT parse(java.io.InputStream inpt)
                    throws ParseException

Throws:

ParseException

parse

public static AlphaT parse(java.io.Reader inpt)
                    throws ParseException

Throws:

ParseException

findType

public Type findType()

Overrides:

findType in class TypeT

isAlphaT

public boolean isAlphaT()

Overrides:

isAlphaT in class TypeT

asAlphaT

public AlphaT asAlphaT()

Overrides:

asAlphaT in class TypeT

toString

public java.lang.String toString()

Overrides:

toString in class TypeT