Java ElementInfo.canLock示例

示例#1

文件： MethodInfo.java 项目： evvalvis/jpf

  public boolean canEnter(ThreadInfo th) {
    if (isSynchronized()) {
      ElementInfo ei = getBlockedObject(th, true);

      // <?> pcm - the other way round would be intuitive
      return ei.canLock(th);
    }

    return true;
  }