codeql/java/ql/test/library-tests/paths/Test.java

package generatedtest;

import java.io.File;
import java.net.URI;
import java.nio.file.FileSystem;
import java.nio.file.Path;
import java.nio.file.Paths;

// Test case generated by GenerateFlowTestCase.ql
public class Test {

	Object source() { return null; }
	void sink(Object o) { }

	public void test() throws Exception {

		{
			// "java.io;File;false;File;;;Argument[0];Argument[this];taint;manual"
			File out = null;
			File in = (File)source();
			out = new File(in, (String)null);
			sink(out); // $ hasTaintFlow
		}
		{
			// "java.io;File;false;File;;;Argument[0];Argument[this];taint;manual"
			File out = null;
			String in = (String)source();
			out = new File(in);
			sink(out); // $ hasTaintFlow
		}
		{
			// "java.io;File;false;File;;;Argument[0];Argument[this];taint;manual"
			File out = null;
			String in = (String)source();
			out = new File(in, (String)null);
			sink(out); // $ hasTaintFlow
		}
		{
			// "java.io;File;false;File;;;Argument[0];Argument[this];taint;manual"
			File out = null;
			URI in = (URI)source();
			out = new File(in);
			sink(out); // $ hasTaintFlow
		}
		{
			// "java.io;File;false;File;;;Argument[1];Argument[this];taint;manual"
			File out = null;
			String in = (String)source();
			out = new File((File)null, in);
			sink(out); // $ hasTaintFlow
		}
		{
			// "java.io;File;false;File;;;Argument[1];Argument[this];taint;manual"
			File out = null;
			String in = (String)source();
			out = new File((String)null, in);
			sink(out); // $ hasTaintFlow
		}
		{
			// "java.io;File;true;getAbsoluteFile;;;Argument[this];ReturnValue;taint;manual"
			File out = null;
			File in = (File)source();
			out = in.getAbsoluteFile();
			sink(out); // $ hasTaintFlow
		}
		{
			// "java.io;File;true;getAbsolutePath;;;Argument[this];ReturnValue;taint;manual"
			String out = null;
			File in = (File)source();
			out = in.getAbsolutePath();
			sink(out); // $ hasTaintFlow
		}
		{
			// "java.io;File;true;getCanonicalFile;;;Argument[this];ReturnValue;taint;manual"
			File out = null;
			File in = (File)source();
			out = in.getCanonicalFile();
			sink(out); // $ hasTaintFlow
		}
		{
			// "java.io;File;true;getCanonicalPath;;;Argument[this];ReturnValue;taint;manual"
			String out = null;
			File in = (File)source();
			out = in.getCanonicalPath();
			sink(out); // $ hasTaintFlow
		}
		{
			// "java.io;File;true;toPath;;;Argument[this];ReturnValue;taint;manual"
			Path out = null;
			File in = (File)source();
			out = in.toPath();
			sink(out); // $ hasTaintFlow
		}
		{
			// "java.io;File;true;toString;;;Argument[this];ReturnValue;taint;manual"
			String out = null;
			File in = (File)source();
			out = in.toString();
			sink(out); // $ hasTaintFlow
		}
		{
			// "java.io;File;true;toURI;;;Argument[this];ReturnValue;taint;manual"
			URI out = null;
			File in = (File)source();
			out = in.toURI();
			sink(out); // $ hasTaintFlow
		}
		{
			// "java.nio.file;FileSystem;true;getPath;;;Argument[0];ReturnValue;taint;manual"
			Path out = null;
			String in = (String)source();
			FileSystem instance = null;
			out = instance.getPath(in, (String[])null);
			sink(out); // $ hasTaintFlow
		}
		{
			// "java.nio.file;Path;false;toFile;;;Argument[this];ReturnValue;taint;manual"
			File out = null;
			Path in = (Path)source();
			out = in.toFile();
			sink(out); // $ hasTaintFlow
		}
		{
			// "java.nio.file;Path;true;getParent;;;Argument[this];ReturnValue;taint;manual"
			Path out = null;
			Path in = (Path)source();
			out = in.getParent();
			sink(out); // $ hasTaintFlow
		}
		{
			// "java.nio.file;Path;true;normalize;;;Argument[this];ReturnValue;taint;manual"
			Path out = null;
			Path in = (Path)source();
			out = in.normalize();
			sink(out); // $ hasTaintFlow
		}
		{
			// "java.nio.file;Path;true;resolve;;;Argument[0];ReturnValue;taint;manual"
			Path out = null;
			Path in = (Path)source();
			Path instance = null;
			out = instance.resolve(in);
			sink(out); // $ hasTaintFlow
		}
		{
			// "java.nio.file;Path;true;resolve;;;Argument[this];ReturnValue;taint;manual"
			Path out = null;
			Path in = (Path)source();
			out = in.resolve((Path)null);
			sink(out); // $ hasTaintFlow
		}
		{
			// "java.nio.file;Path;true;resolve;;;Argument[this];ReturnValue;taint;manual"
			Path out = null;
			Path in = (Path)source();
			out = in.resolve((String)null);
			sink(out); // $ hasTaintFlow
		}
		{
			// "java.nio.file;Path;true;resolve;;;Argument[0];ReturnValue;taint;manual"
			Path out = null;
			String in = (String)source();
			Path instance = null;
			out = instance.resolve(in);
			sink(out); // $ hasTaintFlow
		}
		{
			// "java.nio.file;Path;true;toAbsolutePath;;;Argument[this];ReturnValue;taint;manual"
			Path out = null;
			Path in = (Path)source();
			out = in.toAbsolutePath();
			sink(out); // $ hasTaintFlow
		}
		{
			// "java.nio.file;Path;true;toString;;;Argument[this];ReturnValue;taint;manual"
			String out = null;
			Path in = (Path)source();
			out = in.toString();
			sink(out); // $ hasTaintFlow
		}
		{
			// "java.nio.file;Path;true;toUri;;;Argument[this];ReturnValue;taint;manual"
			URI out = null;
			Path in = (Path)source();
			out = in.toUri();
			sink(out); // $ hasTaintFlow
		}
		{
			// "java.nio.file;Paths;true;get;;;Argument[0];ReturnValue;taint;manual"
			Path out = null;
			String in = (String)source();
			out = Paths.get(in, (String[])null);
			sink(out); // $ hasTaintFlow
		}
		{
			// "java.nio.file;Paths;true;get;;;Argument[0];ReturnValue;taint;manual"
			Path out = null;
			URI in = (URI)source();
			out = Paths.get(in);
			sink(out); // $ hasTaintFlow
		}
		{
			// "java.nio.file;Paths;true;get;;;Argument[1].ArrayElement;ReturnValue;taint;manual"
			Path out = null;
			String[] in = (String[])new String[]{(String)source()};
			out = Paths.get((String)null, in);
			sink(out); // $ hasTaintFlow
		}

	}

}