Class TypeTreeNode


  • public class TypeTreeNode
    extends Object
    Class comment for TypeTreeNode.java goes here.
    • Constructor Detail

      • TypeTreeNode

        public TypeTreeNode()
        Constructor for TypeTreeNode.
      • TypeTreeNode

        public TypeTreeNode​(Type type,
                            String label,
                            int size)
    • Method Detail

      • getLabel

        public String getLabel()
        Returns the label.
        Returns:
        String
      • getType

        public Type getType()
        Returns the type.
        Returns:
        Type