fabil.ast
Interface Atomic

All Known Implementing Classes:
Atomic_c

public interface Atomic

An Atomic represents an atomic block.


Method Summary
 boolean mayAbort()
           
 Atomic mayAbort(boolean b)
           
 java.util.List<LocalInstance> updatedLocals()
           
 Atomic updatedLocals(java.util.List<LocalInstance> s)
           
 

Method Detail

updatedLocals

java.util.List<LocalInstance> updatedLocals()

updatedLocals

Atomic updatedLocals(java.util.List<LocalInstance> s)

mayAbort

boolean mayAbort()

mayAbort

Atomic mayAbort(boolean b)