Package 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	Description
final Effect	max
final Effect	min

Constructor Summary

Constructors

Constructor	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 Details

min

public final Effect min

max

public final Effect max

Constructor Details

EffectRange

public EffectRange(Effect min,
 Effect max)