Package hydra.ext.scala.syntax

Class Pat_Extract

java.lang.Object

hydra.ext.scala.syntax.Pat_Extract

All Implemented Interfaces:

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

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

See Also:

Serialized Form

Field Summary

Fields

Modifier and Type	Field	Description
ConsList<Pat>	args
static Name	ARGS
Data	fun
static Name	FUN
static Name	TYPE_

Constructor Summary

Constructors

Constructor	Description
Pat_Extract(Data fun, ConsList<Pat> args)

Method Summary

Modifier and Type	Method	Description
int	compareTo(Pat_Extract other)
boolean	equals(java.lang.Object other)
int	hashCode()
Pat_Extract	withArgs(ConsList<Pat> args)
Pat_Extract	withFun(Data fun)

Methods inherited from class java.lang.Object

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

Field Detail

TYPE_

public static final Name TYPE_

FUN

public static final Name FUN

ARGS

public static final Name ARGS

fun

public final Data fun

args

public final ConsList<Pat> args

Constructor Detail

Pat_Extract

public Pat_Extract(Data fun,
                   ConsList<Pat> args)

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(Pat_Extract other)

Specified by:

compareTo in interface java.lang.Comparable<Pat_Extract>

withFun

public Pat_Extract withFun(Data fun)

withArgs

public Pat_Extract withArgs(ConsList<Pat> args)