org.checkerframework.dataflow.cfg

Class CFGBuilder.MissingEdge

java.lang.Object

org.checkerframework.dataflow.cfg.CFGBuilder.MissingEdge

Enclosing class:

CFGBuilder

protected static class CFGBuilder.MissingEdge
extends Object

Represents a missing edge that will be added later.

Constructor Summary

Constructors

Constructor and Description
MissingEdge(SingleSuccessorBlockImpl source, int index) Create a new MissingEdge.
MissingEdge(SingleSuccessorBlockImpl source, @Nullable Integer index, @Nullable TypeMirror cause) Create a new MissingEdge.
MissingEdge(SingleSuccessorBlockImpl source, @Nullable Integer index, @Nullable TypeMirror cause, Store.FlowRule flowRule) Create a new MissingEdge.
MissingEdge(SingleSuccessorBlockImpl source, int index, Store.FlowRule flowRule) Create a new MissingEdge.

Method Summary

Modifier and Type	Method and Description
String	toString()

Methods inherited from class java.lang.Object

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

Constructor Detail

MissingEdge

public MissingEdge(SingleSuccessorBlockImpl source,
                   int index)

Create a new MissingEdge.

Parameters:

source - the source of the edge

index - the index (target?) of the edge

MissingEdge

public MissingEdge(SingleSuccessorBlockImpl source,
                   int index,
                   Store.FlowRule flowRule)

Create a new MissingEdge.

Parameters:

source - the source of the edge

index - the index (target?) of the edge

flowRule - the flow rule for this edge

MissingEdge

public MissingEdge(SingleSuccessorBlockImpl source,
                   @Nullable Integer index,
                   @Nullable TypeMirror cause)

Create a new MissingEdge.

Parameters:

source - the source of the edge

index - the index (target?) of the edge; null means go to exceptional exit

cause - the cause exception type, for an exceptional edge; otherwise null

MissingEdge

public MissingEdge(SingleSuccessorBlockImpl source,
                   @Nullable Integer index,
                   @Nullable TypeMirror cause,
                   Store.FlowRule flowRule)

Create a new MissingEdge.

Parameters:

source - the source of the edge

index - the index (target?) of the edge; null means go to exceptional exit

cause - the cause exception type, for an exceptional edge; otherwise null

flowRule - the flow rule for this edge

Method Detail

toString

public String toString()

Overrides:

toString in class Object