Class ElementTree<V>

  • All Implemented Interfaces:
    java.io.Serializable

    public class ElementTree<V>
    extends java.lang.Object
    implements java.io.Serializable
    An element together with its dependencies in some context
    See Also:
    Serialized Form
    • Field Detail

      • TYPE_NAME

        public static final Name TYPE_NAME
      • FIELD_NAME_SELF

        public static final Name FIELD_NAME_SELF
      • FIELD_NAME_DEPENDENCIES

        public static final Name FIELD_NAME_DEPENDENCIES
      • dependencies

        public final java.util.List<ElementTree<V>> dependencies
    • Constructor Detail

      • ElementTree

        public ElementTree​(Element<V> self,
                           java.util.List<ElementTree<V>> dependencies)
    • Method Detail

      • equals

        public boolean equals​(java.lang.Object other)
        Overrides:
        equals in class java.lang.Object
      • hashCode

        public int hashCode()
        Overrides:
        hashCode in class java.lang.Object