Class RenameSourceFilesForJava11Build

java.lang.Object

manifold.internal.javac.RenameSourceFilesForJava11Build

public class RenameSourceFilesForJava11Build
extends Object

Manifold currently compiles with Java 8, however there are some files that must compile to Java 11, 12, etc. To facilitate a single build, we maintain a naming convention where if a Java 8 source file has a Java 11 or later counterpart we encode the Java version in the source file name e.g.,

  ManAttr_8.java
  ManAttr_11.java11

If we change a java11 file, we need to temporarily rename the Java 8 version to '*.java8' and rename the java11 version to '*.java', compile with Java 11, copy the corresponding Java 11 .class files to the resource dir, reverse the renaming, and recompile back to Java 8. It's messy, but is infrequent enough to justify the process.

Renames java source files:

MyClass_X.javaX -> MyClass_X.java
MyClass_Y.java -> MyClass_Y.javaY

Where X and Y are supplied as local variables javaNum and {$code textNum}, respectively.

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
static class	RenameSourceFilesForJava11Build._11_will_become_java_files_from_17
static class	RenameSourceFilesForJava11Build._11_will_become_java_files_from_8	IMPORTANT: define env var:
static class	RenameSourceFilesForJava11Build._17_will_become_java_files
static class	RenameSourceFilesForJava11Build._8_will_become_java_files

Constructor Summary

Constructors

Constructor	Description
RenameSourceFilesForJava11Build()

Method Summary

Methods inherited from class Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details

RenameSourceFilesForJava11Build

public RenameSourceFilesForJava11Build()