step10
Class type.DoubleT

java.lang.Object
  extended by java.util.AbstractCollection
      extended by java.util.AbstractList
          extended by java.util.ArrayList
              extended by step10.type.T
                  extended by step10.type.DoubleT
All Implemented Interfaces:
Serializable, Cloneable, Iterable, Collection, List, RandomAccess
Direct Known Subclasses:
type.DAdd, type.DBegin, type.DCall, type.DDeref, type.DDiv, type.DIf, type.DLet, type.DLetrec, type.DMinus, type.DMul, type.DSub, type.DVar, type.I2D
Enclosing class:
type

public static class type.DoubleT
extends type.T

base class for double operations, itself used to type a Double leaf.

See Also:
Serialized Form

Field Summary
 
Fields inherited from class step10.type.T
map, type
 
Fields inherited from class java.util.AbstractList
modCount
 
Constructor Summary
protected type.DoubleT()
           
protected type.DoubleT(Double d)
           
protected type.DoubleT(List sub)
           
protected type.DoubleT(Object type, List sub)
           
 
Method Summary
protected  String asString()
          describe type.
 String toPrefix()
          returns type-specific prefix.
 
Methods inherited from class step10.type.T
type
 
Methods inherited from class java.util.ArrayList
add, add, addAll, addAll, clear, clone, contains, ensureCapacity, get, indexOf, isEmpty, lastIndexOf, remove, remove, removeRange, set, size, toArray, toArray, trimToSize
 
Methods inherited from class java.util.AbstractList
equals, hashCode, iterator, listIterator, listIterator, subList
 
Methods inherited from class java.util.AbstractCollection
containsAll, removeAll, retainAll, toString
 
Methods inherited from class java.lang.Object
finalize, getClass, notify, notifyAll, wait, wait, wait
 
Methods inherited from interface java.util.List
containsAll, equals, hashCode, iterator, listIterator, listIterator, removeAll, retainAll, subList
 

Constructor Detail

type.DoubleT

protected type.DoubleT(Double d)

type.DoubleT

protected type.DoubleT()

type.DoubleT

protected type.DoubleT(List sub)

type.DoubleT

protected type.DoubleT(Object type,
                       List sub)
Method Detail

asString

protected String asString()
Description copied from class: type.T
describe type.

Specified by:
asString in class type.T

toPrefix

public String toPrefix()
Description copied from class: type.T
returns type-specific prefix.

Specified by:
toPrefix in class type.T