/*
 *
 *	2004/04/16 
 *	ViViScript 用 Text Based Window System もどき
 *	by さね
 *
 *	Window Systemもどき と, その応用例.
 *	(Window System と サンプル部が分離されていない. そのうち分離するかも)
 *	ViVi Script で Text Base のアプリケーションを書くときに役に立つ(かもしない).
 *	Window を手前に持ってきたり, 奥に持っていったりできる.
 *	再描画がとても遅い＿|￣|○
 *
 *	使い方:
 *		このスクリプトを実行すると, 
 *		いつくかの Window が開いた状態で
 *		Window System(もどき)が立ち上がる.
 *			q : 終了する
 *			SPACE : カーソルを Window にあわせて, Window を選択/Windowを手前に移動(マウスクリックもどき)
 *			h,j,k,l : カーソルを移動
 *			H.J,K.L : 選択している Window を移動
 *			a,x,o,d : 選択している Window のサイズを変更
 *			g : Window のリストを表示
 *			n : 選択 Window をリスト内の次の Window に変更する
 *			O : 新しい Window を開く
 *
 *	注意:
 *		表示画面に半角文字を使ってはいけない.
 *
 */

var true =  1;
var false = 0;

var null = 0;

var empty = 0;
var narrow = 1;
var broad = 2;

var LT = 0;	// left top
var RT = 1;	// right top
var LB = 2;	// left bottom
var RB = 3;	// right bottom

var HORIZONTAL = 0;
var VERTICAL = 1;

var LEFT  = 0;
var RIGHT = 1;
var UP    = 2;
var DOWN  = 3;



function raw_getExp(l, r, u, d)
{
	if( l != empty ){
		// l full
		if ( r != empty ){
			// l,r full
			if( u != empty ){
				// l,r,u full
				if( d != empty ){
					// l,r,u,d full
					return	"┼";
				} else {
					// l,r,u full, d empty
					return	"┴";
				}
			} else {
				// l,r full, u empty
				if( d != empty ){
					// l,r,d full, u empty
					return	"┬";
				} else {
					// l,r full, u,d empty
					return	"─";
				}
			}
		} else {
			// l full, r empty
			if( u != empty ){
				// l,u full, r empty
				if( d != empty ){
					// l,u,d full, r empty
					return	"┤";
				} else {
					// l,u full, r,d empty
					return	"┘";
				}
			} else {
				// l full, r,u empty
				if( d != empty ){
					// l,d full, r,u empty
					return	"┐";
				} else {
					// l full, r,u,d empty
					return	"？";
				}
			}
		}
	} else {
		// l empty
		if ( r != empty ){
			// r full, l empty
			if( u != empty ){
				// r,u full, l empty
				if( d != empty ){
					// r,u,d full, l empty
					return	"├";
				} else {
					// r,u full, l,d empty
					return	"└";
				}
			} else {
				// r full, l,u empty
				if( d != empty ){
					// r,d full, l,u empty
					return	"┌";
				} else {
					// r full, l,u,d empty
					return	"？";
				}
			}
		} else {
			// l,r empty
			if( u != empty ){
				// u full, l,r empty
				if( d != empty ){
					// u,d full, l,r empty
					return	"│";
				} else {
					// u full, l,r,d empty
					return	"？";
				}
			} else {
				// l,r,u empty
				if( d != empty ){
					// d full, l,r,u empty
					return	"？";
				} else {
					// l,r,u,d empty
					return	"？";
				}
			}
		}
	}
}

function raw_getEmptyExp()
{
	return	"　";
}
function raw_getCursorExp()
{
	return	"＊";
}

// txt の n 文字目を選択
function raw_charAt(txt, n){
	return	txt.charAt(n*2);
}
// txt の 文字数
function raw_stringLength(txt){
	return	txt.getCharCount();

}



/*
	class Window{
	private:
		int	left;
		int	right;
		int	top;
		int	bottom;
		String	title;
	public:
		void	setLeft(l);
		int	getLeft();
		void	setRight(r);
		int	getRight();
		void	setTop(t);
		int	getTop();
		void	setBottom(b);
		int	getBottom();
		void	moveRight();
		void	moveDown();
		void	resizeWidth( diff );
		void	resizeHeight( diff );
		voie	setTitle(title);
		String	getTitle();
		construct();			// construct
	}
 */
