public final class Extensions
extends Object
-
-
Constructor Summary
Constructors
-
Method Summary
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
-
Field Details
-
_ED_FUNCTIONS_
public static final Symbol _ED_FUNCTIONS_
-
SOURCE_PATHNAME
public static final Primitive SOURCE_PATHNAME
-
-
MAKE_TEMP_DIRECTORY
public static final Primitive MAKE_TEMP_DIRECTORY
-
Constructor Details
-
Extensions
public Extensions()