m_oldValueFromMonitorStack.pop();
}
protected boolean methodReturnsAValue(){
OpenCLMethod ocl_method = new OpenCLMethod(m_sootMethod, m_sootMethod.getDeclaringClass());
return ocl_method.returnsAValue();
}
public void caseBreakpointStmt(BreakpointStmt arg0) {
//intentionally left blank
}