Package hydra.ext.scala.syntax

Class Decl_Given

java.lang.Object

hydra.ext.scala.syntax.Decl_Given

All Implemented Interfaces:

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

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

See Also:

Serialized Form

Field Summary

Fields

Modifier and Type	Field	Description
Type	decltpe
static Name	DECLTPE
ConsList<Mod>	mods
static Name	MODS
Data_Name	name
static Name	NAME
ConsList<ConsList<Data_Param>>	sparams
static Name	SPARAMS
ConsList<Type_Param>	tparams
static Name	TPARAMS
static Name	TYPE_

Constructor Summary

Constructors

Constructor	Description
Decl_Given(ConsList<Mod> mods, Data_Name name, ConsList<Type_Param> tparams, ConsList<ConsList<Data_Param>> sparams, Type decltpe)

Method Summary

Modifier and Type	Method	Description
int	compareTo(Decl_Given other)
boolean	equals(java.lang.Object other)
int	hashCode()
Decl_Given	withDecltpe(Type decltpe)
Decl_Given	withMods(ConsList<Mod> mods)
Decl_Given	withName(Data_Name name)
Decl_Given	withSparams(ConsList<ConsList<Data_Param>> sparams)
Decl_Given	withTparams(ConsList<Type_Param> tparams)

Methods inherited from class java.lang.Object

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

Field Detail

TYPE_

public static final Name TYPE_

MODS

public static final Name MODS

NAME

public static final Name NAME

TPARAMS

public static final Name TPARAMS

SPARAMS

public static final Name SPARAMS

DECLTPE

public static final Name DECLTPE

mods

public final ConsList<Mod> mods

name

public final Data_Name name

tparams

public final ConsList<Type_Param> tparams

sparams

public final ConsList<ConsList<Data_Param>> sparams

decltpe

public final Type decltpe

Constructor Detail

Decl_Given

public Decl_Given(ConsList<Mod> mods,
                  Data_Name name,
                  ConsList<Type_Param> tparams,
                  ConsList<ConsList<Data_Param>> sparams,
                  Type decltpe)

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

compareTo

public int compareTo(Decl_Given other)

Specified by:

compareTo in interface java.lang.Comparable<Decl_Given>

withMods

public Decl_Given withMods(ConsList<Mod> mods)

withName

public Decl_Given withName(Data_Name name)

withTparams

public Decl_Given withTparams(ConsList<Type_Param> tparams)

withSparams

public Decl_Given withSparams(ConsList<ConsList<Data_Param>> sparams)

withDecltpe

public Decl_Given withDecltpe(Type decltpe)