From dc5e3fb57fb6cc1985873f0126099a5fbb0b6e66 Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Fri, 17 Nov 2000 10:38:21 +0000 Subject: [PATCH] xaland-* moved in xsltd repository --- helm/interface/Makefile | 30 --- helm/interface/cadet | 16 +- helm/interface/isterix | 15 +- helm/interface/xaland-cpp/xaland.cpp | 207 ------------------ helm/interface/xaland-java/rompi.class | Bin 732 -> 0 bytes helm/interface/xaland-java/rompi.java | 12 - helm/interface/xaland-java/sped.class | Bin 1142 -> 0 bytes helm/interface/xaland-java/sped.java | 28 --- helm/interface/xaland-java/xaland.class | Bin 3509 -> 0 bytes helm/interface/xaland-java/xaland.java | 91 -------- .../xaland.java.prima_del_loro_baco | 85 ------- ...d.java.prima_del_loro_baco_ma_dopo_i_reset | 87 -------- helm/interface/xaland-java2/xaland2.class | Bin 3773 -> 0 bytes helm/interface/xaland-java2/xaland2.java | 134 ------------ helm/interface/xaland.class | Bin 3509 -> 0 bytes helm/interface/xaland2.class | Bin 3773 -> 0 bytes 16 files changed, 13 insertions(+), 692 deletions(-) delete mode 100644 helm/interface/xaland-cpp/xaland.cpp delete mode 100644 helm/interface/xaland-java/rompi.class delete mode 100644 helm/interface/xaland-java/rompi.java delete mode 100644 helm/interface/xaland-java/sped.class delete mode 100644 helm/interface/xaland-java/sped.java delete mode 100644 helm/interface/xaland-java/xaland.class delete mode 100644 helm/interface/xaland-java/xaland.java delete mode 100644 helm/interface/xaland-java/xaland.java.prima_del_loro_baco delete mode 100644 helm/interface/xaland-java/xaland.java.prima_del_loro_baco_ma_dopo_i_reset delete mode 100644 helm/interface/xaland-java2/xaland2.class delete mode 100644 helm/interface/xaland-java2/xaland2.java delete mode 100644 helm/interface/xaland.class delete mode 100644 helm/interface/xaland2.class diff --git a/helm/interface/Makefile b/helm/interface/Makefile index 942b0ca65..14ca2eb19 100644 --- a/helm/interface/Makefile +++ b/helm/interface/Makefile @@ -169,34 +169,4 @@ clean: reduction.opt fix_params fix_params.opt mmlinterface \ mmlinterface.opt mmlinterface2 mmlinterface2.opt -start-xaland: - java -ss1024K -oss8192K \ - xaland 12345 12346 \ - $(COQV)/examples/style/rootcontent.xsl \ - $(COQV)/examples/style/annotatedpres.xsl \ - $(COQV)/examples/style/theory_content.xsl \ - $(COQV)/examples/style/theory_pres.xsl - -start-xaland-2: - java -ss1024K -oss8192K \ - xaland2 12345 12346 \ - $(COQV)/examples/style/rootcontent.xsl \ - $(COQV)/examples/style/annotatedpres.xsl \ - $(COQV)/examples/style/theory_content.xsl \ - $(COQV)/examples/style/theory_pres.xsl - -start-xaland-old: - java xaland 12345 12346 \ - $(COQV)/examples/style/style_prima_del_linguaggio_naturale/rootcontent.xsl \ - $(COQV)/examples/style/style_prima_del_linguaggio_naturale/annotatedpres.xsl \ - $(COQV)/examples/style/style_prima_del_linguaggio_naturale/theory_content.xsl \ - $(COQV)/examples/style/style_prima_del_linguaggio_naturale/theory_pres.xsl - -start-xaland3: - java xaland 12347 12348 \ - $(COQV)/examples/style/rootcontent.xsl \ - $(COQV)/examples/style/annotatedpres.xsl \ - $(COQV)/examples/style/theory_content.xsl \ - $(COQV)/examples/style/theory_pres.xsl - include .depend diff --git a/helm/interface/cadet b/helm/interface/cadet index fc24779f0..7df42fecd 100755 --- a/helm/interface/cadet +++ b/helm/interface/cadet @@ -1,25 +1,15 @@ #! /bin/sh -export PATH=~/HELM/installation/jdk118/bin:$PATH - -#export CLASSPATH=/home/cadet/sacerdot/xalan-j_1_1/xalan.jar:/home/cadet/sacerdot/xalan-j_1_1/xerces.jar:. -export CLASSPATH=~/HELM/installation/xalan-j_1_2/xalan.jar:~/HELM/installation/xalan-j_1_2/xerces.jar:. -#export CLASSPATH=~/HELM/installation/xalan-j_1_2_1/xalan.jar:~/HELM/installation/xalan-j_1_2_1/xerces.jar:. -#export CLASSPATH=/home/cadet/sacerdot/xalan-j_2_0_D01/bin/xalan.jar:/home/cadet/sacerdot/xalan-j_2_0_D01/bin/xerces.jar:. - -#export CLASSPATH=$CLASSPATH:/home/lpadovan/helm/java/xalan_1_1/xalan.jar -#export CLASSPATH=$CLASSPATH:/home/lpadovan/helm/java/xalan_1_1/xerces.jar -#export CLASSPATH=$CLASSPATH:/home/lpadovan/helm/java/saxon-5.3.2/saxon.jar - # Per (my)Coq 6.3.0 export LD_LIBRARY_PATH=/usr/local/lib:$LD_LIBRARY_PATH # WARNING!!! No "//" in the middle of the path, nor a "/" at the end!!!! + +#V6.2 export HELM_CONFIGURATION_PREFIX=~/HELM/installation -export COQV=V6.2 +#V7 #export HELM_CONFIGURATION_PREFIX=/home/cadet/sacerdot -#export COQV=V7 export T1LIB_CONFIG=./t1.config diff --git a/helm/interface/isterix b/helm/interface/isterix index 61392b01c..17ddfc9d7 100755 --- a/helm/interface/isterix +++ b/helm/interface/isterix @@ -1,12 +1,17 @@ #! /bin/sh -export PATH=$PATH:/opt/java/jdk118/bin/ +# WARNING!!! No "//" in the middle of the path, nor a "/" at the end!!!! -export CLASSPATH=. -export CLASSPATH=$CLASSPATH:/home/lpadovan/helm/java/xalan_1_1/xalan.jar -export CLASSPATH=$CLASSPATH:/home/lpadovan/helm/java/xalan_1_1/xerces.jar -export CLASSPATH=$CLASSPATH:/home/lpadovan/helm/java/saxon-5.3.2/saxon.jar +#V6.2 +#export HELM_CONFIGURATION_PREFIX=~/HELM/installation # Per (my)Coq 6.3.0 export LD_LIBRARY_PATH=/home/lpadovan/helm/usr/lib/:$LD_LIBRARY_PATH export LD_LIBRARY_PATH=/usr/local/lib/:$LD_LIBRARY_PATH + +#export T1LIB_CONFIG=./t1.config + +# Stix font +#xset fp +#xset fp+ ~/HELM/installation/fonts/ +#xset fp rehash diff --git a/helm/interface/xaland-cpp/xaland.cpp b/helm/interface/xaland-cpp/xaland.cpp deleted file mode 100644 index e22140267..000000000 --- a/helm/interface/xaland-cpp/xaland.cpp +++ /dev/null @@ -1,207 +0,0 @@ -// Base header file. Must be first. -#include - -#include -#include - -#include - -#include - -#include - -#include -#include -#include - -#include -#include -#include -#include -#include -#include -#include - -#include -#include - -int main(int argc, const char* []) -{ -#if !defined(XALAN_NO_NAMESPACES) - using std::cerr; - using std::endl; - using std::ofstream; -#endif - - if (argc != 1) { - cerr << "Usage: SimpleTransform" - << endl - << endl; - } else { - try { - // Call the static initializer for Xerces... - XMLPlatformUtils::Initialize(); - - { - // Initialize the Xalan XSLT subsystem... - XSLTInit theInit; - - // Create the support objects that are necessary for - // running the processor... - XercesDOMSupport theDOMSupport; - XercesParserLiaison theParserLiaison(theDOMSupport); - XPathSupportDefault theXPathSupport(theDOMSupport); - XSLTProcessorEnvSupportDefault theXSLTProcessorEnvSupport; - XObjectFactoryDefault theXObjectFactory; - XPathFactoryDefault theXPathFactory; - - // Create a processor... - XSLTEngineImpl theProcessor( - theParserLiaison, - theXPathSupport, - theXSLTProcessorEnvSupport, - theDOMSupport, - theXObjectFactory, - theXPathFactory); - - // Connect the processor to the support object... - theXSLTProcessorEnvSupport.setProcessor(&theProcessor); - - // Create a stylesheet construction context, and a stylesheet - // execution context... - StylesheetConstructionContextDefault theConstructionContext( - theProcessor, - theXSLTProcessorEnvSupport, - theXPathFactory); - - StylesheetExecutionContextDefault theExecutionContext( - theProcessor, - theXSLTProcessorEnvSupport, - theXPathSupport, - theXObjectFactory); - - // Our input files...The assumption is that the executable will be - // run from same directory as the input files. - const XalanDOMString theXMLFileName("foo.xml"); - const XalanDOMString theXSLFileName("foo.xsl"); - - // Our input sources... - XSLTInputSource theInputSource(c_wstr(theXMLFileName)); - XSLTInputSource theStylesheetSource(c_wstr(theXSLFileName)); - - // Our output target... - const XalanDOMString theOutputFileName("foo.out"); - XSLTResultTarget theResultTarget(theOutputFileName); - - theProcessor.process( - theInputSource, - theStylesheetSource, - theResultTarget, - theConstructionContext, - theExecutionContext); - - } - - // Call the static terminator for Xerces... - XMLPlatformUtils::Terminate(); - } - catch(...) { - cerr << "Exception caught!!!" - << endl - << endl; - } - } - - return 0; -} - -/**************************************************/ -/* - -public class xaland { - public static void Transform(StylesheetRoot style, String xmlSourceURL, String OutputURL) throws java.io.IOException, java.net.MalformedURLException, org.xml.sax.SAXException - { - XSLTInputSource xmlSource = new XSLTInputSource (xmlSourceURL); - XSLTResultTarget xmlResult = new XSLTResultTarget (OutputURL); - style.process(xmlSource, xmlResult); - } - - public static void main(String argv[]) throws java.io.IOException, java.net.MalformedURLException, org.xml.sax.SAXException - { - int port = Integer.parseInt(argv[0]); - int port2 = Integer.parseInt(argv[1]); - String xsl1 = argv[2]; - String xsl2 = argv[3]; - String theory_xsl1 = argv[4]; - String theory_xsl2 = argv[5]; - - XSLTProcessor theory_processor = - XSLTProcessorFactory.getProcessor(new org.apache.xalan.xpath.xdom.XercesLiaison()); - StylesheetRoot theory_style1 = - theory_processor.processStylesheet(theory_xsl1); - theory_processor.reset(); - StylesheetRoot theory_style2 = - theory_processor.processStylesheet(theory_xsl2); - theory_processor.setStylesheet(theory_style2); - - XSLTProcessor processor = - XSLTProcessorFactory.getProcessor(new org.apache.xalan.xpath.xdom.XercesLiaison()); - StylesheetRoot style1 = processor.processStylesheet(xsl1); - processor.reset(); - StylesheetRoot style2 = processor.processStylesheet(xsl2); - processor.setStylesheet(style2); - - DatagramSocket socket = new DatagramSocket(port); - - System.out.println("Demon activated on input port " + port + - " and output port " + port2); - while(true) { - System.out.print("Ready..."); - - /* Warning: the packet must be a fresh one! * / - DatagramPacket packet = new DatagramPacket(new byte[1024],1024); - socket.receive(packet); - byte data[] = packet.getData(); - int datalen = packet.getLength(); - String received = new String(data,0,datalen); - - int first = received.indexOf(' '); - int last = received.lastIndexOf(' '); - String mode = received.substring(0,first); - String input = received.substring(first+1,last); - String output = received.substring(last+1); - - System.out.println("request received! Parameters are"); - System.out.println("Mode: " + mode + " "); - System.out.println("Input file: \"" + input + "\""); - System.out.println("Output file: \"" + output + "\"\n"); - - if ((new File(output)).exists()) { - System.out.println("Using cached version\n"); - } else { - FileOutputStream fout = new FileOutputStream(output); - if (mode.equals("cic")) { - processor.setDocumentHandler(style2.getSAXSerializer(fout)); - XSLTResultTarget content = new XSLTResultTarget(processor); - style1.process(new XSLTInputSource(input), content); - } else if (mode.equals("theory")) { - theory_processor.setDocumentHandler( - theory_style2.getSAXSerializer(fout)); - XSLTResultTarget content = - new XSLTResultTarget(theory_processor); - theory_style1.process(new XSLTInputSource(input), content); - } - } - - InetAddress address = InetAddress.getLocalHost(); - DatagramSocket socket2 = new DatagramSocket(); - - byte buf[] = new byte[0]; - DatagramPacket packet2 = new DatagramPacket(buf,0,address,port2); - - socket2.send(packet2); - } - } -} - -*/ diff --git a/helm/interface/xaland-java/rompi.class b/helm/interface/xaland-java/rompi.class deleted file mode 100644 index 4abfe3865ad89dd63981985bc0c6ff02a72ffbf9..0000000000000000000000000000000000000000 GIT binary patch literal 0 HcmV?d00001 literal 732 zcmZuvTTc@~6#k~&?v!OCH`{vQvM9&`mE~12K6r~Htq`gvgs15;HiNr6&0dK9EPbGf z7=M62%6MiqrAFrA+~$1WIcMhl{Ppbzs(6UqI#xLDbF6W!b3EYK;P5#%Id&Xan03H0 z=fKAN6lz#-2zArM8ZH*mG@@n19T(eJbW`6-mc zTGGFTo?YO^cKZS|S5!?}JQ7xBcDnwqV KV)w|aAovY)#-^kI diff --git a/helm/interface/xaland-java/rompi.java b/helm/interface/xaland-java/rompi.java deleted file mode 100644 index 6a633dbc9..000000000 --- a/helm/interface/xaland-java/rompi.java +++ /dev/null @@ -1,12 +0,0 @@ -import java.net.*; - -public class rompi { - public static void main(String argv[]) throws java.io.IOException, java.net.MalformedURLException - { - /* Wait forever ;-) */ - DatagramSocket socket2 = new DatagramSocket(12346); - DatagramPacket packet2 = new DatagramPacket(new byte[1],1); - System.out.println("Ho preso il socket e non lo lascio piu', caro pu, caro pu"); - socket2.receive(packet2); - } -} diff --git a/helm/interface/xaland-java/sped.class b/helm/interface/xaland-java/sped.class deleted file mode 100644 index cc6f53dac35bcca947942989dc7259047fd6f055..0000000000000000000000000000000000000000 GIT binary patch literal 0 HcmV?d00001 literal 1142 zcmZuw+fvg|6kUg=O&T&nfdWB5@PeUSibYWZqLhn73pj$#Fg%6!vcu z4V98~6><{>RD^L`MFfKahJ-n+Lc$#t3PyxBDw6LCxF@3bh3|oe$4Cg65Req`NI*)% zJf=06nAEUISF04Fx(^JJVF{rambIS_)G?!_(e}Y1&-x2D_MU7_JU{VzV!D>k z^9r38zbT!L9z6F8hO4%37bnS_+uOoUTgrwH#&oS?sfTV1S<*d+Y}Wr~zK`b_Br-Dda{@?Ha) z8PTOWdgkP~e5RO+E`{Q=v{9P=8Ch+x{sJ!W{l)+Q diff --git a/helm/interface/xaland-java/sped.java b/helm/interface/xaland-java/sped.java deleted file mode 100644 index 9d96610d4..000000000 --- a/helm/interface/xaland-java/sped.java +++ /dev/null @@ -1,28 +0,0 @@ -import java.net.*; - -public class sped { - public static void main(String argv[]) throws java.io.IOException, java.net.MalformedURLException - { - String input = argv[0]; - String out1 = argv[1]; - String out2 = argv[2]; - - String sent = input + " " + out1 + " " + out2; - - InetAddress address = InetAddress.getLocalHost(); - DatagramSocket socket = new DatagramSocket(); - - int strlen = sent.length(); - byte buf[] = new byte[strlen]; - sent.getBytes(0,strlen,buf,0); - DatagramPacket packet = new DatagramPacket(buf,strlen,address,12345); - - socket.send(packet); - - - /* Wait for answer (or forever ;-) */ - DatagramSocket socket2 = new DatagramSocket(12346); - DatagramPacket packet2 = new DatagramPacket(new byte[1],1); - socket2.receive(packet2); - } -} diff --git a/helm/interface/xaland-java/xaland.class b/helm/interface/xaland-java/xaland.class deleted file mode 100644 index 6871fda4b77e5da54ed99846b0a35652ccaf2961..0000000000000000000000000000000000000000 GIT binary patch literal 0 HcmV?d00001 literal 3509 zcma)9Yfu~475=Uyw9B%?Lm*%cr1G&A<;fE-Dy?5+qT zO`mC-PTx&m?jwEIY1*_++DIn2Y12pA=}dogCjUCq>Ay~A`l~Z-e{?3(b9My?kY@rj z=bn4s_uO;NUj6aSS6)RBefWcnw2W&q9+8oe@o^cSl<`>^pOf*7j4#UgvW!<{{8qxZ zBz#-KcO-mQ!uKS6U&0Lu&q?@!gy$vvP{NNSyddGH5?++>l7yd0__>6aB@`vRuAmvC z3fdWT_}B#n^>{!*1A{1oE(S3lBowq^OhF4SGB(a46AT_?+9c~vF=Lv+B?TI06ub@Z zRM3f87MWx4P%T<~BdlJ`-Wh0(3a*OdP*G}gahXmR;$T`!E zj}kbYO4+945R3F?Jou16sJrL#8D2)&R+N@%#yYCe&lDCGOq=YnG8t^`9<8o@tlPJl zw&LU7NhnCu$PV=+EPFA&lFh^&VuSbymQ2%~v@Dm-Tr~ztLTA}1 zXMNakjYZqYP8i8YObVUY)7{>gw>!ui?vj^=*|EfgVLPUsNE>O#%9S&;U7Ew0ok~nk z*jAG6)8ZTGsb;oH+#JH#Ta?|ExS`z?wl{e@dmQ9wjtY0mD%eSLsLIJV&N68_g^W9G z*o);n#eAc;s}1%W?!J7+t2>Di59?ygk8)?#mn-yg^)rM|q;qNaUMl6YR>~Am&RRLg zHFEBZktxvrj$t!vX!RKpgv(Gjm(T;r&*3ng~uo!otnPh@0=~8@}y~` zR{Q(=$)BI#^W;yUcG@;_&VprU$;~B)hCwXJ)trhgo3=v%(%=Xi`MjA+(F{nYle9G- zEf^X0X0D_imk^2WfvcCy5tcA>i|&$u$~Xr&VmYqA-7G?ZM&eGLo}Dr&_)Pk7(mtnv}&hPj+`hSK~}s-0C!xH+3pTFV)c|dCbW09hs?1lZlFR)@2OG z9o@)UC~KtYL(sE(Cix>HWo6^DCiRw69vA`#cFXRb0|E!Di|uGxf&I6atGN2!w;*+% zn#ZzN1rFU_xN;287mNirCID4dMVf;2MHGwKi2D+7D6j~-S07ep<-fDa&mkJ0WF?Q3Z5 zSVz~~;Szc;t|K;gq=dtIsJBlG6>;iCVhenVU<4t8G8w2PV+!^lj8Ax!AR1}6m*_vi zM}5=5A>wubfxCKx12=KvL~n?flf5+q7kk44WL_H3YkK7YJ-m*Nxe^ZE#67yCNm|Vs z?h8PdHE9j>f*?xRr_>T!yM}WCdh={*D4Npev+Fd)S5UN&Pf;~RQ_BkNa~&ld(v_Dm zw2tUpq^5+Pjv|gm0!7@}Nk|bRMchm5NNo`(*U>iD6v8c;KnZ<%J(;R6;xvQ1^#)#! z4K}W$Wln1dMjK1$*PFDa##j;W7>xLcKG>`^1*4H7?$=wirf4K|HQLOZC~cZUSBp5W zx3WLg_v?ivQCM0Fg%lA4He>R5Vdh1d7u>~@nb*oZy0fz0I_l@N))L-c#9h}>&#n}5 zbpwyBqru~J>up*~q^^j8>xgr*w6-FSuVI)|9GlaW5{~HYS{+x17Nzpg+NmOLV34%P z6lopdJK3Q{XJ9RPyVgw%>TT<2r>j1ow+C;@y2eS?w4m13SwdXjqqS>$ia2}Y%_lcY z?msw5cmpIVuzGrrN9ezeim#KN+j|K+Oi%Vcde0Bill(Z9;3?vaP}yCe-v?9l^WX|S z^B*S3G}V6|`|$)0;3*uUa_*)Fb`PGX^#!u>GWzj4;`kGe;tkx1zhD6Wz}@&4j^Te8 z6g9XUi_K%Z{U9M zSB!|iVO0E`)_>vw@o!uZ|3xAoVIrX7!9WyKfjyWG^k61%6umpzO3;snJT)PAY!|J9 W)|%cD_HXrO*e4SFJTU|K{r>@yPnx#? diff --git a/helm/interface/xaland-java/xaland.java b/helm/interface/xaland-java/xaland.java deleted file mode 100644 index 1b9312c46..000000000 --- a/helm/interface/xaland-java/xaland.java +++ /dev/null @@ -1,91 +0,0 @@ -import org.apache.xalan.xslt.*; -import java.net.*; -import java.io.*; - -public class xaland { -/* - public static void Transform(StylesheetRoot style, String xmlSourceURL, String OutputURL) throws java.io.IOException, java.net.MalformedURLException, org.xml.sax.SAXException - { - XSLTInputSource xmlSource = new XSLTInputSource (xmlSourceURL); - XSLTResultTarget xmlResult = new XSLTResultTarget (OutputURL); - style.process(xmlSource, xmlResult); - } -*/ - - public static void main(String argv[]) throws java.io.IOException, java.net.MalformedURLException, org.xml.sax.SAXException - { - int port = Integer.parseInt(argv[0]); - int port2 = Integer.parseInt(argv[1]); - String xsl1 = argv[2]; - String xsl2 = argv[3]; - String theory_xsl1 = argv[4]; - String theory_xsl2 = argv[5]; - - XSLTProcessor theory_processor = - XSLTProcessorFactory.getProcessor(new org.apache.xalan.xpath.xdom.XercesLiaison()); - StylesheetRoot theory_style1 = - theory_processor.processStylesheet(theory_xsl1); - theory_processor.reset(); - StylesheetRoot theory_style2 = - theory_processor.processStylesheet(theory_xsl2); - theory_processor.setStylesheet(theory_style2); - - XSLTProcessor processor = - XSLTProcessorFactory.getProcessor(new org.apache.xalan.xpath.xdom.XercesLiaison()); - StylesheetRoot style1 = processor.processStylesheet(xsl1); - processor.reset(); - StylesheetRoot style2 = processor.processStylesheet(xsl2); - processor.setStylesheet(style2); - - DatagramSocket socket = new DatagramSocket(port); - - System.out.println("Demon activated on input port " + port + - " and output port " + port2); - while(true) { - System.out.print("Ready..."); - - /* Warning: the packet must be a fresh one! */ - DatagramPacket packet = new DatagramPacket(new byte[1024],1024); - socket.receive(packet); - byte data[] = packet.getData(); - int datalen = packet.getLength(); - String received = new String(data,0,datalen); - - int first = received.indexOf(' '); - int last = received.lastIndexOf(' '); - String mode = received.substring(0,first); - String input = received.substring(first+1,last); - String output = received.substring(last+1); - - System.out.println("request received! Parameters are"); - System.out.println("Mode: " + mode + " "); - System.out.println("Input file: \"" + input + "\""); - System.out.println("Output file: \"" + output + "\"\n"); - - if ((new File(output)).exists()) { - System.out.println("Using cached version\n"); - } else { - FileOutputStream fout = new FileOutputStream(output); - if (mode.equals("cic")) { - processor.setDocumentHandler(style2.getSAXSerializer(fout)); - XSLTResultTarget content = new XSLTResultTarget(processor); - style1.process(new XSLTInputSource(input), content); - } else if (mode.equals("theory")) { - theory_processor.setDocumentHandler( - theory_style2.getSAXSerializer(fout)); - XSLTResultTarget content = - new XSLTResultTarget(theory_processor); - theory_style1.process(new XSLTInputSource(input), content); - } - } - - InetAddress address = InetAddress.getLocalHost(); - DatagramSocket socket2 = new DatagramSocket(); - - byte buf[] = new byte[0]; - DatagramPacket packet2 = new DatagramPacket(buf,0,address,port2); - - socket2.send(packet2); - } - } -} diff --git a/helm/interface/xaland-java/xaland.java.prima_del_loro_baco b/helm/interface/xaland-java/xaland.java.prima_del_loro_baco deleted file mode 100644 index b46ffa6aa..000000000 --- a/helm/interface/xaland-java/xaland.java.prima_del_loro_baco +++ /dev/null @@ -1,85 +0,0 @@ -import org.apache.xalan.xslt.*; -import java.net.*; -import java.io.*; - -public class xaland { - public static void Transform(StylesheetRoot style, String xmlSourceURL, String OutputURL) throws java.io.IOException, java.net.MalformedURLException, org.xml.sax.SAXException - { - XSLTInputSource xmlSource = new XSLTInputSource (xmlSourceURL); - XSLTResultTarget xmlResult = new XSLTResultTarget (OutputURL); - style.process(xmlSource, xmlResult); - } - - public static void main(String argv[]) throws java.io.IOException, java.net.MalformedURLException, org.xml.sax.SAXException - { - int port = Integer.parseInt(argv[0]); - int port2 = Integer.parseInt(argv[1]); - String xsl1 = argv[2]; - String xsl2 = argv[3]; - String theory_xsl1 = argv[4]; - String theory_xsl2 = argv[5]; - - XSLTProcessor theory_processor = XSLTProcessorFactory.getProcessor(); - StylesheetRoot theory_style1 = - theory_processor.processStylesheet(theory_xsl1); - StylesheetRoot theory_style2 = - theory_processor.processStylesheet(theory_xsl2); - theory_processor.setStylesheet(theory_style2); - - XSLTProcessor processor = XSLTProcessorFactory.getProcessor(); - StylesheetRoot style1 = processor.processStylesheet(xsl1); - StylesheetRoot style2 = processor.processStylesheet(xsl2); - processor.setStylesheet(style2); - - DatagramSocket socket = new DatagramSocket(port); - - System.out.println("Demon activated on input port " + port + - " and output port " + port2); - while(true) { - System.out.print("Ready..."); - - /* Warning: the packet must be a fresh one! */ - DatagramPacket packet = new DatagramPacket(new byte[1024],1024); - socket.receive(packet); - byte data[] = packet.getData(); - int datalen = packet.getLength(); - String received = new String(data,0,datalen); - - int first = received.indexOf(' '); - int last = received.lastIndexOf(' '); - String mode = received.substring(0,first); - String input = received.substring(first+1,last); - String output = received.substring(last+1); - - System.out.println("request received! Parameters are"); - System.out.println("Mode: " + mode + " "); - System.out.println("Input file: \"" + input + "\""); - System.out.println("Output file: \"" + output + "\"\n"); - - if ((new File(output)).exists()) { - System.out.println("Using cached version\n"); - } else { - FileOutputStream fout = new FileOutputStream(output); - if (mode.equals("cic")) { - processor.setDocumentHandler(style2.getSAXSerializer(fout)); - XSLTResultTarget content = new XSLTResultTarget(processor); - style1.process(new XSLTInputSource(input), content); - } else if (mode.equals("theory")) { - theory_processor.setDocumentHandler( - theory_style2.getSAXSerializer(fout)); - XSLTResultTarget content = - new XSLTResultTarget(theory_processor); - theory_style1.process(new XSLTInputSource(input), content); - } - } - - InetAddress address = InetAddress.getLocalHost(); - DatagramSocket socket2 = new DatagramSocket(); - - byte buf[] = new byte[0]; - DatagramPacket packet2 = new DatagramPacket(buf,0,address,port2); - - socket2.send(packet2); - } - } -} diff --git a/helm/interface/xaland-java/xaland.java.prima_del_loro_baco_ma_dopo_i_reset b/helm/interface/xaland-java/xaland.java.prima_del_loro_baco_ma_dopo_i_reset deleted file mode 100644 index 1467cdd2e..000000000 --- a/helm/interface/xaland-java/xaland.java.prima_del_loro_baco_ma_dopo_i_reset +++ /dev/null @@ -1,87 +0,0 @@ -import org.apache.xalan.xslt.*; -import java.net.*; -import java.io.*; - -public class xaland { - public static void Transform(StylesheetRoot style, String xmlSourceURL, String OutputURL) throws java.io.IOException, java.net.MalformedURLException, org.xml.sax.SAXException - { - XSLTInputSource xmlSource = new XSLTInputSource (xmlSourceURL); - XSLTResultTarget xmlResult = new XSLTResultTarget (OutputURL); - style.process(xmlSource, xmlResult); - } - - public static void main(String argv[]) throws java.io.IOException, java.net.MalformedURLException, org.xml.sax.SAXException - { - int port = Integer.parseInt(argv[0]); - int port2 = Integer.parseInt(argv[1]); - String xsl1 = argv[2]; - String xsl2 = argv[3]; - String theory_xsl1 = argv[4]; - String theory_xsl2 = argv[5]; - - XSLTProcessor theory_processor = XSLTProcessorFactory.getProcessor(); - StylesheetRoot theory_style1 = - theory_processor.processStylesheet(theory_xsl1); - theory_processor.reset(); - StylesheetRoot theory_style2 = - theory_processor.processStylesheet(theory_xsl2); - theory_processor.setStylesheet(theory_style2); - - XSLTProcessor processor = XSLTProcessorFactory.getProcessor(); - StylesheetRoot style1 = processor.processStylesheet(xsl1); - processor.reset(); - StylesheetRoot style2 = processor.processStylesheet(xsl2); - processor.setStylesheet(style2); - - DatagramSocket socket = new DatagramSocket(port); - - System.out.println("Demon activated on input port " + port + - " and output port " + port2); - while(true) { - System.out.print("Ready..."); - - /* Warning: the packet must be a fresh one! */ - DatagramPacket packet = new DatagramPacket(new byte[1024],1024); - socket.receive(packet); - byte data[] = packet.getData(); - int datalen = packet.getLength(); - String received = new String(data,0,datalen); - - int first = received.indexOf(' '); - int last = received.lastIndexOf(' '); - String mode = received.substring(0,first); - String input = received.substring(first+1,last); - String output = received.substring(last+1); - - System.out.println("request received! Parameters are"); - System.out.println("Mode: " + mode + " "); - System.out.println("Input file: \"" + input + "\""); - System.out.println("Output file: \"" + output + "\"\n"); - - if ((new File(output)).exists()) { - System.out.println("Using cached version\n"); - } else { - FileOutputStream fout = new FileOutputStream(output); - if (mode.equals("cic")) { - processor.setDocumentHandler(style2.getSAXSerializer(fout)); - XSLTResultTarget content = new XSLTResultTarget(processor); - style1.process(new XSLTInputSource(input), content); - } else if (mode.equals("theory")) { - theory_processor.setDocumentHandler( - theory_style2.getSAXSerializer(fout)); - XSLTResultTarget content = - new XSLTResultTarget(theory_processor); - theory_style1.process(new XSLTInputSource(input), content); - } - } - - InetAddress address = InetAddress.getLocalHost(); - DatagramSocket socket2 = new DatagramSocket(); - - byte buf[] = new byte[0]; - DatagramPacket packet2 = new DatagramPacket(buf,0,address,port2); - - socket2.send(packet2); - } - } -} diff --git a/helm/interface/xaland-java2/xaland2.class b/helm/interface/xaland-java2/xaland2.class deleted file mode 100644 index 95b42c712d3475766cddddbc121344701c3c66a8..0000000000000000000000000000000000000000 GIT binary patch literal 0 HcmV?d00001 literal 3773 zcmb7HdvqLC8UNkcO=hw?Cyz}x$>h}~wvePv2GSB?(pLKljpWrPElpb_liizS+kJIr z5;m=-p#LGV>kL_ysoq@YL@Me&U#GEKm40NIC%W-%xjBi@U;qssI21q?Mgj;4P$$490qQXtKrIdn?1*68A;8ffHexJ*RvZ)D z<3jg@5V);4 z#U-3q@fEyJ#gllyimwXB*N|256wavlIzFu88@N}+3j%x(52|<(XI1d_=|Xai0M9tN0`47+8d%Dq^N$k@Sp{ znQt~-{Q)kiHeWlyH9B)3SSIWLh-CUl#)d($b0r+I|#dtSVH$sQej*rryEL`4(EBD37G$th~< zQZtj`sTf10X|HZP>Z)iwN^VA}z#YEabfm*i&zK3}2G7QAhY)#+J0i{0IE1 zLDu7`7|#w((!uU*qWF22t}EUaw<|++fz>y(oTDOYQT%Bxu1vf>8ckE&qHwLyys}?K z@@j~pu_EP>yk=f4J7+sQ$x!RcUfnS3aYoXjm1rC<>l6)Ls>@~afSGXTZ0zu%{-S$! z3W2N$u%0n3nj5x0?5>ox$@tWaWr~_DQV1qYoAR0uvp;FZQw+frzq`+Eh$vN9IqixD zJ2m+=MiayJ*O2I?&PrSKI%!3MtEbgEywSomU}#vYx5~jfOtu7^YU4$}gCb>iABBn(me%o#MDw{iNo3w&xtNSEK z6nYv&?@=Dg?3oGMee|jMooVhSM{&}HdY7{%J$|t+>cl+eRvL{G3Nu;G+6jmLMzzr& zJn@rIhVSB2v_1^@-b5+=or3goyRT~j`**ba#j>-#q-(Ifw9D|f%UwoEyV7NphAJ1Z z+mJPR37f{Wl6l;i!vRCllts|{ZJVGQ0!RCF8An~KhLPpDm=Z) zB{YmR%wwxj^(^)-p>8ZhM)igqwuht~Zf+zbhv6JM&!xC!8v}#{?!#ui-uokY2b={K5Ev=4R3NZr9KDj&!hpuUY=evrh2wuJ5`ImW1s2bDi z=h2bFtrt;VFm(xUEg|G`I*kUcE)>k+mW!|!@OGn7D_;aX!bX$Us5LF(b_rV3i@4z; zsPUJaN09m_J12L(}MrQaByA23)pEih-#R}7NgO3SuvVKsoq$Lkot-!X`PVhC^GAOjAuGK{cljIsz0 zvn{xTZNpJEgfVss$JlwCU=QO?_86^C;4bzQ#;ICNwuA|G1yS}YV(c|=_BUGpfhqPc z#MzrTDM>gb1(A?6q@)&%OPi6FbY!IMI4$jjCH2CV2H{9!w4T7MG>NR_U`{%VGtxPn zl`h~O=@Hy3J&yaNCvi@C8uv@j&A<;fE-Dy?5+qT zO`mC-PTx&m?jwEIY1*_++DIn2Y12pA=}dogCjUCq>Ay~A`l~Z-e{?3(b9My?kY@rj z=bn4s_uO;NUj6aSS6)RBefWcnw2W&q9+8oe@o^cSl<`>^pOf*7j4#UgvW!<{{8qxZ zBz#-KcO-mQ!uKS6U&0Lu&q?@!gy$vvP{NNSyddGH5?++>l7yd0__>6aB@`vRuAmvC z3fdWT_}B#n^>{!*1A{1oE(S3lBowq^OhF4SGB(a46AT_?+9c~vF=Lv+B?TI06ub@Z zRM3f87MWx4P%T<~BdlJ`-Wh0(3a*OdP*G}gahXmR;$T`!E zj}kbYO4+945R3F?Jou16sJrL#8D2)&R+N@%#yYCe&lDCGOq=YnG8t^`9<8o@tlPJl zw&LU7NhnCu$PV=+EPFA&lFh^&VuSbymQ2%~v@Dm-Tr~ztLTA}1 zXMNakjYZqYP8i8YObVUY)7{>gw>!ui?vj^=*|EfgVLPUsNE>O#%9S&;U7Ew0ok~nk z*jAG6)8ZTGsb;oH+#JH#Ta?|ExS`z?wl{e@dmQ9wjtY0mD%eSLsLIJV&N68_g^W9G z*o);n#eAc;s}1%W?!J7+t2>Di59?ygk8)?#mn-yg^)rM|q;qNaUMl6YR>~Am&RRLg zHFEBZktxvrj$t!vX!RKpgv(Gjm(T;r&*3ng~uo!otnPh@0=~8@}y~` zR{Q(=$)BI#^W;yUcG@;_&VprU$;~B)hCwXJ)trhgo3=v%(%=Xi`MjA+(F{nYle9G- zEf^X0X0D_imk^2WfvcCy5tcA>i|&$u$~Xr&VmYqA-7G?ZM&eGLo}Dr&_)Pk7(mtnv}&hPj+`hSK~}s-0C!xH+3pTFV)c|dCbW09hs?1lZlFR)@2OG z9o@)UC~KtYL(sE(Cix>HWo6^DCiRw69vA`#cFXRb0|E!Di|uGxf&I6atGN2!w;*+% zn#ZzN1rFU_xN;287mNirCID4dMVf;2MHGwKi2D+7D6j~-S07ep<-fDa&mkJ0WF?Q3Z5 zSVz~~;Szc;t|K;gq=dtIsJBlG6>;iCVhenVU<4t8G8w2PV+!^lj8Ax!AR1}6m*_vi zM}5=5A>wubfxCKx12=KvL~n?flf5+q7kk44WL_H3YkK7YJ-m*Nxe^ZE#67yCNm|Vs z?h8PdHE9j>f*?xRr_>T!yM}WCdh={*D4Npev+Fd)S5UN&Pf;~RQ_BkNa~&ld(v_Dm zw2tUpq^5+Pjv|gm0!7@}Nk|bRMchm5NNo`(*U>iD6v8c;KnZ<%J(;R6;xvQ1^#)#! z4K}W$Wln1dMjK1$*PFDa##j;W7>xLcKG>`^1*4H7?$=wirf4K|HQLOZC~cZUSBp5W zx3WLg_v?ivQCM0Fg%lA4He>R5Vdh1d7u>~@nb*oZy0fz0I_l@N))L-c#9h}>&#n}5 zbpwyBqru~J>up*~q^^j8>xgr*w6-FSuVI)|9GlaW5{~HYS{+x17Nzpg+NmOLV34%P z6lopdJK3Q{XJ9RPyVgw%>TT<2r>j1ow+C;@y2eS?w4m13SwdXjqqS>$ia2}Y%_lcY z?msw5cmpIVuzGrrN9ezeim#KN+j|K+Oi%Vcde0Bill(Z9;3?vaP}yCe-v?9l^WX|S z^B*S3G}V6|`|$)0;3*uUa_*)Fb`PGX^#!u>GWzj4;`kGe;tkx1zhD6Wz}@&4j^Te8 z6g9XUi_K%Z{U9M zSB!|iVO0E`)_>vw@o!uZ|3xAoVIrX7!9WyKfjyWG^k61%6umpzO3;snJT)PAY!|J9 W)|%cD_HXrO*e4SFJTU|K{r>@yPnx#? diff --git a/helm/interface/xaland2.class b/helm/interface/xaland2.class deleted file mode 100644 index 95b42c712d3475766cddddbc121344701c3c66a8..0000000000000000000000000000000000000000 GIT binary patch literal 0 HcmV?d00001 literal 3773 zcmb7HdvqLC8UNkcO=hw?Cyz}x$>h}~wvePv2GSB?(pLKljpWrPElpb_liizS+kJIr z5;m=-p#LGV>kL_ysoq@YL@Me&U#GEKm40NIC%W-%xjBi@U;qssI21q?Mgj;4P$$490qQXtKrIdn?1*68A;8ffHexJ*RvZ)D z<3jg@5V);4 z#U-3q@fEyJ#gllyimwXB*N|256wavlIzFu88@N}+3j%x(52|<(XI1d_=|Xai0M9tN0`47+8d%Dq^N$k@Sp{ znQt~-{Q)kiHeWlyH9B)3SSIWLh-CUl#)d($b0r+I|#dtSVH$sQej*rryEL`4(EBD37G$th~< zQZtj`sTf10X|HZP>Z)iwN^VA}z#YEabfm*i&zK3}2G7QAhY)#+J0i{0IE1 zLDu7`7|#w((!uU*qWF22t}EUaw<|++fz>y(oTDOYQT%Bxu1vf>8ckE&qHwLyys}?K z@@j~pu_EP>yk=f4J7+sQ$x!RcUfnS3aYoXjm1rC<>l6)Ls>@~afSGXTZ0zu%{-S$! z3W2N$u%0n3nj5x0?5>ox$@tWaWr~_DQV1qYoAR0uvp;FZQw+frzq`+Eh$vN9IqixD zJ2m+=MiayJ*O2I?&PrSKI%!3MtEbgEywSomU}#vYx5~jfOtu7^YU4$}gCb>iABBn(me%o#MDw{iNo3w&xtNSEK z6nYv&?@=Dg?3oGMee|jMooVhSM{&}HdY7{%J$|t+>cl+eRvL{G3Nu;G+6jmLMzzr& zJn@rIhVSB2v_1^@-b5+=or3goyRT~j`**ba#j>-#q-(Ifw9D|f%UwoEyV7NphAJ1Z z+mJPR37f{Wl6l;i!vRCllts|{ZJVGQ0!RCF8An~KhLPpDm=Z) zB{YmR%wwxj^(^)-p>8ZhM)igqwuht~Zf+zbhv6JM&!xC!8v}#{?!#ui-uokY2b={K5Ev=4R3NZr9KDj&!hpuUY=evrh2wuJ5`ImW1s2bDi z=h2bFtrt;VFm(xUEg|G`I*kUcE)>k+mW!|!@OGn7D_;aX!bX$Us5LF(b_rV3i@4z; zsPUJaN09m_J12L(}MrQaByA23)pEih-#R}7NgO3SuvVKsoq$Lkot-!X`PVhC^GAOjAuGK{cljIsz0 zvn{xTZNpJEgfVss$JlwCU=QO?_86^C;4bzQ#;ICNwuA|G1yS}YV(c|=_BUGpfhqPc z#MzrTDM>gb1(A?6q@)&%OPi6FbY!IMI4$jjCH2CV2H{9!w4T7MG>NR_U`{%VGtxPn zl`h~O=@Hy3J&yaNCvi@C8uv@j