de.uka.ilkd.key.smt

Class SortWrapper

java.lang.Object

de.uka.ilkd.key.smt.SortWrapper

class SortWrapper
extends java.lang.Object

Field Summary

Fields

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 Summary

Constructors

Constructor and Description
SortWrapper(Sort sort, java.lang.StringBuffer name, java.lang.StringBuffer predicateName)

Method Summary

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.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

sort

private Sort sort

name

private java.lang.StringBuffer name

predicateName

private java.lang.StringBuffer predicateName

parentSorts

private java.util.LinkedList<SortWrapper> parentSorts

Constructor Detail

SortWrapper

public SortWrapper(Sort sort,
                   java.lang.StringBuffer name,
                   java.lang.StringBuffer predicateName)

Method Detail

extendsTrans

public boolean extendsTrans(SortWrapper sw)

getSort

public Sort getSort()

getName

public java.lang.StringBuffer getName()

getPredicateName

public java.lang.StringBuffer getPredicateName()

getParents

public java.util.LinkedList<SortWrapper> getParents()

computeParentSorts

void computeParentSorts(java.util.LinkedList<SortWrapper> sorts,
                        boolean explicitNullHierarchy,
                        boolean explicitHierarchy,
                        Services services)

removeGrandParents

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.

addParent

private boolean addParent(SortWrapper parent,
                          boolean explicitNullHierarchy,
                          boolean explicitHierarchy,
                          Services services)