diff --git a/Logtalk/manuals/refman/builtins/current_logtalk_flag2.html b/Logtalk/manuals/refman/builtins/current_logtalk_flag2.html new file mode 100644 index 000000000..e918fc780 --- /dev/null +++ b/Logtalk/manuals/refman/builtins/current_logtalk_flag2.html @@ -0,0 +1,66 @@ + + + + + + current_logtalk_flag/2 + + + + + +
+

current_logtalk_flag/2

+
+ +

Description

+ +
+
+current_logtalk_flag(Flag, Value)
+
+

+ Enumerates, by backtracking, the current Logtalk flag values. +

+
+ +

Template and modes

+ +
+
+current_logtalk_flag(?atom, ?atom)
+
+
+ +

Errors

+ +
+
+
Flag is neither a variable nor an atom:
+
type_error(atom, Flag)
+
Flag is not a valid flag:
+
domain_error(valid_flag, Value)
+
+
+ +

Examples

+ +
+
+| ?- current_logtalk_flag(xml, Value).
+
+
+ +
+

+Previous | Next | Table of Contents | Bibliography | Glossary +

+

+Last updated on: February 9, 2002 +

+
+ + + + diff --git a/Logtalk/manuals/refman/builtins/set_logtalk_flag2.html b/Logtalk/manuals/refman/builtins/set_logtalk_flag2.html new file mode 100644 index 000000000..0b3bbeedc --- /dev/null +++ b/Logtalk/manuals/refman/builtins/set_logtalk_flag2.html @@ -0,0 +1,74 @@ + + + + + + set_logtalk_flag/2 + + + + + +
+

set_logtalk_flag/2

+
+ +

Description

+ +
+
+set_logtalk_flag(Flag, Value)
+
+

+ Sets Logtalk flag values. +

+
+ +

Template and modes

+ +
+
+set_logtalk_flag(+atom, +atom)
+
+
+ +

Errors

+ +
+
+
Flag is a variable:
+
instantiation_error
+
Value is a variable:
+
instantiation_error
+
Flag is not an atom:
+
type_error(atom, Flag)
+
Flag is neither a variable nor a valid flag:
+
domain_error(valid_flag, Flag)
+
Value is not a valid value for flag Flag:
+
domain_error(valid_flag_value, Value)
+
Flag is a read-only flag:
+
domain_error(read_only_flag, Flag)
+
+
+ +

Examples

+ +
+
+| ?- set_logtalk_flag(xml, on).
+
+
+ +
+

+Previous | Next | Table of Contents | Bibliography | Glossary +

+

+Last updated on: February 9, 2002 +

