1 33 34 package edu.rice.cs.drjava.model; 35 36 import edu.rice.cs.util.Lambda; 37 import java.util.Vector ; 38 39 42 public interface RegionManager<R extends DocumentRegion> { 43 48 public R getRegionAt(OpenDefinitionsDocument odd, int offset); 49 50 57 public R getRegionOverlapping(OpenDefinitionsDocument odd, int startOffset, int endOffset); 58 59 62 public void addRegion(R region); 63 64 67 public void removeRegion(R region); 68 69 72 public void changeRegion(R region, Lambda<Object ,R> cmd); 73 74 75 public Vector <R> getRegions(); 76 77 78 public void clearRegions(); 79 80 81 public R getCurrentRegion(); 82 83 84 public int getCurrentRegionIndex(); 85 86 87 public boolean isCurrentRegionFirst(); 88 89 90 public boolean isCurrentRegionLast(); 91 92 94 public void setCurrentRegion(R region); 95 96 98 public R nextCurrentRegion(); 99 100 102 public R prevCurrentRegion(); 103 104 110 public void setMaximumSize(int size); 111 112 113 public int getMaximumSize(); 114 115 118 public void addListener(RegionManagerListener<R> listener); 119 120 123 public void removeListener(RegionManagerListener<R> listener); 124 125 126 public void removeAllListeners(); 127 } 128 | Popular Tags |