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

java.lang.Object
  edu.neu.ccs.demeterf.typecheck.classes.TypeT
      edu.neu.ccs.demeterf.typecheck.classes.PrimT
          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