function Window_setLeft(l)
{
	this.left = l;
}
function Window_getLeft()
{
	return	this.left;
}
function Window_setRight(r)
{
	this.right = r;
}
function Window_getRight()
{
	return	this.right;
}
function Window_setTop(t)
{
	this.top = t;
}
function Window_getTop()
{
	return	this.top;
}
function Window_setBottom(b)
{
	this.bottom = b;
}
function Window_getBottom()
{
	return	this.bottom;
}
function Window_moveRight(n)
{
	this.left  += n;
	this.right += n;
}
function Window_moveDown(n)
{
	this.top    += n;
	this.bottom += n;
}
function Window_resizeWidth( diff ){
	this.right += diff;
	if( this.right <= this.left ){
		//	小さすぎ
		this.right =  this.left + 1;
	}
}
function Window_resizeHeight( diff ){
	this.bottom += diff;
	if( this.bottom <= this.top ){
		//	小さすぎ
		this.bottom =  this.top + 1;
	}
}
function Window_setTitle(titl)
{
	this.title = titl;
}
function Window_getTitle()
{
	return	this.title;
}
function Window_construct( l, t, r, b, titl)
{
	var	obj;
	obj.left   = l;
	obj.right  = r;
	obj.top    = t;
	obj.bottom = b;
	obj.title  = titl;

	obj.setLeft = Window_setLeft;
	obj.getLeft = Window_getLeft;
	obj.setRight = Window_setRight;
	obj.getRight = Window_getRight;
	obj.setTop = Window_setTop;
	obj.getTop = Window_getTop;
	obj.setBottom = Window_setBottom;
	obj.getBottom = Window_getBottom;
	obj.moveRight = Window_moveRight;
	obj.moveDown = Window_moveDown;
	obj.resizeWidth = Window_resizeWidth;
	obj.resizeHeight = Window_resizeHeight;
	obj.setTitle = Window_setTitle;
	obj.getTitle = Window_getTitle;

	if( obj.right <= obj.left ){
		obj.right = obj.left + 1;
	}
	if( obj.bottom <= obj.top ){
		obj.bottom = obj.top + 1;
	}

	return	obj;
}

/*
	class Model{
	public:
		void	setMVC( m, v, c);
		Window[] getWindows();
		void	addWindow(x0,y0,x1,y1);		// window の追加
		void	moveWindowTop(n);		// wins[n] を 一番手前に移動
		int	getCurX();			// cursor の x
		int	getCurY();			// cursor の y
		void	moveCursor( xdiff, ydiff);	// cursor の移動
			construct();			// construct
	private:
		int	xsize;
		int	ysize;
		int	cursorX;
		int	cursorY;
		Window	wins;
	}
*/
function Model_setMVC( m, v, c)
{
	// empty
}

function Model_getWindows()
{
	return	this.wins;
}

function Model_addWindow(x0,y0,x1,y1, title)
{
	var size;
	size = this.wins.getCount();
	this.wins[size] = Window_construct(x0,y0,x1,y1,title);
}

// wins[n] を一番手前に移動. 
// つまり, 配列の一番最後に移動
function Model_moveWindowTop( n ){
	var len;
	len = this.wins.getCount();
	if( n < len ){
		var i;
		var bak = this.wins[n];
		for(i=n; i<len-1; i++){
			this.wins[i] = this.wins[i+1];
		}
		this.wins[len-1] = bak;
	}
}

function Model_getCurX()
{
	return	this.cursorX;
}

function Model_getCurY()
{
	return	this.cursorY;
}

function Model_moveCursor( xdiff, ydiff)
{
	this.cursorX += xdiff; 
	this.cursorY += ydiff;
	if( this.cursorX < 0 ){
		this.cursorX = 0;
	}
	if( this.xsize <= this.cursorX  ){
		this.cursorX = this.xsize-1;
	}
	if( this.cursorY < 0 ){
		this.cursorY = 0;
	}
	if( this.ysize <= this.cursorY  ){
		this.cursorY = this.ysize-1;
	}
}

