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 java.lang.Object

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

Field Summary

Fields

Modifier and Type	Field and Description
ExpressionTree	location

Constructor Summary

Constructors

Constructor and Description
Result(E value, ExpressionTree location)

Method Summary

Modifier and Type	Method and Description
E	value()

Methods inherited from class java.lang.Object

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

Field Detail

location

public final ExpressionTree location

Constructor Detail

Result

public Result(E value,
              ExpressionTree location)

Method Detail

value

public E value()