Class Extensions


  • public final class Extensions
    extends java.lang.Object
    • Field Detail

      • _ED_FUNCTIONS_

        public static final Symbol _ED_FUNCTIONS_
      • SOURCE_PATHNAME

        public static final Primitive SOURCE_PATHNAME
      • MAKE_TEMP_FILE

        public static final Primitive MAKE_TEMP_FILE
      • MAKE_TEMP_DIRECTORY

        public static final Primitive MAKE_TEMP_DIRECTORY
    • Constructor Detail

      • Extensions

        public Extensions()