/*
 * Verrückte Turing-Maschinen — A turing complete game
 * Copyright (C) 2016 Christian Fraß <vidofnir@folksprak.org>
 * 
 * This program is free software: you can redistribute it and/or modify
 * it under the terms of the GNU General Public License as published by
 * the Free Software Foundation, either version 3 of the License, or
 * (at your option) any later version.
 * 
 * This program is distributed in the hope that it will be useful,
 * but WITHOUT ANY WARRANTY; without even the implied warranty of
 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
 * GNU General Public License for more details.
 * 
 * You should have received a copy of the GNU General Public License
 * along with this program.  If not, see <https://www.gnu.org/licenses/>.
 */

module mod_vtm_aufbau
	{
		
		/**
		 * @author kcf <vidofnir@folksprak.org>
		 */
		export type typ_test = typ_komplex<Object>;
		
		
		/**
		 * @author kcf <vidofnir@folksprak.org>
		 */
		export function test_eingabe
			(
				test : typ_test
			)
			: Array<typ_symbol>
			{
				return (
					fallunterscheidung<Array<typ_symbol>>
						(
							test,
							{
								"akzeptortest": (angaben) => akzeptortest_eingabe(angaben),
								"transduktortest": (angaben) => transduktortest_eingabe(angaben),
							}
						)
				);
			}
		
		
		/**
		 * @author kcf <vidofnir@folksprak.org>
		 */
		export function test_pruefen
			(
				test : typ_test,
				angenommen : boolean,
				ausgabe : Array<typ_symbol>
			)
			: boolean
			{
				return (
					fallunterscheidung<boolean>
						(
							test,
							{
								"akzeptortest": (angaben) => akzeptortest_pruefen(angaben, angenommen, ausgabe),
								"transduktortest": (angaben) => transduktortest_pruefen(angaben, angenommen, ausgabe),
							}
						)
				);
			}
		
		
		/**
		 * @author kcf <vidofnir@folksprak.org>
		 */
		export function test_importieren
			(
				test_roh : any
			)
			: typ_test
			{
				switch (test_roh["art"])
					{
						case "akzeptortest":
							{
								return {
									"art": "akzeptortest",
									"angaben": (
										akzeptortest_erstellen
											(
												test_roh["angaben"]["eingabe"],
												test_roh["angaben"]["annehmen"]
											)
									),
								};
								break;
							}
						case "transduktortest":
							{
								return {
									"art": "transduktortest",
									"angaben": (
										transduktortest_erstellen
											(
												test_roh["angaben"]["eingabe"],
												test_roh["angaben"]["ausgabe"]
											)
									),
								};
								break;
							}
						default:
							{
								throw (new Error("unbehandelt"));
								break;
							}
					}
			}
		
	}