Effect (checker-framework 2.11.0 API)

public final class Effect
extends Object

Nested Classes
Modifier and Type	Class and Description
`static class`	`Effect.EffectRange`

Constructors
Constructor and Description
`Effect(Class<? extends Annotation> cls)`

All Methods Static Methods Instance Methods Concrete Methods
Modifier and Type	Method and Description
`boolean`	`equals(Effect e)`
`boolean`	`equals(Object o)`
`Class<? extends Annotation>`	`getAnnot()`
`int`	`hashCode()`
`boolean`	`isPoly()`
`boolean`	`isSafe()`
`boolean`	`isUI()`
`static boolean`	`lessThanOrEqualTo(Effect left, Effect right)`
`static Effect`	`min(Effect l, Effect r)`
`String`	`toString()`

Methods inherited from class java.lang.Object
clone, finalize, getClass, notify, notifyAll, wait, wait, wait

public Effect(Class<? extends Annotation> cls)

public static boolean lessThanOrEqualTo(Effect left,
                                        Effect right)

public static Effect min(Effect l,
                         Effect r)

public Class<? extends Annotation> getAnnot()

@SideEffectFree
public String toString()

Class Effect