Package org.checkerframework.checker.formatter

Class FormatterTreeUtil.Result<E>

java.lang.Object

org.checkerframework.checker.formatter.FormatterTreeUtil.Result<E>

Type Parameters:

E - the type of the wrapped value

Enclosing class:

FormatterTreeUtil

public static class FormatterTreeUtil.Result<E>
extends Object

A wrapper around a value of type E, plus an ExpressionTree location.

Field Summary

Fields

Modifier and Type	Field	Description
final ExpressionTree	location	The location of the value.

Constructor Summary

Constructors

Constructor	Description
Result(E value, ExpressionTree location)

Method Summary

Modifier and Type	Method	Description
E	value()

Methods inherited from class java.lang.Object

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

Field Details

location

public final ExpressionTree location

The location of the value.

Constructor Details

Result

public Result(E value,
 ExpressionTree location)

Method Details

value

public E value()