eu.bandm.sig.absy
Class Rule

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

All Implemented Interfaces:

Formattable, Cloneable

Direct Known Subclasses:

BinaryRule, REquation, RFail, RSucceed

public abstract class Rule
extends Absy

Field Summary

protected Type	domain
static Function<Rule,Type>	get_domain
static Function<Rule,Type>	get_range
protected Type	range
static Consumer<Type,Rule>	set_domain
static Consumer<Type,Rule>	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

Rule()

Method Summary

Rule	doclone()
Format	format()
Type	get_domain()
Type	get_range()
Rule	initFrom(Object o0)
boolean	set_domain(Type val)
boolean	set_range(Type val)

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

domain

protected Type domain

get_domain

public static final Function<Rule,Type> get_domain

set_domain

public static final Consumer<Type,Rule> set_domain

range

protected Type range

get_range

public static final Function<Rule,Type> get_range

set_range

public static final Consumer<Type,Rule> set_range

Constructor Detail

Rule

public Rule()

Method Detail

doclone

public Rule doclone()

Overrides:

doclone in class Absy

format

public Format format()

Specified by:

format in interface Formattable

Overrides:

format in class Absy

initFrom

public Rule initFrom(Object o0)

Overrides:

initFrom in class Absy

get_domain

public Type get_domain()

set_domain

public boolean set_domain(Type val)

get_range

public Type get_range()

set_range

public boolean set_range(Type val)