public final class ArraySort extends AbstractSort
Modifier and Type | Class and Description |
---|---|
private static class |
ArraySort.SortKey |
Modifier and Type | Field and Description |
---|---|
private static java.util.WeakHashMap<ArraySort.SortKey,java.lang.ref.WeakReference<ArraySort>> |
aSH |
private ArraySort.SortKey |
sk
keeping this key is important to prevent for too early hashmap removal
|
ANY, CAST_NAME, EXACT_INSTANCE_NAME, FORMULA, INSTANCE_NAME, TERMLABEL, UPDATE
Modifier | Constructor and Description |
---|---|
private |
ArraySort(ImmutableSet<Sort> extendsSorts,
ArraySort.SortKey sk) |
Modifier and Type | Method and Description |
---|---|
Sort |
elementSort()
returns the element sort of the array
|
static ArraySort |
getArraySort(Sort elemSort,
Sort objectSort,
Sort cloneableSort,
Sort serializableSort) |
static ArraySort |
getArraySort(Sort elemSort,
Type elemType,
Sort objectSort,
Sort cloneableSort,
Sort serializableSort)
Returns the ArraySort to the given element sort and element type.
|
static Sort |
getArraySortForDim(Sort elemSort,
Type elemType,
int n,
Sort objectSort,
Sort cloneableSort,
Sort serializableSort)
returns elemSort([])^n.
|
private static ImmutableSet<Sort> |
getArraySuperSorts(Sort elemSort,
Sort objectSort,
Sort cloneableSort,
Sort serializableSort) |
declarationString, extendsSorts, extendsSorts, extendsTrans, getCastSymbol, getExactInstanceofSymbol, getInstanceofSymbol, isAbstract, name, toString
private static final java.util.WeakHashMap<ArraySort.SortKey,java.lang.ref.WeakReference<ArraySort>> aSH
private final ArraySort.SortKey sk
private ArraySort(ImmutableSet<Sort> extendsSorts, ArraySort.SortKey sk)
private static ImmutableSet<Sort> getArraySuperSorts(Sort elemSort, Sort objectSort, Sort cloneableSort, Sort serializableSort)
public static ArraySort getArraySort(Sort elemSort, Type elemType, Sort objectSort, Sort cloneableSort, Sort serializableSort)
public static ArraySort getArraySort(Sort elemSort, Sort objectSort, Sort cloneableSort, Sort serializableSort)
public static Sort getArraySortForDim(Sort elemSort, Type elemType, int n, Sort objectSort, Sort cloneableSort, Sort serializableSort)
public Sort elementSort()