/** Moves this file to the specified file, overwriting the file if it already exists. * @throw RuntimeException if the source or destination file handle is a {@link FileType#Classpath} or FileType#Internal file. */ public void moveTo (FileDescriptor dest) { if (type == FileType.Classpath) throw new RuntimeException("Cannot move a classpath file: " + file); copyTo(dest); delete(); }
/** Moves this file to the specified file, overwriting the file if it already exists. * @throw RuntimeException if the source or destination file handle is a {@link FileType#Classpath} or FileType#Internal file. */ public void moveTo (FileDescriptor dest) { if (type == FileType.Classpath) throw new RuntimeException("Cannot move a classpath file: " + file); copyTo(dest); delete(); }
private void copyJniHeaders (String jniDir) { final String pack = "com/badlogic/gdx/jnigen/resources/headers"; String files[] = {"classfile_constants.h", "jawt.h", "jdwpTransport.h", "jni.h", "linux/jawt_md.h", "linux/jni_md.h", "mac/jni_md.h", "win32/jawt_md.h", "win32/jni_md.h"}; for (String file : files) { new FileDescriptor(pack, FileType.Classpath).child(file).copyTo( new FileDescriptor(jniDir).child("jni-headers").child(file)); } }
private void copyJniHeaders (String jniDir) { final String pack = "com/badlogic/gdx/jnigen/resources/headers"; String files[] = {"classfile_constants.h", "jawt.h", "jdwpTransport.h", "jni.h", "linux/jawt_md.h", "linux/jni_md.h", "mac/jni_md.h", "win32/jawt_md.h", "win32/jni_md.h"}; for (String file : files) { new FileDescriptor(pack, FileType.Classpath).child(file).copyTo( new FileDescriptor(jniDir).child("jni-headers").child(file)); } }
new FileDescriptor("com/badlogic/gdx/jnigen/resources/scripts/memcpy_wrap.c", FileType.Classpath).copyTo(config.jniDir .child("memcpy_wrap.c"));
new FileDescriptor("com/badlogic/gdx/jnigen/resources/scripts/memcpy_wrap.c", FileType.Classpath).copyTo(config.jniDir .child("memcpy_wrap.c"));
/** Moves this file to the specified file, overwriting the file if it already exists. * @throw RuntimeException if the source or destination file handle is a {@link FileType#Classpath} or FileType#Internal file. */ public void moveTo (FileDescriptor dest) { if (type == FileType.Classpath) throw new RuntimeException("Cannot move a classpath file: " + file); copyTo(dest); delete(); }
private void copyJniHeaders (String jniDir) { final String pack = "com/badlogic/gdx/jnigen/resources/headers"; String files[] = {"classfile_constants.h", "jawt.h", "jdwpTransport.h", "jni.h", "linux/jawt_md.h", "linux/jni_md.h", "mac/jni_md.h", "win32/jawt_md.h", "win32/jni_md.h"}; for (String file : files) { new FileDescriptor(pack, FileType.Classpath).child(file).copyTo( new FileDescriptor(jniDir).child("jni-headers").child(file)); } }
new FileDescriptor("com/badlogic/gdx/jnigen/resources/scripts/memcpy_wrap.c", FileType.Classpath).copyTo(config.jniDir .child("memcpy_wrap.c"));