| 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