Java IntegerMap Examples

Example #1

File: EdgesSet.java Project: JJWTimmer/rascal

  public int getLastVisitedLevel(int resultStoreId) {
    if (resultStoreId == DEFAULT_RESULT_STORE_ID) return lastVisitedLevel;

    if (lastVisitedFilteredLevel == null) {
      lastVisitedFilteredLevel = new IntegerMap();
      return -1;
    }
    return lastVisitedFilteredLevel.get(resultStoreId);
  }

Example #2

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);
    }
  }