Artifact 7fa423ba9f8ebe9224348f3411b029f37b2176c0

• File src/output.d
  • 2012-07-14 12:29:17 - part of checkin [9d4aca73fa] on branch trunk - GUI+Solver revived. (user: kinaba) [annotate]

import util;
import game;
import driver;
import core.stdc.signal;

class NilOutput : GameObserver
{
	this(const(Game) g) {}
	override void on_game_changed(char c, const(Game) g, bool finished) {}
}

class StdOutput : GameObserver
{
	this(const(Game) g) {}
	override void on_game_changed(char c, const(Game) g, bool finished)
	{
		stdout.write(c);
		stdout.flush();
	}
}

class GuardedOutput : GameObserver
{
	this(const(Game) g)
	{
		setup_sigint_handling();
		ideal_log ~= g.score_if_abort_now;
	}

	override void on_game_changed(char c, const(Game) g, bool finished)
	{
		log ~= c;
		score_log ~= g.score;
		ideal_log ~= g.score_if_abort_now;
		if(finished)
			flush();
	}

private:
	string log;
	long[] score_log;
	long[] ideal_log;

	void flush()
	{
		Tuple!(long, int, int) cand;
		cand[0] = long.min;

		for(int i=0; i<score_log.length; ++i)
			if(cand[0] < score_log[i])	
				cand = tuple(score_log[i],i,0);
		for(int i=0; i<ideal_log.length; ++i)
			if(cand[0] < ideal_log[i])	
				cand = tuple(ideal_log[i],i,1);

		if(cand[2]==0) {
			string str = log[0..cand[1]+1];
			std.c.stdio.printf("%.*s\n", str.length, str.ptr);
		} else {
			string str = log[0..cand[1]];
			std.c.stdio.printf("%.*sA\n", str.length, str.ptr);
		}
		std.c.stdio.fflush(std.c.stdio.stdout);
	}

private:
	static __gshared GuardedOutput g_output;

	void setup_sigint_handling()
	{
		assert(g_output is null);
		g_output = this;
		extern(C) static void catch_sigint(int) { g_output.flush(); application_exit(); }
		core.stdc.signal.signal(SIGINT, &catch_sigint);
	}
}