Effect (checker-framework 3.0.0 API)

public final class Effect
extends java.lang.Object

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

Constructors
Constructor and Description
`Effect(java.lang.Class<? extends java.lang.annotation.Annotation> cls)`

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

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

public Effect(java.lang.Class<? extends java.lang.annotation.Annotation> cls)

public static boolean lessThanOrEqualTo(Effect left,
                                        Effect right)

public static Effect min(Effect l,
                         Effect r)

public java.lang.Class<? extends java.lang.annotation.Annotation> getAnnot()

@SideEffectFree
public java.lang.String toString()

Class Effect