org.checkerframework.checker.guieffect

Class Effect

java.lang.Object

org.checkerframework.checker.guieffect.Effect

public final class Effect
extends Object

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	Effect.EffectRange

Constructor Summary

Constructors

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

Method Summary

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	LE(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

Constructor Detail

Effect

public Effect(Class<? extends Annotation> cls)

Method Detail

LE

public static boolean LE(Effect left,
                         Effect right)

min

public static Effect min(Effect l,
                         Effect r)

isSafe

public boolean isSafe()

isUI

public boolean isUI()

isPoly

public boolean isPoly()

getAnnot

public Class<? extends Annotation> getAnnot()

toString

@SideEffectFree
public String toString()

Overrides:

toString in class Object

equals

public boolean equals(Effect e)

equals

public boolean equals(Object o)

Overrides:

equals in class Object

hashCode

@Pure
public int hashCode()

Overrides:

hashCode in class Object