eu.bandm.sig.absy
Class Expression

java.lang.Object
  extended by eu.bandm.sig.absy.Absy
      extended by eu.bandm.sig.absy.Expression
All Implemented Interfaces:
Formattable, Cloneable
Direct Known Subclasses:
AggregateExpression, EApply, EBox, ECast, EFun, ELet, ENum, ESelect, EVar

public abstract class Expression
extends Absy


Field Summary
static Function<Expression,Type> get_type
           
static Consumer<Type,Expression> set_type
           
protected  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
Expression()
           
 
Method Summary
 Expression doclone()
           
 Format format()
           
 Type get_type()
           
 Expression initFrom(Object o0)
           
 boolean set_type(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

type

protected Type type

get_type

public static final Function<Expression,Type> get_type

set_type

public static final Consumer<Type,Expression> set_type
Constructor Detail

Expression

public Expression()
Method Detail

doclone

public Expression doclone()
Overrides:
doclone in class Absy

format

public Format format()
Specified by:
format in interface Formattable
Overrides:
format in class Absy

initFrom

public Expression initFrom(Object o0)
Overrides:
initFrom in class Absy

get_type

public Type get_type()

set_type

public boolean set_type(Type val)