fabil.ast
Class Atomic_c
java.lang.Object
Block_c
fabil.ast.Atomic_c
- All Implemented Interfaces:
- Atomic
public class Atomic_c
- extends Block_c
- implements Atomic
An Atomic
represents an atomic
block.
Constructor Summary |
Atomic_c(Position pos,
java.util.List<Stmt> statements)
|
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
updatedLocals
protected java.util.List<LocalInstance> updatedLocals
mayAbort
protected boolean mayAbort
Atomic_c
public Atomic_c(Position pos,
java.util.List<Stmt> statements)
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