eu.bandm.sig.absy
Class PCotuple

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

All Implemented Interfaces:

Formattable, Cloneable

public class PCotuple
extends AggregatePattern

Field Summary

protected Pattern	body
static Function<PCotuple,Pattern>	get_body
static Function<PCotuple,Label>	get_selector
protected Label	selector
static Consumer<Pattern,PCotuple>	set_body
static Consumer<Label,PCotuple>	set_selector

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

PCotuple(Label selector, Pattern body)

Method Summary

PCotuple	doclone()
Format	format()
Pattern	get_body()
Label	get_selector()
static String	getFormatHint()
PCotuple	initFrom(Object o0)
boolean	set_body(Pattern val)
boolean	set_selector(Label 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

selector

protected Label selector

get_selector

public static final Function<PCotuple,Label> get_selector

set_selector

public static final Consumer<Label,PCotuple> set_selector

body

protected Pattern body

get_body

public static final Function<PCotuple,Pattern> get_body

set_body

public static final Consumer<Pattern,PCotuple> set_body

Constructor Detail

PCotuple

public PCotuple(Label selector,
                Pattern body)

Method Detail

doclone

public PCotuple 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 PCotuple initFrom(Object o0)

Overrides:

initFrom in class AggregatePattern

get_selector

public Label get_selector()

set_selector

public boolean set_selector(Label val)

get_body

public Pattern get_body()

set_body

public boolean set_body(Pattern val)