does the transaction have any work associated with it ? concode_field_sep Map<Transaction,Stack<Work>> _transactions concode_field_sep Work getWork concode_elem_sep void addWork concode_elem_sep void removeWork
boolean function ( Transaction arg0 ) { synchronized ( _transactions ) { Stack loc0 = _transactions . get ( arg0 ) ; return ( boolean ) ( loc0 != null ) ; } }