org.checkerframework.checker.guieffect

Class Effect.EffectRange

java.lang.Object

org.checkerframework.checker.guieffect.Effect.EffectRange

Enclosing class:

Effect

public static final class Effect.EffectRange
extends Object

Field Summary

Fields

Modifier and Type	Field and Description
Effect	max
Effect	min

Constructor Summary

Constructors

Constructor and Description
EffectRange(Effect min, Effect max)

Method Summary

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

min

public final Effect min

max

public final Effect max

Constructor Detail

EffectRange

public EffectRange(Effect min,
                   Effect max)