eu.bandm.sig.absy
Class FProduct

java.lang.Object
  eu.bandm.sig.absy.Absy
      eu.bandm.sig.absy.Face
          eu.bandm.sig.absy.FProduct

All Implemented Interfaces:

Formattable, Cloneable

public class FProduct
extends Face

Field Summary

protected CheckedMap_RD<Label,FVar>	elems
static Function<FProduct,CheckedMap_RD<Label,FVar>>	get_elems

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

domain, get_domain, get_var, set_domain, set_var, var

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

FProduct()

Method Summary

boolean	containsKey_elems(Label key0)
void	descend_elems(MATCH_ONLY_00 visitor)
FProduct	doclone()
Format	format()
CheckedMap_RD<Label,FVar>	get_elems()
static String	getFormatHint()
FProduct	initFrom(Object o0)
void	put_elems(Label key0, FVar value)
void	set_elems(CheckedMap_RD<Label,FVar> val)

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

get_domain, get_var, set_domain, set_var

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

elems

protected CheckedMap_RD<Label,FVar> elems

get_elems

public static Function<FProduct,CheckedMap_RD<Label,FVar>> get_elems

Constructor Detail

FProduct

public FProduct()

Method Detail

doclone

public FProduct doclone()

Overrides:

doclone in class Face

getFormatHint

public static String getFormatHint()

format

public Format format()

Specified by:

format in interface Formattable

Overrides:

format in class Face

initFrom

public FProduct initFrom(Object o0)

Overrides:

initFrom in class Face

get_elems

public CheckedMap_RD<Label,FVar> get_elems()

set_elems

public void set_elems(CheckedMap_RD<Label,FVar> val)

put_elems

public void put_elems(Label key0,
                      FVar value)

containsKey_elems

public boolean containsKey_elems(Label key0)

descend_elems

public void descend_elems(MATCH_ONLY_00 visitor)