eu.bandm.sig.absy
Class ArrowType

java.lang.Object
  eu.bandm.sig.absy.Absy
      eu.bandm.sig.absy.Type
          eu.bandm.sig.absy.ArrowType

All Implemented Interfaces:

Formattable, Cloneable

public class ArrowType
extends Type

Field Summary

protected Type	domain
static Function<ArrowType,Type>	get_domain
static Function<ArrowType,Type>	get_range
protected Type	range

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	ArrowType()
	ArrowType(Type domain, Type range)

Method Summary

ArrowType	doclone()
Type	get_domain()
Type	get_range()
static String	getFormatHint()
ArrowType	initFrom(Object o0)
void	set_domain(Type val)
void	set_range(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

domain

protected Type domain

get_domain

public static Function<ArrowType,Type> get_domain

range

protected Type range

get_range

public static Function<ArrowType,Type> get_range

Constructor Detail

ArrowType

public ArrowType(Type domain,
                 Type range)

ArrowType

protected ArrowType()

Method Detail

doclone

public ArrowType doclone()

Overrides:

doclone in class Type

getFormatHint

public static String getFormatHint()

initFrom

public ArrowType initFrom(Object o0)

Overrides:

initFrom in class Type

get_domain

public Type get_domain()

set_domain

public void set_domain(Type val)

get_range

public Type get_range()

set_range

public void set_range(Type val)