Package | Description |
---|---|
gov.nasa.jpf.jvm.bytecode | |
gov.nasa.jpf.listener |
Modifier and Type | Class and Description |
---|---|
class |
MONITORENTER
Enter monitor for object
..., objectref => ...
|
class |
MONITOREXIT
Exit monitor for object
..., objectref => ...
|
Modifier and Type | Method and Description |
---|---|
void |
InstructionVisitor.visit(LockInstruction ins) |
void |
InstructionVisitorAdapter.visit(LockInstruction ins) |
Modifier and Type | Method and Description |
---|---|
protected String |
SimpleDot.getLockCG(LockInstruction insn) |