Class Type.Variable

    • Field Detail

      • name

        public final java.lang.String name
      • upperBounds

        public final java.util.List<Type.Defined> upperBounds
      • recursive

        public final boolean recursive
    • Constructor Detail

      • Variable

        Variable​(java.lang.String name,
                 java.util.List<Type.Defined> upperBounds,
                 boolean recursive)
    • Method Detail

      • isUnbounded

        boolean isUnbounded()
      • toString

        public java.lang.String toString()
        Overrides:
        toString in class java.lang.Object