eu.bandm.sig.absy
Class TuplePattern

java.lang.Object
  eu.bandm.sig.absy.Absy
      eu.bandm.sig.absy.Pattern
          eu.bandm.sig.absy.TuplePattern

All Implemented Interfaces:

Formattable, Cloneable

public class TuplePattern
extends Pattern

Field Summary

protected CheckedMap_RD<Label,Pattern>	elements
static Function<TuplePattern,CheckedMap_RD<Label,Pattern>>	get_elements
static Function<TuplePattern,Boolean>	get_open
protected boolean	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

protected	TuplePattern()
	TuplePattern(boolean open)

Method Summary

void	descend_elements(MATCH_ONLY_00 visitor)
TuplePattern	doclone()
CheckedMap_RD<Label,Pattern>	get_elements()
boolean	get_open()
static String	getFormatHint()
TuplePattern	initFrom(Object o0)
void	put_elements(Label key0, Pattern value)
void	set_elements(CheckedMap_RD<Label,Pattern> val)
void	set_open(boolean val)

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

descend_bindings, format, 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

open

protected boolean open

get_open

public static Function<TuplePattern,Boolean> get_open

elements

protected CheckedMap_RD<Label,Pattern> elements

get_elements

public static Function<TuplePattern,CheckedMap_RD<Label,Pattern>> get_elements

Constructor Detail

TuplePattern

public TuplePattern(boolean open)

TuplePattern

protected TuplePattern()

Method Detail

doclone

public TuplePattern doclone()

Overrides:

doclone in class Pattern

getFormatHint

public static String getFormatHint()

initFrom

public TuplePattern initFrom(Object o0)

Overrides:

initFrom in class Pattern

get_open

public boolean get_open()

set_open

public void set_open(boolean val)

get_elements

public CheckedMap_RD<Label,Pattern> get_elements()

set_elements

public void set_elements(CheckedMap_RD<Label,Pattern> val)

put_elements

public void put_elements(Label key0,
                         Pattern value)

descend_elements

public void descend_elements(MATCH_ONLY_00 visitor)