public final class Extensions
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
static Symbol |
_ED_FUNCTIONS_ |
static Primitive |
MAKE_TEMP_DIRECTORY |
static Primitive |
MAKE_TEMP_FILE |
static Primitive |
SOURCE_PATHNAME |
Constructor and Description |
---|
Extensions() |