Class Pretty.TypedVal

  • Enclosing class:
    Pretty

    static class Pretty.TypedVal
    extends java.lang.Object
    Wrapper that indicates that a value should be printed "val name = value : type".
    • Field Summary

      Fields 
      Modifier and Type Field Description
      (package private) java.lang.String name  
      (package private) java.lang.Object o  
      (package private) Type type  
    • Constructor Summary

      Constructors 
      Constructor Description
      TypedVal​(java.lang.String name, java.lang.Object o, Type type)  
    • Method Summary

      • Methods inherited from class java.lang.Object

        clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
    • Field Detail

      • name

        final java.lang.String name
      • o

        final java.lang.Object o
      • type

        final Type type
    • Constructor Detail

      • TypedVal

        TypedVal​(java.lang.String name,
                 java.lang.Object o,
                 Type type)