@Data(value=)
public abstract class DataConstructor
extends java.lang.Object
| Modifier and Type | Class and Description |
|---|---|
static interface |
DataConstructor.Case<R> |
| Modifier and Type | Method and Description |
|---|---|
java.util.List<DataArgument> |
arguments() |
static DataConstructor |
constructor(java.lang.String name,
java.util.List<DataArgument> arguments,
java.util.List<javax.lang.model.type.TypeVariable> typeVariables,
java.util.List<TypeRestriction> typeRestrictions,
DataDeconstructor deconstructor) |
DataDeconstructor |
deconstructor() |
abstract <R> R |
match(DataConstructor.Case<R> constructor) |
java.lang.String |
name() |
java.util.List<TypeRestriction> |
typeRestrictions() |
java.util.List<javax.lang.model.type.TypeVariable> |
typeVariables() |
public static DataConstructor constructor(java.lang.String name, java.util.List<DataArgument> arguments, java.util.List<javax.lang.model.type.TypeVariable> typeVariables, java.util.List<TypeRestriction> typeRestrictions, DataDeconstructor deconstructor)
public abstract <R> R match(DataConstructor.Case<R> constructor)
public java.lang.String name()
public java.util.List<DataArgument> arguments()
public java.util.List<javax.lang.model.type.TypeVariable> typeVariables()
public DataDeconstructor deconstructor()
public java.util.List<TypeRestriction> typeRestrictions()