public class Buffer
extends java.lang.Object
| Constructor and Description |
|---|
Buffer(java.lang.String uri,
java.lang.String filename,
java.io.File file) |
| Modifier and Type | Method and Description |
|---|---|
void |
addBreakpoint(BreakPoint bp) |
static Buffer |
factory(java.lang.String filename,
java.lang.String uri) |
BreakPoint |
getBreakpoint(int id) |
java.util.Enumeration |
getBreakpoints() |
int |
getCurrentLine() |
java.lang.String |
getFileName() |
java.lang.String |
getLine(int lineno) |
int |
getLineCount() |
java.lang.String |
getName() |
java.lang.String |
getURI() |
BreakPoint |
removeBreakpoint(int id) |
void |
setCurrentLine(int lineno) |
public Buffer(java.lang.String uri,
java.lang.String filename,
java.io.File file)
public void addBreakpoint(BreakPoint bp)
public static Buffer factory(java.lang.String filename, java.lang.String uri)
public BreakPoint getBreakpoint(int id)
public BreakPoint removeBreakpoint(int id)
public java.util.Enumeration getBreakpoints()
public int getCurrentLine()
public void setCurrentLine(int lineno)
public java.lang.String getFileName()
public int getLineCount()
public java.lang.String getLine(int lineno)
public java.lang.String getName()
public java.lang.String getURI()