eu.bandm.sig.absy
Class ExistentialType

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

All Implemented Interfaces:

Formattable, Cloneable

public class ExistentialType
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	ExistentialType()
	ExistentialType(TypeBinding head, Type body)

Method Summary

ExistentialType	doclone()
static String	getFormatHint()
ExistentialType	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

ExistentialType

public ExistentialType(TypeBinding head,
                       Type body)

ExistentialType

protected ExistentialType()

Method Detail

doclone

public ExistentialType doclone()

Overrides:

doclone in class QuantifiedType

getFormatHint

public static String getFormatHint()

initFrom

public ExistentialType initFrom(Object o0)

Overrides:

initFrom in class QuantifiedType