public interface IElementHandleProvider
Modifier and Type | Method and Description |
---|---|
java.lang.String |
createHandleIdentifier(java.io.File sourceFile,
int line,
int column,
int offset) |
java.lang.String |
createHandleIdentifier(IProgramElement ipe) |
java.lang.String |
createHandleIdentifier(ISourceLocation location) |
java.lang.String |
getFileForHandle(java.lang.String handle)
NOTE: this is necessary for the current implementation to look up nodes, but we may want to consider removing it.
|
int |
getLineNumberForHandle(java.lang.String handle)
NOTE: this is necessary for the current implementation to look up nodes, but we may want to consider removing it.
|
int |
getOffSetForHandle(java.lang.String handle) |
void |
initialize()
Initializes handle provider state.
|
java.lang.String createHandleIdentifier(ISourceLocation location)
java.lang.String createHandleIdentifier(java.io.File sourceFile, int line, int column, int offset)
java.lang.String createHandleIdentifier(IProgramElement ipe)
java.lang.String getFileForHandle(java.lang.String handle)
int getLineNumberForHandle(java.lang.String handle)
int getOffSetForHandle(java.lang.String handle)
void initialize()