public class JDTLikeHandleProvider extends java.lang.Object implements IElementHandleProvider
Constructor and Description |
---|
JDTLikeHandleProvider(AsmManager asm) |
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) |
boolean |
dependsOnLocation() |
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.
|
public JDTLikeHandleProvider(AsmManager asm)
public void initialize()
IElementHandleProvider
initialize
in interface IElementHandleProvider
public java.lang.String createHandleIdentifier(IProgramElement ipe)
createHandleIdentifier
in interface IElementHandleProvider
public java.lang.String getFileForHandle(java.lang.String handle)
IElementHandleProvider
getFileForHandle
in interface IElementHandleProvider
public int getLineNumberForHandle(java.lang.String handle)
IElementHandleProvider
getLineNumberForHandle
in interface IElementHandleProvider
public int getOffSetForHandle(java.lang.String handle)
getOffSetForHandle
in interface IElementHandleProvider
public java.lang.String createHandleIdentifier(ISourceLocation location)
createHandleIdentifier
in interface IElementHandleProvider
public java.lang.String createHandleIdentifier(java.io.File sourceFile, int line, int column, int offset)
createHandleIdentifier
in interface IElementHandleProvider
public boolean dependsOnLocation()