public final class PunchletSettings extends Object
Modifier and Type | Field and Description |
---|---|
static int |
ERROR_LINE_OFFSET
This integer is used to compute the precise error line number should the punchlet encounter an
exception.
|
static String |
EXECUTE
the name of the main execute punchlet method
|
static String |
IMPORTS
a runtime error is declared to trigger at some line number,
to convert it to the punchlet line number we must take into account the
headers added by the punch compiler.
|
static String |
PUNCHLET_CLASS
the name of generated punchlet
|
static String |
PUNCHLET_PACKAGE
the package name used when generating punchlets.
|
public static final String PUNCHLET_PACKAGE
public static final String IMPORTS
public static int ERROR_LINE_OFFSET
public static final String PUNCHLET_CLASS
public static final String EXECUTE
Copyright © 2023. All rights reserved.