fabil.ast
Class Atomic_c

java.lang.Object
  extended by Block_c
      extended by fabil.ast.Atomic_c
All Implemented Interfaces:
Atomic

public class Atomic_c
extends Block_c
implements Atomic

An Atomic represents an atomic block.


Field Summary
protected  boolean mayAbort
           
protected  java.util.List<LocalInstance> updatedLocals
           
 
Constructor Summary
Atomic_c(Position pos, java.util.List<Stmt> statements)
           
 
Method Summary
 java.util.List acceptCFG(CFGBuilder v, java.util.List succs)
           
 boolean mayAbort()
           
 Atomic mayAbort(boolean b)
           
 java.util.List<LocalInstance> updatedLocals()
           
 Atomic updatedLocals(java.util.List<LocalInstance> s)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

updatedLocals

protected java.util.List<LocalInstance> updatedLocals

mayAbort

protected boolean mayAbort
Constructor Detail

Atomic_c

public Atomic_c(Position pos,
                java.util.List<Stmt> statements)
Method Detail

acceptCFG

public java.util.List acceptCFG(CFGBuilder v,
                                java.util.List succs)

updatedLocals

public java.util.List<LocalInstance> updatedLocals()
Specified by:
updatedLocals in interface Atomic

updatedLocals

public Atomic updatedLocals(java.util.List<LocalInstance> s)
Specified by:
updatedLocals in interface Atomic

mayAbort

public boolean mayAbort()
Specified by:
mayAbort in interface Atomic

mayAbort

public Atomic mayAbort(boolean b)
Specified by:
mayAbort in interface Atomic