eu.bandm.sig.absy
Class ParametricType

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

All Implemented Interfaces:

Formattable, Cloneable

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

Method Summary

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

ParametricType

public ParametricType(TypeBinding head,
                      Type body)

ParametricType

protected ParametricType()

Method Detail

doclone

public ParametricType doclone()

Overrides:

doclone in class QuantifiedType

getFormatHint

public static String getFormatHint()

initFrom

public ParametricType initFrom(Object o0)

Overrides:

initFrom in class QuantifiedType