サーブレット /MINERVA/ExamplePrograms/MinervaFeatures/Servlet/

サーブレット

この例では、MINERVAをサーブレットとして、Tomcat/Jakarta/Apacheと共にどのように使用するかについて示します。

サーブレットminserveは、HTMLのFORMからユーザの入力情報を取り、 HTML、XMLあるいはテキストファイルで、その情報を返します。

この例で、MINERVAサーブレット述語が、どのようにFORMのGETやPOSTメソッドにより呼ばれるか、サーブレットのリクエストからどのように入力パラメータを得て、Prolog項を組み立て、それを希望の形式に変換して、サーブレットレスポンスにそしてHTTPクライアントに返すかを示します。　

すべてのステップがサーバーログに書き込まれます。

この例は、Apache Software foundationのサーブレットのウェブサーバー Jakarta Tomcat 3.2 and 4.0 http://jakarta.apache.org/tomcat/index.html およびSun Java JDK1.4を使って作られました。

この例では、以下のファイルを例示します。

minserve.html - HTML　FORM要素を含むHTMLファイル

minserve.min - MINERVAサーブレットプログラム

web.xml - Tomcat制御ファイルで、サーブレットにそのURLを示し、　Tomcatに、どのMINERVAファイルがロードされるべきかを　伝える。

MINERVAにより提供される述語のリストは、

servlet.mpk - サーブレット内蔵述語

これらの述語は、Java Servlet インタフェースに対応します。

例を走らせる

以下が、この例をインストールし実行させる方法です。コマンドは、UNIX/Linux上でのものです。他のオペレーティングシステムの場合変更が必要です。

MINERVAとTOMCATをインストールする。
以下においては、 MINERVAが$MINERVA_HOMEに、 Tomcatが$CATALINA_HOMEにインストールされていることを前提とします。

サーブレットディレクトリを作る。

mkdir $CATALINA_HOME/webapps/minserve
mkdir $CATALINA_HOME/webapps/minserve/WEB-INF
mkdir $CATALINA_HOME/webapps/minserve/WEB-INF/minerva
mkdir $CATALINA_HOME/webapps/minserve/WEB-INF/classes

サーブレットディレクトリにHTMLファイルをコピーする。
```
cp minserve.html $CATALINA_HOME/webapps/minserve
```

MINERVAシステムファイルをサーブレットディレクトリにコピーする。

cp -r $MINERVA_HOME/com $CATALINA_HOME/webapps/minserve/WEB-INF/classes
cp -r $MINERVA_HOME/servlet/WEB-INF/classes/com $CATALINA_HOME/webapps/minserve/WEB-INF/classes
cp  $MINERVA_HOME/minerva.mca $CATALINA_HOME/webapps/minserve/WEB-INF/minerva
cp  $MINERVA_HOME/servlet/WEB-INF/minerva/servlet.mpk $CATALINA_HOME/webapps/minserve/WEB-INF/minerva

サーブレットプログラムをサーブレットディレクトリにコピーする。
```
cp minserve.min $CATALINA_HOME/webapps/minserve/WEB-INF/minerva
```
サーブレットプログラムをコンパイルする。
```
minervac minserve.min
```

Tomcatサーバーを再始動させる。

$CATALINA_HOME/bin/shutdown.sh
$CATALINA_HOME/bin/startup.sh

サーブレットを呼び出す。
Tomcatをデフォルト位置でインストールした場合、URLは、 http://localhost:8080/minserve/minserve.html です。

戻る続く..