checkers.flow
Class Flow.SplitTuple

java.lang.Object
  checkers.flow.Flow.SplitTuple

Enclosing class:

Flow

public static class Flow.SplitTuple
extends Object

Tracks the annotated state of each variable in a false branch. As in javac's Flow, saving/restoring via local variables handles nested branches. Bit indices correspond exactly to indices in Flow.vars. This field is copied from Flow.annos when splitting for a branch and is set to null immediately after merging.

See Also:

Flow.annos

Field Summary

Modifier and Type	Field and Description
GenKillBits<AnnotationMirror>	annosWhenFalse
GenKillBits<AnnotationMirror>	annosWhenTrue

Constructor and Description

Flow.SplitTuple()

Method Summary

Modifier and Type	Method and Description

Methods inherited from class java.lang.Object

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

Field Detail

annosWhenTrue

public GenKillBits<AnnotationMirror> annosWhenTrue

annosWhenFalse

public GenKillBits<AnnotationMirror> annosWhenFalse

Constructor Detail

Flow.SplitTuple

public Flow.SplitTuple()