public class SourceManager
extends java.lang.Object
Constructor and Description |
---|
SourceManager(ExecutionManager runtime) |
SourceManager(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 SourceManager(ExecutionManager runtime)
public SourceManager(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)
public SourceModel sourceForClass(com.sun.jdi.ReferenceType refType)
public SourceModel sourceForSourceName(java.lang.String name)
public SourceModel sourceForFile(java.io.File path)
public void addSourceString(java.lang.String path, java.lang.String sourceString)