eu.bandm.sig.absy
Class Instantiation

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

All Implemented Interfaces:

Cloneable

public class Instantiation
extends Expr

Field Summary

protected Type	argument
protected Expr	function
static Function<Instantiation,Type>	get_argument
static Function<Instantiation,Expr>	get_function

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

get_locator, get_type, locator, type

Constructor Summary

protected	Instantiation()
	Instantiation(Expr function, Type argument)

Method Summary

Instantiation	doclone()
Type	get_argument()
Expr	get_function()
static String	getFormatHint()
Instantiation	initFrom(Object o0)
void	set_argument(Type val)
void	set_function(Expr 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

function

protected Expr function

get_function

public static Function<Instantiation,Expr> get_function

argument

protected Type argument

get_argument

public static Function<Instantiation,Type> get_argument

Constructor Detail

Instantiation

public Instantiation(Expr function,
                     Type argument)

Instantiation

protected Instantiation()

Method Detail

doclone

public Instantiation doclone()

Overrides:

doclone in class Expr

getFormatHint

public static String getFormatHint()

initFrom

public Instantiation initFrom(Object o0)

Overrides:

initFrom in class Expr

get_function

public Expr get_function()

set_function

public void set_function(Expr val)

get_argument

public Type get_argument()

set_argument

public void set_argument(Type val)