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

java.lang.Object
  extended by edu.neu.ccs.demeterf.typecheck.classes.TypeT
      extended by edu.neu.ccs.demeterf.typecheck.classes.PrimT
          extended by edu.neu.ccs.demeterf.typecheck.classes.DoubleT

public class DoubleT
extends PrimT


Field Summary
 
Fields inherited from class edu.neu.ccs.demeterf.typecheck.classes.TypeT
boolT, doubleT, floatT, intT, stringT
 
Constructor Summary
DoubleT()
           
 
Method Summary
 boolean equals(java.lang.Object o)
           
static DoubleT parse(java.io.InputStream inpt)
           
static DoubleT parse(java.io.Reader inpt)
           
static DoubleT parse(java.lang.String inpt)
           
 java.lang.String toString()
           
 
Methods inherited from class edu.neu.ccs.demeterf.typecheck.classes.PrimT
forName, isPrim
 
Methods inherited from class edu.neu.ccs.demeterf.typecheck.classes.TypeT
asAlphaT, findType, isAlphaT, toUnionT, union
 
Methods inherited from class java.lang.Object
getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Constructor Detail

DoubleT

public DoubleT()
Method Detail

equals

public boolean equals(java.lang.Object o)
Overrides:
equals in class java.lang.Object

parse

public static DoubleT parse(java.lang.String inpt)
                     throws ParseException
Throws:
ParseException

parse

public static DoubleT parse(java.io.InputStream inpt)
                     throws ParseException
Throws:
ParseException

parse

public static DoubleT parse(java.io.Reader inpt)
                     throws ParseException
Throws:
ParseException

toString

public java.lang.String toString()
Overrides:
toString in class PrimT