eu.bandm.sig.absy
Class PolyExpr

java.lang.Object
  eu.bandm.sig.absy.Expr
      eu.bandm.sig.absy.PolyExpr

All Implemented Interfaces:

Cloneable

public class PolyExpr
extends Expr

Field Summary

protected Expr	body
static Function<PolyExpr,Expr>	get_body
static Function<PolyExpr,TypeBinding>	get_head
protected TypeBinding	head

Fields inherited from class eu.bandm.sig.absy.Expr

get_locator, get_type, locator, type

Constructor Summary

protected	PolyExpr()
	PolyExpr(TypeBinding head, Expr body)

Method Summary

PolyExpr	doclone()
Expr	get_body()
TypeBinding	get_head()
static String	getFormatHint()
PolyExpr	initFrom(Object o0)
void	set_body(Expr val)
void	set_head(TypeBinding val)

Methods inherited from class eu.bandm.sig.absy.Expr

get_locator, get_type, set_locator, set_type

Methods inherited from class java.lang.Object

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

Field Detail

head

protected TypeBinding head

get_head

public static Function<PolyExpr,TypeBinding> get_head

body

protected Expr body

get_body

public static Function<PolyExpr,Expr> get_body

Constructor Detail

PolyExpr

public PolyExpr(TypeBinding head,
                Expr body)

PolyExpr

protected PolyExpr()

Method Detail

doclone

public PolyExpr doclone()

Overrides:

doclone in class Expr

getFormatHint

public static String getFormatHint()

initFrom

public PolyExpr initFrom(Object o0)

Overrides:

initFrom in class Expr

get_head

public TypeBinding get_head()

set_head

public void set_head(TypeBinding val)

get_body

public Expr get_body()

set_body

public void set_body(Expr val)