public class Default extends Statement
| Constructor and Description |
|---|
Default()
Create a new default.
|
| Modifier and Type | Method and Description |
|---|---|
static void |
defaultPrint(Default d,
java.io.PrintWriter o)
Prints a default label to a stream.
|
static void |
setClassPrintMethod(java.lang.reflect.Method m)
Overrides the class print method, so that all subsequently
created objects will use the supplied method.
|
annotate, annotateAfter, annotateBefore, clone, containsAnnotation, detach, equals, getAnnotation, getAnnotations, getAnnotations, getAnnotations, getChildren, getParent, getProcedure, hashCode, print, removeAnnotations, removeAnnotations, removeChild, setChild, setLineNumber, setParent, setPrintMethod, swapWith, toString, verify, wherepublic static void defaultPrint(Default d, java.io.PrintWriter o)
d - The default label to print.o - The writer on which to print the default label.public static void setClassPrintMethod(java.lang.reflect.Method m)
m - The new print method.