public static class TypeCheckSnippetUtils.Hints extends Object
Modifier and Type | Field and Description |
---|---|
ConstantNode[] |
hubs
The hubs of the hint types.
|
boolean[] |
isPositive
A predicate over
hubs specifying whether the corresponding hint type is a
sub-type of the checked type. |
Constructor and Description |
---|
Hints(ConstantNode[] hints,
boolean[] hintIsPositive) |
public final ConstantNode[] hubs
public final boolean[] isPositive
hubs
specifying whether the corresponding hint type is a
sub-type of the checked type.Hints(ConstantNode[] hints, boolean[] hintIsPositive)