eu.bandm.sig.absy
Class TypeBinding

java.lang.Object
  eu.bandm.sig.absy.TypeBinding

All Implemented Interfaces:

Cloneable

public class TypeBinding
extends Object
implements Cloneable

Field Summary

static Function<TypeBinding,Locator>	get_locator
static Function<TypeBinding,CheckedMap_RD<Label,TypeBoundVariable>>	get_variables
protected Locator	locator
protected CheckedMap_RD<Label,TypeBoundVariable>	variables

Constructor Summary

TypeBinding()

Method Summary

void	descend_variables(MATCH_ONLY_00 visitor)
TypeBinding	doclone()
Locator	get_locator()
CheckedMap_RD<Label,TypeBoundVariable>	get_variables()
static String	getFormatHint()
TypeBinding	initFrom(Object o0)
void	put_variables(Label key0, TypeBoundVariable value)
void	set_locator(Locator val)
void	set_variables(CheckedMap_RD<Label,TypeBoundVariable> val)

Methods inherited from class java.lang.Object

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

Field Detail

locator

protected Locator locator

get_locator

public static Function<TypeBinding,Locator> get_locator

variables

protected CheckedMap_RD<Label,TypeBoundVariable> variables

get_variables

public static Function<TypeBinding,CheckedMap_RD<Label,TypeBoundVariable>> get_variables

Constructor Detail

TypeBinding

public TypeBinding()

Method Detail

doclone

public TypeBinding doclone()

getFormatHint

public static String getFormatHint()

initFrom

public TypeBinding initFrom(Object o0)

get_locator

public Locator get_locator()

set_locator

public void set_locator(Locator val)

get_variables

public CheckedMap_RD<Label,TypeBoundVariable> get_variables()

set_variables

public void set_variables(CheckedMap_RD<Label,TypeBoundVariable> val)

put_variables

public void put_variables(Label key0,
                          TypeBoundVariable value)

descend_variables

public void descend_variables(MATCH_ONLY_00 visitor)