Package org.checkerframework.dataflow.cfg.builder

Class CFGTranslationPhaseOne.AssertMethodTuple

java.lang.Object

org.checkerframework.dataflow.cfg.builder.CFGTranslationPhaseOne.AssertMethodTuple

Enclosing class:

CFGTranslationPhaseOne

protected static class CFGTranslationPhaseOne.AssertMethodTuple
extends Object

Holds the elements of an AssertMethod annotation.

Field Summary

Fields

Modifier and Type	Field	Description
final int	booleanParam	0-based index of the parameter of the expression that is tested by the assert method.
final TypeMirror	exceptionType	The type of the exception thrown by the assert method.
final boolean	isAssertFalse	Is this an assert false method?
protected static final CFGTranslationPhaseOne.AssertMethodTuple	NONE	A tuple representing the lack of an CFGTranslationPhaseOne.AssertMethodTuple.

Constructor Summary

Constructors

Constructor	Description
AssertMethodTuple(int booleanParam, TypeMirror exceptionType, boolean isAssertFalse)	Creates an AssertMethodTuple.

Method Summary

Methods inherited from class java.lang.Object

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

Field Details

NONE

protected static final CFGTranslationPhaseOne.AssertMethodTuple NONE

A tuple representing the lack of an CFGTranslationPhaseOne.AssertMethodTuple.

booleanParam

public final int booleanParam

0-based index of the parameter of the expression that is tested by the assert method. (Or -1 if this isn't an assert method.)

exceptionType

public final TypeMirror exceptionType

The type of the exception thrown by the assert method.

isAssertFalse

public final boolean isAssertFalse

Is this an assert false method?

Constructor Details

AssertMethodTuple

public AssertMethodTuple(int booleanParam,
 TypeMirror exceptionType,
 boolean isAssertFalse)

Creates an AssertMethodTuple.

Parameters:

booleanParam - 0-based index of the parameter of the expression that is tested by the assert method

exceptionType - the type of the exception thrown by the assert method

isAssertFalse - is this an assert false method