eu.bandm.sig.absy
Class Selection

java.lang.Object
  extended by eu.bandm.sig.absy.Expr
      extended by eu.bandm.sig.absy.Selection
All Implemented Interfaces:
Cloneable

public class Selection
extends Expr


Field Summary
protected  Expr body
           
static Function<Selection,Expr> get_body
           
static Function<Selection,Label> get_selector
           
protected  Label selector
           
 
Fields inherited from class eu.bandm.sig.absy.Expr
get_locator, get_type, locator, type
 
Constructor Summary
protected Selection()
           
  Selection(Expr body, Label selector)
           
 
Method Summary
 Selection doclone()
           
 Expr get_body()
           
 Label get_selector()
           
static String getFormatHint()
           
 Selection initFrom(Object o0)
           
 void set_body(Expr val)
           
 void set_selector(Label val)
           
 
Methods inherited from class eu.bandm.sig.absy.Expr
get_locator, get_type, set_locator, set_type
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

body

protected Expr body

get_body

public static Function<Selection,Expr> get_body

selector

protected Label selector

get_selector

public static Function<Selection,Label> get_selector
Constructor Detail

Selection

public Selection(Expr body,
                 Label selector)

Selection

protected Selection()
Method Detail

doclone

public Selection doclone()
Overrides:
doclone in class Expr

getFormatHint

public static String getFormatHint()

initFrom

public Selection initFrom(Object o0)
Overrides:
initFrom in class Expr

get_body

public Expr get_body()

set_body

public void set_body(Expr val)

get_selector

public Label get_selector()

set_selector

public void set_selector(Label val)