+
+ + + + diff --git a/Logtalk/xml/html.bat b/Logtalk/xml/html.bat new file mode 100644 index 000000000..46e636981 --- /dev/null +++ b/Logtalk/xml/html.bat @@ -0,0 +1,21 @@ +@ECHO off + +SET JAVA_HOME=c:\jdk1.3 + +SET XT_PATH=c:\xt +SET SAX_PATH=c:\xt +SET XP_PATH=c:\xt + +SET XSLT="lgthtml.xsl" + +ECHO This script converts all .xml files in the current directory to .html +ECHO files applying the XSLT transformation defined in the $XSLT file +ECHO using the James Clark XT XSLT Java processor + +FOR %%f IN (*.xml) DO %JAVA_HOME%\bin\java -cp "%XT_PATH%\xt.jar;%SAX_PATH%\sax.jar;%XP_PATH%\xp.jar" -Dcom.jclark.xsl.sax.parser=com.jclark.xml.sax.CommentDriver com.jclark.xsl.sax.Driver %%f %XSLT% %%f.html + +REN *.xml.html *.html + +ECHO conversion done + +@ECHO on diff --git a/Logtalk/xml/html.sh b/Logtalk/xml/html.sh new file mode 100644 index 000000000..0983ae935 --- /dev/null +++ b/Logtalk/xml/html.sh @@ -0,0 +1,23 @@ +#!/bin/sh + +XT_PATH="." +SAX_PATH="." +XP_PATH="." + +XSLT="lgthtml.xsl" + +echo +echo This script converts all .xml files in the current directory to .html +echo files applying the XSLT transformation defined in the $XSLT file +echo using the James Clark XT XSLT Java processor +echo + +foreach file (*.xml) + echo converting $file + name="`expr "$file" : '\(.*\)\.[^./]*$' \| "$file"`" + eval java -cp ${XT_PATH}/xt.jar:${SAX_PATH}/sax.jar:${XP_PATH}/xp.jar -Dcom.jclark.xsl.sax.parser=com.jclark.xml.sax.CommentDriver com.jclark.xsl.sax.Driver $file $XSLT $name.html +end + +echo +echo conversion done +echo diff --git a/Logtalk/xml/lgtpdfa4.xsl b/Logtalk/xml/lgtpdfa4.xsl new file mode 100644 index 000000000..03f4cf1bd --- /dev/null +++ b/Logtalk/xml/lgtpdfa4.xsl @@ -0,0 +1,540 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + : + + + + + + + + + of + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + authors: + + + + + + + + + version: + + + + + + + + + date: + + + + + + + + compilation: + + + + + + + + + + + + + + : + + + + + + + + + + + + + + + + + + implements: + + + + + + imports: + + + + + + extends: + + + + + + instantiates: + + + + + + specializes: + + + + + + uses: + + + + + + calls: + + + + + + + (no dependencies on other files) + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + Public interface + + + + + + + + (see related entities) + + + + + (none) + + + + + + Protected interface + + + + + + + + (see related entities) + + + + + (none) + + + + + + Private predicates + + + + + + + + (see related entities) + + + + + (none) + + + + + + + + + + + + + + + + + + + + + + + + + + + compilation: + + + + + + + + + + + + + + template: + + + + + + + + + + + + + + + metapredicate template: + + + + + + + + + + + + + + + mode - number of solutions: + + + + - + + + + + + + + + + + + + + + + + : + + + + + + + + + + + + + + diff --git a/Logtalk/xml/lgtpdfus.xsl b/Logtalk/xml/lgtpdfus.xsl new file mode 100644 index 000000000..c396858d3 --- /dev/null +++ b/Logtalk/xml/lgtpdfus.xsl @@ -0,0 +1,540 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + : + + + + + + + + + of + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + authors: + + + + + + + + + version: + + + + + + + + + date: + + + + + + + + compilation: + + + + + + + + + + + + + + : + + + + + + + + + + + + + + + + + + implements: + + + + + + imports: + + + + + + extends: + + + + + + instantiates: + + + + + + specializes: + + + + + + uses: + + + + + + calls: + + + + + + + (no dependencies on other files) + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + Public interface + + + + + + + + (see related entities) + + + + + (none) + + + + + + Protected interface + + + + + + + + (see related entities) + + + + + (none) + + + + + + Private predicates + + + + + + + + (see related entities) + + + + + (none) + + + + + + + + + + + + + + + + + + + + + + + + + + + compilation: + + + + + + + + + + + + + + template: + + + + + + + + + + + + + + + metapredicate template: + + + + + + + + + + + + + + + mode - number of solutions: + + + + - + + + + + + + + + + + + + + + + + : + + + + + + + + + + + + + + diff --git a/Logtalk/xml/pdf.bat b/Logtalk/xml/pdf.bat new file mode 100644 index 000000000..439aef4de --- /dev/null +++ b/Logtalk/xml/pdf.bat @@ -0,0 +1,17 @@ +@ECHO off + +SET FOP_PATH=c:\Fop-0.20.2 + +SET XSLT="lgtpdfa4.xsl" + +ECHO This script converts all .xml files in the current directory to .pdf +ECHO files applying the XSLT transformation defined in the $XSLT file +ECHO using the Apache FOP processor + +FOR %%f IN (*.xml) DO %FOP_PATH%\fop.bat -xsl %XSLT% -xml %%f -pdf %%f.pdf + +REN *.xml.pdf *.pdf + +ECHO conversion done + +@ECHO on diff --git a/Logtalk/xml/pdf.sh b/Logtalk/xml/pdf.sh new file mode 100644 index 000000000..1e1a255ec --- /dev/null +++ b/Logtalk/xml/pdf.sh @@ -0,0 +1,21 @@ +#!/bin/sh + +FOP_PATH="/Applications/Fop-0.20.2" + +XSLT="lgtpdfa4.xsl" + +echo +echo This script converts all .xml files in the current directory to .pdf +echo files applying the XSLT transformation defined in the $XSLT file +echo using the Apache FOP processor +echo + +foreach file (*.xml) + echo converting $file + name="`expr "$file" : '\(.*\)\.[^./]*$' \| "$file"`" + eval sh $FOP_PATH/fop.sh -xsl $XSLT -xml $file -pdf $name.pdf +end + +echo +echo conversion done +echo