eu.bandm.sig.absy
Class CDeclare

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

All Implemented Interfaces:

Formattable, Cloneable

public class CDeclare
extends Constraint

Field Summary

protected Type	domain
static Function<CDeclare,Type>	get_domain
static Function<CDeclare,Variable>	get_var
static Consumer<Type,CDeclare>	set_domain
static Consumer<Variable,CDeclare>	set_var
protected Variable	var

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

CDeclare(Variable var, Type domain)

Method Summary

CDeclare	doclone()
Format	format()
Type	get_domain()
Variable	get_var()
static String	getFormatHint()
CDeclare	initFrom(Object o0)
boolean	set_domain(Type val)
boolean	set_var(Variable 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

var

protected Variable var

get_var

public static final Function<CDeclare,Variable> get_var

set_var

public static final Consumer<Variable,CDeclare> set_var

domain

protected Type domain

get_domain

public static final Function<CDeclare,Type> get_domain

set_domain

public static final Consumer<Type,CDeclare> set_domain

Constructor Detail

CDeclare

public CDeclare(Variable var,
                Type domain)

Method Detail

doclone

public CDeclare doclone()

Overrides:

doclone in class Constraint

getFormatHint

public static String getFormatHint()

format

public Format format()

Specified by:

format in interface Formattable

Overrides:

format in class Constraint

initFrom

public CDeclare initFrom(Object o0)

Overrides:

initFrom in class Constraint

get_var

public Variable get_var()

set_var

public boolean set_var(Variable val)

get_domain

public Type get_domain()

set_domain

public boolean set_domain(Type val)