MutexTypeN.java 206 B

12345678910111213141516
  1. // Nummy mutex : never refuse ownership
  2. class MutexTypeN extends Mutex {
  3. public void p(int id) {
  4. // Nothing
  5. }
  6. public void v(int id) {
  7. // Nothing
  8. }
  9. public String toString() {
  10. return "N";
  11. }
  12. }