Use Truffle env to get pathSeparatorChar

Author: timfel

graalpython/com.oracle.graal.python/src/com/oracle/graal/python/builtins/modules/GraalPythonModuleBuiltins.java

@@ -67,17 +67,12 @@
 import static com.oracle.graal.python.util.PythonUtils.toTruffleStringUncached;
 import static com.oracle.graal.python.util.PythonUtils.tsLiteral;
 
-import java.io.File;
 import java.io.IOException;
 import java.io.InputStreamReader;
 import java.io.PrintWriter;
 import java.lang.management.ManagementFactory;
 import java.lang.reflect.Method;
 import java.nio.charset.StandardCharsets;
-import java.nio.file.Files;
-import java.nio.file.InvalidPathException;
-import java.nio.file.Path;
-import java.nio.file.Paths;
 import java.util.Arrays;
 import java.util.List;
 import java.util.logging.Level;
@@ -642,7 +637,7 @@ private static int which() {
             if (path != null) {
                 for (int i = 0; i < C_COMPILER_PRECEDENCE.length; i++) {
                     int last = 0;
-                    for (int j = path.indexOf(File.pathSeparatorChar); j != -1; j = path.indexOf(File.pathSeparatorChar, last)) {
+                    for (int j = path.indexOf(env.getPathSeparator()); j != -1; j = path.indexOf(env.getPathSeparator(), last)) {
                         try {
                             if (env.getPublicTruffleFile(path.substring(last, j)).resolve(C_COMPILER_PRECEDENCE[i]).isExecutable()) {
                                 return i;
@@ -912,6 +907,7 @@ TruffleString doit(VirtualFrame frame,
     @Builtin(name = "java_assert", minNumOfPositionalArgs = 0)
     @GenerateNodeFactory
     abstract static class JavaAssertNode extends PythonBuiltinNode {
+        @SuppressWarnings("all")
         @Specialization
         Object doit() {
             boolean assertOn = false;
@@ -1027,7 +1023,7 @@ abstract static class GetPythonHomePaths extends PythonBuiltinNode {
         @Specialization
         TruffleString get() {
             PythonContext context = getContext();
-            TruffleString sep = TruffleString.fromJavaStringUncached(File.pathSeparator, TS_ENCODING);
+            TruffleString sep = TruffleString.fromJavaStringUncached(context.getEnv().getPathSeparator(), TS_ENCODING);
             return context.getStdlibHome().concatUncached(sep, TS_ENCODING, false).concatUncached(context.getCoreHome(), TS_ENCODING, false);
         }
     }
@@ -1106,6 +1102,7 @@ Object foreignNumberList(Object number) {
             return new ForeignNumberList(number);
         }
 
+        @SuppressWarnings("static-method")
         @ExportLibrary(value = InteropLibrary.class, delegateTo = "number")
         static final class ForeignNumberList implements TruffleObject {
             final Object number;
@@ -1150,7 +1147,7 @@ Object foreignWrapper(Object object) {
             return new ForeignWrapper(object);
         }
 
-        @SuppressWarnings("unused")
+        @SuppressWarnings({"unused", "static-method"})
         @ExportLibrary(value = InteropLibrary.class, delegateTo = "object")
         static final class ForeignWrapper implements TruffleObject {
             final Object object;