public class NonNullParameterPlugin extends Object implements ParameterPlugin
ParameterPlugin that sets non-null stamps for parameters annotated with
Snippet.NonNullParameter.| Constructor and Description |
|---|
NonNullParameterPlugin(BitSet nonNullParameters) |
| Modifier and Type | Method and Description |
|---|---|
FloatingNode |
interceptParameter(GraphBuilderTool b,
int index,
StampPair stamp) |
public NonNullParameterPlugin(BitSet nonNullParameters)
public FloatingNode interceptParameter(GraphBuilderTool b, int index, StampPair stamp)
interceptParameter in interface ParameterPlugin