eu.bandm.sig.absy
Class FamilyType

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

All Implemented Interfaces:

Formattable, Cloneable

Direct Known Subclasses:

TCoproduct, TProduct

public class FamilyType
extends Type

Field Summary

protected CheckedMap_RD<Label,Type>	elems
static Function<FamilyType,CheckedMap_RD<Label,Type>>	get_elems
static Function<FamilyType,Boolean>	get_open
protected boolean	open
static Consumer<CheckedMap_RD<Label,Type>,FamilyType>	set_elems
static Consumer<Boolean,FamilyType>	set_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

FamilyType(boolean open)

Method Summary

boolean	containsKey_elems(Label key0)
void	descend_elems(MATCH_ONLY_00 visitor)
FamilyType	doclone()
Format	format()
CheckedMap_RD<Label,Type>	get_elems()
boolean	get_open()
FamilyType	initFrom(Object o0)
void	put_elems(Label key0, Type value)
boolean	set_elems(CheckedMap_RD<Label,Type> val)
boolean	set_open(boolean val)

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 final Function<FamilyType,Boolean> get_open

set_open

public static final Consumer<Boolean,FamilyType> set_open

elems

protected CheckedMap_RD<Label,Type> elems

get_elems

public static final Function<FamilyType,CheckedMap_RD<Label,Type>> get_elems

set_elems

public static final Consumer<CheckedMap_RD<Label,Type>,FamilyType> set_elems

Constructor Detail

FamilyType

public FamilyType(boolean open)

Method Detail

doclone

public FamilyType doclone()

Overrides:

doclone in class Type

format

public Format format()

Specified by:

format in interface Formattable

Overrides:

format in class Type

initFrom

public FamilyType initFrom(Object o0)

Overrides:

initFrom in class Type

get_open

public boolean get_open()

set_open

public boolean set_open(boolean val)

get_elems

public CheckedMap_RD<Label,Type> get_elems()

set_elems

public boolean set_elems(CheckedMap_RD<Label,Type> val)

put_elems

public void put_elems(Label key0,
                      Type value)

containsKey_elems

public boolean containsKey_elems(Label key0)

descend_elems

public void descend_elems(MATCH_ONLY_00 visitor)