//----------------------------------------------------------------------
//	ナンバーライン（スリザーリンク／ロジカルサーキット）
//
//	Copyright(C) 1996 Hirofumi Fujiwara 
//	本プログラムは、改造も含め、その商用利用は禁止します。
//----------------------------------------------------------------------

import java.awt.*;
import java.applet.*;
import java.lang.*;
import java.io.*;
import java.util.*;
import java.net.*;

public class NumberLine extends Applet {
	final static  int  CTRLPANEL_Y =   5;
	final static  int  CTRLPANEL_H =  45;

	public  String	 postpage;	// 正解の時に表示するページ

	final	int	XLIM = 40;
	final	int	YLIM = 40;
	final	int	VERTEX_POS = 1;
	final	int	EDGE_POS   = 2;
	final	int	FACE_POS   = 3;
		Dimension  app_size;		// アプレットのサイズ
	public	int	xn, yn;			// サイズ
		int	unit, wd;		// マスサイズ、線幅
		int	bd_off_x, bd_off_y;	// 盤のボーダーオフセット

		boolean	ishint;			// ヒント状態かどうか 
		boolean ischecked = false;	// チェック状態か

	Panel	controlPanel;

	//  指定周辺稜線数：初期化時に、数値の与えられた個所にだけ数字が入り、他は０
	public	Area	areainfo[][];

	//  稜線：稜線状態を管理するためのデータ。
	public	Edge	edgeinfo[][];

	//  頂点：頂点状態を管理するためのデータ。
	public	Vertex	vertexinfo[][];

	final	Color	backcolor    = Color.white;
	final	Color	forecolor    = Color.black;
	final	Color	errorcolor   = Color.red;

	public void init() {
		postpage = getParameter("post");

		String filename = getParameter( "problemfile" );
		loadData( filename );

		app_size = this.size();
		unit = (int)(app_size.width*0.92)/xn;
		wd = (unit+40)/20;

		setLayout( new BorderLayout() );

		setBackground( Color.white );

		controlPanel = new Panel();
		controlPanel.setLayout(new FlowLayout());

		controlPanel.add( new ControlButton( this, "Clear", " Clear " ) );
		controlPanel.add( new ControlButton( this, "Check", " Check " ) );
		controlPanel.add( new ControlButton( this, "Hint",  " Hint "  ) );
		ishint = false;

		add( "North", controlPanel );
		controlPanel.reshape( 0, CTRLPANEL_Y, app_size.width, CTRLPANEL_H );

		bd_off_x = ( app_size.width - unit * xn ) / 2;
		bd_off_y = CTRLPANEL_H + bd_off_x;

		Label  copyright = new Label("Number Line V0.12" + "  " + 
						"Copyright(C)1997 Hirofumi Fujiwara.",
					Label.CENTER );
		add( "South", copyright );
//		copyright.reshape( 0, app_size.height-22, app_size.width, 20 );
	}

	//----------------------------------------------------------------
	//	ボードの配列を確保する
	void newBoard() {
		areainfo   = new Area[xn][yn];
		for( int x=0; x<xn; ++x )
			for( int y=0; y<yn; ++y )
				areainfo[x][y] = new Area(x,y);

		edgeinfo   = new Edge[xn*2+1][yn*2+1];
		for( int x=0; x<=xn*2; ++x )
			for( int y=0; y<=yn*2; ++y ) {
				if( ( (x & 1) ^ (y & 1) ) == 0 )
					continue;
				edgeinfo[x][y] = new Edge(this,x,y);
			}

		vertexinfo   = new Vertex[xn+1][yn+1];
		for( int x=0; x<=xn; ++x )
			for( int y=0; y<=yn; ++y )
				vertexinfo[x][y] = new Vertex(x,y);
	}

	//----------------------------------------------------------------
	//	クリア（初期状態に戻す）
	public void clear() {
		clearData();
		ishint = false;
		ischecked = false;
		repaint();
	}