function Model_construct( xsiz, ysiz)
{
	var	obj;
	obj.setMVC = Model_setMVC;
	obj.getWindows = Model_getWindows;
	obj.addWindow = Model_addWindow;
	obj.moveWindowTop = Model_moveWindowTop;
	obj.getCurX = Model_getCurX;
	obj.getCurY = Model_getCurY;
	obj.moveCursor = Model_moveCursor;
	obj.xsize = xsiz;
	obj.ysize = ysiz;
	obj.cursorX = xsiz/2;
	obj.cursorY = ysiz/2;
	obj.wins = [];
	return	obj;
}


/*
	class Pixel{
	private:
		boolean		lineFlag;	// このPixelが 線(Windowの線)か否か.
		char		left;		// empty, narrow, broad
		char		right;		// empty, narrow, broad
		char		up;		// empty, narrow, broad
		char		down;		// empty, narrow, broad
		Object		rawData;	// 描画される情報
		Object		owner;
		Rawdata		cache;		// 前回の描画. これと異なるなら再描画が必要.
		boolean		isLine();
		boolean		setLineFlag();
	public:
		void setRawData(rawData);
		Rawdata getRawData();
		void setEmpty();		// 空にする
		Owner getOwner();
		void pileApex( LT );		// 頂点を重ねる. LT: left top の頂点
		void pileSide( hv, inside);	// 辺を重ねる. hv:HORIZONTAL/VERTICAL, inside:内側が LEFT/RIGHT / UP/DOWN
		bool requireRepaint();		// 前回の描画の cache と異なるか?
		void updateCache();		// cache を更新. 再描画時に"前回の描画内容"を登録.
		void panic();			// panic したら
		Pixel_construct();		// constructor
	}
 */
function Pixel_setRawData(rawDat)
{
	this.lineFlag = false;
	this.left = false;
	this.right = false;
	this.up = false;
	this.down = false;
	this.rawData = rawDat;
}

function Pixel_getRawData()
{
	if( this.lineFlag ){
		return	raw_getExp( this.left, this.right, this.up, this.down);
	} else {
		return	this.rawData;
	}
}

function Pixel_setEmpty()
{
	this.setRawData( raw_getEmptyExp() );
	this.setOwner(null);
}

function Pixel_setOwner( owne )
{
	this.owner =  owne;
}

function Pixel_getOwner()
{
	return	this.owner;
}

function Pixel_pileApex( place )
{
	this.lineFlag = true;
	if( place == LT  ||  place == LB ){
		this.right = true;
	}
	if( place == RT  ||  place == RB ){
		this.left = true;
	}
	if( place == LT  ||  place == RT ){
		this.down = true;
	}
	if( place == LB  ||  place == RB ){
		this.up = true;
	}
}

function Pixel_pileSide( hv, inside)
{
	this.lineFlag = true;
	if( hv == HORIZONTAL ){
		this.left  = true;
		this.right = true;
		if( inside == UP ){
			this.up = false;
		} else if( inside == DOWN ){
			this.down = false;
		} else {
			this.panic();
		}
	}else if( hv == VERTICAL ){
		this.up   = true;
		this.down = true;
		if( inside == LEFT ){
			this.left = false;
		} else if( inside == RIGHT ){
			this.right = false;
		} else {
			this.panic();
		}
	} else {
		this.panic();
	}
}

function Pixel_requireRepaint()
{
	if( this.cache != this.getRawData() ){
		return	true;
	} else {
		return	false;
	}
}

function Pixel_updateCache()
{
	this.cache = this.getRawData();
}

function Pixel_panic()
{
	this.setRawData("？");
}

function Pixel_construct()
{
	var	obj;
	obj.lineFlag = false;
	obj.left = empty;
	obj.right = empty;
	obj.up = empty;
	obj.down = empty;
	obj.rawData = null;
	obj.owner = null;
	obj.cache = null;
	obj.setRawData = Pixel_setRawData;
	obj.getRawData = Pixel_getRawData;
	obj.setEmpty = Pixel_setEmpty;
	obj.setOwner = Pixel_setOwner;
	obj.getOwner = Pixel_getOwner;
	obj.pileApex = Pixel_pileApex;
	obj.pileSide = Pixel_pileSide;
	obj.requireRepaint = Pixel_requireRepaint;
	obj.updateCache = Pixel_updateCache;
	obj.panic = Pixel_panic;

	obj.setEmpty();
	obj.cache = obj.getRawData();
	return	obj;
}


