Class NativeLoader


  • class NativeLoader
    extends java.lang.Object
    Loads the object files.
    • Field Summary

      Fields 
      Modifier and Type Field Description
      private static boolean isLoaded  
      private java.util.Set<java.nio.file.Path> loaded
      Which objects have already been loaded?
      (package private) static java.lang.String[] OBJECTS  
    • Constructor Summary

      Constructors 
      Constructor Description
      NativeLoader()  
    • Method Summary

      All Methods Static Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      (package private) void load​(java.nio.file.Path name)
      Loads an object file and remembers it was loaded.
      (package private) static void loadAll()
      Loads all object files.
      • Methods inherited from class java.lang.Object

        clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
    • Field Detail

      • loaded

        private final java.util.Set<java.nio.file.Path> loaded
        Which objects have already been loaded?
      • isLoaded

        private static boolean isLoaded
      • OBJECTS

        static final java.lang.String[] OBJECTS
    • Constructor Detail

      • NativeLoader

        NativeLoader()
    • Method Detail

      • loadAll

        static void loadAll()
                     throws java.io.IOException
        Loads all object files.
        Throws:
        java.io.IOException - if transferring the object files failed.
      • load

        final void load​(java.nio.file.Path name)
        Loads an object file and remembers it was loaded.