Package org.rascalmpl.parser.gtd.util

Examples of org.rascalmpl.parser.gtd.util.IntegerMap

91
92
93
94
95
96
97
98
99
100
101
  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);
    }
  }
View Full Code Here
102
103
104
105
106
107
108
109
110
111
 
  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);
  }
View Full Code Here
TOP

Related Classes of org.rascalmpl.parser.gtd.util.IntegerMap

  • org.rascalmpl.parser.gtd.stack.edge.EdgesSet
    • Copyright © 2018 www.massapicom. All rights reserved.
    All source code are property of their respective owners. Java is a trademark of Sun Microsystems, Inc and owned by ORACLE Inc. Contact coftware#gmail.com.