step10
Class type.IntegerT

java.lang.Object
  java.util.AbstractCollection
      java.util.AbstractList
          java.util.ArrayList
              step10.type.T
                  step10.type.IntegerT

All Implemented Interfaces:

Serializable, Cloneable, Iterable, Collection, List, RandomAccess

Direct Known Subclasses:

type.IAdd, type.IAnd, type.IBegin, type.ICall, type.IDeref, type.IDiv, type.IIf, type.ILet, type.ILetrec, type.ILsh, type.IMinus, type.IMod, type.IMul, type.INeg, type.IOr, type.IRsh, type.ISub, type.IVar, type.IXor

Enclosing class:

type

public static class type.IntegerT
extends type.T

base class for integer operations, itself used to type an Integer 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.IntegerT()
protected	type.IntegerT(Integer i)
protected	type.IntegerT(List sub)
protected	type.IntegerT(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.IntegerT

protected type.IntegerT(Integer i)

type.IntegerT

protected type.IntegerT()

type.IntegerT

protected type.IntegerT(List sub)

type.IntegerT

protected type.IntegerT(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