step10
Class type.BooleanT

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

All Implemented Interfaces:

Serializable, Cloneable, Iterable, Collection, List, RandomAccess

Direct Known Subclasses:

type.BAnd, type.BAndIf, type.BBegin, type.BCall, type.BDeref, type.BEq, type.BIf, type.BLet, type.BLetrec, type.BNe, type.BNot, type.BOr, type.BOrIf, type.BVar, type.BXor, type.DEq, type.DGe, type.DGt, type.DLe, type.DLt, type.DNe, type.IEq, type.IGe, type.IGt, type.ILe, type.ILt, type.INe, type.SEq, type.SGe, type.SGt, type.SLe, type.SLt, type.SNe

Enclosing class:

type

public static class type.BooleanT
extends type.T

base class for boolean operations, itself used to type an Boolean 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.BooleanT()
protected	type.BooleanT(Boolean b)
protected	type.BooleanT(List sub)
protected	type.BooleanT(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.BooleanT

protected type.BooleanT(Boolean b)

type.BooleanT

protected type.BooleanT()

type.BooleanT

protected type.BooleanT(List sub)

type.BooleanT

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