Java IntegerMap.put Examples

Example #1

File: EdgesSet.java Project: JJWTimmer/rascal

  public void setLastVisitedLevel(int level, int resultStoreId) {
    if (resultStoreId == DEFAULT_RESULT_STORE_ID) {
      lastVisitedLevel = level;
    } else {
      if (lastVisitedFilteredLevel == null) {
        lastVisitedFilteredLevel = new IntegerMap();
      }

      lastVisitedFilteredLevel.put(resultStoreId, level);
    }
  }