eu.bandm.sig.absy
Class REquation

java.lang.Object
  eu.bandm.sig.absy.Absy
      eu.bandm.sig.absy.Rule
          eu.bandm.sig.absy.REquation

All Implemented Interfaces:

Formattable, Cloneable

public class REquation
extends Rule

Field Summary

static Function<REquation,Pattern>	get_left
static Function<REquation,Expression>	get_right
protected Pattern	left
protected Expression	right
static Consumer<Pattern,REquation>	set_left
static Consumer<Expression,REquation>	set_right

Fields inherited from class eu.bandm.sig.absy.Rule

domain, get_domain, get_range, range, set_domain, set_range

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

REquation(Pattern left, Expression right)

Method Summary

REquation	doclone()
Format	format()
Pattern	get_left()
Expression	get_right()
static String	getFormatHint()
REquation	initFrom(Object o0)
boolean	set_left(Pattern val)
boolean	set_right(Expression val)

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

get_domain, get_range, set_domain, set_range

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

left

protected Pattern left

get_left

public static final Function<REquation,Pattern> get_left

set_left

public static final Consumer<Pattern,REquation> set_left

right

protected Expression right

get_right

public static final Function<REquation,Expression> get_right

set_right

public static final Consumer<Expression,REquation> set_right

Constructor Detail

REquation

public REquation(Pattern left,
                 Expression right)

Method Detail

doclone

public REquation doclone()

Overrides:

doclone in class Rule

getFormatHint

public static String getFormatHint()

format

public Format format()

Specified by:

format in interface Formattable

Overrides:

format in class Rule

initFrom

public REquation initFrom(Object o0)

Overrides:

initFrom in class Rule

get_left

public Pattern get_left()

set_left

public boolean set_left(Pattern val)

get_right

public Expression get_right()

set_right

public boolean set_right(Expression val)