eu.bandm.sig.absy
Class TypeApplication

java.lang.Object
  eu.bandm.sig.absy.Absy
      eu.bandm.sig.absy.Type
          eu.bandm.sig.absy.TypeExpression
              eu.bandm.sig.absy.TypeApplication

All Implemented Interfaces:

Formattable, Cloneable

public class TypeApplication
extends TypeExpression

Field Summary

protected Type	argument
protected Type	function
static Function<TypeApplication,Type>	get_argument
static Function<TypeApplication,Type>	get_function

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

get_location, location, set_location

Fields inherited from interface eu.bandm.tools.format.Formattable

format

Constructor Summary

protected	TypeApplication()
	TypeApplication(Type function, Type argument)

Method Summary

TypeApplication	doclone()
Type	get_argument()
Type	get_function()
static String	getFormatHint()
TypeApplication	initFrom(Object o0)
void	set_argument(Type val)
void	set_function(Type val)

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

format

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

get_location, set_location

Methods inherited from class java.lang.Object

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

Field Detail

function

protected Type function

get_function

public static Function<TypeApplication,Type> get_function

argument

protected Type argument

get_argument

public static Function<TypeApplication,Type> get_argument

Constructor Detail

TypeApplication

public TypeApplication(Type function,
                       Type argument)

TypeApplication

protected TypeApplication()

Method Detail

doclone

public TypeApplication doclone()

Overrides:

doclone in class TypeExpression

getFormatHint

public static String getFormatHint()

initFrom

public TypeApplication initFrom(Object o0)

Overrides:

initFrom in class TypeExpression

get_function

public Type get_function()

set_function

public void set_function(Type val)

get_argument

public Type get_argument()

set_argument

public void set_argument(Type val)