/*
	class View{
	public:
		Object		graphic;	// graphic device への pointer. ここでは, ViVi の view
		setMVC( m, v, c);
		void clear();			// 空にする(描画はしない)
		void repaint();			// 再描画
		Owner getOwner(x,y);		// (x,y) を 支配している window を返す.
		View( int xsize, int ysize, graphic);	// constructor
		void debug();
	private:
		int		xsize;
		int		ysize;
		Model		model;		// Model への pointer
		Pixel		pixels[xsize][ysize];
		void raw_paintXy(rawData, x, y);
		void raw_repaint();		// 再描画の最後に何か必要ならここで実装
		bool containsInRangeX( x );		// x は 描画範囲内か
		bool containsInRangeY( y );		// y は 描画範囲内か
	}
 */
function View_setMVC( m, v, c)
{
	this.model = m;
}

// Pixel を空白で埋めつくす
function View_clear()
{
	var x, y;
	for( x=0; x<this.xsize; x++){
		for( y=0; y<this.ysize; y++){
			this.pixels[x][y].setEmpty();
		}
	}
}

function View_repaint()
{
	var x, y;

	// まずは真っ白にする
	this.clear();

	var wins = this.model.getWindows();
	var w;
	for(w=0; w<wins.getCount(); w++){
		// begin Window 処理
		var x0, y0, x1, y1, title;
		x0 = wins[w].getLeft();
		y0 = wins[w].getTop();
		x1 = wins[w].getRight();
		y1 = wins[w].getBottom();
		title = wins[w].getTitle();
		// ↓Window 処理 : 四頂点の処理
		if(  this.containsInRangeX(x0)  &&  this.containsInRangeY(y0)  ){	// 正しい座標か?
			this.pixels[x0][y0].pileApex( LT );
			this.pixels[x0][y0].setOwner( [wins[w],w] );
		}
		if(  this.containsInRangeX(x1)  &&  this.containsInRangeY(y0)  ){
			this.pixels[x1][y0].pileApex( RT );
			this.pixels[x1][y0].setOwner( [wins[w],w] );
		}
		if(  this.containsInRangeX(x0)  &&  this.containsInRangeY(y1)  ){
			this.pixels[x0][y1].pileApex( LB );
			this.pixels[x0][y1].setOwner( [wins[w],w] );
		}
		if(  this.containsInRangeX(x1)  &&  this.containsInRangeY(y1)  ){
			this.pixels[x1][y1].pileApex( RB );
			this.pixels[x1][y1].setOwner( [wins[w],w] );
		}
		// ↓Window 処理 : 四辺の処理
		var i,j;
		// ↓Window 処理 : 四辺の処理 : 上辺
		if( this.containsInRangeY(y0) ){	// 上辺は範囲内か?
			for(i=x0+1; i<=x1-1; i++){
				if( i < 0 ){
					i = -1;
					continue;		// 左過ぎ 右にジャンプ
				} else if( this.xsize <= i ){
					break;			// 右過ぎ 終了
				} else {			// 範囲内
					this.pixels[i][y0].pileSide( HORIZONTAL, DOWN );
					this.pixels[i][y0].setOwner( [wins[w],w] );
				}
			}
		}
		// ↓Window 処理 : 四辺の処理 : 下辺
		if( this.containsInRangeY(y1) ){
			for(i=x0+1; i<=x1-1; i++){
				if( i < 0 ){
					i = -1;
					continue;
				} else if( this.xsize <= i ){
					break;
				} else {
					this.pixels[i][y1].pileSide( HORIZONTAL, UP );
					this.pixels[i][y1].setOwner( [wins[w],w] );
				}
			}
		}
		// ↓Window 処理 : 四辺の処理 : 左辺
		if( this.containsInRangeX(x0) ){
			for(i=y0+1; i<=y1-1; i++){
				if( i < 0 ){
					i = -1;
					continue;
				} else if( this.ysize <= i ){
					break;
				} else {
					this.pixels[x0][i].pileSide( VERTICAL, RIGHT );
					this.pixels[x0][i].setOwner( [wins[w],w] );
				}
			}
		}
		// ↓Window 処理 : 四辺の処理 : 右辺
		if( this.containsInRangeX(x1) ){
			for(i=y0+1; i<=y1-1; i++){
				if( i < 0 ){
					i = -1;
					continue;
				} else if( this.ysize <= i ){
					break;
				} else {
					this.pixels[x1][i].pileSide( VERTICAL, LEFT );
					this.pixels[x1][i].setOwner( [wins[w],w] );
				}
			}
		}
		// ↓Window 処理 : Window の中の処理
		for(j=y0+1; j<=y1-1; j++){
			if( j < 0 ){
				j = -1;				// 上過ぎ 下にジャンプ
				continue;
			} else if( this.ysize <= j ){
				break;				// 下過ぎ 終了
			}
			for(i=x0+1; i<=x1-1; i++){
				if( i < 0 ){
					i = -1;			// 左過ぎ 右にジャンプ
					continue;
				} else if( this.xsize <= i ){
					break;			// 右過ぎ 終了
				} else {
					this.pixels[i][j].setEmpty();
					this.pixels[i][j].setOwner( [wins[w],w] );
				}
			}
		}
		// ↓Window 処理 : Window の title
		if( y0+1 < y1 ){
			// y0+1 は空いている. 書いていても良い.
			if( this.containsInRangeY(y0+1) ){
				// y0+1 は範囲内
				var len;
				len = raw_stringLength(title);
				for(i=0; i<len; i++){
					if( x0+1+i < 0 ){
						// 左過ぎ : 右にジャンプ
						i = -2-x0;	// これで, x0+1+i == -1 のはず
						continue;
					} else if( x1 <= x0+1+i  || this.xsize <= x0+1+i ){
						// Window の右端 or 画面の右端 : 終了
						break;
					} else {
						// x0+1+i は空いている. 書いても良い. 
						this.pixels[x0+1+i][y0+1].setRawData(  raw_charAt(title,i)  );
					}
				}
/*				// ＿□×
				i = x1-1;
				if( this.containsInRangeX(i)  &&  x0<i ){
					this.pixels[i][y0+1].setRawData( "×" );
				}
				i --;
				if( this.containsInRangeX(i)  &&  x0<i ){
					this.pixels[i][y0+1].setRawData( "□" );
				}
				i --;
				if( this.containsInRangeX(i)  &&  x0<i ){
					this.pixels[i][y0+1].setRawData( "＿" );
				}*/
			}
		}
		// end : Window 処理
	}

	// cursor を
	this.pixels[this.model.getCurX()][this.model.getCurY()].setRawData( raw_getCursorExp() );

	////////////////

	// ↓描画
	for( y=0; y<this.ysize; y++){
		for( x=0; x<this.xsize; x++){
			var pix;
			pix = this.pixels[x][y];
			if( pix.requireRepaint() ){
				this.raw_paintXy( pix.getRawData(), x, y);
				pix.updateCache();
			}
		}
	}
	this.raw_repaint();
}

