samples/privilegedcreator/src/org/apidesign/privileged/api/Mutex.java
changeset 335 3a98792518f0
parent 333 9fd8d2574d7f
     1.1 --- a/samples/privilegedcreator/src/org/apidesign/privileged/api/Mutex.java	Mon May 25 18:44:58 2009 +0200
     1.2 +++ b/samples/privilegedcreator/src/org/apidesign/privileged/api/Mutex.java	Tue May 26 09:01:40 2009 +0200
     1.3 @@ -19,7 +19,7 @@
     1.4      public Mutex() {
     1.5      }
     1.6      
     1.7 -    public void readAccess(Runnable r) {
     1.8 +    public void withLock(Runnable r) {
     1.9          try {
    1.10              lock.lock();
    1.11              r.run();
    1.12 @@ -40,11 +40,11 @@
    1.13      public static final class Privileged {
    1.14          private Mutex mutex;
    1.15          
    1.16 -        public void enterReadAccess() {
    1.17 +        public void lock() {
    1.18              mutex.lock.lock();
    1.19          }
    1.20          
    1.21 -        public void exitReadAccess() {
    1.22 +        public void unlock() {
    1.23              mutex.lock.unlock();
    1.24          }
    1.25      }