public abstract class TypeHierarchy<T,J extends LatticeElement<T>> extends AbstractBitwiseHierarchyImpl<T,J> implements TypeLattice<T>, Externalizable
AbstractBitwiseHierarchyImpl.HierCodeComparator
fixedRoot, line
Constructor and Description |
---|
TypeHierarchy() |
Modifier and Type | Method and Description |
---|---|
void |
addMember(T val,
BitSet key) |
Collection<T> |
ancestors(BitSet key) |
Collection<T> |
ancestors(T x) |
Collection<T> |
children(BitSet key) |
Collection<T> |
children(T y) |
Collection<T> |
descendants(BitSet key) |
Collection<T> |
descendants(T y) |
BitSet |
getBottomCode() |
protected J |
getNode(T name) |
BitSet |
getTopCode() |
protected Collection<T> |
parentValues(J node) |
void |
readExternal(ObjectInput objectInput) |
void |
setBottomCode(BitSet bottom) |
void |
setTopCode(BitSet top) |
String |
toString() |
protected abstract J |
wrap(T val,
BitSet key) |
void |
writeExternal(ObjectOutput objectOutput) |
add, clear, contains, getCode, getMember, getNodeByKey, getNodes, getSortedMap, getSortedMembers, hasKey, immediateChildren, immediateParents, isEmpty, joinCode, jointMembersCode, lowerBorder, lowerDescendants, meetCode, metMembersCode, numBit, parents, parents, remove, removeMember, removeMember, size, stringToBitSet, superset, supersetOrEqualset, toBinaryString, toBinaryString, upperAncestors, upperBorder
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
getCode, getMember, getSortedMap, getSortedMembers, hasKey, immediateChildren, immediateParents, joinCode, jointMembersCode, lowerBorder, lowerDescendants, meetCode, metMembersCode, parents, parents, removeMember, removeMember, size, upperAncestors, upperBorder
protected J getNode(T name)
getNode
in class AbstractBitwiseHierarchyImpl<T,J extends LatticeElement<T>>
public void writeExternal(ObjectOutput objectOutput) throws IOException
writeExternal
in interface Externalizable
writeExternal
in class AbstractBitwiseHierarchyImpl<T,J extends LatticeElement<T>>
IOException
public void readExternal(ObjectInput objectInput) throws IOException, ClassNotFoundException
readExternal
in interface Externalizable
readExternal
in class AbstractBitwiseHierarchyImpl<T,J extends LatticeElement<T>>
IOException
ClassNotFoundException
public BitSet getTopCode()
getTopCode
in interface TypeLattice<T>
public BitSet getBottomCode()
getBottomCode
in interface TypeLattice<T>
public void setBottomCode(BitSet bottom)
setBottomCode
in interface TypeLattice<T>
public void setTopCode(BitSet top)
setTopCode
in interface TypeLattice<T>
public void addMember(T val, BitSet key)
addMember
in interface CodedHierarchy<T>
protected Collection<T> parentValues(J node)
parentValues
in class AbstractBitwiseHierarchyImpl<T,J extends LatticeElement<T>>
public Collection<T> children(T y)
children
in interface CodedHierarchy<T>
public Collection<T> descendants(T y)
descendants
in interface CodedHierarchy<T>
public Collection<T> children(BitSet key)
children
in interface CodedHierarchy<T>
public Collection<T> descendants(BitSet key)
descendants
in interface CodedHierarchy<T>
public Collection<T> ancestors(T x)
ancestors
in interface CodedHierarchy<T>
public Collection<T> ancestors(BitSet key)
ancestors
in interface CodedHierarchy<T>
Copyright © 2001–2015 JBoss by Red Hat. All rights reserved.