|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||
| Packages that use DefinitionsDocument.WrappedPosition | |
|---|---|
| edu.rice.cs.drjava.model.definitions | Provides the data model for storing Java source code. |
| Uses of DefinitionsDocument.WrappedPosition in edu.rice.cs.drjava.model.definitions |
|---|
| Methods in edu.rice.cs.drjava.model.definitions that return types with arguments of type DefinitionsDocument.WrappedPosition | |
|---|---|
WeakHashMap<DefinitionsDocument.WrappedPosition,Integer> |
DefinitionsDocument.getWrappedPositionOffsets()
Remove all positions that have been garbage-collected from the list of positions, then return a weakly-linked hashmap with positions and their current offsets. |
| Method parameters in edu.rice.cs.drjava.model.definitions with type arguments of type DefinitionsDocument.WrappedPosition | |
|---|---|
void |
DefinitionsDocument.setWrappedPositionOffsets(WeakHashMap<DefinitionsDocument.WrappedPosition,Integer> whm)
Re-create the wrapped positions in the hashmap, update the wrapped position, and add them to the list. |
|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||