eu.bandm.sig.absy
Class AggregateType

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

All Implemented Interfaces:

Formattable, Cloneable

Direct Known Subclasses:

Coproduct, Product

public abstract class AggregateType
extends Type

Field Summary

protected CheckedMap_RD<Label,Type>	components
static Function<AggregateType,CheckedMap_RD<Label,Type>>	get_components
static Function<AggregateType,Boolean>	get_open
protected boolean	open

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	AggregateType()
	AggregateType(boolean open)

Method Summary

void	descend_components(MATCH_ONLY_00 visitor)
AggregateType	doclone()
CheckedMap_RD<Label,Type>	get_components()
boolean	get_open()
AggregateType	initFrom(Object o0)
void	put_components(Label key0, Type value)
void	set_components(CheckedMap_RD<Label,Type> val)
void	set_open(boolean 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

open

protected boolean open

get_open

public static Function<AggregateType,Boolean> get_open

components

protected CheckedMap_RD<Label,Type> components

get_components

public static Function<AggregateType,CheckedMap_RD<Label,Type>> get_components

Constructor Detail

AggregateType

public AggregateType(boolean open)

AggregateType

protected AggregateType()

Method Detail

doclone

public AggregateType doclone()

Overrides:

doclone in class Type

initFrom

public AggregateType initFrom(Object o0)

Overrides:

initFrom in class Type

get_open

public boolean get_open()

set_open

public void set_open(boolean val)

get_components

public CheckedMap_RD<Label,Type> get_components()

set_components

public void set_components(CheckedMap_RD<Label,Type> val)

put_components

public void put_components(Label key0,
                           Type value)

descend_components

public void descend_components(MATCH_ONLY_00 visitor)