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) |