edu.ucdavis.rj.Locks
Class InniLocker

java.lang.Object
  extended by edu.ucdavis.rj.Locks.InniLocker

public class InniLocker
extends java.lang.Object


Field Summary
private  java.util.ArrayList<InniArm> armList
           
private  boolean cleared
           
private  boolean ecFormed
           
private  boolean hasCap
           
private  CLock[] lockArray
           
private  CLock masterLock
           
 int N
           
private  boolean quantified
           
 
Constructor Summary
InniLocker(java.util.ArrayList<InniArm> armList)
           
 
Method Summary
private  boolean capChanged()
          Determine if a capability refers to a different operation than the last time the equivalence class was gathered.
private static InLock createLocalLock()
           
private  void equivClassFormed()
           
 void lock()
          Lock the equivalence class.
 void unlock()
           
 void waitOnLock()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

N

public int N

armList

private java.util.ArrayList<InniArm> armList

lockArray

private CLock[] lockArray

masterLock

private CLock masterLock

ecFormed

private boolean ecFormed

hasCap

private boolean hasCap

quantified

private boolean quantified

cleared

private boolean cleared
Constructor Detail

InniLocker

public InniLocker(java.util.ArrayList<InniArm> armList)
Method Detail

lock

public void lock()
Lock the equivalence class. First determine if some number of operations must be added to the equivalence class. If so, then create a new ec.


unlock

public void unlock()

waitOnLock

public void waitOnLock()

equivClassFormed

private void equivClassFormed()

capChanged

private boolean capChanged()
Determine if a capability refers to a different operation than the last time the equivalence class was gathered.


createLocalLock

private static InLock createLocalLock()