function View_getOwner( x, y )
{
	if( this.containsInRangeX(x)  &&  this.containsInRangeY(y) ){
		return	this.pixels[x][y].getOwner();
	} else {
		return	null;
	}
}

function View_raw_paintXy( rawData, x, y)
{
	var rawX, rawY, txt;
	rawX = x*2;
	rawY = y+1;
	txt =rawData;		// this is String instance

	this.graphic.setCursorPos( rawY, rawX);
	this.graphic.viCommand("s"+txt);
//	this.graphic.viCommand("R"+txt);
}

function View_raw_repaint()
{
	this.graphic.setCursorPos(  this.model.getCurY()+1, this.model.getCurX()*2);
}

function View_debug()
{
	writeln("debug->");
	writeln("model is ", this.model);
	writeln("--dump");
	var x, y;
	for( x=0; x<this.xsize; x++){
		for( y=0; y<this.ysize; y++){
			writeln(x, ",", y, ":[", this.pixels[x][y].getRawData(), "]");
		}
	}
	writeln("<-debug");
}

function View_containsInRangeX( x )
{
	if( 0<=x  &&  x<this.xsize ){
		return	true;
	} else {
		return	false;
	}
}

function View_containsInRangeY( y )
{
	if( 0<=y  &&  y<this.ysize ){
		return	true;
	} else {
		return	false;
	}
}

