Package hydra.python.syntax
Class LambdaParamWithDefault
- java.lang.Object
-
- hydra.python.syntax.LambdaParamWithDefault
-
- All Implemented Interfaces:
java.io.Serializable,java.lang.Comparable<LambdaParamWithDefault>
public class LambdaParamWithDefault extends java.lang.Object implements java.io.Serializable, java.lang.Comparable<LambdaParamWithDefault>
- See Also:
- Serialized Form
-
-
Nested Class Summary
Nested Classes Modifier and Type Class Description static classLambdaParamWithDefault.BuilderA fluent builder forLambdaParamWithDefault.
-
Field Summary
Fields Modifier and Type Field Description static NameDEFAULTName of thehydra.python.syntax.LambdaParamWithDefault.defaultfield.Optional<Default>default_Nameparamstatic NamePARAMName of thehydra.python.syntax.LambdaParamWithDefault.paramfield.static NameTYPE_Name of thehydra.python.syntax.LambdaParamWithDefaulttype.
-
Constructor Summary
Constructors Constructor Description LambdaParamWithDefault(Name param, Optional<Default> default_)Constructs an immutableLambdaParamWithDefault.
-
Method Summary
All Methods Static Methods Instance Methods Concrete Methods Modifier and Type Method Description static LambdaParamWithDefault.Builderbuilder()Creates a new fluent builder forLambdaParamWithDefault.intcompareTo(LambdaParamWithDefault other)booleanequals(java.lang.Object other)inthashCode()java.lang.StringtoString()LambdaParamWithDefaultwithDefault(Optional<Default> default_)Returns a copy of thisLambdaParamWithDefaultwithdefaultreplaced.LambdaParamWithDefaultwithParam(Name param)Returns a copy of thisLambdaParamWithDefaultwithparamreplaced.
-
-
-
Field Detail
-
TYPE_
public static final Name TYPE_
Name of thehydra.python.syntax.LambdaParamWithDefaulttype.
-
PARAM
public static final Name PARAM
Name of thehydra.python.syntax.LambdaParamWithDefault.paramfield.
-
DEFAULT
public static final Name DEFAULT
Name of thehydra.python.syntax.LambdaParamWithDefault.defaultfield.
-
param
public final Name param
-
-
Constructor Detail
-
LambdaParamWithDefault
public LambdaParamWithDefault(Name param, Optional<Default> default_)
Constructs an immutableLambdaParamWithDefault.
-
-
Method Detail
-
equals
public boolean equals(java.lang.Object other)
- Overrides:
equalsin classjava.lang.Object
-
hashCode
public int hashCode()
- Overrides:
hashCodein classjava.lang.Object
-
toString
public java.lang.String toString()
- Overrides:
toStringin classjava.lang.Object
-
compareTo
public int compareTo(LambdaParamWithDefault other)
- Specified by:
compareToin interfacejava.lang.Comparable<LambdaParamWithDefault>
-
withParam
public LambdaParamWithDefault withParam(Name param)
Returns a copy of thisLambdaParamWithDefaultwithparamreplaced.
-
withDefault
public LambdaParamWithDefault withDefault(Optional<Default> default_)
Returns a copy of thisLambdaParamWithDefaultwithdefaultreplaced.
-
builder
public static LambdaParamWithDefault.Builder builder()
Creates a new fluent builder forLambdaParamWithDefault.
-
-