de.uka.ilkd.key.logic.sort

Class AbstractSort

java.lang.Object

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

All Implemented Interfaces:

Named, Sort

Direct Known Subclasses:

ArraySort, GenericSort, ProgramSVSort, ProxySort, SortImpl

public abstract class AbstractSort
extends java.lang.Object
implements Sort

Abstract base class for implementations of the Sort interface.

Field Summary

Fields

Modifier and Type	Field and Description
private ImmutableSet<Sort>	ext
private boolean	isAbstract
private Name	name

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
AbstractSort(Name name, ImmutableSet<Sort> ext, boolean isAbstract)

Method Summary

Modifier and Type	Method and Description
java.lang.String	declarationString()
ImmutableSet<Sort>	extendsSorts() Returns the direct supersorts of this sort.
ImmutableSet<Sort>	extendsSorts(Services services) Returns the direct supersorts of this sort.
boolean	extendsTrans(Sort sort) Tells whether the given sort is a reflexive, transitive subsort of this sort.
SortDependingFunction	getCastSymbol(TermServices services) returns the cast symbol of this Sort
SortDependingFunction	getExactInstanceofSymbol(TermServices services) returns the exactinstanceof symbol of this Sort
SortDependingFunction	getInstanceofSymbol(TermServices services) returns the instanceof symbol of this Sort
boolean	isAbstract() Tells whether this sort has no exact elements.
Name	name() returns the name of this element
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Field Detail

name

private final Name name

ext

private ImmutableSet<Sort> ext

isAbstract

private final boolean isAbstract

Constructor Detail

AbstractSort

public AbstractSort(Name name,
                    ImmutableSet<Sort> ext,
                    boolean isAbstract)

Method Detail

extendsSorts

public final ImmutableSet<Sort> extendsSorts()

Description copied from interface: Sort

Returns the direct supersorts of this sort. Not supported by NullSort.

Specified by:

extendsSorts in interface Sort

extendsSorts

public final ImmutableSet<Sort> extendsSorts(Services services)

Description copied from interface: Sort

Returns the direct supersorts of this sort.

Specified by:

extendsSorts in interface Sort

extendsTrans

public final boolean extendsTrans(Sort sort)

Description copied from interface: Sort

Tells whether the given sort is a reflexive, transitive subsort of this sort.

Specified by:

extendsTrans in interface Sort

name

public final Name name()

Description copied from interface: Named

returns the name of this element

Specified by:

name in interface Named

Returns:

the name of the element

isAbstract

public final boolean isAbstract()

Description copied from interface: Sort

Tells whether this sort has no exact elements.

Specified by:

isAbstract in interface Sort

getCastSymbol

public final SortDependingFunction getCastSymbol(TermServices services)

Description copied from interface: Sort

returns the cast symbol of this Sort

Specified by:

getCastSymbol in interface Sort

getInstanceofSymbol

public final SortDependingFunction getInstanceofSymbol(TermServices services)

Description copied from interface: Sort

returns the instanceof symbol of this Sort

Specified by:

getInstanceofSymbol in interface Sort

getExactInstanceofSymbol

public final SortDependingFunction getExactInstanceofSymbol(TermServices services)

Description copied from interface: Sort

returns the exactinstanceof symbol of this Sort

Specified by:

getExactInstanceofSymbol in interface Sort

toString

public final java.lang.String toString()

Overrides:

toString in class java.lang.Object

declarationString

public java.lang.String declarationString()

Specified by:

declarationString in interface Sort