public static final class Assumptions.LeafType extends Assumptions.Assumption
Modifier and Type | Field and Description |
---|---|
ResolvedJavaType |
context
Type the assumption is made about.
|
Constructor and Description |
---|
LeafType(ResolvedJavaType context) |
public final ResolvedJavaType context
public LeafType(ResolvedJavaType context)