de.uka.ilkd.key.logic.sort

Class ProxySort

java.lang.Object

de.uka.ilkd.key.logic.sort.AbstractSort

de.uka.ilkd.key.logic.sort.ProxySort

All Implemented Interfaces:

Named, Sort

public class ProxySort
extends AbstractSort

Field Summary

Fields inherited from interface de.uka.ilkd.key.logic.sort.Sort

ANY, CAST_NAME, EXACT_INSTANCE_NAME, FORMULA, INSTANCE_NAME, TERMLABEL, UPDATE

Constructor Summary

Constructors

Constructor and Description
ProxySort(Name name)
ProxySort(Name name, ImmutableSet<Sort> ext)

Method Summary

Methods inherited from class de.uka.ilkd.key.logic.sort.AbstractSort

declarationString, extendsSorts, extendsSorts, extendsTrans, getCastSymbol, getExactInstanceofSymbol, getInstanceofSymbol, isAbstract, name, toString

Methods inherited from class java.lang.Object

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

Constructor Detail

ProxySort

public ProxySort(Name name,
                 ImmutableSet<Sort> ext)

ProxySort

public ProxySort(Name name)