	//----------------------------------------------------------------
	//	クリアヒント
	public void clearhint() {

		for( int i=0; i<=xn*2; ++i ) {
			for( int j=0; j<=yn*2; ++j ) {
				Edge ed = edgeinfo[i][j];
				if( ed != null )
					ed.clearhint();
			}
		}

		repaint();
	}

	//----------------------------------------------------------------
	//	ヒント処理
	public void hint() {
		ishint = ! ishint;

		if( ! ishint ) {
			clearhint();
		}
	}

	//----------------------------------------------------------------
	//	できたかどうか調べる
	public void check() {
		System.out.println( "-->check()" );
		boolean	bad = false;

		// 数字の周囲の線の数をチェック
		for( int i=0; i<xn; ++i ) {
			for( int j=0; j<yn; ++j ) {
				bad |= areainfo[i][j].check( this );
			}
		}

		// 端点、交点ができていないことをチェック
		for( int i=0; i<=xn; ++i ) {
			for( int j=0; j<=yn; ++j ) {
				vertexinfo[i][j].check( this );
			}
		}
		for( int x=0; x<=xn*2; ++x )
			for( int y=0; y<=yn*2; ++y ) {
				if( ( (x & 1) ^ (y & 1) ) == 0 )
					continue;
				bad |= edgeinfo[x][y].check( this );
			}

		// 複数のループができていないことをチェック
		if( ! bad ) {
			int	lpcount = 0;
			for( int x=0; x<=xn*2; ++x )
				for( int y=0; y<=yn*2; ++y ) {
					if( ( (x & 1) ^ (y & 1) ) == 0 )
						continue;
					if( edgeinfo[x][y].loopcheck( this, lpcount+1 ) )
						++lpcount;
				}
			if( lpcount > 1 )
				bad = true;
		}
		ishint = false;

		System.out.println( "bad="+bad+"  postpage="+postpage );
		if( (!bad) && (postpage != null) ) {
			try {
				URL url = new URL( getCodeBase() + postpage );
				getAppletContext().showDocument( url );
			} catch( MalformedURLException e ) { }
		}

		repaint();
	}

	//----------------------------------------------------------------
	//	検査なしの状態に戻す
	public void uncheck() {
		for( int i=0; i<xn; ++i ) {
			for( int j=0; j<yn; ++j ) {
				areainfo[i][j].uncheck();
			}
		}

		for( int x=0; x<=xn*2; ++x )
			for( int y=0; y<=yn*2; ++y ) {
				if( ( (x & 1) ^ (y & 1) ) == 0 )
					continue;
				edgeinfo[x][y].uncheck();
			}

		repaint();
	}

	//----------------------------------------------------------------
	void clearData() {

		for( int i=0; i<xn; ++i ) {
			for( int j=0; j<yn; ++j ) {
				areainfo[i][j].clear();
			}
		}

		for( int i=0; i<=xn*2; ++i ) {
			for( int j=0; j<=yn*2; ++j ) {
				Edge ed = edgeinfo[i][j];
				if( ed != null )
					ed.clear();
			}
		}
	}

