class SortWrapper
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
private java.lang.StringBuffer |
name |
private java.util.LinkedList<SortWrapper> |
parentSorts |
private java.lang.StringBuffer |
predicateName |
private Sort |
sort |
Constructor and Description |
---|
SortWrapper(Sort sort,
java.lang.StringBuffer name,
java.lang.StringBuffer predicateName) |
Modifier and Type | Method and Description |
---|---|
private boolean |
addParent(SortWrapper parent,
boolean explicitNullHierarchy,
boolean explicitHierarchy,
Services services) |
(package private) void |
computeParentSorts(java.util.LinkedList<SortWrapper> sorts,
boolean explicitNullHierarchy,
boolean explicitHierarchy,
Services services) |
boolean |
extendsTrans(SortWrapper sw) |
java.lang.StringBuffer |
getName() |
java.util.LinkedList<SortWrapper> |
getParents() |
java.lang.StringBuffer |
getPredicateName() |
Sort |
getSort() |
private void |
removeGrandParents(SortWrapper parent)
Removes all sorts from parentSorts, that are not extended by this sort
directly, i.e. the sort
parent is between
this.getSort() and the considered sort. |
private Sort sort
private java.lang.StringBuffer name
private java.lang.StringBuffer predicateName
private java.util.LinkedList<SortWrapper> parentSorts
public SortWrapper(Sort sort, java.lang.StringBuffer name, java.lang.StringBuffer predicateName)
public boolean extendsTrans(SortWrapper sw)
public Sort getSort()
public java.lang.StringBuffer getName()
public java.lang.StringBuffer getPredicateName()
public java.util.LinkedList<SortWrapper> getParents()
void computeParentSorts(java.util.LinkedList<SortWrapper> sorts, boolean explicitNullHierarchy, boolean explicitHierarchy, Services services)
private void removeGrandParents(SortWrapper parent)
parent
is between
this.getSort()
and the considered sort.private boolean addParent(SortWrapper parent, boolean explicitNullHierarchy, boolean explicitHierarchy, Services services)