Class ValDecl

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

    public class ValDecl
    extends java.lang.Object
    implements java.io.Serializable, java.lang.Comparable<ValDecl>
    See Also:
    Serialized Form
    • Field Detail

      • TYPE_

        public static final Name TYPE_
        Name of the hydra.scala.syntax.ValDecl type.
      • MODS

        public static final Name MODS
        Name of the hydra.scala.syntax.ValDecl.mods field.
      • PATS

        public static final Name PATS
        Name of the hydra.scala.syntax.ValDecl.pats field.
      • DECLTPE

        public static final Name DECLTPE
        Name of the hydra.scala.syntax.ValDecl.decltpe field.
      • mods

        public final java.util.List<Mod> mods
      • pats

        public final java.util.List<Pat> pats
      • decltpe

        public final Type decltpe
    • Constructor Detail

      • ValDecl

        public ValDecl​(java.util.List<Mod> mods,
                       java.util.List<Pat> pats,
                       Type decltpe)
        Constructs an immutable ValDecl.
    • 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
      • toString

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

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

        public ValDecl withMods​(java.util.List<Mod> mods)
        Returns a copy of this ValDecl with mods replaced.
      • withPats

        public ValDecl withPats​(java.util.List<Pat> pats)
        Returns a copy of this ValDecl with pats replaced.
      • withDecltpe

        public ValDecl withDecltpe​(Type decltpe)
        Returns a copy of this ValDecl with decltpe replaced.