package generatedtest;

import com.fasterxml.jackson.core.JsonFactory;
import com.fasterxml.jackson.core.JsonParser;
import com.fasterxml.jackson.core.type.TypeReference;
import com.fasterxml.jackson.databind.JavaType;
import com.fasterxml.jackson.databind.JsonNode;
import com.fasterxml.jackson.databind.ObjectMapper;
import com.fasterxml.jackson.databind.ObjectReader;
import java.io.DataInput;
import java.io.File;
import java.io.InputStream;
import java.io.Reader;
import java.net.URL;
import java.util.Map;

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

	Object newWithMapValue(Object element) {
		return Map.of(null, element);
	}

	Object source() {
		return null;
	}

	void sink(Object o) {}

	public void test() throws Exception {

		{
			// "com.fasterxml.jackson.core;JsonFactory;false;createParser;;;Argument[0];ReturnValue;taint;manual"
			JsonParser out = null;
			char[] in = (char[]) source();
			JsonFactory instance = null;
			out = instance.createParser(in, 0, 0);
			sink(out); // $ hasTaintFlow
		}
		{
			// "com.fasterxml.jackson.core;JsonFactory;false;createParser;;;Argument[0];ReturnValue;taint;manual"
			JsonParser out = null;
			char[] in = (char[]) source();
			JsonFactory instance = null;
			out = instance.createParser(in);
			sink(out); // $ hasTaintFlow
		}
		{
			// "com.fasterxml.jackson.core;JsonFactory;false;createParser;;;Argument[0];ReturnValue;taint;manual"
			JsonParser out = null;
			byte[] in = (byte[]) source();
			JsonFactory instance = null;
			out = instance.createParser(in, 0, 0);
			sink(out); // $ hasTaintFlow
		}
		{
			// "com.fasterxml.jackson.core;JsonFactory;false;createParser;;;Argument[0];ReturnValue;taint;manual"
			JsonParser out = null;
			byte[] in = (byte[]) source();
			JsonFactory instance = null;
			out = instance.createParser(in);
			sink(out); // $ hasTaintFlow
		}
		{
			// "com.fasterxml.jackson.core;JsonFactory;false;createParser;;;Argument[0];ReturnValue;taint;manual"
			JsonParser out = null;
			URL in = (URL) source();
			JsonFactory instance = null;
			out = instance.createParser(in);
			sink(out); // $ hasTaintFlow
		}
		{
			// "com.fasterxml.jackson.core;JsonFactory;false;createParser;;;Argument[0];ReturnValue;taint;manual"
			JsonParser out = null;
			String in = (String) source();
			JsonFactory instance = null;
			out = instance.createParser(in);
			sink(out); // $ hasTaintFlow
		}
		{
			// "com.fasterxml.jackson.core;JsonFactory;false;createParser;;;Argument[0];ReturnValue;taint;manual"
			JsonParser out = null;
			Reader in = (Reader) source();
			JsonFactory instance = null;
			out = instance.createParser(in);
			sink(out); // $ hasTaintFlow
		}
		{
			// "com.fasterxml.jackson.core;JsonFactory;false;createParser;;;Argument[0];ReturnValue;taint;manual"
			JsonParser out = null;
			InputStream in = (InputStream) source();
			JsonFactory instance = null;
			out = instance.createParser(in);
			sink(out); // $ hasTaintFlow
		}
		{
			// "com.fasterxml.jackson.core;JsonFactory;false;createParser;;;Argument[0];ReturnValue;taint;manual"
			JsonParser out = null;
			File in = (File) source();
			JsonFactory instance = null;
			out = instance.createParser(in);
			sink(out); // $ hasTaintFlow
		}
		{
			// "com.fasterxml.jackson.core;JsonFactory;false;createParser;;;Argument[0];ReturnValue;taint;manual"
			JsonParser out = null;
			DataInput in = (DataInput) source();
			JsonFactory instance = null;
			out = instance.createParser(in);
			sink(out); // $ hasTaintFlow
		}
		{
			// "com.fasterxml.jackson.databind;ObjectMapper;false;createParser;;;Argument[0];ReturnValue;taint;manual"
			JsonParser out = null;
			char[] in = (char[]) source();
			ObjectMapper instance = null;
			out = instance.createParser(in, 0, 0);
			sink(out); // $ hasTaintFlow
		}
		{
			// "com.fasterxml.jackson.databind;ObjectMapper;false;createParser;;;Argument[0];ReturnValue;taint;manual"
			JsonParser out = null;
			char[] in = (char[]) source();
			ObjectMapper instance = null;
			out = instance.createParser(in);
			sink(out); // $ hasTaintFlow
		}
		{
			// "com.fasterxml.jackson.databind;ObjectMapper;false;createParser;;;Argument[0];ReturnValue;taint;manual"
			JsonParser out = null;
			byte[] in = (byte[]) source();
			ObjectMapper instance = null;
			out = instance.createParser(in, 0, 0);
			sink(out); // $ hasTaintFlow
		}
		{
			// "com.fasterxml.jackson.databind;ObjectMapper;false;createParser;;;Argument[0];ReturnValue;taint;manual"
			JsonParser out = null;
			byte[] in = (byte[]) source();
			ObjectMapper instance = null;
			out = instance.createParser(in);
			sink(out); // $ hasTaintFlow
		}
		{
			// "com.fasterxml.jackson.databind;ObjectMapper;false;createParser;;;Argument[0];ReturnValue;taint;manual"
			JsonParser out = null;
			URL in = (URL) source();
			ObjectMapper instance = null;
			out = instance.createParser(in);
			sink(out); // $ hasTaintFlow
		}
		{
			// "com.fasterxml.jackson.databind;ObjectMapper;false;createParser;;;Argument[0];ReturnValue;taint;manual"
			JsonParser out = null;
			String in = (String) source();
			ObjectMapper instance = null;
			out = instance.createParser(in);
			sink(out); // $ hasTaintFlow
		}
		{
			// "com.fasterxml.jackson.databind;ObjectMapper;false;createParser;;;Argument[0];ReturnValue;taint;manual"
			JsonParser out = null;
			Reader in = (Reader) source();
			ObjectMapper instance = null;
			out = instance.createParser(in);
			sink(out); // $ hasTaintFlow
		}
		{
			// "com.fasterxml.jackson.databind;ObjectMapper;false;createParser;;;Argument[0];ReturnValue;taint;manual"
			JsonParser out = null;
			InputStream in = (InputStream) source();
			ObjectMapper instance = null;
			out = instance.createParser(in);
			sink(out); // $ hasTaintFlow
		}
		{
			// "com.fasterxml.jackson.databind;ObjectMapper;false;createParser;;;Argument[0];ReturnValue;taint;manual"
			JsonParser out = null;
			File in = (File) source();
			ObjectMapper instance = null;
			out = instance.createParser(in);
			sink(out); // $ hasTaintFlow
		}
		{
			// "com.fasterxml.jackson.databind;ObjectMapper;false;createParser;;;Argument[0];ReturnValue;taint;manual"
			JsonParser out = null;
			DataInput in = (DataInput) source();
			ObjectMapper instance = null;
			out = instance.createParser(in);
			sink(out); // $ hasTaintFlow
		}
		{
			// "com.fasterxml.jackson.databind;ObjectMapper;true;convertValue;;;Argument[0];ReturnValue;taint;manual"
			Object out = null;
			Object in = (Object) source();
			ObjectMapper instance = null;
			out = instance.convertValue(in, (TypeReference) null);
			sink(out); // $ hasTaintFlow
		}
		{
			// "com.fasterxml.jackson.databind;ObjectMapper;true;convertValue;;;Argument[0];ReturnValue;taint;manual"
			Object out = null;
			Object in = (Object) source();
			ObjectMapper instance = null;
			out = instance.convertValue(in, (JavaType) null);
			sink(out); // $ hasTaintFlow
		}
		{
			// "com.fasterxml.jackson.databind;ObjectMapper;true;convertValue;;;Argument[0];ReturnValue;taint;manual"
			Object out = null;
			Object in = (Object) source();
			ObjectMapper instance = null;
			out = instance.convertValue(in, (Class) null);
			sink(out); // $ hasTaintFlow
		}
		{
			// "com.fasterxml.jackson.databind;ObjectMapper;true;valueToTree;;;Argument[0];ReturnValue;taint;manual"
			JsonNode out = null;
			Object in = (Object) source();
			ObjectMapper instance = null;
			out = instance.valueToTree(in);
			sink(out); // $ hasTaintFlow
		}
		{
			// "com.fasterxml.jackson.databind;ObjectMapper;true;valueToTree;;;MapValue of
			// Argument[0];ReturnValue;taint;manual"
			JsonNode out = null;
			Object in = (Object) newWithMapValue(source());
			ObjectMapper instance = null;
			out = instance.valueToTree(in);
			sink(out); // $ hasTaintFlow
		}
		{
			// "com.fasterxml.jackson.databind;ObjectReader;false;createParser;;;Argument[0];ReturnValue;taint;manual"
			JsonParser out = null;
			char[] in = (char[]) source();
			ObjectReader instance = null;
			out = instance.createParser(in, 0, 0);
			sink(out); // $ hasTaintFlow
		}
		{
			// "com.fasterxml.jackson.databind;ObjectReader;false;createParser;;;Argument[0];ReturnValue;taint;manual"
			JsonParser out = null;
			char[] in = (char[]) source();
			ObjectReader instance = null;
			out = instance.createParser(in);
			sink(out); // $ hasTaintFlow
		}
		{
			// "com.fasterxml.jackson.databind;ObjectReader;false;createParser;;;Argument[0];ReturnValue;taint;manual"
			JsonParser out = null;
			byte[] in = (byte[]) source();
			ObjectReader instance = null;
			out = instance.createParser(in, 0, 0);
			sink(out); // $ hasTaintFlow
		}
		{
			// "com.fasterxml.jackson.databind;ObjectReader;false;createParser;;;Argument[0];ReturnValue;taint;manual"
			JsonParser out = null;
			byte[] in = (byte[]) source();
			ObjectReader instance = null;
			out = instance.createParser(in);
			sink(out); // $ hasTaintFlow
		}
		{
			// "com.fasterxml.jackson.databind;ObjectReader;false;createParser;;;Argument[0];ReturnValue;taint;manual"
			JsonParser out = null;
			URL in = (URL) source();
			ObjectReader instance = null;
			out = instance.createParser(in);
			sink(out); // $ hasTaintFlow
		}
		{
			// "com.fasterxml.jackson.databind;ObjectReader;false;createParser;;;Argument[0];ReturnValue;taint;manual"
			JsonParser out = null;
			String in = (String) source();
			ObjectReader instance = null;
			out = instance.createParser(in);
			sink(out); // $ hasTaintFlow
		}
		{
			// "com.fasterxml.jackson.databind;ObjectReader;false;createParser;;;Argument[0];ReturnValue;taint;manual"
			JsonParser out = null;
			Reader in = (Reader) source();
			ObjectReader instance = null;
			out = instance.createParser(in);
			sink(out); // $ hasTaintFlow
		}
		{
			// "com.fasterxml.jackson.databind;ObjectReader;false;createParser;;;Argument[0];ReturnValue;taint;manual"
			JsonParser out = null;
			InputStream in = (InputStream) source();
			ObjectReader instance = null;
			out = instance.createParser(in);
			sink(out); // $ hasTaintFlow
		}
		{
			// "com.fasterxml.jackson.databind;ObjectReader;false;createParser;;;Argument[0];ReturnValue;taint;manual"
			JsonParser out = null;
			File in = (File) source();
			ObjectReader instance = null;
			out = instance.createParser(in);
			sink(out); // $ hasTaintFlow
		}
		{
			// "com.fasterxml.jackson.databind;ObjectReader;false;createParser;;;Argument[0];ReturnValue;taint;manual"
			JsonParser out = null;
			DataInput in = (DataInput) source();
			ObjectReader instance = null;
			out = instance.createParser(in);
			sink(out); // $ hasTaintFlow
		}

	}

}
