Package hydra.core

Class Projection

  • All Implemented Interfaces:
    java.io.Serializable, java.lang.Comparable<Projection>

    public class Projection
    extends java.lang.Object
    implements java.io.Serializable, java.lang.Comparable<Projection>
    A record elimination; a projection
    See Also:
    Serialized Form
    • Field Detail

      • TYPE_

        public static final Name TYPE_
      • TYPE_NAME

        public static final Name TYPE_NAME
      • FIELD

        public static final Name FIELD
      • typeName

        public final Name typeName
        The name of the record type
      • field

        public final Name field
        The name of the projected field
    • Constructor Detail

      • Projection

        public Projection​(Name typeName,
                          Name field)
    • 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
      • compareTo

        public int compareTo​(Projection other)
        Specified by:
        compareTo in interface java.lang.Comparable<Projection>