codeql/java/ql/test/library-tests/frameworks/play/mad/Test.java

package generatedtest;

import akka.util.ByteString;
import com.fasterxml.jackson.databind.JsonNode;
import java.io.File;
import java.util.List;
import java.util.Map;
import java.util.Optional;
import org.w3c.dom.Document;
import play.mvc.Http;

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

	Object source() {
		return null;
	}

	void sink(Object o) {}

	public void test() throws Exception {

		{
			// "play.mvc;Http$Cookie;true;name;;;Argument[this];ReturnValue;taint;manual"
			String out = null;
			Http.Cookie in = (Http.Cookie) source();
			out = in.name();
			sink(out); // $ hasTaintFlow
		}
		{
			// "play.mvc;Http$Cookie;true;value;;;Argument[this];ReturnValue;taint;manual"
			String out = null;
			Http.Cookie in = (Http.Cookie) source();
			out = in.value();
			sink(out); // $ hasTaintFlow
		}
		{
			// "play.mvc;Http$Cookies;true;get;;;Argument[this];ReturnValue;taint;manual"
			Http.Cookie out = null;
			Http.Cookies in = (Http.Cookies) source();
			out = in.get(null);
			sink(out); // $ hasTaintFlow
		}
		{
			// "play.mvc;Http$Cookies;true;getCookie;;;Argument[this];ReturnValue;taint;manual"
			Optional out = null;
			Http.Cookies in = (Http.Cookies) source();
			out = in.getCookie(null);
			sink(out); // $ hasTaintFlow
		}
		{
			// "play.mvc;Http$MultipartFormData$FilePart;true;getContentType;;;Argument[this];ReturnValue;taint;manual"
			String out = null;
			Http.MultipartFormData.FilePart in = (Http.MultipartFormData.FilePart) source();
			out = in.getContentType();
			sink(out); // $ hasTaintFlow
		}
		{
			// "play.mvc;Http$MultipartFormData$FilePart;true;getDispositionType;;;Argument[this];ReturnValue;taint;manual"
			String out = null;
			Http.MultipartFormData.FilePart in = (Http.MultipartFormData.FilePart) source();
			out = in.getDispositionType();
			sink(out); // $ hasTaintFlow
		}
		{
			// "play.mvc;Http$MultipartFormData$FilePart;true;getFilename;;;Argument[this];ReturnValue;taint;manual"
			String out = null;
			Http.MultipartFormData.FilePart in = (Http.MultipartFormData.FilePart) source();
			out = in.getFilename();
			sink(out); // $ hasTaintFlow
		}
		{
			// "play.mvc;Http$MultipartFormData$FilePart;true;getKey;;;Argument[this];ReturnValue;taint;manual"
			String out = null;
			Http.MultipartFormData.FilePart in = (Http.MultipartFormData.FilePart) source();
			out = in.getKey();
			sink(out); // $ hasTaintFlow
		}
		{
			// "play.mvc;Http$MultipartFormData$FilePart;true;getRef;;;Argument[this];ReturnValue;taint;manual"
			Object out = null;
			Http.MultipartFormData.FilePart in = (Http.MultipartFormData.FilePart) source();
			out = in.getRef();
			sink(out); // $ hasTaintFlow
		}
		{
			// "play.mvc;Http$MultipartFormData;true;asFormUrlEncoded;;;Argument[this];ReturnValue;taint;manual"
			Map out = null;
			Http.MultipartFormData in = (Http.MultipartFormData) source();
			out = in.asFormUrlEncoded();
			sink(out); // $ hasTaintFlow
		}
		{
			// "play.mvc;Http$MultipartFormData;true;getFile;;;Argument[this];ReturnValue;taint;manual"
			Http.MultipartFormData.FilePart out = null;
			Http.MultipartFormData in = (Http.MultipartFormData) source();
			out = in.getFile(null);
			sink(out); // $ hasTaintFlow
		}
		{
			// "play.mvc;Http$MultipartFormData;true;getFiles;;;Argument[this];ReturnValue;taint;manual"
			List out = null;
			Http.MultipartFormData in = (Http.MultipartFormData) source();
			out = in.getFiles();
			sink(out); // $ hasTaintFlow
		}
		{
			// "play.mvc;Http$RawBuffer;true;asBytes;;;Argument[this];ReturnValue;taint;manual"
			ByteString out = null;
			Http.RawBuffer in = (Http.RawBuffer) source();
			out = in.asBytes();
			sink(out); // $ hasTaintFlow
		}
		{
			// "play.mvc;Http$RawBuffer;true;asBytes;;;Argument[this];ReturnValue;taint;manual"
			ByteString out = null;
			Http.RawBuffer in = (Http.RawBuffer) source();
			out = in.asBytes(0);
			sink(out); // $ hasTaintFlow
		}
		{
			// "play.mvc;Http$RawBuffer;true;asFile;;;Argument[this];ReturnValue;taint;manual"
			File out = null;
			Http.RawBuffer in = (Http.RawBuffer) source();
			out = in.asFile();
			sink(out); // $ hasTaintFlow
		}
		{
			// "play.mvc;Http$RequestBody;true;as;;;Argument[this];ReturnValue;taint;manual"
			Object out = null;
			Http.RequestBody in = (Http.RequestBody) source();
			out = in.as(null);
			sink(out); // $ hasTaintFlow
		}
		{
			// "play.mvc;Http$RequestBody;true;asBytes;;;Argument[this];ReturnValue;taint;manual"
			ByteString out = null;
			Http.RequestBody in = (Http.RequestBody) source();
			out = in.asBytes();
			sink(out); // $ hasTaintFlow
		}
		{
			// "play.mvc;Http$RequestBody;true;asFormUrlEncoded;;;Argument[this];ReturnValue;taint;manual"
			Map out = null;
			Http.RequestBody in = (Http.RequestBody) source();
			out = in.asFormUrlEncoded();
			sink(out); // $ hasTaintFlow
		}
		{
			// "play.mvc;Http$RequestBody;true;asJson;;;Argument[this];ReturnValue;taint;manual"
			JsonNode out = null;
			Http.RequestBody in = (Http.RequestBody) source();
			out = in.asJson();
			sink(out); // $ hasTaintFlow
		}
		{
			// "play.mvc;Http$RequestBody;true;asMultipartFormData;;;Argument[this];ReturnValue;taint;manual"
			Http.MultipartFormData out = null;
			Http.RequestBody in = (Http.RequestBody) source();
			out = in.asMultipartFormData();
			sink(out); // $ hasTaintFlow
		}
		{
			// "play.mvc;Http$RequestBody;true;asRaw;;;Argument[this];ReturnValue;taint;manual"
			Http.RawBuffer out = null;
			Http.RequestBody in = (Http.RequestBody) source();
			out = in.asRaw();
			sink(out); // $ hasTaintFlow
		}
		{
			// "play.mvc;Http$RequestBody;true;asText;;;Argument[this];ReturnValue;taint;manual"
			String out = null;
			Http.RequestBody in = (Http.RequestBody) source();
			out = in.asText();
			sink(out); // $ hasTaintFlow
		}
		{
			// "play.mvc;Http$RequestBody;true;asXml;;;Argument[this];ReturnValue;taint;manual"
			Document out = null;
			Http.RequestBody in = (Http.RequestBody) source();
			out = in.asXml();
			sink(out); // $ hasTaintFlow
		}
		{
			// "play.mvc;Http$RequestBody;true;parseJson;;;Argument[this];ReturnValue;taint;manual"
			Optional out = null;
			Http.RequestBody in = (Http.RequestBody) source();
			out = in.parseJson(null);
			sink(out); // $ hasTaintFlow
		}

	}

}