eu.bandm.sig.absy
Class ELet

java.lang.Object
  eu.bandm.sig.absy.Absy
      eu.bandm.sig.absy.Expression
          eu.bandm.sig.absy.ELet

All Implemented Interfaces:

Formattable, Cloneable

public class ELet
extends Expression

Field Summary

protected Expression	body
protected Constraint	constraint
static Function<ELet,Expression>	get_body
static Function<ELet,Constraint>	get_constraint
static Consumer<Expression,ELet>	set_body
static Consumer<Constraint,ELet>	set_constraint

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

get_type, 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

ELet(Constraint constraint, Expression body)

Method Summary

ELet	doclone()
Format	format()
Expression	get_body()
Constraint	get_constraint()
ELet	initFrom(Object o0)
boolean	set_body(Expression val)
boolean	set_constraint(Constraint val)

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

get_type, 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

constraint

protected Constraint constraint

get_constraint

public static final Function<ELet,Constraint> get_constraint

set_constraint

public static final Consumer<Constraint,ELet> set_constraint

body

protected Expression body

get_body

public static final Function<ELet,Expression> get_body

set_body

public static final Consumer<Expression,ELet> set_body

Constructor Detail

ELet

public ELet(Constraint constraint,
            Expression body)

Method Detail

doclone

public ELet doclone()

Overrides:

doclone in class Expression

format

public Format format()

Specified by:

format in interface Formattable

Overrides:

format in class Expression

initFrom

public ELet initFrom(Object o0)

Overrides:

initFrom in class Expression

get_constraint

public Constraint get_constraint()

set_constraint

public boolean set_constraint(Constraint val)

get_body

public Expression get_body()

set_body

public boolean set_body(Expression val)