Package org.checkerframework.checker.formatter

Class 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 Description
      com.sun.source.tree.ExpressionTree location  

    • Constructor Summary

      Constructors 
      Constructor Description
      Result​(E value, com.sun.source.tree.ExpressionTree location)  

    • Method Summary

      All Methods Instance Methods Concrete Methods 
      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 Detail

      • location

        public final com.sun.source.tree.ExpressionTree location

    • Constructor Detail

      • Result

        public Result​(E value,
              com.sun.source.tree.ExpressionTree location)

    • Method Detail

      • value

        public E value()