public interface Atomic
Atomic represents an atomic block.| Modifier and Type | Method and Description |
|---|---|
boolean |
mayAbort() |
Atomic |
mayAbort(boolean b) |
java.util.List<LocalInstance> |
updatedLocals() |
Atomic |
updatedLocals(java.util.List<LocalInstance> s) |