eu.bandm.sig.absy
Class OCommit

java.lang.Object
  extended by eu.bandm.sig.absy.Absy
      extended by eu.bandm.sig.absy.Operation
          extended by eu.bandm.sig.absy.VoidOperation
              extended by eu.bandm.sig.absy.OCommit
All Implemented Interfaces:
Formattable, Cloneable

public class OCommit
extends VoidOperation


Field Summary
static Function<OCommit,Label> get_selector
           
protected  Label selector
           
 
Fields inherited from class eu.bandm.sig.absy.Operation
get_out, out, set_out
 
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
OCommit(Label selector)
           
 
Method Summary
 OCommit doclone()
           
 Format format()
           
 Label get_selector()
           
static String getFormatHint()
           
 OCommit initFrom(Object o0)
           
 void set_selector(Label val)
           
 
Methods inherited from class eu.bandm.sig.absy.Operation
get_out, set_out
 
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

selector

protected Label selector

get_selector

public static Function<OCommit,Label> get_selector
Constructor Detail

OCommit

public OCommit(Label selector)
Method Detail

doclone

public OCommit doclone()
Overrides:
doclone in class VoidOperation

getFormatHint

public static String getFormatHint()

format

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

initFrom

public OCommit initFrom(Object o0)
Overrides:
initFrom in class VoidOperation

get_selector

public Label get_selector()

set_selector

public void set_selector(Label val)