Modifier and Type | Field and Description |
---|---|
static ClassType |
typeBuffer |
static ClassType |
typeSaveExcursion |
Constructor and Description |
---|
SaveExcursion(boolean bufferOnly) |
Modifier and Type | Method and Description |
---|---|
static void |
restoreBufferPointMark(Buffer buffer,
long pointMark) |
Expression |
rewrite(java.lang.Object obj,
Translator tr)
Re-write an expression that is an "application" of this Syntax object.
|
static long |
savePointMark(Buffer buffer)
Save point and (in the future) mark of a buffer.
|
getName, getSymbol, print, rewriteForm, scanForDefinitions, scanForm, setName, setName
public static ClassType typeSaveExcursion
public static ClassType typeBuffer
public Expression rewrite(java.lang.Object obj, Translator tr)
Syntax
public static long savePointMark(Buffer buffer)
public static void restoreBufferPointMark(Buffer buffer, long pointMark)