eu.bandm.sig.absy
Class TypeBoundVariable

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

All Implemented Interfaces:

Cloneable

public class TypeBoundVariable
extends Object
implements Cloneable

Field Summary

protected Type	bound
static Function<TypeBoundVariable,Type>	get_bound
static Function<TypeBoundVariable,Locator>	get_locator
static Function<TypeBoundVariable,TypeVariable>	get_variable
protected Locator	locator
protected TypeVariable	variable

Constructor Summary

protected	TypeBoundVariable()
	TypeBoundVariable(TypeVariable variable, Type bound)

Method Summary

TypeBoundVariable	doclone()
Type	get_bound()
Locator	get_locator()
TypeVariable	get_variable()
static String	getFormatHint()
TypeBoundVariable	initFrom(Object o0)
void	set_bound(Type val)
void	set_locator(Locator val)
void	set_variable(TypeVariable 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<TypeBoundVariable,Locator> get_locator

variable

protected TypeVariable variable

get_variable

public static Function<TypeBoundVariable,TypeVariable> get_variable

bound

protected Type bound

get_bound

public static Function<TypeBoundVariable,Type> get_bound

Constructor Detail

TypeBoundVariable

public TypeBoundVariable(TypeVariable variable,
                         Type bound)

TypeBoundVariable

protected TypeBoundVariable()

Method Detail

doclone

public TypeBoundVariable doclone()

getFormatHint

public static String getFormatHint()

initFrom

public TypeBoundVariable initFrom(Object o0)

get_locator

public Locator get_locator()

set_locator

public void set_locator(Locator val)

get_variable

public TypeVariable get_variable()

set_variable

public void set_variable(TypeVariable val)

get_bound

public Type get_bound()

set_bound

public void set_bound(Type val)