Enum Class KeyForPropagator.PropagationDirection

java.lang.Object
java.lang.Enum<KeyForPropagator.PropagationDirection>
org.checkerframework.checker.nullness.KeyForPropagator.PropagationDirection
All Implemented Interfaces:
Serializable, Comparable<KeyForPropagator.PropagationDirection>, Constable
Enclosing class:
KeyForPropagator

public static enum KeyForPropagator.PropagationDirection extends Enum<KeyForPropagator.PropagationDirection>