MINERVA + Javaライブラリ (スタンドアローンアプリケーションの場合)

この例では以下を示します。

• Javaプロパティ処理を使ってMINERVAを拡張する方法
• MINERVAのライブラリパッケージを生成する方法
• コンパイル方法および静的に拡張をリンクする方法
• スタンドアローンとしての実行方法
• セキュリティ例外の処理方法
• 'catch/3'の使用方法

この例はアプリケーションの場合で、アプレットの場合ではありません。

トップレベルのMINERVAソースプログラムは example2.min です。

詳細は、このディレクトリの'Compile', 'Go'他のファイルを参照して下さい。

質問・問題・コメントなどは mailto:support@ifcomputer.com までお知らせ下さい。

% MINERVA (c) IF Computer 1996,97 % http://www.ifcomputer.com/MINERVA mailto:support@ifcomputer.com

% PropertyExtension--------------------------------------------

java_predicates('java.util.Properties', [ create_properties = 'Properties', properties_getProperty = getProperty(string,string), properties_getProperty = getProperty(string), properties_propertyNames = propertyNames, system_getProperty = getProperty(string,string) ]).

java_predicates('java.lang.System', [ system_getProperty = getProperty(string), system_getProperties = getProperties ]).

% MINERVA (c) IF Computer 1996,97 % http://www.ifcomputer.com/MINERVA mailto:support@ifcomputer.com % file: example1.min

:- package(property).

main(Args) :- property(Args).

property(Args) :- write(Args),nl,flush_output, p(system_getProperties(_)), p(system_getProperty('my.parameter',unknownParam,_)), p(system_getProperty('java.version',_)), p(system_getProperty('java.vendor',_)), p(system_getProperty('java.vendor.url',_)), p(system_getProperty('java.home',_)), p(system_getProperty('java.class.version',_)), p(system_getProperty('java.class.path',_)), p(system_getProperty('os.name',_)), p(system_getProperty('os.arch',_)), p(system_getProperty('os.version',_)), p(system_getProperty('file.separator',_)), p(system_getProperty('path.separator',_)), p(system_getProperty('line.separator',_)), p(system_getProperty('user.name',_)), p(system_getProperty('user.home',_)), p(system_getProperty('user.dir',_)), !.

p(Goal) :- catch(Goal,AnyError,sorry(Goal,AnyError)), writeq(Goal), nl, flush_output, !.

sorry(Goal,AnyError) :- println(['Oooops: ', quoted(Goal)]), println(['caused: ', quoted(AnyError)]), flush_output.

#!/bin/sh # file Compile.sh, Compile

CLASSPATH=.:$MINERVA_HOME:$CLASSPATH export CLASSPATH

# without GUI

# produce the extended Minerva top level and single added class minervax -f MinervaProperty property mjavac MinervaProperty.java mjavac property.java

minervac example2

@echo off

set prevclp=%CLASSPATH% set CLASSPATH=%MINERVA_HOME%;%CLASSPATH%

rem produce the extended Minerva top level and single added class call minervax -f MinervaProperty property call mjavac MinervaProperty.java call mjavac property.java

call minervac example2

set CLASSPATH=%prevclp%

#!/bin/sh export CLASSPATH=.:$MINERVA_HOME:$CLASSPATH

mjava \ MinervaProperty \ -c $MINERVA_HOME/minerva.mca \ -l example2

@echo off set prevclp=%CLASSPATH% set CLASSPATH=%MINERVA_HOME%;%CLASSPATH% call mjava MinervaProperty -c %MINERVA_HOME%\minerva.mca -l example2 set CLASSPATH=%prevclp%