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 Atomic
public Atomic updatedLocals(java.util.List<LocalInstance> s)
updatedLocals
in interface Atomic