eu.bandm.sig.absy
Class PTuple

java.lang.Object
  eu.bandm.sig.absy.Absy
      eu.bandm.sig.absy.Pattern
          eu.bandm.sig.absy.AggregatePattern
              eu.bandm.sig.absy.PTuple

All Implemented Interfaces:

Formattable, Cloneable

public class PTuple
extends AggregatePattern

Field Summary

protected CheckedMap_RD<Label,Pattern>	elems
static Function<PTuple,CheckedMap_RD<Label,Pattern>>	get_elems
static Consumer<CheckedMap_RD<Label,Pattern>,PTuple>	set_elems

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

get_open, open, set_open

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

bindings, get_bindings, get_type, set_bindings, set_type, type

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

PTuple()

PTuple(CheckedMap_RD<Label,Pattern> elems)

Method Summary

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

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

get_open, set_open

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

descend_bindings, get_bindings, get_type, set_bindings, set_type

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,Pattern> elems

get_elems

public static final Function<PTuple,CheckedMap_RD<Label,Pattern>> get_elems

set_elems

public static final Consumer<CheckedMap_RD<Label,Pattern>,PTuple> set_elems

Constructor Detail

PTuple

public PTuple()

PTuple

public PTuple(CheckedMap_RD<Label,Pattern> elems)

Method Detail

doclone

public PTuple doclone()

Overrides:

doclone in class AggregatePattern

getFormatHint

public static String getFormatHint()

format

public Format format()

Specified by:

format in interface Formattable

Overrides:

format in class AggregatePattern

initFrom

public PTuple initFrom(Object o0)

Overrides:

initFrom in class AggregatePattern

get_elems

public CheckedMap_RD<Label,Pattern> get_elems()

set_elems

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

put_elems

public void put_elems(Label key0,
                      Pattern value)

containsKey_elems

public boolean containsKey_elems(Label key0)

descend_elems

public void descend_elems(MATCH_ONLY_00 visitor)