public abstract class TypeHierarchy<T,J extends LatticeElement<T>> extends AbstractBitwiseHierarchyImpl<T,J> implements TypeLattice<T>, Externalizable
AbstractBitwiseHierarchyImpl.HierCodeComparatorfixedRoot, 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, upperBorderclone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, waitgetCode, getMember, getSortedMap, getSortedMembers, hasKey, immediateChildren, immediateParents, joinCode, jointMembersCode, lowerBorder, lowerDescendants, meetCode, metMembersCode, parents, parents, removeMember, removeMember, size, upperAncestors, upperBorderprotected J getNode(T name)
getNode in class AbstractBitwiseHierarchyImpl<T,J extends LatticeElement<T>>public void writeExternal(ObjectOutput objectOutput) throws IOException
writeExternal in interface ExternalizablewriteExternal in class AbstractBitwiseHierarchyImpl<T,J extends LatticeElement<T>>IOExceptionpublic void readExternal(ObjectInput objectInput) throws IOException, ClassNotFoundException
readExternal in interface ExternalizablereadExternal in class AbstractBitwiseHierarchyImpl<T,J extends LatticeElement<T>>IOExceptionClassNotFoundExceptionpublic 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–2019 JBoss by Red Hat. All rights reserved.