eu.bandm.sig.absy
Class VariantPattern

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

All Implemented Interfaces:

Formattable, Cloneable

public class VariantPattern
extends Pattern

Field Summary

protected Pattern	body
static Function<VariantPattern,Pattern>	get_body
static Function<VariantPattern,Label>	get_label
protected Label	label

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	VariantPattern()
	VariantPattern(Label label, Pattern body)

Method Summary

VariantPattern	doclone()
Pattern	get_body()
Label	get_label()
static String	getFormatHint()
VariantPattern	initFrom(Object o0)
void	set_body(Pattern val)
void	set_label(Label 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

label

protected Label label

get_label

public static Function<VariantPattern,Label> get_label

body

protected Pattern body

get_body

public static Function<VariantPattern,Pattern> get_body

Constructor Detail

VariantPattern

public VariantPattern(Label label,
                      Pattern body)

VariantPattern

protected VariantPattern()

Method Detail

doclone

public VariantPattern doclone()

Overrides:

doclone in class Pattern

getFormatHint

public static String getFormatHint()

initFrom

public VariantPattern initFrom(Object o0)

Overrides:

initFrom in class Pattern

get_label

public Label get_label()

set_label

public void set_label(Label val)

get_body

public Pattern get_body()

set_body

public void set_body(Pattern val)