Class Defn_Var

  • All Implemented Interfaces:
    java.io.Serializable

    public class Defn_Var
    extends java.lang.Object
    implements java.io.Serializable
    See Also:
    Serialized Form
    • Field Detail

      • TYPE_NAME

        public static final Name TYPE_NAME
      • FIELD_NAME_MODS

        public static final Name FIELD_NAME_MODS
      • FIELD_NAME_PATS

        public static final Name FIELD_NAME_PATS
      • FIELD_NAME_DECLTPE

        public static final Name FIELD_NAME_DECLTPE
      • FIELD_NAME_RHS

        public static final Name FIELD_NAME_RHS
      • mods

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

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

        public final Type decltpe
    • Constructor Detail

      • Defn_Var

        public Defn_Var​(java.util.List<Mod> mods,
                        java.util.List<Pat> pats,
                        Type decltpe,
                        Opt<Data> rhs)
    • 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
      • withMods

        public Defn_Var withMods​(java.util.List<Mod> mods)
      • withPats

        public Defn_Var withPats​(java.util.List<Pat> pats)
      • withDecltpe

        public Defn_Var withDecltpe​(Type decltpe)