edu.rice.cs.cunit.threadCheck.predicates
Annotation Type OnlyNullArgument

@Retention(value=RUNTIME)
@Target(value={CONSTRUCTOR,METHOD,TYPE})
public @interface OnlyNullArgument

An annotation used to designate methods that are only allowed to be run when the method argument indexed by value is null.

Author:

Mathias Ricken

Required Element Summary

int

value

Element Detail

value

public abstract int value