Class Init

  • All Implemented Interfaces:
    java.io.Serializable

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

      • TYPE_NAME

        public static final Name TYPE_NAME
      • FIELD_NAME_TPE

        public static final Name FIELD_NAME_TPE
      • FIELD_NAME_NAME

        public static final Name FIELD_NAME_NAME
      • FIELD_NAME_ARGSS

        public static final Name FIELD_NAME_ARGSS
      • tpe

        public final Type tpe
      • name

        public final Name name
      • argss

        public final java.util.List<java.util.List<Data>> argss
    • Constructor Detail

      • Init

        public Init​(Type tpe,
                    Name name,
                    java.util.List<java.util.List<Data>> argss)
    • 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
      • withTpe

        public Init withTpe​(Type tpe)
      • withName

        public Init withName​(Name name)
      • withArgss

        public Init withArgss​(java.util.List<java.util.List<Data>> argss)