Package org.checkerframework.common.wholeprograminference

Class WholeProgramInferenceJavaParserStorage.InferredDeclared

java.lang.Object

org.checkerframework.common.wholeprograminference.WholeProgramInferenceJavaParserStorage.InferredDeclared

Enclosing class:

WholeProgramInferenceJavaParserStorage

public static class WholeProgramInferenceJavaParserStorage.InferredDeclared
extends Object

A pair of two annotated types: an inferred type and a declared type.

Field Summary

Fields

Modifier and Type	Field	Description
final AnnotatedTypeMirror	declared	The declared type.
final AnnotatedTypeMirror	inferred	The inferred type.

Constructor Summary

Constructors

Constructor	Description
InferredDeclared(AnnotatedTypeMirror inferred, AnnotatedTypeMirror declared)	Creates an InferredDeclared.

Method Summary

Modifier and Type	Method	Description
String	toString()

Methods inherited from class java.lang.Object

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

Field Details

inferred

public final AnnotatedTypeMirror inferred

The inferred type.

declared

public final AnnotatedTypeMirror declared

The declared type.

Constructor Details

InferredDeclared

public InferredDeclared(AnnotatedTypeMirror inferred,
 AnnotatedTypeMirror declared)

Creates an InferredDeclared.

Parameters:

inferred - the inferred type

declared - the declared type

Method Details

toString

public String toString()

Overrides:

toString in class Object