private static final class SortDependingFunction.SortDependingFunctionTemplate
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
ImmutableArray<Sort> |
argSorts |
Name |
kind |
Sort |
sort |
GenericSort |
sortDependingOn |
boolean |
unique |
Constructor and Description |
---|
SortDependingFunctionTemplate(GenericSort sortDependingOn,
Name kind,
Sort sort,
ImmutableArray<Sort> argSorts,
boolean unique) |
public final GenericSort sortDependingOn
public final Name kind
public final Sort sort
public final ImmutableArray<Sort> argSorts
public final boolean unique
public SortDependingFunctionTemplate(GenericSort sortDependingOn, Name kind, Sort sort, ImmutableArray<Sort> argSorts, boolean unique)