public class TypeHierarchy
extends java.lang.Object
Constructor and Description |
---|
TypeHierarchy(Services services) |
Modifier and Type | Method and Description |
---|---|
java.util.List<Sort> |
getArraySortList() |
java.util.Set<SortNode> |
getChildren(Sort s)
Returns the children of a sort s.
|
java.util.Set<SortNode> |
getParents(Sort s)
Returns the parents of a sort s.
|
java.util.List<Sort> |
getSortList() |
void |
print() |
void |
removeInterfaceNodes()
Removes all interface sorts from the type hierarchy.
|
public TypeHierarchy(Services services)
public java.util.List<Sort> getSortList()
public java.util.List<Sort> getArraySortList()
public java.util.Set<SortNode> getChildren(Sort s)
s
- A sort s.public java.util.Set<SortNode> getParents(Sort s)
s
- A sort s.public void removeInterfaceNodes()
public void print()
Copyright © 2003-2019 The KeY-Project.