org.thales.punch.libraries.punchlang.impl

Class PunchletSettings

java.lang.Object

org.thales.punch.libraries.punchlang.impl.PunchletSettings

public final class PunchletSettings
extends Object

Field Summary

Fields

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.

Method Summary

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

PUNCHLET_PACKAGE

public static final String PUNCHLET_PACKAGE

the package name used when generating punchlets.

See Also:

Constant Field Values

IMPORTS

public static final 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.

ERROR_LINE_OFFSET

public static int ERROR_LINE_OFFSET

This integer is used to compute the precise error line number should the punchlet encounter an exception. It is public to allow pre parsers to adapt its value depending on the presence of comments.

PUNCHLET_CLASS

public static final String PUNCHLET_CLASS

the name of generated punchlet

See Also:

Constant Field Values

EXECUTE

public static final String EXECUTE

the name of the main execute punchlet method

See Also:

Constant Field Values