403404405406407408409410411412413
{ throw e; } catch (Unavailable ex) { throw new NoTransaction(); } } else throw new NoTransaction(); }
369370371372373374375
throw new INVALID_TRANSACTION(); } } else throw new NoTransaction(); }
404405406407408409410411412413414
307308309310311312313
185186187188189190191192193194195
throws NoTransaction, HeuristicMixed, HeuristicHazard { Thread current = Thread.currentThread(); if (! contexts.containsKey(current)) throw new NoTransaction(); Control control = null; try { control = (Control) contexts.get(current);
272273274275276277278279280281282
throws NoTransaction { Thread current = Thread.currentThread(); if (! contexts.containsKey(current)) throw new NoTransaction(); try { Control control = (Control) contexts.get(current); control.get_terminator().rollback();
295296297298299300301302303304305
throws NoTransaction { Thread current = Thread.currentThread(); if (! contexts.containsKey(current)) throw new NoTransaction(); try { Control control = (Control) contexts.get(current); control.get_coordinator().rollback_only(); control._release();
184185186187188189190191192193194
271272273274275276277278279280281
294295296297298299300301302303304