eu.bandm.sig.absy
Class TypeDomain

java.lang.Object
  eu.bandm.sig.absy.Absy
      eu.bandm.sig.absy.Type
          eu.bandm.sig.absy.TypeExpression
              eu.bandm.sig.absy.UnaryTypeExpression
                  eu.bandm.sig.absy.TypeDomain

All Implemented Interfaces:

Formattable, Cloneable

public class TypeDomain
extends UnaryTypeExpression

Field Summary

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

argument, get_argument

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	TypeDomain()
	TypeDomain(Type argument)

Method Summary

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

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

get_argument, set_argument

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

TypeDomain

public TypeDomain(Type argument)

TypeDomain

protected TypeDomain()

Method Detail

doclone

public TypeDomain doclone()

Overrides:

doclone in class UnaryTypeExpression

getFormatHint

public static String getFormatHint()

initFrom

public TypeDomain initFrom(Object o0)

Overrides:

initFrom in class UnaryTypeExpression