eu.bandm.sig.absy
Class UniversalType

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

All Implemented Interfaces:

Formattable, Cloneable

public class UniversalType
extends QuantifiedType

Field Summary

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

body, get_body, get_head, 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	UniversalType()
	UniversalType(TypeBinding head, Type body)

Method Summary

UniversalType	doclone()
static String	getFormatHint()
UniversalType	initFrom(Object o0)

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

get_body, get_head, set_body, set_head

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

Constructor Detail

UniversalType

public UniversalType(TypeBinding head,
                     Type body)

UniversalType

protected UniversalType()

Method Detail

doclone

public UniversalType doclone()

Overrides:

doclone in class QuantifiedType

getFormatHint

public static String getFormatHint()

initFrom

public UniversalType initFrom(Object o0)

Overrides:

initFrom in class QuantifiedType