	//----------------------------------------------------------------
	//	問題、解答の読み込み
	void loadData( String filename ) {
		URL		url;
		DataInputStream file;
		try {
			url = new URL( getDocumentBase(), filename );
			file = new DataInputStream( url.openStream() );
		} catch( MalformedURLException e ) {
			showStatus( "file name error : " + filename );
			return;
		} catch( IOException e ) {
			showStatus( "file open error : " + filename );
			return;
		}

		xn = yn = 0;

		String line;

		try {
			boolean	isproblem = false;
			boolean	isanswer  = false;
			int x, y=0, v;

		    nextline:
			for(;;) {
				line=file.readLine();
				String tk;

				if( line == null )
					break;
				if( '#' == line.charAt(0) )
					continue;

				StringTokenizer st = new StringTokenizer(line);

				try {
					tk = st.nextToken();

					if( tk.equals("size") ) {
						tk = st.nextToken();
						xn = (Integer.valueOf(tk)).intValue();
						tk = st.nextToken();
						yn = (Integer.valueOf(tk)).intValue();
						newBoard();	// データ領域の確保
						continue nextline;
					}
					if( tk.equals("problem") ) {
						isproblem = true;
						y = 0;
						continue nextline;
					}
					if( tk.equals("end") ) {
						break nextline;
					}

					for( x=0; x<xn; ++x ) {
						if( tk.equals("-") ) {
							v = -1;
						} else {
							v = (Integer.valueOf(tk)).intValue();
						}

						areainfo[x][y].lines = v;

						if( x == xn-1 )
							break;
						tk = st.nextToken();
					}
				} catch( NoSuchElementException e ) {}
				++y;
			}
		} catch( IOException e ) {}
	}

	//----------------------------------------------------------------
	// ビット画面上への位置変換
	int	toPosX( int i ) {
		return	bd_off_x + i * unit - wd/2;
	}
	int	toPosY( int i ) {
		return	bd_off_y + i * unit;
	}

	//----------------------------------------------------------------
	// ビット画面上の座標から、頂点/稜線/面（ミックス系）の位置番号に変換
	Point	mixPos( int x, int y ) {
		double	dx = (double)(x - bd_off_x) / unit;
		double	dy = (double)(y - bd_off_y) / unit;

		int	iu = (int)Math.floor(dx+dy);
		int	iv = (int)Math.floor(dx-dy);

		int	mx = iu + iv + 1;
		int	my = iu - iv;

		return	new Point( mx, my );
	}

	boolean isEdgePosition( Point p ) {
		if ( ( (p.x & 1) ^ (p.y & 1) ) == 0 )
			return	false;
		return ( 0<=p.x && p.x<=xn*2 && 0<=p.y && p.y<=yn*2 );
	}

	Point	boxPos( int x, int y ) {
		int i = (x - bd_off_x) / unit;
		int j = (y - bd_off_y) / unit;

		return	new Point( i, j );
	}

	//----------------------------------------------------------------
	//  数値を表示する
	void drawNumberInit( Graphics g ) {
		Font	font = new java.awt.Font( "Helvetica", 0, unit*8/10 );
		g.setFont( font );
	}

	void drawNumber( Graphics g, int x, int y ) {
		Area	a = areainfo[x][y];
		int v = a.lines;
		if( v < 0 )
			return;

		g.setColor( a.color );
		String s = String.valueOf(v);
		FontMetrics fm = g.getFontMetrics();
		int	sWidth = fm.stringWidth(s);
		int	sHeight = fm.getHeight();
		int	sAscent = fm. getAscent();
		g.drawString( s, toPosX(x)+(unit-sWidth)/2,
				 toPosY(y)+(unit+sAscent)/2-1 );
	}

	//----------------------------------------------------------------
 	//  線を表示する
	void drawLine( Graphics g, int x, int y ) {
		int	px = toPosX(x/2);
		int	py = toPosY(y/2);

		g.setColor( Color.white );
		Edge	ed = edgeinfo[x][y];

		// まず消去する
		if( (x & 1) == 1 ) {	// 水平線
			g.fillRect( px+wd+1, py-2, unit-wd-2, wd+4 );
		} else {		// 垂直線
			g.fillRect( px-2, py+wd+1, wd+4, unit-wd-2 );
		}

		g.setColor( ed.color );
		switch( ed.draw ) {
		case 1:
			if( (x & 1) == 1 ) {	// 水平線
				g.fillRect( px+wd+1, py, unit-wd-2, wd );
			} else {		// 垂直線
				g.fillRect( px, py+wd+1, wd, unit-wd-2 );
			}
			break;

		case -1:
			int	qx = px -2 + (x & 1)*(unit/2);
			int	qy = py -2 + (y & 1)*(unit/2);
			g.drawLine( qx,      qy, qx+wd+3, qy+wd+3 );
			g.drawLine( qx+wd+3, qy, qx,      qy+wd+3 );
		}
	}

