| Modifier and Type | Field and Description | 
|---|---|
protected boolean | 
mayAbort
Deprecated.  
  | 
protected java.util.List<LocalInstance> | 
updatedLocals
Deprecated.  
  | 
| Constructor and Description | 
|---|
Atomic_c(Position pos,
        java.util.List<Stmt> statements)
Deprecated.  
 | 
Atomic_c(Position pos,
        java.util.List<Stmt> statements,
        Ext ext)
Deprecated.  
  | 
| Modifier and Type | Method and Description | 
|---|---|
<T> java.util.List<T> | 
acceptCFG(<any> v,
         java.util.List<T> succs)
Deprecated.  
  | 
boolean | 
mayAbort()
Deprecated.  
  | 
Atomic | 
mayAbort(boolean b)
Deprecated.  
  | 
java.util.List<LocalInstance> | 
updatedLocals()
Deprecated.  
  | 
Atomic | 
updatedLocals(java.util.List<LocalInstance> s)
Deprecated.  
  | 
protected java.util.List<LocalInstance> updatedLocals
protected boolean mayAbort
@Deprecated
public Atomic_c(Position pos,
                            java.util.List<Stmt> statements)
public Atomic_c(Position pos,
                java.util.List<Stmt> statements,
                Ext ext)
public <T> java.util.List<T> acceptCFG(<any> v,
                                       java.util.List<T> succs)
public java.util.List<LocalInstance> updatedLocals()
updatedLocals in interface Atomicpublic Atomic updatedLocals(java.util.List<LocalInstance> s)
updatedLocals in interface Atomic