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() |