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.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
		}

	}

}