Java Map.sizeの例

コード例 #1

ファイル: BackEndContainer.java プロジェクト: LeviPorto/Jamder

  private void killAgentImages() {
    AID[] ids = getAgentImages();
    for (int i = 0; i < ids.length; ++i) {
      handleEnd(ids[i]);
    }

    if (agentImages.size() > 0) {
      myLogger.log(Logger.WARNING, "# " + agentImages.size() + " zombie agent images found.");
      agentImages.clear();
    }
  }