eu.bandm.sig.absy
Class PatternVariable

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

All Implemented Interfaces:

Formattable, Cloneable

public class PatternVariable
extends Pattern

Field Summary

protected Type	domain
static Function<PatternVariable,Type>	get_domain
static Function<PatternVariable,ExprVariable>	get_var
protected ExprVariable	var

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	PatternVariable()
	PatternVariable(ExprVariable var)

Method Summary

PatternVariable	doclone()
Type	get_domain()
ExprVariable	get_var()
static String	getFormatHint()
PatternVariable	initFrom(Object o0)
void	set_domain(Type val)
void	set_var(ExprVariable 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

var

protected ExprVariable var

get_var

public static Function<PatternVariable,ExprVariable> get_var

domain

protected Type domain

get_domain

public static Function<PatternVariable,Type> get_domain

Constructor Detail

PatternVariable

public PatternVariable(ExprVariable var)

PatternVariable

protected PatternVariable()

Method Detail

doclone

public PatternVariable doclone()

Overrides:

doclone in class Pattern

getFormatHint

public static String getFormatHint()

initFrom

public PatternVariable initFrom(Object o0)

Overrides:

initFrom in class Pattern

get_var

public ExprVariable get_var()

set_var

public void set_var(ExprVariable val)

get_domain

public Type get_domain()

set_domain

public void set_domain(Type val)