org.checkerframework.dataflow.cfg

Class CFGBuilder.Tuple<A,B,C>

java.lang.Object

org.checkerframework.dataflow.cfg.CFGBuilder.Tuple<A,B,C>

Enclosing class:

CFGBuilder

protected static class CFGBuilder.Tuple<A,B,C>
extends Object

Tuple class with up to three members.

Field Summary

Fields

Modifier and Type	Field and Description
A	a
B	b
C	c

Constructor Summary

Constructors

Constructor and Description
Tuple(A a, B b)
Tuple(A a, B b, C c)

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

Field Detail

a

public final A a

b

public final B b

c

public final C c

Constructor Detail

Tuple

public Tuple(A a,
             B b)

Tuple

public Tuple(A a,
             B b,
             C c)

Method Detail

toString

public String toString()

Overrides:

toString in class Object