Package org.checkerframework.checker.formatter

Class FormatterTreeUtil.Result<E>

java.lang.Object

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

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

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

Constructor Details

Result

public Result(E value,
 ExpressionTree location)

Method Details

value

public E value()