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