vtm/source/model/tasks/acceptortest.ts

/*
 * Verrückte Turing-Maschinen — A turing complete game
 * Copyright (C) 2016-2018 kcf <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/>.
 */

namespace mod_vtm
	{
		
		export namespace mod_model
			{
				
				export namespace mod_acceptortest
					{
						
						/**
						 * @author kcf <vidofnir@folksprak.org>
						 */
						export type type_acceptortest =
							{
								input : Array<mod_vtm.mod_model.mod_symbol.type_symbol>;
								accept : boolean;
							}
						;
						
						
						/**
						 * @author kcf <vidofnir@folksprak.org>
						 */
						export function create
							(
								input : Array<mod_vtm.mod_model.mod_symbol.type_symbol>,
								accept : boolean
							)
							: type_acceptortest
							{
								return {
									"input": input,
									"accept": accept,
								};
							}
						
						
						/**
						 * @author kcf <vidofnir@folksprak.org>
						 */
						export function input
							(
								acceptortest : type_acceptortest
							)
							: Array<mod_vtm.mod_model.mod_symbol.type_symbol>
							{
								return acceptortest.input;
							}
						
						
						/**
						 * @author kcf <vidofnir@folksprak.org>
						 */
						export function pruefen
							(
								acceptortest : type_acceptortest,
								accepted : boolean,
								ausgabe : Array<mod_vtm.mod_model.mod_symbol.type_symbol>
							)
							: boolean
							{
								return (acceptortest.accept === accepted);
							}
						
					}
			
			}
		
	}