eu.bandm.sig.absy
Class BinaryContext

java.lang.Object
  eu.bandm.sig.absy.Absy
      eu.bandm.sig.absy.Constraint
          eu.bandm.sig.absy.BinaryContext

All Implemented Interfaces:

Formattable, Cloneable

public abstract class BinaryContext
extends Constraint

Field Summary

static Function<BinaryContext,Constraint>	get_left
static Function<BinaryContext,Constraint>	get_right
protected Constraint	left
protected Constraint	right

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

bindings, get_bindings, set_bindings

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

BinaryContext(Constraint left, Constraint right)

Method Summary

BinaryContext	doclone()
Format	format()
Constraint	get_left()
Constraint	get_right()
BinaryContext	initFrom(Object o0)
void	set_left(Constraint val)
void	set_right(Constraint val)

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

descend_bindings, get_bindings, set_bindings

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 Constraint left

get_left

public static Function<BinaryContext,Constraint> get_left

right

protected Constraint right

get_right

public static Function<BinaryContext,Constraint> get_right

Constructor Detail

BinaryContext

public BinaryContext(Constraint left,
                     Constraint right)

Method Detail

doclone

public BinaryContext doclone()

Overrides:

doclone in class Constraint

format

public Format format()

Specified by:

format in interface Formattable

Overrides:

format in class Constraint

initFrom

public BinaryContext initFrom(Object o0)

Overrides:

initFrom in class Constraint

get_left

public Constraint get_left()

set_left

public void set_left(Constraint val)

get_right

public Constraint get_right()

set_right

public void set_right(Constraint val)