Package hydra.scala.syntax

Class VarDefn

java.lang.Object

hydra.scala.syntax.VarDefn

All Implemented Interfaces:

java.io.Serializable, java.lang.Comparable<VarDefn>

public class VarDefn
extends java.lang.Object
implements java.io.Serializable, java.lang.Comparable<VarDefn>

See Also:

Serialized Form

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
static class	VarDefn.Builder	A fluent builder for VarDefn.

Field Summary

Fields

Modifier and Type	Field	Description
Type	decltpe
static Name	DECLTPE	Name of the hydra.scala.syntax.VarDefn.decltpe field.
java.util.List<Mod>	mods
static Name	MODS	Name of the hydra.scala.syntax.VarDefn.mods field.
java.util.List<Pat>	pats
static Name	PATS	Name of the hydra.scala.syntax.VarDefn.pats field.
Optional<Data>	rhs
static Name	RHS	Name of the hydra.scala.syntax.VarDefn.rhs field.
static Name	TYPE_	Name of the hydra.scala.syntax.VarDefn type.

Constructor Summary

Constructors

Constructor	Description
VarDefn(java.util.List<Mod> mods, java.util.List<Pat> pats, Type decltpe, Optional<Data> rhs)	Constructs an immutable VarDefn.

Method Summary

Modifier and Type	Method	Description
static VarDefn.Builder	builder()	Creates a new fluent builder for VarDefn.
int	compareTo(VarDefn other)
boolean	equals(java.lang.Object other)
int	hashCode()
java.lang.String	toString()
VarDefn	withDecltpe(Type decltpe)	Returns a copy of this VarDefn with decltpe replaced.
VarDefn	withMods(java.util.List<Mod> mods)	Returns a copy of this VarDefn with mods replaced.
VarDefn	withPats(java.util.List<Pat> pats)	Returns a copy of this VarDefn with pats replaced.
VarDefn	withRhs(Optional<Data> rhs)	Returns a copy of this VarDefn with rhs replaced.

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Field Detail

TYPE_

public static final Name TYPE_

Name of the hydra.scala.syntax.VarDefn type.

MODS

public static final Name MODS

Name of the hydra.scala.syntax.VarDefn.mods field.

PATS

public static final Name PATS

Name of the hydra.scala.syntax.VarDefn.pats field.

DECLTPE

public static final Name DECLTPE

Name of the hydra.scala.syntax.VarDefn.decltpe field.

RHS

public static final Name RHS

Name of the hydra.scala.syntax.VarDefn.rhs field.

mods

public final java.util.List<Mod> mods

pats

public final java.util.List<Pat> pats

decltpe

public final Type decltpe

rhs

public final Optional<Data> rhs

Constructor Detail

VarDefn

public VarDefn(java.util.List<Mod> mods,
               java.util.List<Pat> pats,
               Type decltpe,
               Optional<Data> rhs)

Constructs an immutable VarDefn.

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

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

compareTo

public int compareTo(VarDefn other)

Specified by:

compareTo in interface java.lang.Comparable<VarDefn>

withMods

public VarDefn withMods(java.util.List<Mod> mods)

Returns a copy of this VarDefn with mods replaced.

withPats

public VarDefn withPats(java.util.List<Pat> pats)

Returns a copy of this VarDefn with pats replaced.

withDecltpe

public VarDefn withDecltpe(Type decltpe)

Returns a copy of this VarDefn with decltpe replaced.

withRhs

public VarDefn withRhs(Optional<Data> rhs)

Returns a copy of this VarDefn with rhs replaced.

builder

public static VarDefn.Builder builder()

Creates a new fluent builder for VarDefn.