eu.bandm.sig.absy
Class QuantifiedType

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

All Implemented Interfaces:

Formattable, Cloneable

Direct Known Subclasses:

ExistentialType, ParametricType, UniversalType

public abstract class QuantifiedType
extends Type

Field Summary

protected Type	body
static Function<QuantifiedType,Type>	get_body
static Function<QuantifiedType,TypeBinding>	get_head
protected TypeBinding	head

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	QuantifiedType()
	QuantifiedType(TypeBinding head, Type body)

Method Summary

QuantifiedType	doclone()
Type	get_body()
TypeBinding	get_head()
QuantifiedType	initFrom(Object o0)
void	set_body(Type val)
void	set_head(TypeBinding 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

head

protected TypeBinding head

get_head

public static Function<QuantifiedType,TypeBinding> get_head

body

protected Type body

get_body

public static Function<QuantifiedType,Type> get_body

Constructor Detail

QuantifiedType

public QuantifiedType(TypeBinding head,
                      Type body)

QuantifiedType

protected QuantifiedType()

Method Detail

doclone

public QuantifiedType doclone()

Overrides:

doclone in class Type

initFrom

public QuantifiedType initFrom(Object o0)

Overrides:

initFrom in class Type

get_head

public TypeBinding get_head()

set_head

public void set_head(TypeBinding val)

get_body

public Type get_body()

set_body

public void set_body(Type val)