public class FileSourceManagerImpl extends java.lang.Object implements SourceManager
Constructor and Description |
---|
FileSourceManagerImpl(ExecutionManager runtime) |
FileSourceManagerImpl(ExecutionManager runtime,
SearchPath sourcePath) |
Modifier and Type | Method and Description |
---|---|
void |
addSourceListener(SourceListener l) |
void |
addSourceString(java.lang.String path,
java.lang.String sourceString) |
SearchPath |
getSourcePath()
Get path for access to source code.
|
void |
removeSourceListener(SourceListener l) |
void |
setSourcePath(SearchPath sp)
Set path for access to source code.
|
SourceModel |
sourceForClass(com.sun.jdi.ReferenceType refType)
Get source object associated with a class or interface.
|
SourceModel |
sourceForFile(java.io.File path)
Get source object associated with an absolute file path.
|
SourceModel |
sourceForLocation(com.sun.jdi.Location loc)
Get source object associated with a Location.
|
SourceModel |
sourceForSourceName(java.lang.String name) |
public FileSourceManagerImpl(ExecutionManager runtime)
public FileSourceManagerImpl(ExecutionManager runtime, SearchPath sourcePath)
public void setSourcePath(SearchPath sp)
public void addSourceListener(SourceListener l)
public void removeSourceListener(SourceListener l)
public SearchPath getSourcePath()
public SourceModel sourceForLocation(com.sun.jdi.Location loc)
SourceManager
sourceForLocation
in interface SourceManager
public SourceModel sourceForClass(com.sun.jdi.ReferenceType refType)
sourceForClass
in interface SourceManager
public SourceModel sourceForSourceName(java.lang.String name)
sourceForSourceName
in interface SourceManager
public SourceModel sourceForFile(java.io.File path)
public void addSourceString(java.lang.String path, java.lang.String sourceString)