checkers.nullness

Class NullnessFlowState

@NonNull java.lang.Object

checkers.flow.DefaultFlowState

checkers.nullness.NullnessFlowState

All Implemented Interfaces:

FlowState

public class NullnessFlowState
extends DefaultFlowState

The state needed for NullnessFlow.

See Also:

DefaultFlowState, NullnessFlow

Field Summary

Fields inherited from class checkers.flow.DefaultFlowState

annos, annotations, vars

Method Summary

Methods

Modifier and Type	Method and Description
void	and(FlowState other, QualifierHierarchy annoRelations) "And" the current state with an other state, modifying only the current state.
NullnessFlowState	copy() Deeply copy the state of the current flow state.
NullnessFlowState	createFlowState(Set<@Nullable AnnotationMirror> annotations) Create a new instance of the current flow state class.
void	or(FlowState other, QualifierHierarchy annoRelations) "Or" the current state with an other state, modifying only the current state.
@ReadOnly String	toString()

Methods inherited from class checkers.flow.DefaultFlowState

getAnnotations

Methods inherited from class java.lang.Object

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

Method Detail

createFlowState

public NullnessFlowState createFlowState(Set<@Nullable AnnotationMirror> annotations)

Description copied from interface: FlowState

Create a new instance of the current flow state class. The type of the returned object has to be the same as the type of the receiver. This is used in FlowState.copy() to create a new instance of the correct type.

Specified by:

createFlowState in interface FlowState

Overrides:

createFlowState in class DefaultFlowState

Parameters:

annotations - The annotations that can be inferred.

Returns:

A new flow state instance.

copy

public NullnessFlowState copy()

Description copied from interface: FlowState

Deeply copy the state of the current flow state. The type of the returned object has to be the same as the type of the receiver.

Specified by:

copy in interface FlowState

Overrides:

copy in class DefaultFlowState

Returns:

A completely independent copy of this.

or

public void or(FlowState other,
      QualifierHierarchy annoRelations)

Description copied from interface: FlowState

"Or" the current state with an other state, modifying only the current state.

Specified by:

or in interface FlowState

Overrides:

or in class DefaultFlowState

Parameters:

other - The other state, will not be modified.

annoRelations - The relationship between the qualifiers.

and

public void and(FlowState other,
       QualifierHierarchy annoRelations)

Description copied from interface: FlowState

"And" the current state with an other state, modifying only the current state.

Specified by:

and in interface FlowState

Overrides:

and in class DefaultFlowState

Parameters:

other - The other state, will not be modified.

annoRelations - The relationship between the qualifiers.

toString

public @ReadOnly String toString()

Overrides:

toString in class DefaultFlowState