	//----------------------------------------------------------------
	// マウス
	public boolean mouseDown( Event evt, int x, int y ) {
		Point  pos = mixPos( x, y );
		if( ! isEdgePosition( pos ) )
			return true;

		ischecked = false;

		Edge	edge = edgeinfo[pos.x][pos.y];
		edge.Change();

		drawLine( getGraphics(), pos.x, pos.y );

		return true;
	}


	//----------------------------------------------------------------
	// ペイント
	public void paint( Graphics g ) {
		g.setColor( backcolor );
		g.fillRect( 0, 0, app_size.width, app_size.height );

		g.setColor( forecolor );

		int	vl = yn*unit+wd;
		for( int i=0; i<=xn; ++i ) {
			for( int j=0; j<=yn; ++j ) {
				g.fillRect( toPosX(i), toPosY(j), wd, wd );
			}
		}

		drawNumberInit( g );
		for( int i=0; i<xn; ++i ) {
			for( int j=0; j<yn; ++j ) {
				drawNumber( g, i, j );
			}
		}

		for( int i=0; i<=xn*2; ++i ) {
			for( int j=0; j<=yn*2; ++j ) {
				if( ( (i & 1) ^ ( j & 1 ) ) == 1 )
					drawLine( g, i, j );
			}
		}
	}
}

//================================================================================
//	面の情報
//================================================================================
class Area {
	public	int	lines;		// 周囲の線の数(-1は空白)
	public	Color	color;
	int		x, y;

	// 構築子	
	Area ( int i, int j ) {
		x = i;
		y = j;
		lines = 0;
		color = Color.black;
	}

	public void	clear() {
		color = Color.black;
	}

	public void	uncheck() {
		if( color.equals( Color.red ) ) {
			color = Color.black;
		}
	}
	public boolean	check( NumberLine numline ) {
		boolean	stat = false;
		if( lines < 0 )
			return stat;
		int	n = 0;
		if( numline.edgeinfo[x*2+1][y*2].draw == 1 )
			++n;
		if( numline.edgeinfo[x*2+1][y*2+2].draw == 1 )
			++n;
		if( numline.edgeinfo[x*2][y*2+1].draw == 1 )
			++n;
		if( numline.edgeinfo[x*2+2][y*2+1].draw == 1 )
			++n;
		if( lines == n ) {
			color = Color.black;
		} else {
			color = Color.red;
			stat = true;
		}
		return	stat;
	}
}

//================================================================================
//	線の情報
//================================================================================
class Edge {
	NumberLine	nl;
	int	draw;		// -1:×、0:空白、1：描画
	Color	color;
	int	loopno;		// ループ番号
	int	x, y;

	// 構築子	
	Edge ( NumberLine p, int i, int j ) {
		nl = p;
		x = i;
		y = j;
		clear();
	}

	public void	clear() {
		draw = 0;
		color = Color.white;
		loopno = 0;
	}

	public void	uncheck() {
		if( color.equals( Color.red ) ) {
			color = Color.black;
		}
	}

	public void	clearhint() {
		if( color.equals( Color.green ) ) {
			draw = 0;
			color = Color.white;
		}
	}

	// 状態の反転
	public int	Change() {
		if( nl.ishint ) {
			if( draw!=0 && !color.equals(Color.green) ) {
				return	draw;		// 既に確定しているところはヒントで変更しない。
			}
		}

		if( ++draw == 2 )
			draw = -1;

		if( draw != 0 ) {
			color = nl.ishint ? Color.green : Color.black;
		} else {
			color = Color.white;
		}

		return	draw;
	}

	public Vertex lowVertex( NumberLine numline ) {
		return	numline.vertexinfo[x/2][y/2];
	}