function View_construct( xsiz, ysiz, gra)
{
	var obj;
	obj.xsize = xsiz;
	obj.ysize = ysiz;
	obj.graphic = gra;

	obj.setMVC = View_setMVC;
	obj.clear = View_clear;
	obj.repaint = View_repaint;
	obj.raw_paintXy = View_raw_paintXy;
	obj.raw_repaint = View_raw_repaint;
	obj.getOwner = View_getOwner;
	obj.debug = View_debug;
	obj.containsInRangeX = View_containsInRangeX;
	obj.containsInRangeY = View_containsInRangeY;

	obj.model = null;

	// begin initialize Pixcel data
	var i, j;
	var pixs;
	for(i=0; i<obj.xsize; i++){
		for(j=0; j<obj.xsize; j++){
			pixs[i][j] = Pixel_construct();
		}
	}
	// end initialize Pixcel data
	obj.pixels = pixs;

	return	obj;
}

/*
	class Controller{
	publci:
		setMVC(m,v,c);		//
		void loop();		// main loop
		construct();		// constructor
	private:
		Model	model;		// Model への pointer
		View	view;		// view への pointer
	}
 */

function Controller_setMVC( m, v, c)
{
	this.model = m;
	this.view  = v;
}

function Controller_loop()
{
	var winPointer;
	var isSelected;
	if( 0 < this.model.getWindows().getCount() ){
		isSelected = true;
		winPointer = 0;
	}
	var ch=null;
	while( true ){
		var aWin, wins;
		var i;
		var owner;
		var tmpTxt;
		wins = null;

		writeln("q(uit) SPC(click) h(←) j(↓) k(↑) l(→) H(←) J(↓) K(↑) L(→) a(+width) x(-width) o(+height) d(-height) g(WinList) n(extWin) O(newWin)");
		ch = getch();
		writeln("<", ch);
		if( ch == 'q'){
			break;
		} else if( ch == ' '){
			owner = this.view.getOwner(  this.model.getCurX() ,  this.model.getCurY() );
			if( owner == null ){
				writeln("\tそこは, 空き地です. 選択を解除しました.");
				isSelected = false;
			} else {
				wins = this.model.getWindows();
				if( isSelected  &&  winPointer == owner[1] ){
					// 既に選択済みなのに, 再度選択. 手前に移動.
					this.model.moveWindowTop(winPointer);
					wins = this.model.getWindows();
					winPointer = wins.getCount()-1;	// last の window を選択.
				} else {
					// 新規選択.
					isSelected = true;
					aWin = owner[0];
					winPointer = owner[1];
					writeln("\tWindow[", wins[winPointer].getTitle(), "]を選択しました.");
				}
			}
		} else if( ch == 'h'){
			this.model.moveCursor( -1, 0);
		} else if( ch == 'j'){
			this.model.moveCursor(  0, 1);
		} else if( ch == 'k'){
			this.model.moveCursor(  0,-1);
		} else if( ch == 'l'){
			this.model.moveCursor(  1, 0);
		} else if( ch == 'H'){
			wins = this.model.getWindows();
			if( isSelected  &&  0 < wins.getCount() ){	// 選択状態である かつ window がある
				aWin = wins[winPointer];
				aWin.moveRight(-1);
			}
		} else if( ch == 'J'){
			wins = this.model.getWindows();
			if( isSelected  &&  0 < wins.getCount() ){	// 選択状態である かつ window がある
				aWin = wins[winPointer];
				aWin.moveDown(1);
			}
		} else if( ch == 'K'){
			wins = this.model.getWindows();
			if( isSelected  &&  0 < wins.getCount() ){	// 選択状態である かつ window がある
				aWin = wins[winPointer];
				aWin.moveDown(-1);
			}
		} else if( ch == 'L'){
			wins = this.model.getWindows();
			if( isSelected  &&  0 < wins.getCount() ){	// 選択状態である かつ window がある
				aWin = wins[winPointer];
				aWin.moveRight(1);
			}
		} else if( ch == 'a'){
			wins = this.model.getWindows();
			if( isSelected  &&  0 < wins.getCount() ){	// 選択状態である かつ window がある
				aWin = wins[winPointer];
				aWin.resizeWidth(1);
			}
		} else if( ch == 'x'){
			wins = this.model.getWindows();
			if( isSelected  &&  0 < wins.getCount() ){	// 選択状態である かつ window がある
				aWin = wins[winPointer];
				aWin.resizeWidth(-1);
			}
		} else if( ch == 'o'){
			wins = this.model.getWindows();
			if( isSelected  &&  0 < wins.getCount() ){	// 選択状態である かつ window がある
				aWin = wins[winPointer];
				aWin.resizeHeight(1);
			}
		} else if( ch == 'd'){
			wins = this.model.getWindows();
			if( isSelected  &&  0 < wins.getCount() ){	// 選択状態である かつ window がある
				aWin = wins[winPointer];
				aWin.resizeHeight(-1);
			}
		} else if( ch == 'O'){
			var chars = "いろはにほへとちりぬるをわかよたれそつねんらむうゐのおくやまけふこえてαβγεσΣπ";
			var title = "";
			var n;
			n = rand(10)+3;
			for(i=0; i<n; i++){
				title += chars.charAt( 2*rand(chars.getCharCount()) );
			}
			writeln("[", title, "]");
			this.model.addWindow(0, 0, raw_stringLength(title)+1, 2, title);
		} else if( ch == 'g'){
			wins = this.model.getWindows();
			if( 0 < wins.getCount() ){
				// window がある
				for(i=0; i<wins.getCount(); i++){
					aWin = wins[i];
					if( i == winPointer  &&  isSelected ){
						tmpTxt = "*";
					} else {
						tmpTxt = " ";
					}
					writeln("\t", tmpTxt, i, " :", aWin.getTitle(), ":(", aWin.getLeft(), ",", aWin.getTop(), ")--(", aWin.getRight(), ",", aWin.getBottom(), ")");
				}
			} else {
				// no window
				writeln("\tWindow はありません:'(");
			}
		} else if( ch == 'n'){
			wins = this.model.getWindows();
			if( 0 < wins.getCount() ){
				// window がある
				if( isSelected ) {
					// 次を選択
					winPointer = (winPointer+1) % wins.getCount();	// 次の window へ
					writeln("\tWindow[", wins[winPointer].getTitle(), "]を選択しました.");
				} else {
					// 新規選択
					winPointer = 0;
					writeln("\tWindow[", wins[winPointer].getTitle(), "]を選択しました.");
				}
				isSelected = true;
			}
		}
		this.view.repaint();
	}
	writeln("bye");
}

