public static final class Assumptions.ConcreteMethod extends Assumptions.Assumption
| Modifier and Type | Field and Description |
|---|---|
ResolvedJavaType |
context
A receiver type.
|
ResolvedJavaMethod |
impl
|
ResolvedJavaMethod |
method
|
| Constructor and Description |
|---|
ConcreteMethod(ResolvedJavaMethod method,
ResolvedJavaType context,
ResolvedJavaMethod impl) |
public final ResolvedJavaMethod method
public final ResolvedJavaType context
public final ResolvedJavaMethod impl
public ConcreteMethod(ResolvedJavaMethod method, ResolvedJavaType context, ResolvedJavaMethod impl)