	public Vertex highVertex( NumberLine numline ) {
		return	numline.vertexinfo[(x+1)/2][(y+1)/2];
	}

	// 単独チェック
	public boolean	check( NumberLine numline ) {
		boolean	stat = false;
		color = Color.black;
		loopno = 0;
		int	n;
		n = lowVertex(numline).n;
		if( ! (n==0 || n==2 ) ) {
			color = Color.red;
			stat = true;
		}
		n = highVertex(numline).n;
		if( ! (n==0 || n==2 ) ) {
			color = Color.red;
			stat = true;
		}
		return	stat;
	}

	// ループチェック
	public boolean	loopcheck( NumberLine numline, int lpc ) {
		if( (draw!=1) || (loopno != 0) )
			return	false;
		Vertex v = lowVertex( numline );
		for( Edge e=this; (e!=null) && (e.loopno==0); ) {
			e.loopno = lpc;
			if( lpc > 1 )
				e.color = Color.red;
			e = v.pairEdge(numline,e);
			v = (e.lowVertex(numline)==v) ?
				e.highVertex(numline) : e.lowVertex(numline);
		}
		
		return	true;
	}
}

//================================================================================
//	頂点の情報
//================================================================================
class Vertex {
	int		x, y;
	public	int	n;

	// 構築子	
	Vertex ( int i, int j ) {
		x = i;
		y = j;
	}

	public void	check( NumberLine numline ) {
		n = 0;

		if( ! ( x<0 || numline.xn<x || y<0 || numline.yn<y ) ) {
			// 上
			if( y>0 && (numline.edgeinfo[x*2][y*2-1].draw == 1 ) )
				++n;
			// 左
			if( x>0 && (numline.edgeinfo[x*2-1][y*2].draw == 1 ) )
				++n;
			// 下
			if( y<numline.yn && (numline.edgeinfo[x*2][y*2+1].draw == 1 ) )
				++n;
			// 右
			if( x<numline.xn && (numline.edgeinfo[x*2+1][y*2].draw == 1 ) )
				++n;
		}
	}

	public Edge  pairEdge( NumberLine numline, Edge ed ) {
		Edge	pe;
		if( y>0 ) {	// 上
			pe = numline.edgeinfo[x*2][y*2-1];
			if( (pe != ed) && (pe.draw == 1) )
				return	pe;
		}
		if( x>0 ) {	// 左
			pe = numline.edgeinfo[x*2-1][y*2];
			if( (pe != ed) && (pe.draw == 1) )
				return	pe;
		}
		if( y<numline.yn ) {	// 下
			pe = numline.edgeinfo[x*2][y*2+1];
			if( (pe != ed) && (pe.draw == 1) )
				return	pe;
		}
		if( x<numline.xn ) {	// 右
			pe = numline.edgeinfo[x*2+1][y*2];
			if( (pe != ed) && (pe.draw == 1) )
				return	pe;
		}
		return	null;
	}
}

//================================================================================
//	制御ボタンクラス
//================================================================================
class  ControlButton extends Button {
	NumberLine	nl;
	String		name;

	// 構築子
	ControlButton( NumberLine p, String str, String label ) {
		super();
		nl = p;
		name = str;
		setLabel( label );
		Font	bf = new java.awt.Font( "Helvetica", 0, 20 );
		setFont( bf );
	}

	public boolean action( Event evt, Object obj ) {
		if( name.equals("Clear") ) {
			nl.clear();
			return true;
		}
		if( name.equals("Check") ) {
			if( nl.ischecked ) {
				nl.uncheck();
			} else {
				nl.check();
			}
			nl.ischecked = ! nl.ischecked;
			return true;
		}
		if( name.equals("Hint") ) {
			nl.hint();
			return true;
		}
		return true;
	}
}

//--------------------------------------------------------------------------------
//		end of "NumberLine.java",  by Hirofumi Fujiwara
//--------------------------------------------------------------------------------