function Controller_construct()
{
	var	obj;
	obj.model = null;
	obj.view = null;
	obj.setMVC = Controller_setMVC;
	obj.loop = Controller_loop;
	return	obj;
}


/*
 *
 *
 */


function main()
{
	var xsize = 40;
	var ysize = 25;

	var viviDoc, viviView;
	viviDoc = newDocument();
	viviView = viviDoc.getView();
	// viviView が graphic device となる.

	// begin : graphic 初期化
	var i, tmpTxt;
	tmpTxt = raw_getEmptyExp().repeat(xsize);
	viviView.viCommand( "i"+tmpTxt );
	for(i=0; i<ysize-1; i++){
		viviView.viCommand( "o"+tmpTxt );
	}
	// end : graphic 初期化

	var model, view, controller;
	model = Model_construct( xsize, ysize);
	view = View_construct( xsize, ysize, viviView);
	controller = Controller_construct();

	model.setMVC( null, view, controller);
	view.setMVC( model, null, null);
	controller.setMVC( model, view, null);

	model.addWindow( 1, 2,  18, 9, "あいうえお");
	model.addWindow( 8, 0,  28, 6, "いろはにほへとちりぬるを");
	model.addWindow( 4, 5,  12,18, "ＡＢＣＤ");
	model.addWindow(10, 17,  18,22, "αβγ");

	view.repaint();

	controller.loop();
}