Public Methods | |
LockTest (Expr lockExpr, int operation, BirThread thread) | |
void | apply (Switch sw) |
Expr | getLockExpr () |
int | getOperation () |
BirThread | getThread () |
Type | getType () |
Static Private Methods | |
String | operationName (int operation) |
Private Attributes | |
Expr | lockExpr |
int | operation |
BirThread | thread |
Definition at line 41 of file LockTest.java.
|
Create a lock action.
Definition at line 53 of file LockTest.java. |