サーバーサイド

続いてサーバー側のソースです。一部コメントは削除しています。

paraselene/gui/logic/ResultHtml.java
1:
2:
3:
4:
5:
6:
7:
8:
9:
10:
11:
12:
13:
14:
15:
16:
17:
18:
19:
20:
21:
22:
23:
24:
25:
26:
27:
28:
29:
30:
31:
32:
33:
34:
35:
36:
37:
38:
39:
40:
41:
42:
43:
44:
45:
46:
47:
48:
49:
50:
51:
52:
53:
54:
55:
56:
57:
58:
59:
60:
61:
62:
63:
64:
65:
66:
67:
68:
69:
70:
71:
72:
73:
74:
75:
76:
77:
78:
79:
80:
81:
82:
83:
84:
85:
package paraselene.gui.logic;
 
import paraselene.gui.*;
import paraselene.gui.base.*;
import paraselene.*;
import paraselene.supervisor.*;
import paraselene.tag.*;
import paraselene.tag.attr.*;
import paraselene.tag.form.*;
import paraselene.tag.list.*;
import paraselene.tag.table.*;
import paraselene.ajax.*;
import java.io.*;
import java.nio.charset.*;
import javax.servlet.http.*;
 
 
/**
* result.html
*/
public class ResultHtml extends paraselene.gui.view.ResultHtml {
  /**
   * コンストラクタ。
   */
  public ResultHtml() {
    super();
    init();
  }
 
  /**
   * 初期化。
   */
  public void init(){
    super.init();
  }
 
  /**
   * 別名URI設定。nullを返すと別名は設定しません。
   * @return URI。必ず".na"で終えて下さい。
   */
  public String getAliasURI() {
    return null;
  }
 
  /**
   * 入力値の検証を行う。
   * このメソッドが呼ばれる際には必ずセッションが発生しています。
   * 入力値のエラーチェックや入力値に即した動作を記述します。
   * @param req リクエスト内容。
   * @param fw デフォルト遷移先。
   * @exception PageException 処理の継続が不可能(ブラウザには500を返す)。
   */
  public Forward inputMain( RequestParameter req, Forward fw ) throws PageException {
    return fw;
  }
 
  /**
   * 出力情報の設定を行う。
   * @param from 遷移元ページ。直接呼ばれている場合はnullです。
   * @param req リクエスト内容。
   * @return 出力ページ。
   * nullを返すとthisをリターンしたのと同じ扱いにされます。
   * @exception PageException 処理の継続が不可能(ブラウザには500を返す)。
   */
  public Page outputMain( Page from, RequestParameter req ) throws PageException {
    try {
      if ( from.getID() == PageType.INDEX_HTML ) {
        HttpSession  session = req.getSession();
        Ajax.remove( session, Command.KEY );
        IndexHtml  index = (IndexHtml)from;
        String[]  cmd = index.getParam();
        Tag  tag = getResultDiv();
        for ( int i = 0; i < cmd.length; i++ ) {
          tag.addHTMLPart( new Text( cmd[i] ), new Text( " " ) );
        }
        tag.addHTMLPart( new Text( "\n\n\n" ) );
        new Command( session, cmd );
      }
    }
    catch( Exception e ) {
      throw new PageException( e );
    }
    return this;
  }
}

データ生成部