checkers.oigj.quals
Annotation Type Dominator


@Documented
@Retention(value=RUNTIME)
@TypeQualifier
@SubtypeOf(value=World.class)
public @interface Dominator