eu.bandm.sig.absy
Class Pattern

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

All Implemented Interfaces:

Formattable, Cloneable

Direct Known Subclasses:

AggregatePattern, BinaryPattern, ConjunctivePattern, PatternVariable, PCast, PVar, TuplePattern, VariantPattern

public abstract class Pattern
extends Absy

Field Summary

protected CheckedMap_D<Variable,Type>	bindings
static Function<Pattern,CheckedMap_D<Variable,Type>>	get_bindings
static Function<Pattern,Type>	get_type
static Consumer<CheckedMap_D<Variable,Type>,Pattern>	set_bindings
static Consumer<Type,Pattern>	set_type
protected 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

Pattern()

Method Summary

void	descend_bindings(MATCH_ONLY_00 visitor)
Pattern	doclone()
Format	format()
CheckedMap_D<Variable,Type>	get_bindings()
Type	get_type()
Pattern	initFrom(Object o0)
boolean	set_bindings(CheckedMap_D<Variable,Type> val)
boolean	set_type(Type val)

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

type

protected Type type

get_type

public static final Function<Pattern,Type> get_type

set_type

public static final Consumer<Type,Pattern> set_type

bindings

protected CheckedMap_D<Variable,Type> bindings

get_bindings

public static final Function<Pattern,CheckedMap_D<Variable,Type>> get_bindings

set_bindings

public static final Consumer<CheckedMap_D<Variable,Type>,Pattern> set_bindings

Constructor Detail

Pattern

public Pattern()

Method Detail

doclone

public Pattern doclone()

Overrides:

doclone in class Absy

format

public Format format()

Specified by:

format in interface Formattable

Overrides:

format in class Absy

initFrom

public Pattern initFrom(Object o0)

Overrides:

initFrom in class Absy

get_type

public Type get_type()

set_type

public boolean set_type(Type val)

get_bindings

public CheckedMap_D<Variable,Type> get_bindings()

set_bindings

public boolean set_bindings(CheckedMap_D<Variable,Type> val)

descend_bindings

public void descend_bindings(MATCH_ONLY_00 visitor)