Class DataConstructors.Constructor

    • Field Detail

      • name

        private final java.lang.String name
      • index

        private final int index
      • typeVariables

        private final java.util.List<javax.lang.model.type.TypeVariable> typeVariables
      • arguments

        private final java.util.List<DataArgument> arguments
      • typeRestrictions

        private final java.util.List<TypeRestriction> typeRestrictions
      • returnedType

        private final javax.lang.model.type.DeclaredType returnedType
    • Constructor Detail

      • Constructor

        Constructor​(java.lang.String name,
                    int index,
                    java.util.List<javax.lang.model.type.TypeVariable> typeVariables,
                    java.util.List<DataArgument> arguments,
                    java.util.List<TypeRestriction> typeRestrictions,
                    javax.lang.model.type.DeclaredType returnedType,
                    DataDeconstructor deconstructor)