summaryrefslogtreecommitdiff
path: root/Master/texmf-dist/doc/support/ketcindy/source/KetCindyPlugin
diff options
context:
space:
mode:
Diffstat (limited to 'Master/texmf-dist/doc/support/ketcindy/source/KetCindyPlugin')
-rw-r--r--Master/texmf-dist/doc/support/ketcindy/source/KetCindyPlugin/KetCindyPlugin.iml31
-rwxr-xr-xMaster/texmf-dist/doc/support/ketcindy/source/KetCindyPlugin/build.xml67
-rwxr-xr-xMaster/texmf-dist/doc/support/ketcindy/source/KetCindyPlugin/config/META-INF/services/de.cinderella.api.cs.CindyScriptPlugin1
-rwxr-xr-xMaster/texmf-dist/doc/support/ketcindy/source/KetCindyPlugin/lib/cindy2.jarbin0 -> 3133389 bytes
-rwxr-xr-xMaster/texmf-dist/doc/support/ketcindy/source/KetCindyPlugin/lib/commons-math.jarbin0 -> 152709 bytes
-rw-r--r--Master/texmf-dist/doc/support/ketcindy/source/KetCindyPlugin/src/KetCindyPlugin.java508
-rwxr-xr-xMaster/texmf-dist/doc/support/ketcindy/source/KetCindyPlugin/srcold/KetCindyPlugin150906.java150
-rwxr-xr-xMaster/texmf-dist/doc/support/ketcindy/source/KetCindyPlugin/srcold/KetCindyPlugin160515.java137
-rwxr-xr-xMaster/texmf-dist/doc/support/ketcindy/source/KetCindyPlugin/srcold/KetCindyPlugin160518.java154
-rwxr-xr-xMaster/texmf-dist/doc/support/ketcindy/source/KetCindyPlugin/srcold/KetCindyPlugin160530.java154
-rwxr-xr-xMaster/texmf-dist/doc/support/ketcindy/source/KetCindyPlugin/srcold/KetCindyPlugin160601.java154
-rwxr-xr-xMaster/texmf-dist/doc/support/ketcindy/source/KetCindyPlugin/srcold/KetCindyPlugin160604.java205
-rwxr-xr-xMaster/texmf-dist/doc/support/ketcindy/source/KetCindyPlugin/srcold/KetCindyPlugin160609.java259
-rw-r--r--Master/texmf-dist/doc/support/ketcindy/source/KetCindyPlugin/srcold/KetCindyPlugin160723.java269
-rw-r--r--Master/texmf-dist/doc/support/ketcindy/source/KetCindyPlugin/srcold/KetCindyPlugin161019.java311
-rw-r--r--Master/texmf-dist/doc/support/ketcindy/source/KetCindyPlugin/srcold/KetCindyPlugin161021.java330
-rw-r--r--Master/texmf-dist/doc/support/ketcindy/source/KetCindyPlugin/srcold/KetCindyPlugin161209.java372
-rw-r--r--Master/texmf-dist/doc/support/ketcindy/source/KetCindyPlugin/srcold/KetCindyPlugin170605.java377
-rw-r--r--Master/texmf-dist/doc/support/ketcindy/source/KetCindyPlugin/srcold/KetCindyPlugin170906.java388
-rw-r--r--Master/texmf-dist/doc/support/ketcindy/source/KetCindyPlugin/srcold/KetCindyPlugin171112.java399
20 files changed, 4266 insertions, 0 deletions
diff --git a/Master/texmf-dist/doc/support/ketcindy/source/KetCindyPlugin/KetCindyPlugin.iml b/Master/texmf-dist/doc/support/ketcindy/source/KetCindyPlugin/KetCindyPlugin.iml
new file mode 100644
index 00000000000..2ecc1971e36
--- /dev/null
+++ b/Master/texmf-dist/doc/support/ketcindy/source/KetCindyPlugin/KetCindyPlugin.iml
@@ -0,0 +1,31 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<module relativePaths="true" type="JAVA_MODULE" version="4">
+ <component name="NewModuleRootManager" inherit-compiler-output="false">
+ <output url="file://$MODULE_DIR$/classes" />
+ <exclude-output />
+ <content url="file://$MODULE_DIR$">
+ <sourceFolder url="file://$MODULE_DIR$/src" isTestSource="false" />
+ </content>
+ <orderEntry type="inheritedJdk" />
+ <orderEntry type="sourceFolder" forTests="false" />
+ <orderEntry type="module-library" scope="PROVIDED">
+ <library>
+ <CLASSES>
+ <root url="jar:///private/tmp/KetCindyPlugin/lib/cindy2.jar!/" />
+ </CLASSES>
+ <JAVADOC />
+ <SOURCES />
+ </library>
+ </orderEntry>
+ <orderEntry type="module-library">
+ <library>
+ <CLASSES>
+ <root url="jar:///private/tmp/KetCindyPlugin/lib/commons-math.jar!/" />
+ </CLASSES>
+ <JAVADOC />
+ <SOURCES />
+ </library>
+ </orderEntry>
+ </component>
+</module>
+
diff --git a/Master/texmf-dist/doc/support/ketcindy/source/KetCindyPlugin/build.xml b/Master/texmf-dist/doc/support/ketcindy/source/KetCindyPlugin/build.xml
new file mode 100755
index 00000000000..2f3eeff2c6a
--- /dev/null
+++ b/Master/texmf-dist/doc/support/ketcindy/source/KetCindyPlugin/build.xml
@@ -0,0 +1,67 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<project name="ExamplePlugin" default="copy">
+
+ <target name="init" description="setup paths">
+ <mkdir dir="target"/>
+ <property name="cindy2jar" location="lib/cindy2.jar"/>
+ <property name="pluginfolder" location="target/Plugins"/>
+ <property name="plugin" location="KetCindyPlugin.jar"/>
+ <mkdir dir="target/Plugins"/>
+ </target>
+ <path id="libraries">
+ <fileset dir="lib" includes="*.jar"/>
+ </path>
+
+ <!-- no changes necessary below this line -->
+
+
+ <target name="compile" depends="init" description="compile Example Plugin for Cinderella">
+ <mkdir dir="target/classes"/>
+ <javac encoding="utf-8" debug="on" optimize="on"
+ srcdir="src" destdir="target/classes" target="1.6"
+ source="1.6">
+ <classpath>
+ <pathelement location="${cindy2jar}"/>
+ <path refid="libraries"/>
+ </classpath>
+ </javac>
+ </target>
+
+ <target name="build" depends="compile" description="create the complete jRealityPlugin for Cinderella">
+
+ <delete file="${plugin}"/>
+
+ <!-- add compiled classes -->
+ <jar basedir="target/classes" destfile="${plugin}" includes="**/*">
+ </jar>
+
+ <!-- add class path -->
+ <pathconvert property="mf.classpath" pathsep=" ">
+ <path refid="libraries"/>
+ <flattenmapper/>
+ </pathconvert>
+ <jar destfile="${plugin}" update="true" index="true">
+ <manifest>
+ <attribute name="Class-Path" value="${mf.classpath}"/>
+ </manifest>
+ <zipgroupfileset dir="lib" includes="*.jar">
+ <exclude name="cindy2.jar"/>
+ </zipgroupfileset>
+ </jar>
+
+ <!-- Add services file -->
+ <jar destfile="${plugin}" basedir="config" update="true">
+ <file file="META-INF/services/de.cinderella.api.cs.CindyScriptPlugin"/>
+ </jar>
+ </target>
+
+ <target name="copy" depends="build" description="Copy plugin to Plugins folder">
+ <copy file="${plugin}" todir="${pluginfolder}"/>
+ </target>
+
+
+ <target name="clean">
+ <delete dir="target"/>
+ </target>
+
+</project> \ No newline at end of file
diff --git a/Master/texmf-dist/doc/support/ketcindy/source/KetCindyPlugin/config/META-INF/services/de.cinderella.api.cs.CindyScriptPlugin b/Master/texmf-dist/doc/support/ketcindy/source/KetCindyPlugin/config/META-INF/services/de.cinderella.api.cs.CindyScriptPlugin
new file mode 100755
index 00000000000..66f6d6c3265
--- /dev/null
+++ b/Master/texmf-dist/doc/support/ketcindy/source/KetCindyPlugin/config/META-INF/services/de.cinderella.api.cs.CindyScriptPlugin
@@ -0,0 +1 @@
+KetCindyPlugin
diff --git a/Master/texmf-dist/doc/support/ketcindy/source/KetCindyPlugin/lib/cindy2.jar b/Master/texmf-dist/doc/support/ketcindy/source/KetCindyPlugin/lib/cindy2.jar
new file mode 100755
index 00000000000..fe2f87e7194
--- /dev/null
+++ b/Master/texmf-dist/doc/support/ketcindy/source/KetCindyPlugin/lib/cindy2.jar
Binary files differ
diff --git a/Master/texmf-dist/doc/support/ketcindy/source/KetCindyPlugin/lib/commons-math.jar b/Master/texmf-dist/doc/support/ketcindy/source/KetCindyPlugin/lib/commons-math.jar
new file mode 100755
index 00000000000..1dc2517c210
--- /dev/null
+++ b/Master/texmf-dist/doc/support/ketcindy/source/KetCindyPlugin/lib/commons-math.jar
Binary files differ
diff --git a/Master/texmf-dist/doc/support/ketcindy/source/KetCindyPlugin/src/KetCindyPlugin.java b/Master/texmf-dist/doc/support/ketcindy/source/KetCindyPlugin/src/KetCindyPlugin.java
new file mode 100644
index 00000000000..16fe6ae454a
--- /dev/null
+++ b/Master/texmf-dist/doc/support/ketcindy/source/KetCindyPlugin/src/KetCindyPlugin.java
@@ -0,0 +1,508 @@
+import de.cinderella.api.cs.CindyScript;
+import de.cinderella.api.cs.CindyScriptPlugin;
+import org.apache.commons.math.linear.MatrixUtils;
+import org.apache.commons.math.linear.RealMatrix;
+
+import java.awt.*;
+import java.util.ArrayList;
+import java.util.Arrays;
+import java.io.*;
+import java.util.Date;
+
+public class KetCindyPlugin extends CindyScriptPlugin {
+
+ @CindyScript("ketjavaversion")
+ public String ketjavaversion() {
+ return "Ketjava 20180408";
+ }
+
+ public String getName() {
+ return "KetCindy Plugin";
+ }
+
+ public String getAuthor() {
+ return "The KetCindy Project Team";
+ }
+
+ @CindyScript("systemproperty")
+ public String getUserID(String s) {
+ return System.getProperty(s);
+ }
+
+ @CindyScript("square")
+ public double quadrieren(double x) {
+ return x * x;
+ }
+
+ @CindyScript("grayvalue")
+ public double getGray(Color c) {
+ return (c.getBlue() + c.getRed() + c.getGreen()) / 3.;
+ }
+
+ @CindyScript("isincludefull")//180331
+ public static boolean isincludefull(String str){
+ char[] chars = str.toCharArray();
+ for (int i = 0; i < chars.length; i++) {
+ if (String.valueOf(chars[i]).getBytes().length==2) {
+ return true;
+ }
+ }
+ return false;
+ }
+
+ @CindyScript("getdir")
+ public String getdir() {
+ return System.getProperty("user.dir");
+ }
+
+ @CindyScript("gethome")
+ public String gethome() {
+ return System.getProperty("user.home");
+ }
+
+ @CindyScript("getname")
+ // 17.10.08
+ public String getname() {
+ return System.getProperty("user.name");
+ }
+
+ @CindyScript("iswindows")
+ public static boolean iswindows(){
+ String os=System.getProperty("os.name").toLowerCase();
+ if(os!=null && os.startsWith("windows")){
+ return true;
+ }
+ else{
+ return false;
+ }
+ }
+
+ @CindyScript("ismacosx")
+ public static boolean ismacosx(){
+ String os=System.getProperty("os.name").toLowerCase();
+ if(os!=null && os.startsWith("mac")){
+ return true;
+ }
+ else{
+ return false;
+ }
+ }
+ @CindyScript("islinux")
+ public static boolean islinux(){
+ String os=System.getProperty("os.name").toLowerCase();
+ if(os!=null && os.startsWith("linux")){
+ return true;
+ }
+ else{
+ return false;
+ }
+ }
+
+ @CindyScript("iswin")
+ public static boolean iswin() {
+ String OS_NAME = System.getProperty("os.name").toLowerCase();
+ return OS_NAME.startsWith("windows");
+ }
+
+ @CindyScript("kc")
+ public static String kc(String args){
+ return "Improper call";
+ }
+
+ @CindyScript("nkfwin") //180408
+ public static String nkfwin(String path,String dir,String fn1,String fn2)
+ throws IOException {
+ String src="\""+dir+"\\"+fn1+"\"";
+ String out="\""+dir+"\\"+fn2+"\"";
+ ProcessBuilder pb = new ProcessBuilder();
+ pb.command("cmd","/c","\""+path+"\\nkf32\"","-s","<"+src,">"+out);
+ Process process = pb.start();
+ return out+" generated";
+ }
+
+ @CindyScript("kc")
+ public static String kc(String args,String args2,String args3) throws IOException {
+ ProcessBuilder pb = new ProcessBuilder();
+ File f = new File(args);
+ int flg=0;
+ int pos=0;
+ String kst="";
+ BufferedReader br = new BufferedReader(new FileReader(f));
+ String str;
+ while((str = br.readLine()) != null){
+ if(str.indexOf("*")>-1|| str.indexOf("?")>-1){
+ flg=1;
+ }
+ else{
+ str=str.toUpperCase();
+ str=str.replaceAll("\""," "); /* 16.06.08 */
+ if(str.indexOf("RM ")>-1 || str.indexOf("DEL ")>-1){
+ //16.07.21from
+ if(str.indexOf(".DVI")==-1 && str.indexOf(".TXT")==-1){
+ flg=2;
+ }
+ // 16.07.21upto
+ }
+ if(str.indexOf("MV ")>-1 || str.indexOf("MOVE ")>-1){
+ flg=3;
+ }
+ if(str.indexOf("RD ")>-1 || str.indexOf("RMDIR ")>-1){
+ flg=4;
+ }
+ // 16.04.09from
+ if(str.indexOf("SHUTDOWN ")>-1 || str.indexOf("SLEEP ")>-1){
+ flg=5;
+ }
+ if(str.indexOf("CLEAR ")>-1 || str.indexOf("CLS ")>-1){
+ flg=6;
+ }
+ if(str.indexOf("FTP ")>-1|| str.indexOf("TELNET ")>-1){
+ flg=7;
+ }
+ if(str.indexOf("USERMOD ")>-1 || str.indexOf("USERDEL ")>-1){
+ flg=8;
+ }
+ if(str.indexOf("USERADD ")>-1 || str.indexOf("USERMOD ")>-1){
+ flg=9;
+ }
+ if(str.indexOf("CHMOD ")>-1){
+ if(str.indexOf("CHMOD +")==-1){
+ flg=10;
+ }
+ }
+ if(str.indexOf("CRONTAB ")>-1 || str.indexOf("KILL ")>-1){
+ flg=11;
+ }
+ if(str.indexOf("AT ")>-1){
+ pos=str.indexOf("AT ");
+ if(pos==0){
+ flg=12;
+ }
+ else{
+ kst=str.substring(pos-1,pos);
+ if(!kst.equals("B")){
+ flg=12;
+ }
+ }
+ // 16.04.09upto
+ }
+// if(str.indexOf("PATH ")>-1 || str.indexOf("PAUSE ")>-1 || str.indexOf("ARP ")>-1){
+ if(str.indexOf("PAUSE ")>-1 || str.indexOf("ARP ")>-1){
+ flg=13;
+ }
+ if(str.indexOf("RENAME ")>-1 || str.indexOf("START ")>-1){
+ flg=14;
+ }
+ // 16.07.21
+ if(str.indexOf(".SH")>-1 || str.indexOf(".BAT")>-1){
+ if(str.indexOf("MAXIMA.")==-1 && str.indexOf("KC.")==-1){ /* 2016.07.22 */
+ flg=15;
+ }
+ }
+ }
+ if(flg>0){
+ br.close();
+ return "Improper file "+String.valueOf(flg)+" "+str;
+ }
+ }
+ br.close();
+ // 16.06.05from
+ Long tm=System.currentTimeMillis()-f.lastModified();
+ if(tm>10000 || tm<0){ /* 16.06.08 */
+ flg=50;
+ return "Time expired";
+ }
+ if((args.indexOf("kc.")==-1|| args2.indexOf("ketlib")==-1) || args3.indexOf(".t")==-1){
+ flg=60;
+ return "Improper form";
+ }
+ if(flg==0){
+ if(iswindows()){
+ if((args.indexOf(" ")==-1)&&(args.indexOf("-")==-1)
+ &&(args.indexOf(" ")==-1)){ //180405
+ pb.command("cmd.exe","/c","start",args);
+ }else{
+ pb.command("cmd.exe","/c","","\""+args+"\"");//180331to
+ }
+ }
+ else{
+ if(ismacosx()){
+ if(args2.indexOf("open")>-1){ /* 2016.06.07from */
+ pb.command("open",args);
+ }
+ else{
+ pb.command("sh",args);
+ } /* 2016.06.07upto */
+ }
+ else{
+ pb.command("sh",args);
+ }
+ }
+ }
+ Process process = pb.start();
+ return "Normal end";
+ // 16.06.05upto
+ }
+
+ @CindyScript("ispaulvisiting")
+ public static boolean ispaulvisiting() {
+ return true;
+ }
+
+ @CindyScript("texv")
+ public static void texv( String s, String d, String sf, String tf) throws Exception{
+ ProcessBuilder pb = new ProcessBuilder();
+ String[] cmd = {s,d,sf,tf};
+ pb.command(cmd);
+ Process process = pb.start();
+ return ;
+ }
+
+ @CindyScript("givemeamatrix2")
+ public static Object givemeamatrix2() {
+ try {
+ return "the Matrix: " + theGiveMeAMatrix().toString();
+ } catch (Throwable e) {
+ e.printStackTrace();
+ return "no Matrix: " + e.toString();
+ }
+ }
+
+ public static Object theGiveMeAMatrix() {
+ double[][] matrixData = { {1d,2d,3d}, {2d,5d,3d}};
+ RealMatrix m = MatrixUtils.createRealMatrix(matrixData);
+ return m;
+ }
+
+ @CindyScript("getdirhead")
+ public static String getdirhead(){
+ if(iswindows()){
+ return System.getProperty("user.home")+"\\ketcindy";
+ }
+ else if(ismacosx()){
+ return System.getProperty("user.home")+"/ketcindy";
+ }
+ else if(islinux()){
+ return System.getProperty("user.home")+"/ketcindy";
+ // "/usr/share/ketcindy";
+ }
+ else{
+ return "unknown";
+ }
+ }
+
+ @CindyScript("getdirhead")
+ public static String getdirhead(String dir){
+ if(iswindows()){
+ return dir+"\\ketcindy";
+ }
+ else if(ismacosx()){
+ return dir+"/ketcindy";
+ }
+ else if(islinux()){
+ return dir+"/ketcindy";
+ }
+ else{
+ return "unknown";
+ }
+ }
+
+ @CindyScript("iskcexists")
+ public static boolean iskcexists(String dir){
+ File file = new File(dir+"/kc.sh");
+ if(file.exists()){
+ file.setExecutable(true,false);
+ //16.10.19
+ return true;
+ }
+ else{
+ return false;
+ }
+ }
+
+ @CindyScript("pathsep")
+ // 17.09.06
+ public static String pathsep(){
+ return File.separator;
+ }
+
+ @CindyScript("isexists")
+ // 16.10.02
+ public static boolean isexists(String dir,String fname){
+ File file = new File(dir+File.separator+fname);
+ if(file.exists()){
+ return true;
+ }
+ else{
+ return false;
+ }
+ }
+
+ @CindyScript("filepath")
+ // 18.03.29
+ public static String isexists(String fname){
+ File file = new File(fname);
+ String path = file.getAbsolutePath();
+ return path;
+ }
+
+ @CindyScript("makedir")
+ // 17.09.06
+ public static String makedir(String dir,String dirname){
+ File newfile = new File(dir+File.separator+dirname);
+ if (newfile.mkdir()){
+ return dirname+" created";
+ }else{
+ return dirname+" already exists";
+ }
+ }
+
+ @CindyScript("fileslength")
+ // 16.12.09
+ public static int fileslength(String dirname){
+ File dir=new File(dirname);
+ File[] files=dir.listFiles();
+ String str;
+ String head;
+ int ctr=0;
+ if(dir.exists()){
+ for(int i=0;i<files.length;i++){
+ str=files[i].getName();
+ head=str.substring(0,1);
+ if(head.equals(".")){ctr=ctr+1;}
+ }
+ return files.length-ctr;
+ }
+ else{
+ return -1;
+ }
+ }
+
+ @CindyScript("fileslist")
+ // 16.12.09
+ public static String fileslist(String dirname){
+ File dir=new File(dirname);
+ File[] files=dir.listFiles();
+ String str;
+ String head;
+ String strall="";
+ if(dir.exists()){
+ for(int i=0;i<files.length;i++){
+ str=files[i].getName();
+ head=str.substring(0,1);
+ if(!head.equals(".")){strall=strall+","+str;}
+ }
+ return strall.substring(1);
+ }
+ else{
+ return "";
+ }
+ }
+
+ @CindyScript("setexec")
+ // 16.10.19
+ public static String setexec(String dir,String fname){
+ File file = new File(dir+File.separator+fname);
+ File path = new File(dir);
+ if(path.exists()){
+ if(file.exists()){
+ file.setExecutable(true,false);
+ return fname+" executable";
+ }
+ else{
+// file.createNewFile();
+// file.setExecutable(true,false);
+ return fname+" not exists";
+ }
+ }
+ else{
+ return dir+" not exists";
+ }
+ }
+
+ @CindyScript("getdatetime")
+ // 16.10.21
+ public static String getdatetime(){
+ Date date=new Date();
+ return date.toString();
+ }
+
+ @CindyScript("gettexmfdist")
+ public static String gettexmfdist() {
+ try {
+ return kpsewhich("-var-value=TEXMFDIST");
+ } catch ( Exception e ) {
+ e.printStackTrace();
+ return "";
+ }
+ }
+
+
+ /**
+ * The following function is copied from TeXOSQuery.java
+ * which is under LPPL
+ */
+ /**
+ * Runs kpsewhich and returns the result. This is for single
+ * argument lookups through kpsewhich, such as a file location
+ * or variable value.
+ * @param arg The argument to pass to kpsewhich
+ * @return The result read from the first line of STDIN
+ * @since 1.2
+ */
+ protected static String kpsewhich(String arg)
+ throws IOException,InterruptedException
+ {
+ // Create and start the process.
+ Process process =
+ new ProcessBuilder("kpsewhich", arg).start();
+
+ int exitCode = process.waitFor();
+
+ String line = null;
+
+ if (exitCode == 0)
+ {
+ // kpsewhich completed with exit code 0.
+ // Read STDIN to find the result.
+
+ InputStream stream = process.getInputStream();
+
+ if (stream == null)
+ {
+ throw new IOException(String.format(
+ "Unable to open input stream from process: kpsewhich '%s'",
+ arg));
+ }
+
+ BufferedReader reader = null;
+
+ try
+ {
+ reader = new BufferedReader(new InputStreamReader(stream));
+
+ // only read a single line, nothing further is required
+ // for a variable or file location query.
+ line = reader.readLine();
+ }
+ finally
+ {
+ if (reader != null)
+ {
+ reader.close();
+ }
+ }
+ }
+ else
+ {
+ // kpsewhich failed.
+
+ throw new IOException(String.format(
+ "\"kpsewhich '%s'\" failed with exit code: %d", arg, exitCode));
+ }
+
+ return line;
+ }
+
+
+}
diff --git a/Master/texmf-dist/doc/support/ketcindy/source/KetCindyPlugin/srcold/KetCindyPlugin150906.java b/Master/texmf-dist/doc/support/ketcindy/source/KetCindyPlugin/srcold/KetCindyPlugin150906.java
new file mode 100755
index 00000000000..09da2d3b795
--- /dev/null
+++ b/Master/texmf-dist/doc/support/ketcindy/source/KetCindyPlugin/srcold/KetCindyPlugin150906.java
@@ -0,0 +1,150 @@
+import de.cinderella.api.cs.CindyScript;
+import de.cinderella.api.cs.CindyScriptPlugin;
+import org.apache.commons.math.linear.MatrixUtils;
+import org.apache.commons.math.linear.RealMatrix;
+
+import java.awt.*;
+import java.util.ArrayList;
+import java.util.Arrays;
+import java.io.*;
+
+
+public class KetCindyPlugin extends CindyScriptPlugin {
+
+ public String getName() {
+ return "KetCindy Plugin";
+ }
+
+ public String getAuthor() {
+ return "The KetCindy Project Team";
+ }
+
+ @CindyScript("systemproperty")
+ public String getUserID(String s) {
+ return System.getProperty(s);
+ }
+
+ @CindyScript("square")
+ public double quadrieren(double x) {
+ return x * x;
+ }
+
+ @CindyScript("grayvalue")
+ public double getGray(Color c) {
+ return (c.getBlue() + c.getRed() + c.getGreen()) / 3.;
+ }
+
+ @CindyScript("testarray")
+ public String writeArray(ArrayList<Double> al) {
+ return Arrays.toString(al.toArray());
+ }
+
+ @CindyScript("getdir")
+ public String getdir() {
+ return System.getProperty("user.dir");
+ }
+
+ @CindyScript("gethome")
+ public String gethome() {
+ return System.getProperty("user.home");
+ }
+
+ @CindyScript("iswindows")
+ static public boolean iswindows(){
+ String os=System.getProperty("os.name").toLowerCase();
+ if(os!=null && os.startsWith("windows")){
+ return true;
+ }
+ else{
+ return false;
+ }
+ }
+ @CindyScript("ismacosx")
+ public static boolean ismacosx(){
+ String os=System.getProperty("os.name").toLowerCase();
+ if(os!=null && os.startsWith("mac")){
+ return true;
+ }
+ else{
+ return false;
+ }
+ }
+ @CindyScript("islinux")
+ public static boolean islinux(){
+ String os=System.getProperty("os.name").toLowerCase();
+ if(os!=null && os.startsWith("linux")){
+ return true;
+ }
+ else{
+ return false;
+ }
+ }
+
+ @CindyScript("iswin")
+ public static boolean iswin() {
+ String OS_NAME = System.getProperty("os.name").toLowerCase();
+ return OS_NAME.startsWith("windows");
+ }
+
+ @CindyScript("getDirhead")
+ public String getDirhead() {
+ if(iswindows()){
+ return "C:\ketcindy";
+ }
+ if(ismacosx()){
+ return "/Applications/ketcindy";
+ }
+ if(islinux()){
+ return "/usr/share/ketcindy";
+ }
+ }
+
+ @CindyScript("kc")
+ public static void kc(String args) throws IOException {
+ ProcessBuilder pb = new ProcessBuilder();
+ if(iswindows()){
+ pb.command("cmd.exe","/c","start",args);
+ }
+ else{
+ if(ismacosx()){
+ pb.command("open",args);
+ }
+ else{
+ pb.command("sh",args);
+ }
+ };
+ Process process = pb.start();
+ return;
+ }
+
+ @CindyScript("ispaulvisiting")
+ public static boolean ispaulvisiting() {
+ return true;
+ }
+
+ @CindyScript("texv")
+ public static void texv( String s, String d, String sf, String tf) throws Exception{
+ ProcessBuilder pb = new ProcessBuilder();
+ String[] cmd = {s,d,sf,tf};
+ pb.command(cmd);
+ Process process = pb.start();
+ return ;
+ }
+
+ @CindyScript("givemeamatrix2")
+ public static Object givemeamatrix2() {
+ try {
+ return "the Matrix: " + theGiveMeAMatrix().toString();
+ } catch (Throwable e) {
+ e.printStackTrace();
+ return "no Matrix: " + e.toString();
+ }
+ }
+
+ public static Object theGiveMeAMatrix() {
+ double[][] matrixData = { {1d,2d,3d}, {2d,5d,3d}};
+ RealMatrix m = MatrixUtils.createRealMatrix(matrixData);
+ return m;
+ }
+
+}
diff --git a/Master/texmf-dist/doc/support/ketcindy/source/KetCindyPlugin/srcold/KetCindyPlugin160515.java b/Master/texmf-dist/doc/support/ketcindy/source/KetCindyPlugin/srcold/KetCindyPlugin160515.java
new file mode 100755
index 00000000000..d0834fe0b1c
--- /dev/null
+++ b/Master/texmf-dist/doc/support/ketcindy/source/KetCindyPlugin/srcold/KetCindyPlugin160515.java
@@ -0,0 +1,137 @@
+import de.cinderella.api.cs.CindyScript;
+import de.cinderella.api.cs.CindyScriptPlugin;
+import org.apache.commons.math.linear.MatrixUtils;
+import org.apache.commons.math.linear.RealMatrix;
+
+import java.awt.*;
+import java.util.ArrayList;
+import java.util.Arrays;
+import java.io.*;
+
+
+public class KetCindyPlugin extends CindyScriptPlugin {
+
+ public String getName() {
+ return "KetCindy Plugin";
+ }
+
+ public String getAuthor() {
+ return "The KetCindy Project Team";
+ }
+
+ @CindyScript("systemproperty")
+ public String getUserID(String s) {
+ return System.getProperty(s);
+ }
+
+ @CindyScript("square")
+ public double quadrieren(double x) {
+ return x * x;
+ }
+
+ @CindyScript("grayvalue")
+ public double getGray(Color c) {
+ return (c.getBlue() + c.getRed() + c.getGreen()) / 3.;
+ }
+
+ @CindyScript("testarray")
+ public String writeArray(ArrayList<Double> al) {
+ return Arrays.toString(al.toArray());
+ }
+
+ @CindyScript("getdir")
+ public String getdir() {
+ return System.getProperty("user.dir");
+ }
+
+ @CindyScript("gethome")
+ public String gethome() {
+ return System.getProperty("user.home");
+ }
+
+ @CindyScript("iswindows")
+ static public boolean iswindows(){
+ String os=System.getProperty("os.name").toLowerCase();
+ if(os!=null && os.startsWith("windows")){
+ return true;
+ }
+ else{
+ return false;
+ }
+ }
+ @CindyScript("ismacosx")
+ public static boolean ismacosx(){
+ String os=System.getProperty("os.name").toLowerCase();
+ if(os!=null && os.startsWith("mac")){
+ return true;
+ }
+ else{
+ return false;
+ }
+ }
+ @CindyScript("islinux")
+ public static boolean islinux(){
+ String os=System.getProperty("os.name").toLowerCase();
+ if(os!=null && os.startsWith("linux")){
+ return true;
+ }
+ else{
+ return false;
+ }
+ }
+
+ @CindyScript("iswin")
+ public static boolean iswin() {
+ String OS_NAME = System.getProperty("os.name").toLowerCase();
+ return OS_NAME.startsWith("windows");
+ }
+
+ @CindyScript("kc")
+ public static void kc(String args) throws IOException {
+ ProcessBuilder pb = new ProcessBuilder();
+ if(iswindows()){
+ pb.command("cmd.exe","/c","start",args);
+ }
+ else{
+ if(ismacosx()){
+ pb.command("open",args);
+ }
+ else{
+ pb.command("sh",args);
+ }
+ };
+ Process process = pb.start();
+ return;
+ }
+
+ @CindyScript("ispaulvisiting")
+ public static boolean ispaulvisiting() {
+ return true;
+ }
+
+ @CindyScript("texv")
+ public static void texv( String s, String d, String sf, String tf) throws Exception{
+ ProcessBuilder pb = new ProcessBuilder();
+ String[] cmd = {s,d,sf,tf};
+ pb.command(cmd);
+ Process process = pb.start();
+ return ;
+ }
+
+ @CindyScript("givemeamatrix2")
+ public static Object givemeamatrix2() {
+ try {
+ return "the Matrix: " + theGiveMeAMatrix().toString();
+ } catch (Throwable e) {
+ e.printStackTrace();
+ return "no Matrix: " + e.toString();
+ }
+ }
+
+ public static Object theGiveMeAMatrix() {
+ double[][] matrixData = { {1d,2d,3d}, {2d,5d,3d}};
+ RealMatrix m = MatrixUtils.createRealMatrix(matrixData);
+ return m;
+ }
+
+}
diff --git a/Master/texmf-dist/doc/support/ketcindy/source/KetCindyPlugin/srcold/KetCindyPlugin160518.java b/Master/texmf-dist/doc/support/ketcindy/source/KetCindyPlugin/srcold/KetCindyPlugin160518.java
new file mode 100755
index 00000000000..443ac0ebb04
--- /dev/null
+++ b/Master/texmf-dist/doc/support/ketcindy/source/KetCindyPlugin/srcold/KetCindyPlugin160518.java
@@ -0,0 +1,154 @@
+import de.cinderella.api.cs.CindyScript;
+import de.cinderella.api.cs.CindyScriptPlugin;
+import org.apache.commons.math.linear.MatrixUtils;
+import org.apache.commons.math.linear.RealMatrix;
+
+import java.awt.*;
+import java.util.ArrayList;
+import java.util.Arrays;
+import java.io.*;
+
+
+public class KetCindyPlugin extends CindyScriptPlugin {
+
+ public String getName() {
+ return "KetCindy Plugin";
+ }
+
+ public String getAuthor() {
+ return "The KetCindy Project Team";
+ }
+
+ @CindyScript("systemproperty")
+ public String getUserID(String s) {
+ return System.getProperty(s);
+ }
+
+ @CindyScript("square")
+ public double quadrieren(double x) {
+ return x * x;
+ }
+
+ @CindyScript("grayvalue")
+ public double getGray(Color c) {
+ return (c.getBlue() + c.getRed() + c.getGreen()) / 3.;
+ }
+
+ @CindyScript("testarray")
+ public String writeArray(ArrayList<Double> al) {
+ return Arrays.toString(al.toArray());
+ }
+
+ @CindyScript("getdir")
+ public String getdir() {
+ return System.getProperty("user.dir");
+ }
+
+ @CindyScript("gethome")
+ public String gethome() {
+ return System.getProperty("user.home");
+ }
+
+ @CindyScript("iswindows")
+ static public boolean iswindows(){
+ String os=System.getProperty("os.name").toLowerCase();
+ if(os!=null && os.startsWith("windows")){
+ return true;
+ }
+ else{
+ return false;
+ }
+ }
+ @CindyScript("ismacosx")
+ public static boolean ismacosx(){
+ String os=System.getProperty("os.name").toLowerCase();
+ if(os!=null && os.startsWith("mac")){
+ return true;
+ }
+ else{
+ return false;
+ }
+ }
+ @CindyScript("islinux")
+ public static boolean islinux(){
+ String os=System.getProperty("os.name").toLowerCase();
+ if(os!=null && os.startsWith("linux")){
+ return true;
+ }
+ else{
+ return false;
+ }
+ }
+
+ @CindyScript("iswin")
+ public static boolean iswin() {
+ String OS_NAME = System.getProperty("os.name").toLowerCase();
+ return OS_NAME.startsWith("windows");
+ }
+
+ @CindyScript("kc")
+ public static void kc(String args) throws IOException {
+ ProcessBuilder pb = new ProcessBuilder();
+ if(iswindows()){
+ pb.command("cmd.exe","/c","start",args);
+ }
+ else{
+ if(ismacosx()){
+ pb.command("open",args);
+ }
+ else{
+ pb.command("sh",args);
+ }
+ };
+ Process process = pb.start();
+ return;
+ }
+
+ @CindyScript("ispaulvisiting")
+ public static boolean ispaulvisiting() {
+ return true;
+ }
+
+ @CindyScript("texv")
+ public static void texv( String s, String d, String sf, String tf) throws Exception{
+ ProcessBuilder pb = new ProcessBuilder();
+ String[] cmd = {s,d,sf,tf};
+ pb.command(cmd);
+ Process process = pb.start();
+ return ;
+ }
+
+ @CindyScript("givemeamatrix2")
+ public static Object givemeamatrix2() {
+ try {
+ return "the Matrix: " + theGiveMeAMatrix().toString();
+ } catch (Throwable e) {
+ e.printStackTrace();
+ return "no Matrix: " + e.toString();
+ }
+ }
+
+ public static Object theGiveMeAMatrix() {
+ double[][] matrixData = { {1d,2d,3d}, {2d,5d,3d}};
+ RealMatrix m = MatrixUtils.createRealMatrix(matrixData);
+ return m;
+ }
+
+ @CindyScript("getdirhead")
+ public static String getdirhead(){
+ if(iswindows()){
+ return "C:\\ketcindy";
+ }
+ else if(ismacosx()){
+ return "/Applications/ketcindy";
+ }
+ else if(islinux()){
+ return "/usr/share/ketcindy";
+ }
+ else{
+ return "/Applications/ketcindy";
+ }
+ }
+
+
+}
diff --git a/Master/texmf-dist/doc/support/ketcindy/source/KetCindyPlugin/srcold/KetCindyPlugin160530.java b/Master/texmf-dist/doc/support/ketcindy/source/KetCindyPlugin/srcold/KetCindyPlugin160530.java
new file mode 100755
index 00000000000..1e2351c48a8
--- /dev/null
+++ b/Master/texmf-dist/doc/support/ketcindy/source/KetCindyPlugin/srcold/KetCindyPlugin160530.java
@@ -0,0 +1,154 @@
+import de.cinderella.api.cs.CindyScript;
+import de.cinderella.api.cs.CindyScriptPlugin;
+import org.apache.commons.math.linear.MatrixUtils;
+import org.apache.commons.math.linear.RealMatrix;
+
+import java.awt.*;
+import java.util.ArrayList;
+import java.util.Arrays;
+import java.io.*;
+
+
+public class KetCindyPlugin extends CindyScriptPlugin {
+
+ public String getName() {
+ return "KetCindy Plugin";
+ }
+
+ public String getAuthor() {
+ return "The KetCindy Project Team";
+ }
+
+ @CindyScript("systemproperty")
+ public String getUserID(String s) {
+ return System.getProperty(s);
+ }
+
+ @CindyScript("square")
+ public double quadrieren(double x) {
+ return x * x;
+ }
+
+ @CindyScript("grayvalue")
+ public double getGray(Color c) {
+ return (c.getBlue() + c.getRed() + c.getGreen()) / 3.;
+ }
+
+ @CindyScript("testarray")
+ public String writeArray(ArrayList<Double> al) {
+ return Arrays.toString(al.toArray());
+ }
+
+ @CindyScript("getdir")
+ public String getdir() {
+ return System.getProperty("user.dir");
+ }
+
+ @CindyScript("gethome")
+ public String gethome() {
+ return System.getProperty("user.home");
+ }
+
+ @CindyScript("iswindows")
+ static public boolean iswindows(){
+ String os=System.getProperty("os.name").toLowerCase();
+ if(os!=null && os.startsWith("windows")){
+ return true;
+ }
+ else{
+ return false;
+ }
+ }
+ @CindyScript("ismacosx")
+ public static boolean ismacosx(){
+ String os=System.getProperty("os.name").toLowerCase();
+ if(os!=null && os.startsWith("mac")){
+ return true;
+ }
+ else{
+ return false;
+ }
+ }
+ @CindyScript("islinux")
+ public static boolean islinux(){
+ String os=System.getProperty("os.name").toLowerCase();
+ if(os!=null && os.startsWith("linux")){
+ return true;
+ }
+ else{
+ return false;
+ }
+ }
+
+ @CindyScript("iswin")
+ public static boolean iswin() {
+ String OS_NAME = System.getProperty("os.name").toLowerCase();
+ return OS_NAME.startsWith("windows");
+ }
+
+ @CindyScript("kc")
+ public static void kc(String args) throws IOException {
+ ProcessBuilder pb = new ProcessBuilder();
+ if(iswindows()){
+ pb.command("cmd.exe","/c","start",args);
+ }
+ else{
+ if(ismacosx()){
+ pb.command("sh",args);
+ }
+ else{
+ pb.command("sh",args);
+ }
+ };
+ Process process = pb.start();
+ return;
+ }
+
+ @CindyScript("ispaulvisiting")
+ public static boolean ispaulvisiting() {
+ return true;
+ }
+
+ @CindyScript("texv")
+ public static void texv( String s, String d, String sf, String tf) throws Exception{
+ ProcessBuilder pb = new ProcessBuilder();
+ String[] cmd = {s,d,sf,tf};
+ pb.command(cmd);
+ Process process = pb.start();
+ return ;
+ }
+
+ @CindyScript("givemeamatrix2")
+ public static Object givemeamatrix2() {
+ try {
+ return "the Matrix: " + theGiveMeAMatrix().toString();
+ } catch (Throwable e) {
+ e.printStackTrace();
+ return "no Matrix: " + e.toString();
+ }
+ }
+
+ public static Object theGiveMeAMatrix() {
+ double[][] matrixData = { {1d,2d,3d}, {2d,5d,3d}};
+ RealMatrix m = MatrixUtils.createRealMatrix(matrixData);
+ return m;
+ }
+
+ @CindyScript("getdirhead")
+ public static String getdirhead(){
+ if(iswindows()){
+ return "C:\\ketcindy";
+ }
+ else if(ismacosx()){
+ return "/Applications/ketcindy";
+ }
+ else if(islinux()){
+ return "/usr/share/ketcindy";
+ }
+ else{
+ return "/Applications/ketcindy";
+ }
+ }
+
+
+}
diff --git a/Master/texmf-dist/doc/support/ketcindy/source/KetCindyPlugin/srcold/KetCindyPlugin160601.java b/Master/texmf-dist/doc/support/ketcindy/source/KetCindyPlugin/srcold/KetCindyPlugin160601.java
new file mode 100755
index 00000000000..086cebdc20c
--- /dev/null
+++ b/Master/texmf-dist/doc/support/ketcindy/source/KetCindyPlugin/srcold/KetCindyPlugin160601.java
@@ -0,0 +1,154 @@
+import de.cinderella.api.cs.CindyScript;
+import de.cinderella.api.cs.CindyScriptPlugin;
+import org.apache.commons.math.linear.MatrixUtils;
+import org.apache.commons.math.linear.RealMatrix;
+
+import java.awt.*;
+import java.util.ArrayList;
+import java.util.Arrays;
+import java.io.*;
+
+
+public class KetCindyPlugin extends CindyScriptPlugin {
+
+ public String getName() {
+ return "KetCindy Plugin";
+ }
+
+ public String getAuthor() {
+ return "The KetCindy Project Team";
+ }
+
+ @CindyScript("systemproperty")
+ public String getUserID(String s) {
+ return System.getProperty(s);
+ }
+
+ @CindyScript("square")
+ public double quadrieren(double x) {
+ return x * x;
+ }
+
+ @CindyScript("grayvalue")
+ public double getGray(Color c) {
+ return (c.getBlue() + c.getRed() + c.getGreen()) / 3.;
+ }
+
+ @CindyScript("testarray")
+ public String writeArray(ArrayList<Double> al) {
+ return Arrays.toString(al.toArray());
+ }
+
+ @CindyScript("getdir")
+ public String getdir() {
+ return System.getProperty("user.dir");
+ }
+
+ @CindyScript("gethome")
+ public String gethome() {
+ return System.getProperty("user.home");
+ }
+
+ @CindyScript("iswindows")
+ static public boolean iswindows(){
+ String os=System.getProperty("os.name").toLowerCase();
+ if(os!=null && os.startsWith("windows")){
+ return true;
+ }
+ else{
+ return false;
+ }
+ }
+ @CindyScript("ismacosx")
+ public static boolean ismacosx(){
+ String os=System.getProperty("os.name").toLowerCase();
+ if(os!=null && os.startsWith("mac")){
+ return true;
+ }
+ else{
+ return false;
+ }
+ }
+ @CindyScript("islinux")
+ public static boolean islinux(){
+ String os=System.getProperty("os.name").toLowerCase();
+ if(os!=null && os.startsWith("linux")){
+ return true;
+ }
+ else{
+ return false;
+ }
+ }
+
+ @CindyScript("iswin")
+ public static boolean iswin() {
+ String OS_NAME = System.getProperty("os.name").toLowerCase();
+ return OS_NAME.startsWith("windows");
+ }
+
+ @CindyScript("kc")
+ public static void kc(String args) throws IOException {
+ ProcessBuilder pb = new ProcessBuilder();
+ if(iswindows()){
+ pb.command("cmd.exe","/c","start",args);
+ }
+ else{
+ if(ismacosx()){
+ pb.command("sh",args);
+ }
+ else{
+ pb.command("sh",args);
+ }
+ };
+ Process process = pb.start();
+ return;
+ }
+
+ @CindyScript("ispaulvisiting")
+ public static boolean ispaulvisiting() {
+ return true;
+ }
+
+ @CindyScript("texv")
+ public static void texv( String s, String d, String sf, String tf) throws Exception{
+ ProcessBuilder pb = new ProcessBuilder();
+ String[] cmd = {s,d,sf,tf};
+ pb.command(cmd);
+ Process process = pb.start();
+ return ;
+ }
+
+ @CindyScript("givemeamatrix2")
+ public static Object givemeamatrix2() {
+ try {
+ return "the Matrix: " + theGiveMeAMatrix().toString();
+ } catch (Throwable e) {
+ e.printStackTrace();
+ return "no Matrix: " + e.toString();
+ }
+ }
+
+ public static Object theGiveMeAMatrix() {
+ double[][] matrixData = { {1d,2d,3d}, {2d,5d,3d}};
+ RealMatrix m = MatrixUtils.createRealMatrix(matrixData);
+ return m;
+ }
+
+ @CindyScript("getdirhead")
+ public static String getdirhead(){
+ if(iswindows()){
+ return System.getProperty("user.home")+"\\ketcindy";
+ }
+ else if(ismacosx()){
+ return System.getProperty("user.home")+"/ketcindy";
+ }
+ else if(islinux()){
+ return "/usr/share/ketcindy";
+ }
+ else{
+ return "unknown";
+ }
+ }
+
+
+}
diff --git a/Master/texmf-dist/doc/support/ketcindy/source/KetCindyPlugin/srcold/KetCindyPlugin160604.java b/Master/texmf-dist/doc/support/ketcindy/source/KetCindyPlugin/srcold/KetCindyPlugin160604.java
new file mode 100755
index 00000000000..a32b50fac77
--- /dev/null
+++ b/Master/texmf-dist/doc/support/ketcindy/source/KetCindyPlugin/srcold/KetCindyPlugin160604.java
@@ -0,0 +1,205 @@
+import de.cinderella.api.cs.CindyScript;
+import de.cinderella.api.cs.CindyScriptPlugin;
+import org.apache.commons.math.linear.MatrixUtils;
+import org.apache.commons.math.linear.RealMatrix;
+
+import java.awt.*;
+import java.util.ArrayList;
+import java.util.Arrays;
+import java.io.*;
+
+public class KetCindyPlugin extends CindyScriptPlugin {
+
+ public String getName() {
+ return "KetCindy Plugin";
+ }
+
+ public String getAuthor() {
+ return "The KetCindy Project Team";
+ }
+
+ @CindyScript("systemproperty")
+ public String getUserID(String s) {
+ return System.getProperty(s);
+ }
+
+ @CindyScript("square")
+ public double quadrieren(double x) {
+ return x * x;
+ }
+
+ @CindyScript("grayvalue")
+ public double getGray(Color c) {
+ return (c.getBlue() + c.getRed() + c.getGreen()) / 3.;
+ }
+
+ @CindyScript("testarray")
+ public String writeArray(ArrayList<Double> al) {
+ return Arrays.toString(al.toArray());
+ }
+
+ @CindyScript("getdir")
+ public String getdir() {
+ return System.getProperty("user.dir");
+ }
+
+ @CindyScript("gethome")
+ public String gethome() {
+ return System.getProperty("user.home");
+ }
+
+ @CindyScript("iswindows")
+ static public boolean iswindows(){
+ String os=System.getProperty("os.name").toLowerCase();
+ if(os!=null && os.startsWith("windows")){
+ return true;
+ }
+ else{
+ return false;
+ }
+ }
+ @CindyScript("ismacosx")
+ public static boolean ismacosx(){
+ String os=System.getProperty("os.name").toLowerCase();
+ if(os!=null && os.startsWith("mac")){
+ return true;
+ }
+ else{
+ return false;
+ }
+ }
+ @CindyScript("islinux")
+ public static boolean islinux(){
+ String os=System.getProperty("os.name").toLowerCase();
+ if(os!=null && os.startsWith("linux")){
+ return true;
+ }
+ else{
+ return false;
+ }
+ }
+
+ @CindyScript("iswin")
+ public static boolean iswin() {
+ String OS_NAME = System.getProperty("os.name").toLowerCase();
+ return OS_NAME.startsWith("windows");
+ }
+
+ @CindyScript("kcnow")
+ public static Long kcnow(String args){
+ return System.currentTimeMillis();
+ }
+
+ @CindyScript("kcmodified")
+ public static Long kcmodified(String args){
+ File f = new File(args);
+ return System.currentTimeMillis()-f.lastModified();
+ }
+
+ @CindyScript("kc")
+ public static void kc(String args) throws IOException {}
+
+ @CindyScript("kc")
+ public static void kc(String args,String args2,String args3) throws IOException {
+ ProcessBuilder pb = new ProcessBuilder();
+ // 16.06.04from
+ File f = new File(args);
+ int flg=0;
+ BufferedReader br = new BufferedReader(new FileReader(f));
+ String str;
+ while((str = br.readLine()) != null){
+ str=str.toUpperCase();
+ if(str.indexOf("RM ")>-1){
+ flg=1;
+ }
+ if(str.indexOf("DEL ")>-1){
+ flg=1;
+ }
+ if(str.indexOf("MV ")>-1){
+ flg=1;
+ }
+ if(str.indexOf("RD ")>-1){
+ flg=1;
+ }
+ if(str.indexOf("*")>-1){
+ flg=1;
+ }
+ if(str.indexOf("?")>-1){
+ flg=1;
+ }
+ }
+ br.close();
+ Long tm=System.currentTimeMillis()-f.lastModified();
+// if(tm<5000 && flg==0){
+ if(flg==0){
+ if(iswindows()){
+ if((args.endsWith("\\kc.bat")&&args2.endsWith("\\ketbin"))&&args3.endsWith(".tex")){
+ pb.command("cmd.exe","/c","start",args);
+ }
+ }
+ else{
+ if(ismacosx()){
+ if((args.endsWith("/kc.sh")&&args2.endsWith("/ketbin"))&&args3.endsWith(".tex")){
+ pb.command("sh",args);
+ }
+ }
+ else{
+ if((args.endsWith("/kc.sh")&&args2.endsWith("/ketbin"))&&args3.endsWith(".tex")){
+ pb.command("sh",args);
+ }
+ }
+ }
+ }
+ // 16.06.04upto
+ Process process = pb.start();
+ return;
+ }
+
+ @CindyScript("ispaulvisiting")
+ public static boolean ispaulvisiting() {
+ return true;
+ }
+
+ @CindyScript("texv")
+ public static void texv( String s, String d, String sf, String tf) throws Exception{
+ ProcessBuilder pb = new ProcessBuilder();
+ String[] cmd = {s,d,sf,tf};
+ pb.command(cmd);
+ Process process = pb.start();
+ return ;
+ }
+
+ @CindyScript("givemeamatrix2")
+ public static Object givemeamatrix2() {
+ try {
+ return "the Matrix: " + theGiveMeAMatrix().toString();
+ } catch (Throwable e) {
+ e.printStackTrace();
+ return "no Matrix: " + e.toString();
+ }
+ }
+
+ public static Object theGiveMeAMatrix() {
+ double[][] matrixData = { {1d,2d,3d}, {2d,5d,3d}};
+ RealMatrix m = MatrixUtils.createRealMatrix(matrixData);
+ return m;
+ }
+
+ @CindyScript("getdirhead")
+ public static String getdirhead(){
+ if(iswindows()){
+ return System.getProperty("user.home")+"\\ketcindy";
+ }
+ else if(ismacosx()){
+ return System.getProperty("user.home")+"/ketcindy";
+ }
+ else if(islinux()){
+ return "/usr/share/ketcindy";
+ }
+ else{
+ return "unknown";
+ }
+ }
+
+
+}
diff --git a/Master/texmf-dist/doc/support/ketcindy/source/KetCindyPlugin/srcold/KetCindyPlugin160609.java b/Master/texmf-dist/doc/support/ketcindy/source/KetCindyPlugin/srcold/KetCindyPlugin160609.java
new file mode 100755
index 00000000000..f5c5ea41125
--- /dev/null
+++ b/Master/texmf-dist/doc/support/ketcindy/source/KetCindyPlugin/srcold/KetCindyPlugin160609.java
@@ -0,0 +1,259 @@
+import de.cinderella.api.cs.CindyScript;
+import de.cinderella.api.cs.CindyScriptPlugin;
+import org.apache.commons.math.linear.MatrixUtils;
+import org.apache.commons.math.linear.RealMatrix;
+
+import java.awt.*;
+import java.util.ArrayList;
+import java.util.Arrays;
+import java.io.*;
+
+public class KetCindyPlugin extends CindyScriptPlugin {
+
+ public String getName() {
+ return "KetCindy Plugin";
+ }
+
+ public String getAuthor() {
+ return "The KetCindy Project Team";
+ }
+
+ @CindyScript("systemproperty")
+ public String getUserID(String s) {
+ return System.getProperty(s);
+ }
+
+ @CindyScript("square")
+ public double quadrieren(double x) {
+ return x * x;
+ }
+
+ @CindyScript("grayvalue")
+ public double getGray(Color c) {
+ return (c.getBlue() + c.getRed() + c.getGreen()) / 3.;
+ }
+
+ @CindyScript("testarray")
+ public String writeArray(ArrayList<Double> al) {
+ return Arrays.toString(al.toArray());
+ }
+
+ @CindyScript("getdir")
+ public String getdir() {
+ return System.getProperty("user.dir");
+ }
+
+ @CindyScript("gethome")
+ public String gethome() {
+ return System.getProperty("user.home");
+ }
+
+ @CindyScript("iswindows")
+ static public boolean iswindows(){
+ String os=System.getProperty("os.name").toLowerCase();
+ if(os!=null && os.startsWith("windows")){
+ return true;
+ }
+ else{
+ return false;
+ }
+ }
+ @CindyScript("ismacosx")
+ public static boolean ismacosx(){
+ String os=System.getProperty("os.name").toLowerCase();
+ if(os!=null && os.startsWith("mac")){
+ return true;
+ }
+ else{
+ return false;
+ }
+ }
+ @CindyScript("islinux")
+ public static boolean islinux(){
+ String os=System.getProperty("os.name").toLowerCase();
+ if(os!=null && os.startsWith("linux")){
+ return true;
+ }
+ else{
+ return false;
+ }
+ }
+
+ @CindyScript("iswin")
+ public static boolean iswin() {
+ String OS_NAME = System.getProperty("os.name").toLowerCase();
+ return OS_NAME.startsWith("windows");
+ }
+
+ @CindyScript("kc")
+ public static String kc(String args){
+ return "Improper call";
+ }
+
+ @CindyScript("kc")
+ public static String kc(String args,String args2,String args3) throws IOException {
+ ProcessBuilder pb = new ProcessBuilder();
+ File f = new File(args);
+ int flg=0;
+ int pos=0;
+ String kst="";
+ BufferedReader br = new BufferedReader(new FileReader(f));
+ String str;
+ while((str = br.readLine()) != null){
+ if(str.indexOf("*")>-1|| str.indexOf("?")>-1){
+ flg=1;
+ }
+ else{
+ str=str.toUpperCase();
+ str=str.replaceAll("\""," "); /* 16.06.08 */
+ if(str.indexOf("RM ")>-1 || str.indexOf("DEL ")>-1){
+ if(str.indexOf(args3.toUpperCase())==-1){
+ flg=2;
+ }
+ }
+ if(str.indexOf("MV ")>-1 || str.indexOf("MOVE ")>-1){
+ flg=3;
+ }
+ if(str.indexOf("RD ")>-1 || str.indexOf("RMDIR ")>-1){
+ flg=4;
+ }
+ // 16.04.09from
+ if(str.indexOf("SHUTDOWN ")>-1 || str.indexOf("SLEEP ")>-1){
+ flg=5;
+ }
+ if(str.indexOf("CLEAR ")>-1 || str.indexOf("CLS ")>-1){
+ flg=6;
+ }
+ if(str.indexOf("FTP ")>-1|| str.indexOf("TELNET ")>-1){
+ flg=7;
+ }
+ if(str.indexOf("USERMOD ")>-1 || str.indexOf("USERDEL ")>-1){
+ flg=8;
+ }
+ if(str.indexOf("USERADD ")>-1 || str.indexOf("USERMOD ")>-1){
+ flg=9;
+ }
+ if(str.indexOf("CHMOD ")>-1){
+ if(str.indexOf("CHMOD +")==-1){
+ flg=10;
+ }
+ }
+ if(str.indexOf("CRONTAB ")>-1 || str.indexOf("KILL ")>-1){
+ flg=11;
+ }
+ if(str.indexOf("AT ")>-1){
+ pos=str.indexOf("AT ");
+ if(pos==0){
+ flg=12;
+ }
+ else{
+ kst=str.substring(pos-1,pos);
+ if(!kst.equals("B")){
+ flg=12;
+ }
+ }
+ // 16.04.09upto
+ }
+ if(str.indexOf("PATH ")>-1 || str.indexOf("PAUSE ")>-1 || str.indexOf("ARP ")>-1){
+ flg=13;
+ }
+ if(str.indexOf("RENAME ")>-1 || str.indexOf("START ")>-1){
+ flg=14;
+ }
+ }
+ }
+ br.close();
+ // 16.06.05from
+ if(flg>0){
+ return "Improper file "+String.valueOf(flg);
+ }
+ Long tm=System.currentTimeMillis()-f.lastModified();
+ if(tm>10000 || tm<0){ /* 16.06.08 */
+ flg=50;
+ return "Time expired";
+ }
+ if((args.indexOf("kc.")==-1|| args2.indexOf("ketbin")==-1) || args3.indexOf(".t")==-1){
+ flg=60;
+ return "Improper form";
+ }
+ if(flg==0){
+ if(iswindows()){
+ pb.command("cmd.exe","/c","start",args);
+ }
+ else{
+ if(ismacosx()){
+ if(args2.indexOf("open")>-1){ /* 2016.06.07from */
+ pb.command("open",args);
+ }
+ else{
+ pb.command("sh",args);
+ } /* 2016.06.07upto */
+ }
+ else{
+ pb.command("sh",args);
+ }
+ }
+ }
+ Process process = pb.start();
+ return "Normal end";
+ // 16.06.05upto
+ }
+
+ @CindyScript("ispaulvisiting")
+ public static boolean ispaulvisiting() {
+ return true;
+ }
+
+ @CindyScript("texv")
+ public static void texv( String s, String d, String sf, String tf) throws Exception{
+ ProcessBuilder pb = new ProcessBuilder();
+ String[] cmd = {s,d,sf,tf};
+ pb.command(cmd);
+ Process process = pb.start();
+ return ;
+ }
+
+ @CindyScript("givemeamatrix2")
+ public static Object givemeamatrix2() {
+ try {
+ return "the Matrix: " + theGiveMeAMatrix().toString();
+ } catch (Throwable e) {
+ e.printStackTrace();
+ return "no Matrix: " + e.toString();
+ }
+ }
+
+ public static Object theGiveMeAMatrix() {
+ double[][] matrixData = { {1d,2d,3d}, {2d,5d,3d}};
+ RealMatrix m = MatrixUtils.createRealMatrix(matrixData);
+ return m;
+ }
+
+ @CindyScript("getdirhead")
+ public static String getdirhead(){
+ if(iswindows()){
+ return System.getProperty("user.home")+"\\ketcindy";
+ }
+ else if(ismacosx()){
+ return System.getProperty("user.home")+"/ketcindy";
+ }
+ else if(islinux()){
+ return "/usr/share/ketcindy";
+ }
+ else{
+ return "unknown";
+ }
+ }
+
+ @CindyScript("iskcexists")
+ public static boolean iskcexists(String dir){
+ File file = new File(dir+"/kc.sh");
+ if(file.exists()){
+ return true;
+ }
+ else{
+ return false;
+ }
+ }
+
+}
diff --git a/Master/texmf-dist/doc/support/ketcindy/source/KetCindyPlugin/srcold/KetCindyPlugin160723.java b/Master/texmf-dist/doc/support/ketcindy/source/KetCindyPlugin/srcold/KetCindyPlugin160723.java
new file mode 100644
index 00000000000..fb287873d90
--- /dev/null
+++ b/Master/texmf-dist/doc/support/ketcindy/source/KetCindyPlugin/srcold/KetCindyPlugin160723.java
@@ -0,0 +1,269 @@
+import de.cinderella.api.cs.CindyScript;
+import de.cinderella.api.cs.CindyScriptPlugin;
+import org.apache.commons.math.linear.MatrixUtils;
+import org.apache.commons.math.linear.RealMatrix;
+
+import java.awt.*;
+import java.util.ArrayList;
+import java.util.Arrays;
+import java.io.*;
+
+public class KetCindyPlugin extends CindyScriptPlugin {
+
+ public String getName() {
+ return "KetCindy Plugin";
+ }
+
+ public String getAuthor() {
+ return "The KetCindy Project Team";
+ }
+
+ @CindyScript("systemproperty")
+ public String getUserID(String s) {
+ return System.getProperty(s);
+ }
+
+ @CindyScript("square")
+ public double quadrieren(double x) {
+ return x * x;
+ }
+
+ @CindyScript("grayvalue")
+ public double getGray(Color c) {
+ return (c.getBlue() + c.getRed() + c.getGreen()) / 3.;
+ }
+
+ @CindyScript("testarray")
+ public String writeArray(ArrayList<Double> al) {
+ return Arrays.toString(al.toArray());
+ }
+
+ @CindyScript("getdir")
+ public String getdir() {
+ return System.getProperty("user.dir");
+ }
+
+ @CindyScript("gethome")
+ public String gethome() {
+ return System.getProperty("user.home");
+ }
+
+ @CindyScript("iswindows")
+ static public boolean iswindows(){
+ String os=System.getProperty("os.name").toLowerCase();
+ if(os!=null && os.startsWith("windows")){
+ return true;
+ }
+ else{
+ return false;
+ }
+ }
+ @CindyScript("ismacosx")
+ public static boolean ismacosx(){
+ String os=System.getProperty("os.name").toLowerCase();
+ if(os!=null && os.startsWith("mac")){
+ return true;
+ }
+ else{
+ return false;
+ }
+ }
+ @CindyScript("islinux")
+ public static boolean islinux(){
+ String os=System.getProperty("os.name").toLowerCase();
+ if(os!=null && os.startsWith("linux")){
+ return true;
+ }
+ else{
+ return false;
+ }
+ }
+
+ @CindyScript("iswin")
+ public static boolean iswin() {
+ String OS_NAME = System.getProperty("os.name").toLowerCase();
+ return OS_NAME.startsWith("windows");
+ }
+
+ @CindyScript("kc")
+ public static String kc(String args){
+ return "Improper call";
+ }
+
+ @CindyScript("kc")
+ public static String kc(String args,String args2,String args3) throws IOException {
+ ProcessBuilder pb = new ProcessBuilder();
+ File f = new File(args);
+ int flg=0;
+ int pos=0;
+ String kst="";
+ BufferedReader br = new BufferedReader(new FileReader(f));
+ String str;
+ while((str = br.readLine()) != null){
+ if(str.indexOf("*")>-1|| str.indexOf("?")>-1){
+ flg=1;
+ }
+ else{
+ str=str.toUpperCase();
+ str=str.replaceAll("\""," "); /* 16.06.08 */
+ if(str.indexOf("RM ")>-1 || str.indexOf("DEL ")>-1){
+ //16.07.21from
+ if(str.indexOf(".DVI")==-1 && str.indexOf(".TXT")==-1){
+ flg=2;
+ }
+ // 16.07.21upto
+ }
+ if(str.indexOf("MV ")>-1 || str.indexOf("MOVE ")>-1){
+ flg=3;
+ }
+ if(str.indexOf("RD ")>-1 || str.indexOf("RMDIR ")>-1){
+ flg=4;
+ }
+ // 16.04.09from
+ if(str.indexOf("SHUTDOWN ")>-1 || str.indexOf("SLEEP ")>-1){
+ flg=5;
+ }
+ if(str.indexOf("CLEAR ")>-1 || str.indexOf("CLS ")>-1){
+ flg=6;
+ }
+ if(str.indexOf("FTP ")>-1|| str.indexOf("TELNET ")>-1){
+ flg=7;
+ }
+ if(str.indexOf("USERMOD ")>-1 || str.indexOf("USERDEL ")>-1){
+ flg=8;
+ }
+ if(str.indexOf("USERADD ")>-1 || str.indexOf("USERMOD ")>-1){
+ flg=9;
+ }
+ if(str.indexOf("CHMOD ")>-1){
+ if(str.indexOf("CHMOD +")==-1){
+ flg=10;
+ }
+ }
+ if(str.indexOf("CRONTAB ")>-1 || str.indexOf("KILL ")>-1){
+ flg=11;
+ }
+ if(str.indexOf("AT ")>-1){
+ pos=str.indexOf("AT ");
+ if(pos==0){
+ flg=12;
+ }
+ else{
+ kst=str.substring(pos-1,pos);
+ if(!kst.equals("B")){
+ flg=12;
+ }
+ }
+ // 16.04.09upto
+ }
+// if(str.indexOf("PATH ")>-1 || str.indexOf("PAUSE ")>-1 || str.indexOf("ARP ")>-1){
+ if(str.indexOf("PAUSE ")>-1 || str.indexOf("ARP ")>-1){
+ flg=13;
+ }
+ if(str.indexOf("RENAME ")>-1 || str.indexOf("START ")>-1){
+ flg=14;
+ }
+ // 16.07.21
+ if(str.indexOf(".SH")>-1 || str.indexOf(".BAT")>-1){
+ if(str.indexOf("MAXIMA.")==-1 && str.indexOf("KC.")==-1){ /* 2016.07.22 */
+ flg=15;
+ }
+ }
+ }
+ if(flg>0){
+ br.close();
+ return "Improper file "+String.valueOf(flg)+" "+str;
+ }
+ }
+ br.close();
+ // 16.06.05from
+ Long tm=System.currentTimeMillis()-f.lastModified();
+ if(tm>10000 || tm<0){ /* 16.06.08 */
+ flg=50;
+ return "Time expired";
+ }
+ if((args.indexOf("kc.")==-1|| args2.indexOf("ketlib")==-1) || args3.indexOf(".t")==-1){
+ flg=60;
+ return "Improper form";
+ }
+ if(flg==0){
+ if(iswindows()){
+ pb.command("cmd.exe","/c","start",args);
+ }
+ else{
+ if(ismacosx()){
+ if(args2.indexOf("open")>-1){ /* 2016.06.07from */
+ pb.command("open",args);
+ }
+ else{
+ pb.command("sh",args);
+ } /* 2016.06.07upto */
+ }
+ else{
+ pb.command("sh",args);
+ }
+ }
+ }
+ Process process = pb.start();
+ return "Normal end";
+ // 16.06.05upto
+ }
+
+ @CindyScript("ispaulvisiting")
+ public static boolean ispaulvisiting() {
+ return true;
+ }
+
+ @CindyScript("texv")
+ public static void texv( String s, String d, String sf, String tf) throws Exception{
+ ProcessBuilder pb = new ProcessBuilder();
+ String[] cmd = {s,d,sf,tf};
+ pb.command(cmd);
+ Process process = pb.start();
+ return ;
+ }
+
+ @CindyScript("givemeamatrix2")
+ public static Object givemeamatrix2() {
+ try {
+ return "the Matrix: " + theGiveMeAMatrix().toString();
+ } catch (Throwable e) {
+ e.printStackTrace();
+ return "no Matrix: " + e.toString();
+ }
+ }
+
+ public static Object theGiveMeAMatrix() {
+ double[][] matrixData = { {1d,2d,3d}, {2d,5d,3d}};
+ RealMatrix m = MatrixUtils.createRealMatrix(matrixData);
+ return m;
+ }
+
+ @CindyScript("getdirhead")
+ public static String getdirhead(){
+ if(iswindows()){
+ return System.getProperty("user.home")+"\\ketcindy";
+ }
+ else if(ismacosx()){
+ return System.getProperty("user.home")+"/ketcindy";
+ }
+ else if(islinux()){
+ return "/usr/share/ketcindy";
+ }
+ else{
+ return "unknown";
+ }
+ }
+
+ @CindyScript("iskcexists")
+ public static boolean iskcexists(String dir){
+ File file = new File(dir+"/kc.sh");
+ if(file.exists()){
+ return true;
+ }
+ else{
+ return false;
+ }
+ }
+
+}
diff --git a/Master/texmf-dist/doc/support/ketcindy/source/KetCindyPlugin/srcold/KetCindyPlugin161019.java b/Master/texmf-dist/doc/support/ketcindy/source/KetCindyPlugin/srcold/KetCindyPlugin161019.java
new file mode 100644
index 00000000000..13c303ac0c0
--- /dev/null
+++ b/Master/texmf-dist/doc/support/ketcindy/source/KetCindyPlugin/srcold/KetCindyPlugin161019.java
@@ -0,0 +1,311 @@
+import de.cinderella.api.cs.CindyScript;
+import de.cinderella.api.cs.CindyScriptPlugin;
+import org.apache.commons.math.linear.MatrixUtils;
+import org.apache.commons.math.linear.RealMatrix;
+
+import java.awt.*;
+import java.util.ArrayList;
+import java.util.Arrays;
+import java.io.*;
+
+public class KetCindyPlugin extends CindyScriptPlugin {
+
+ public String getName() {
+ return "KetCindy Plugin";
+ }
+
+ public String getAuthor() {
+ return "The KetCindy Project Team";
+ }
+
+ @CindyScript("systemproperty")
+ public String getUserID(String s) {
+ return System.getProperty(s);
+ }
+
+ @CindyScript("square")
+ public double quadrieren(double x) {
+ return x * x;
+ }
+
+ @CindyScript("grayvalue")
+ public double getGray(Color c) {
+ return (c.getBlue() + c.getRed() + c.getGreen()) / 3.;
+ }
+
+ @CindyScript("testarray")
+ public String writeArray(ArrayList<Double> al) {
+ return Arrays.toString(al.toArray());
+ }
+
+ @CindyScript("getdir")
+ public String getdir() {
+ return System.getProperty("user.dir");
+ }
+
+ @CindyScript("gethome")
+ public String gethome() {
+ return System.getProperty("user.home");
+ }
+
+ @CindyScript("iswindows")
+ static public boolean iswindows(){
+ String os=System.getProperty("os.name").toLowerCase();
+ if(os!=null && os.startsWith("windows")){
+ return true;
+ }
+ else{
+ return false;
+ }
+ }
+ @CindyScript("ismacosx")
+ public static boolean ismacosx(){
+ String os=System.getProperty("os.name").toLowerCase();
+ if(os!=null && os.startsWith("mac")){
+ return true;
+ }
+ else{
+ return false;
+ }
+ }
+ @CindyScript("islinux")
+ public static boolean islinux(){
+ String os=System.getProperty("os.name").toLowerCase();
+ if(os!=null && os.startsWith("linux")){
+ return true;
+ }
+ else{
+ return false;
+ }
+ }
+
+ @CindyScript("iswin")
+ public static boolean iswin() {
+ String OS_NAME = System.getProperty("os.name").toLowerCase();
+ return OS_NAME.startsWith("windows");
+ }
+
+ @CindyScript("kc")
+ public static String kc(String args){
+ return "Improper call";
+ }
+
+ @CindyScript("kc")
+ public static String kc(String args,String args2,String args3) throws IOException {
+ ProcessBuilder pb = new ProcessBuilder();
+ File f = new File(args);
+ int flg=0;
+ int pos=0;
+ String kst="";
+ BufferedReader br = new BufferedReader(new FileReader(f));
+ String str;
+ while((str = br.readLine()) != null){
+ if(str.indexOf("*")>-1|| str.indexOf("?")>-1){
+ flg=1;
+ }
+ else{
+ str=str.toUpperCase();
+ str=str.replaceAll("\""," "); /* 16.06.08 */
+ if(str.indexOf("RM ")>-1 || str.indexOf("DEL ")>-1){
+ //16.07.21from
+ if(str.indexOf(".DVI")==-1 && str.indexOf(".TXT")==-1){
+ flg=2;
+ }
+ // 16.07.21upto
+ }
+ if(str.indexOf("MV ")>-1 || str.indexOf("MOVE ")>-1){
+ flg=3;
+ }
+ if(str.indexOf("RD ")>-1 || str.indexOf("RMDIR ")>-1){
+ flg=4;
+ }
+ // 16.04.09from
+ if(str.indexOf("SHUTDOWN ")>-1 || str.indexOf("SLEEP ")>-1){
+ flg=5;
+ }
+ if(str.indexOf("CLEAR ")>-1 || str.indexOf("CLS ")>-1){
+ flg=6;
+ }
+ if(str.indexOf("FTP ")>-1|| str.indexOf("TELNET ")>-1){
+ flg=7;
+ }
+ if(str.indexOf("USERMOD ")>-1 || str.indexOf("USERDEL ")>-1){
+ flg=8;
+ }
+ if(str.indexOf("USERADD ")>-1 || str.indexOf("USERMOD ")>-1){
+ flg=9;
+ }
+ if(str.indexOf("CHMOD ")>-1){
+ if(str.indexOf("CHMOD +")==-1){
+ flg=10;
+ }
+ }
+ if(str.indexOf("CRONTAB ")>-1 || str.indexOf("KILL ")>-1){
+ flg=11;
+ }
+ if(str.indexOf("AT ")>-1){
+ pos=str.indexOf("AT ");
+ if(pos==0){
+ flg=12;
+ }
+ else{
+ kst=str.substring(pos-1,pos);
+ if(!kst.equals("B")){
+ flg=12;
+ }
+ }
+ // 16.04.09upto
+ }
+// if(str.indexOf("PATH ")>-1 || str.indexOf("PAUSE ")>-1 || str.indexOf("ARP ")>-1){
+ if(str.indexOf("PAUSE ")>-1 || str.indexOf("ARP ")>-1){
+ flg=13;
+ }
+ if(str.indexOf("RENAME ")>-1 || str.indexOf("START ")>-1){
+ flg=14;
+ }
+ // 16.07.21
+ if(str.indexOf(".SH")>-1 || str.indexOf(".BAT")>-1){
+ if(str.indexOf("MAXIMA.")==-1 && str.indexOf("KC.")==-1){ /* 2016.07.22 */
+ flg=15;
+ }
+ }
+ }
+ if(flg>0){
+ br.close();
+ return "Improper file "+String.valueOf(flg)+" "+str;
+ }
+ }
+ br.close();
+ // 16.06.05from
+ Long tm=System.currentTimeMillis()-f.lastModified();
+ if(tm>10000 || tm<0){ /* 16.06.08 */
+ flg=50;
+ return "Time expired";
+ }
+ if((args.indexOf("kc.")==-1|| args2.indexOf("ketlib")==-1) || args3.indexOf(".t")==-1){
+ flg=60;
+ return "Improper form";
+ }
+ if(flg==0){
+ if(iswindows()){
+ pb.command("cmd.exe","/c","start",args);
+ }
+ else{
+ if(ismacosx()){
+ if(args2.indexOf("open")>-1){ /* 2016.06.07from */
+ pb.command("open",args);
+ }
+ else{
+ pb.command("sh",args);
+ } /* 2016.06.07upto */
+ }
+ else{
+ pb.command("sh",args);
+ }
+ }
+ }
+ Process process = pb.start();
+ return "Normal end";
+ // 16.06.05upto
+ }
+
+ @CindyScript("ispaulvisiting")
+ public static boolean ispaulvisiting() {
+ return true;
+ }
+
+ @CindyScript("texv")
+ public static void texv( String s, String d, String sf, String tf) throws Exception{
+ ProcessBuilder pb = new ProcessBuilder();
+ String[] cmd = {s,d,sf,tf};
+ pb.command(cmd);
+ Process process = pb.start();
+ return ;
+ }
+
+ @CindyScript("givemeamatrix2")
+ public static Object givemeamatrix2() {
+ try {
+ return "the Matrix: " + theGiveMeAMatrix().toString();
+ } catch (Throwable e) {
+ e.printStackTrace();
+ return "no Matrix: " + e.toString();
+ }
+ }
+
+ public static Object theGiveMeAMatrix() {
+ double[][] matrixData = { {1d,2d,3d}, {2d,5d,3d}};
+ RealMatrix m = MatrixUtils.createRealMatrix(matrixData);
+ return m;
+ }
+
+ @CindyScript("getdirhead")
+ public static String getdirhead(){
+ if(iswindows()){
+ return System.getProperty("user.home")+"\\ketcindy";
+ }
+ else if(ismacosx()){
+ return System.getProperty("user.home")+"/ketcindy";
+ }
+ else if(islinux()){
+ return System.getProperty("user.home")+"/ketcindy";
+ // "/usr/share/ketcindy";
+ }
+ else{
+ return "unknown";
+ }
+ }
+
+ @CindyScript("getdirhead")
+ public static String getdirhead(String dir){
+ if(iswindows()){
+ return dir+"\\ketcindy";
+ }
+ else if(ismacosx()){
+ return dir+"/ketcindy";
+ }
+ else if(islinux()){
+ return dir+"/ketcindy";
+ }
+ else{
+ return "unknown";
+ }
+ }
+
+ @CindyScript("iskcexists")
+ public static boolean iskcexists(String dir){
+ File file = new File(dir+"/kc.sh");
+ if(file.exists()){
+ return true;
+ }
+ else{
+ return false;
+ }
+ }
+
+ @CindyScript("isexists")
+ // 16.10.02
+ public static boolean isheadexists(String dir,String fname){
+ File file = new File(dir+"/"+fname);
+ if(file.exists()){
+ return true;
+ }
+ else{
+ return false;
+ }
+ }
+
+ @CindyScript("setexec")
+ // 16.10.19
+ public static boolean setexec(String dir,String fname){
+ File file = new File(dir+"/"+fname);
+ if(file.exists()){
+ file.setExecutable(true);
+ return true;
+ }
+ else{
+ return false;
+ }
+ }
+
+}
diff --git a/Master/texmf-dist/doc/support/ketcindy/source/KetCindyPlugin/srcold/KetCindyPlugin161021.java b/Master/texmf-dist/doc/support/ketcindy/source/KetCindyPlugin/srcold/KetCindyPlugin161021.java
new file mode 100644
index 00000000000..67decd5b861
--- /dev/null
+++ b/Master/texmf-dist/doc/support/ketcindy/source/KetCindyPlugin/srcold/KetCindyPlugin161021.java
@@ -0,0 +1,330 @@
+import de.cinderella.api.cs.CindyScript;
+import de.cinderella.api.cs.CindyScriptPlugin;
+import org.apache.commons.math.linear.MatrixUtils;
+import org.apache.commons.math.linear.RealMatrix;
+
+import java.awt.*;
+import java.util.ArrayList;
+import java.util.Arrays;
+import java.io.*;
+import java.util.Date;
+//16.10.21
+
+public class KetCindyPlugin extends CindyScriptPlugin {
+
+ public String getName() {
+ return "KetCindy Plugin";
+ }
+
+ public String getAuthor() {
+ return "The KetCindy Project Team";
+ }
+
+ @CindyScript("systemproperty")
+ public String getUserID(String s) {
+ return System.getProperty(s);
+ }
+
+ @CindyScript("square")
+ public double quadrieren(double x) {
+ return x * x;
+ }
+
+ @CindyScript("grayvalue")
+ public double getGray(Color c) {
+ return (c.getBlue() + c.getRed() + c.getGreen()) / 3.;
+ }
+
+ @CindyScript("testarray")
+ public String writeArray(ArrayList<Double> al) {
+ return Arrays.toString(al.toArray());
+ }
+
+ @CindyScript("getdir")
+ public String getdir() {
+ return System.getProperty("user.dir");
+ }
+
+ @CindyScript("gethome")
+ public String gethome() {
+ return System.getProperty("user.home");
+ }
+
+ @CindyScript("iswindows")
+ static public boolean iswindows(){
+ String os=System.getProperty("os.name").toLowerCase();
+ if(os!=null && os.startsWith("windows")){
+ return true;
+ }
+ else{
+ return false;
+ }
+ }
+ @CindyScript("ismacosx")
+ public static boolean ismacosx(){
+ String os=System.getProperty("os.name").toLowerCase();
+ if(os!=null && os.startsWith("mac")){
+ return true;
+ }
+ else{
+ return false;
+ }
+ }
+ @CindyScript("islinux")
+ public static boolean islinux(){
+ String os=System.getProperty("os.name").toLowerCase();
+ if(os!=null && os.startsWith("linux")){
+ return true;
+ }
+ else{
+ return false;
+ }
+ }
+
+ @CindyScript("iswin")
+ public static boolean iswin() {
+ String OS_NAME = System.getProperty("os.name").toLowerCase();
+ return OS_NAME.startsWith("windows");
+ }
+
+ @CindyScript("kc")
+ public static String kc(String args){
+ return "Improper call";
+ }
+
+ @CindyScript("kc")
+ public static String kc(String args,String args2,String args3) throws IOException {
+ ProcessBuilder pb = new ProcessBuilder();
+ File f = new File(args);
+ int flg=0;
+ int pos=0;
+ String kst="";
+ BufferedReader br = new BufferedReader(new FileReader(f));
+ String str;
+ while((str = br.readLine()) != null){
+ if(str.indexOf("*")>-1|| str.indexOf("?")>-1){
+ flg=1;
+ }
+ else{
+ str=str.toUpperCase();
+ str=str.replaceAll("\""," "); /* 16.06.08 */
+ if(str.indexOf("RM ")>-1 || str.indexOf("DEL ")>-1){
+ //16.07.21from
+ if(str.indexOf(".DVI")==-1 && str.indexOf(".TXT")==-1){
+ flg=2;
+ }
+ // 16.07.21upto
+ }
+ if(str.indexOf("MV ")>-1 || str.indexOf("MOVE ")>-1){
+ flg=3;
+ }
+ if(str.indexOf("RD ")>-1 || str.indexOf("RMDIR ")>-1){
+ flg=4;
+ }
+ // 16.04.09from
+ if(str.indexOf("SHUTDOWN ")>-1 || str.indexOf("SLEEP ")>-1){
+ flg=5;
+ }
+ if(str.indexOf("CLEAR ")>-1 || str.indexOf("CLS ")>-1){
+ flg=6;
+ }
+ if(str.indexOf("FTP ")>-1|| str.indexOf("TELNET ")>-1){
+ flg=7;
+ }
+ if(str.indexOf("USERMOD ")>-1 || str.indexOf("USERDEL ")>-1){
+ flg=8;
+ }
+ if(str.indexOf("USERADD ")>-1 || str.indexOf("USERMOD ")>-1){
+ flg=9;
+ }
+ if(str.indexOf("CHMOD ")>-1){
+ if(str.indexOf("CHMOD +")==-1){
+ flg=10;
+ }
+ }
+ if(str.indexOf("CRONTAB ")>-1 || str.indexOf("KILL ")>-1){
+ flg=11;
+ }
+ if(str.indexOf("AT ")>-1){
+ pos=str.indexOf("AT ");
+ if(pos==0){
+ flg=12;
+ }
+ else{
+ kst=str.substring(pos-1,pos);
+ if(!kst.equals("B")){
+ flg=12;
+ }
+ }
+ // 16.04.09upto
+ }
+// if(str.indexOf("PATH ")>-1 || str.indexOf("PAUSE ")>-1 || str.indexOf("ARP ")>-1){
+ if(str.indexOf("PAUSE ")>-1 || str.indexOf("ARP ")>-1){
+ flg=13;
+ }
+ if(str.indexOf("RENAME ")>-1 || str.indexOf("START ")>-1){
+ flg=14;
+ }
+ // 16.07.21
+ if(str.indexOf(".SH")>-1 || str.indexOf(".BAT")>-1){
+ if(str.indexOf("MAXIMA.")==-1 && str.indexOf("KC.")==-1){ /* 2016.07.22 */
+ flg=15;
+ }
+ }
+ }
+ if(flg>0){
+ br.close();
+ return "Improper file "+String.valueOf(flg)+" "+str;
+ }
+ }
+ br.close();
+ // 16.06.05from
+ Long tm=System.currentTimeMillis()-f.lastModified();
+ if(tm>10000 || tm<0){ /* 16.06.08 */
+ flg=50;
+ return "Time expired";
+ }
+ if((args.indexOf("kc.")==-1|| args2.indexOf("ketlib")==-1) || args3.indexOf(".t")==-1){
+ flg=60;
+ return "Improper form";
+ }
+ if(flg==0){
+ if(iswindows()){
+ pb.command("cmd.exe","/c","start",args);
+ }
+ else{
+ if(ismacosx()){
+ if(args2.indexOf("open")>-1){ /* 2016.06.07from */
+ pb.command("open",args);
+ }
+ else{
+ pb.command("sh",args);
+ } /* 2016.06.07upto */
+ }
+ else{
+ pb.command("sh",args);
+ }
+ }
+ }
+ Process process = pb.start();
+ return "Normal end";
+ // 16.06.05upto
+ }
+
+ @CindyScript("ispaulvisiting")
+ public static boolean ispaulvisiting() {
+ return true;
+ }
+
+ @CindyScript("texv")
+ public static void texv( String s, String d, String sf, String tf) throws Exception{
+ ProcessBuilder pb = new ProcessBuilder();
+ String[] cmd = {s,d,sf,tf};
+ pb.command(cmd);
+ Process process = pb.start();
+ return ;
+ }
+
+ @CindyScript("givemeamatrix2")
+ public static Object givemeamatrix2() {
+ try {
+ return "the Matrix: " + theGiveMeAMatrix().toString();
+ } catch (Throwable e) {
+ e.printStackTrace();
+ return "no Matrix: " + e.toString();
+ }
+ }
+
+ public static Object theGiveMeAMatrix() {
+ double[][] matrixData = { {1d,2d,3d}, {2d,5d,3d}};
+ RealMatrix m = MatrixUtils.createRealMatrix(matrixData);
+ return m;
+ }
+
+ @CindyScript("getdirhead")
+ public static String getdirhead(){
+ if(iswindows()){
+ return System.getProperty("user.home")+"\\ketcindy";
+ }
+ else if(ismacosx()){
+ return System.getProperty("user.home")+"/ketcindy";
+ }
+ else if(islinux()){
+ return System.getProperty("user.home")+"/ketcindy";
+ // "/usr/share/ketcindy";
+ }
+ else{
+ return "unknown";
+ }
+ }
+
+ @CindyScript("getdirhead")
+ public static String getdirhead(String dir){
+ if(iswindows()){
+ return dir+"\\ketcindy";
+ }
+ else if(ismacosx()){
+ return dir+"/ketcindy";
+ }
+ else if(islinux()){
+ return dir+"/ketcindy";
+ }
+ else{
+ return "unknown";
+ }
+ }
+
+ @CindyScript("iskcexists")
+ public static boolean iskcexists(String dir){
+ File file = new File(dir+"/kc.sh");
+ if(file.exists()){
+ file.setExecutable(true,false);
+ //16.10.19
+ return true;
+ }
+ else{
+ return false;
+ }
+ }
+
+ @CindyScript("isexists")
+ // 16.10.02
+ public static boolean isexists(String dir,String fname){
+ File file = new File(dir+"/"+fname);
+ if(file.exists()){
+ return true;
+ }
+ else{
+ return false;
+ }
+ }
+
+ @CindyScript("setexec")
+ // 16.10.19
+ public static String setexec(String dir,String fname){
+ File file = new File(dir+"/"+fname);
+ File path = new File(dir);
+ if(path.exists()){
+ if(file.exists()){
+ file.setExecutable(true,false);
+ return fname+" executable";
+ }
+ else{
+// file.createNewFile();
+// file.setExecutable(true,false);
+ return fname+" not exists";
+ }
+ }
+ else{
+ return dir+" not exists";
+ }
+ }
+
+ @CindyScript("getdatetime")
+ // 16.10.21
+ public static String getdatetime(){
+ Date date=new Date();
+ return date.toString();
+ }
+
+}
diff --git a/Master/texmf-dist/doc/support/ketcindy/source/KetCindyPlugin/srcold/KetCindyPlugin161209.java b/Master/texmf-dist/doc/support/ketcindy/source/KetCindyPlugin/srcold/KetCindyPlugin161209.java
new file mode 100644
index 00000000000..bf997abf3ef
--- /dev/null
+++ b/Master/texmf-dist/doc/support/ketcindy/source/KetCindyPlugin/srcold/KetCindyPlugin161209.java
@@ -0,0 +1,372 @@
+import de.cinderella.api.cs.CindyScript;
+import de.cinderella.api.cs.CindyScriptPlugin;
+import org.apache.commons.math.linear.MatrixUtils;
+import org.apache.commons.math.linear.RealMatrix;
+
+import java.awt.*;
+import java.util.ArrayList;
+import java.util.Arrays;
+import java.io.*;
+import java.util.Date;
+//16.10.21
+
+public class KetCindyPlugin extends CindyScriptPlugin {
+
+ public String getName() {
+ return "KetCindy Plugin";
+ }
+
+ public String getAuthor() {
+ return "The KetCindy Project Team";
+ }
+
+ @CindyScript("systemproperty")
+ public String getUserID(String s) {
+ return System.getProperty(s);
+ }
+
+ @CindyScript("square")
+ public double quadrieren(double x) {
+ return x * x;
+ }
+
+ @CindyScript("grayvalue")
+ public double getGray(Color c) {
+ return (c.getBlue() + c.getRed() + c.getGreen()) / 3.;
+ }
+
+ @CindyScript("testarray")
+ public String writeArray(ArrayList<Double> al) {
+ return Arrays.toString(al.toArray());
+ }
+
+ @CindyScript("getdir")
+ public String getdir() {
+ return System.getProperty("user.dir");
+ }
+
+ @CindyScript("gethome")
+ public String gethome() {
+ return System.getProperty("user.home");
+ }
+
+ @CindyScript("iswindows")
+ static public boolean iswindows(){
+ String os=System.getProperty("os.name").toLowerCase();
+ if(os!=null && os.startsWith("windows")){
+ return true;
+ }
+ else{
+ return false;
+ }
+ }
+ @CindyScript("ismacosx")
+ public static boolean ismacosx(){
+ String os=System.getProperty("os.name").toLowerCase();
+ if(os!=null && os.startsWith("mac")){
+ return true;
+ }
+ else{
+ return false;
+ }
+ }
+ @CindyScript("islinux")
+ public static boolean islinux(){
+ String os=System.getProperty("os.name").toLowerCase();
+ if(os!=null && os.startsWith("linux")){
+ return true;
+ }
+ else{
+ return false;
+ }
+ }
+
+ @CindyScript("iswin")
+ public static boolean iswin() {
+ String OS_NAME = System.getProperty("os.name").toLowerCase();
+ return OS_NAME.startsWith("windows");
+ }
+
+ @CindyScript("kc")
+ public static String kc(String args){
+ return "Improper call";
+ }
+
+ @CindyScript("kc")
+ public static String kc(String args,String args2,String args3) throws IOException {
+ ProcessBuilder pb = new ProcessBuilder();
+ File f = new File(args);
+ int flg=0;
+ int pos=0;
+ String kst="";
+ BufferedReader br = new BufferedReader(new FileReader(f));
+ String str;
+ while((str = br.readLine()) != null){
+ if(str.indexOf("*")>-1|| str.indexOf("?")>-1){
+ flg=1;
+ }
+ else{
+ str=str.toUpperCase();
+ str=str.replaceAll("\""," "); /* 16.06.08 */
+ if(str.indexOf("RM ")>-1 || str.indexOf("DEL ")>-1){
+ //16.07.21from
+ if(str.indexOf(".DVI")==-1 && str.indexOf(".TXT")==-1){
+ flg=2;
+ }
+ // 16.07.21upto
+ }
+ if(str.indexOf("MV ")>-1 || str.indexOf("MOVE ")>-1){
+ flg=3;
+ }
+ if(str.indexOf("RD ")>-1 || str.indexOf("RMDIR ")>-1){
+ flg=4;
+ }
+ // 16.04.09from
+ if(str.indexOf("SHUTDOWN ")>-1 || str.indexOf("SLEEP ")>-1){
+ flg=5;
+ }
+ if(str.indexOf("CLEAR ")>-1 || str.indexOf("CLS ")>-1){
+ flg=6;
+ }
+ if(str.indexOf("FTP ")>-1|| str.indexOf("TELNET ")>-1){
+ flg=7;
+ }
+ if(str.indexOf("USERMOD ")>-1 || str.indexOf("USERDEL ")>-1){
+ flg=8;
+ }
+ if(str.indexOf("USERADD ")>-1 || str.indexOf("USERMOD ")>-1){
+ flg=9;
+ }
+ if(str.indexOf("CHMOD ")>-1){
+ if(str.indexOf("CHMOD +")==-1){
+ flg=10;
+ }
+ }
+ if(str.indexOf("CRONTAB ")>-1 || str.indexOf("KILL ")>-1){
+ flg=11;
+ }
+ if(str.indexOf("AT ")>-1){
+ pos=str.indexOf("AT ");
+ if(pos==0){
+ flg=12;
+ }
+ else{
+ kst=str.substring(pos-1,pos);
+ if(!kst.equals("B")){
+ flg=12;
+ }
+ }
+ // 16.04.09upto
+ }
+// if(str.indexOf("PATH ")>-1 || str.indexOf("PAUSE ")>-1 || str.indexOf("ARP ")>-1){
+ if(str.indexOf("PAUSE ")>-1 || str.indexOf("ARP ")>-1){
+ flg=13;
+ }
+ if(str.indexOf("RENAME ")>-1 || str.indexOf("START ")>-1){
+ flg=14;
+ }
+ // 16.07.21
+ if(str.indexOf(".SH")>-1 || str.indexOf(".BAT")>-1){
+ if(str.indexOf("MAXIMA.")==-1 && str.indexOf("KC.")==-1){ /* 2016.07.22 */
+ flg=15;
+ }
+ }
+ }
+ if(flg>0){
+ br.close();
+ return "Improper file "+String.valueOf(flg)+" "+str;
+ }
+ }
+ br.close();
+ // 16.06.05from
+ Long tm=System.currentTimeMillis()-f.lastModified();
+ if(tm>10000 || tm<0){ /* 16.06.08 */
+ flg=50;
+ return "Time expired";
+ }
+ if((args.indexOf("kc.")==-1|| args2.indexOf("ketlib")==-1) || args3.indexOf(".t")==-1){
+ flg=60;
+ return "Improper form";
+ }
+ if(flg==0){
+ if(iswindows()){
+ pb.command("cmd.exe","/c","start",args);
+ }
+ else{
+ if(ismacosx()){
+ if(args2.indexOf("open")>-1){ /* 2016.06.07from */
+ pb.command("open",args);
+ }
+ else{
+ pb.command("sh",args);
+ } /* 2016.06.07upto */
+ }
+ else{
+ pb.command("sh",args);
+ }
+ }
+ }
+ Process process = pb.start();
+ return "Normal end";
+ // 16.06.05upto
+ }
+
+ @CindyScript("ispaulvisiting")
+ public static boolean ispaulvisiting() {
+ return true;
+ }
+
+ @CindyScript("texv")
+ public static void texv( String s, String d, String sf, String tf) throws Exception{
+ ProcessBuilder pb = new ProcessBuilder();
+ String[] cmd = {s,d,sf,tf};
+ pb.command(cmd);
+ Process process = pb.start();
+ return ;
+ }
+
+ @CindyScript("givemeamatrix2")
+ public static Object givemeamatrix2() {
+ try {
+ return "the Matrix: " + theGiveMeAMatrix().toString();
+ } catch (Throwable e) {
+ e.printStackTrace();
+ return "no Matrix: " + e.toString();
+ }
+ }
+
+ public static Object theGiveMeAMatrix() {
+ double[][] matrixData = { {1d,2d,3d}, {2d,5d,3d}};
+ RealMatrix m = MatrixUtils.createRealMatrix(matrixData);
+ return m;
+ }
+
+ @CindyScript("getdirhead")
+ public static String getdirhead(){
+ if(iswindows()){
+ return System.getProperty("user.home")+"\\ketcindy";
+ }
+ else if(ismacosx()){
+ return System.getProperty("user.home")+"/ketcindy";
+ }
+ else if(islinux()){
+ return System.getProperty("user.home")+"/ketcindy";
+ // "/usr/share/ketcindy";
+ }
+ else{
+ return "unknown";
+ }
+ }
+
+ @CindyScript("getdirhead")
+ public static String getdirhead(String dir){
+ if(iswindows()){
+ return dir+"\\ketcindy";
+ }
+ else if(ismacosx()){
+ return dir+"/ketcindy";
+ }
+ else if(islinux()){
+ return dir+"/ketcindy";
+ }
+ else{
+ return "unknown";
+ }
+ }
+
+ @CindyScript("iskcexists")
+ public static boolean iskcexists(String dir){
+ File file = new File(dir+"/kc.sh");
+ if(file.exists()){
+ file.setExecutable(true,false);
+ //16.10.19
+ return true;
+ }
+ else{
+ return false;
+ }
+ }
+
+ @CindyScript("isexists")
+ // 16.10.02
+ public static boolean isexists(String dir,String fname){
+ File file = new File(dir+"/"+fname);
+ if(file.exists()){
+ return true;
+ }
+ else{
+ return false;
+ }
+ }
+
+ @CindyScript("fileslength")
+ // 16.12.09
+ public static int fileslength(String dirname){
+ File dir=new File(dirname);
+ File[] files=dir.listFiles();
+ String str;
+ String head;
+ int ctr=0;
+ if(dir.exists()){
+ for(int i=0;i<files.length;i++){
+ str=files[i].getName();
+ head=str.substring(0,1);
+ if(head.equals(".")){ctr=ctr+1;}
+ }
+ return files.length-ctr;
+ }
+ else{
+ return -1;
+ }
+ }
+
+ @CindyScript("fileslist")
+ // 16.12.09
+ public static String fileslist(String dirname){
+ File dir=new File(dirname);
+ File[] files=dir.listFiles();
+ String str;
+ String head;
+ String strall="";
+ if(dir.exists()){
+ for(int i=0;i<files.length;i++){
+ str=files[i].getName();
+ head=str.substring(0,1);
+ if(!head.equals(".")){strall=strall+","+str;}
+ }
+ return strall.substring(1);
+ }
+ else{
+ return "";
+ }
+ }
+
+ @CindyScript("setexec")
+ // 16.10.19
+ public static String setexec(String dir,String fname){
+ File file = new File(dir+"/"+fname);
+ File path = new File(dir);
+ if(path.exists()){
+ if(file.exists()){
+ file.setExecutable(true,false);
+ return fname+" executable";
+ }
+ else{
+// file.createNewFile();
+// file.setExecutable(true,false);
+ return fname+" not exists";
+ }
+ }
+ else{
+ return dir+" not exists";
+ }
+ }
+
+ @CindyScript("getdatetime")
+ // 16.10.21
+ public static String getdatetime(){
+ Date date=new Date();
+ return date.toString();
+ }
+
+}
diff --git a/Master/texmf-dist/doc/support/ketcindy/source/KetCindyPlugin/srcold/KetCindyPlugin170605.java b/Master/texmf-dist/doc/support/ketcindy/source/KetCindyPlugin/srcold/KetCindyPlugin170605.java
new file mode 100644
index 00000000000..3a34639335e
--- /dev/null
+++ b/Master/texmf-dist/doc/support/ketcindy/source/KetCindyPlugin/srcold/KetCindyPlugin170605.java
@@ -0,0 +1,377 @@
+import de.cinderella.api.cs.CindyScript;
+import de.cinderella.api.cs.CindyScriptPlugin;
+import org.apache.commons.math.linear.MatrixUtils;
+import org.apache.commons.math.linear.RealMatrix;
+
+import java.awt.*;
+import java.util.ArrayList;
+import java.util.Arrays;
+import java.io.*;
+import java.util.Date;
+//17.06.05
+
+public class KetCindyPlugin extends CindyScriptPlugin {
+
+ public String getName() {
+ return "KetCindy Plugin";
+ }
+
+ public String getAuthor() {
+ return "The KetCindy Project Team";
+ }
+
+ @CindyScript("ketjavaversion")
+ public String ketjavaversion() {
+ return "Ketjava 2017.06.05";
+ }
+
+ @CindyScript("systemproperty")
+ public String getUserID(String s) {
+ return System.getProperty(s);
+ }
+
+ @CindyScript("square")
+ public double quadrieren(double x) {
+ return x * x;
+ }
+
+ @CindyScript("grayvalue")
+ public double getGray(Color c) {
+ return (c.getBlue() + c.getRed() + c.getGreen()) / 3.;
+ }
+
+ @CindyScript("testarray")
+ public String writeArray(ArrayList<Double> al) {
+ return Arrays.toString(al.toArray());
+ }
+
+ @CindyScript("getdir")
+ public String getdir() {
+ return System.getProperty("user.dir");
+ }
+
+ @CindyScript("gethome")
+ public String gethome() {
+ return System.getProperty("user.home");
+ }
+
+ @CindyScript("iswindows")
+ static public boolean iswindows(){
+ String os=System.getProperty("os.name").toLowerCase();
+ if(os!=null && os.startsWith("windows")){
+ return true;
+ }
+ else{
+ return false;
+ }
+ }
+ @CindyScript("ismacosx")
+ public static boolean ismacosx(){
+ String os=System.getProperty("os.name").toLowerCase();
+ if(os!=null && os.startsWith("mac")){
+ return true;
+ }
+ else{
+ return false;
+ }
+ }
+ @CindyScript("islinux")
+ public static boolean islinux(){
+ String os=System.getProperty("os.name").toLowerCase();
+ if(os!=null && os.startsWith("linux")){
+ return true;
+ }
+ else{
+ return false;
+ }
+ }
+
+ @CindyScript("iswin")
+ public static boolean iswin() {
+ String OS_NAME = System.getProperty("os.name").toLowerCase();
+ return OS_NAME.startsWith("windows");
+ }
+
+ @CindyScript("kc")
+ public static String kc(String args){
+ return "Improper call";
+ }
+
+ @CindyScript("kc")
+ public static String kc(String args,String args2,String args3) throws IOException {
+ ProcessBuilder pb = new ProcessBuilder();
+ File f = new File(args);
+ int flg=0;
+ int pos=0;
+ String kst="";
+ BufferedReader br = new BufferedReader(new FileReader(f));
+ String str;
+ while((str = br.readLine()) != null){
+ if(str.indexOf("*")>-1|| str.indexOf("?")>-1){
+ flg=1;
+ }
+ else{
+ str=str.toUpperCase();
+ str=str.replaceAll("\""," "); /* 16.06.08 */
+ if(str.indexOf("RM ")>-1 || str.indexOf("DEL ")>-1){
+ //16.07.21from
+ if(str.indexOf(".DVI")==-1 && str.indexOf(".TXT")==-1){
+ flg=2;
+ }
+ // 16.07.21upto
+ }
+ if(str.indexOf("MV ")>-1 || str.indexOf("MOVE ")>-1){
+ flg=3;
+ }
+ if(str.indexOf("RD ")>-1 || str.indexOf("RMDIR ")>-1){
+ flg=4;
+ }
+ // 16.04.09from
+ if(str.indexOf("SHUTDOWN ")>-1 || str.indexOf("SLEEP ")>-1){
+ flg=5;
+ }
+ if(str.indexOf("CLEAR ")>-1 || str.indexOf("CLS ")>-1){
+ flg=6;
+ }
+ if(str.indexOf("FTP ")>-1|| str.indexOf("TELNET ")>-1){
+ flg=7;
+ }
+ if(str.indexOf("USERMOD ")>-1 || str.indexOf("USERDEL ")>-1){
+ flg=8;
+ }
+ if(str.indexOf("USERADD ")>-1 || str.indexOf("USERMOD ")>-1){
+ flg=9;
+ }
+ if(str.indexOf("CHMOD ")>-1){
+ if(str.indexOf("CHMOD +")==-1){
+ flg=10;
+ }
+ }
+ if(str.indexOf("CRONTAB ")>-1 || str.indexOf("KILL ")>-1){
+ flg=11;
+ }
+ if(str.indexOf("AT ")>-1){
+ pos=str.indexOf("AT ");
+ if(pos==0){
+ flg=12;
+ }
+ else{
+ kst=str.substring(pos-1,pos);
+ if(!kst.equals("B")){
+ flg=12;
+ }
+ }
+ // 16.04.09upto
+ }
+// if(str.indexOf("PATH ")>-1 || str.indexOf("PAUSE ")>-1 || str.indexOf("ARP ")>-1){
+ if(str.indexOf("PAUSE ")>-1 || str.indexOf("ARP ")>-1){
+ flg=13;
+ }
+ if(str.indexOf("RENAME ")>-1 || str.indexOf("START ")>-1){
+ flg=14;
+ }
+ // 16.07.21
+ if(str.indexOf(".SH")>-1 || str.indexOf(".BAT")>-1){
+ if(str.indexOf("MAXIMA.")==-1 && str.indexOf("KC.")==-1){ /* 2016.07.22 */
+ flg=15;
+ }
+ }
+ }
+ if(flg>0){
+ br.close();
+ return "Improper file "+String.valueOf(flg)+" "+str;
+ }
+ }
+ br.close();
+ // 16.06.05from
+ Long tm=System.currentTimeMillis()-f.lastModified();
+ if(tm>10000 || tm<0){ /* 16.06.08 */
+ flg=50;
+ return "Time expired";
+ }
+ if((args.indexOf("kc.")==-1|| args2.indexOf("ketlib")==-1) || args3.indexOf(".t")==-1){
+ flg=60;
+ return "Improper form";
+ }
+ if(flg==0){
+ if(iswindows()){
+ pb.command("cmd.exe","/c","start",args);
+ }
+ else{
+ if(ismacosx()){
+ if(args2.indexOf("open")>-1){ /* 2016.06.07from */
+ pb.command("open",args);
+ }
+ else{
+ pb.command("sh",args);
+ } /* 2016.06.07upto */
+ }
+ else{
+ pb.command("sh",args);
+ }
+ }
+ }
+ Process process = pb.start();
+ return "Normal end";
+ // 16.06.05upto
+ }
+
+ @CindyScript("ispaulvisiting")
+ public static boolean ispaulvisiting() {
+ return true;
+ }
+
+ @CindyScript("texv")
+ public static void texv( String s, String d, String sf, String tf) throws Exception{
+ ProcessBuilder pb = new ProcessBuilder();
+ String[] cmd = {s,d,sf,tf};
+ pb.command(cmd);
+ Process process = pb.start();
+ return ;
+ }
+
+ @CindyScript("givemeamatrix2")
+ public static Object givemeamatrix2() {
+ try {
+ return "the Matrix: " + theGiveMeAMatrix().toString();
+ } catch (Throwable e) {
+ e.printStackTrace();
+ return "no Matrix: " + e.toString();
+ }
+ }
+
+ public static Object theGiveMeAMatrix() {
+ double[][] matrixData = { {1d,2d,3d}, {2d,5d,3d}};
+ RealMatrix m = MatrixUtils.createRealMatrix(matrixData);
+ return m;
+ }
+
+ @CindyScript("getdirhead")
+ public static String getdirhead(){
+ if(iswindows()){
+ return System.getProperty("user.home")+"\\ketcindy";
+ }
+ else if(ismacosx()){
+ return System.getProperty("user.home")+"/ketcindy";
+ }
+ else if(islinux()){
+ return System.getProperty("user.home")+"/ketcindy";
+ // "/usr/share/ketcindy";
+ }
+ else{
+ return "unknown";
+ }
+ }
+
+ @CindyScript("getdirhead")
+ public static String getdirhead(String dir){
+ if(iswindows()){
+ return dir+"\\ketcindy";
+ }
+ else if(ismacosx()){
+ return dir+"/ketcindy";
+ }
+ else if(islinux()){
+ return dir+"/ketcindy";
+ }
+ else{
+ return "unknown";
+ }
+ }
+
+ @CindyScript("iskcexists")
+ public static boolean iskcexists(String dir){
+ File file = new File(dir+"/kc.sh");
+ if(file.exists()){
+ file.setExecutable(true,false);
+ //16.10.19
+ return true;
+ }
+ else{
+ return false;
+ }
+ }
+
+ @CindyScript("isexists")
+ // 16.10.02
+ public static boolean isexists(String dir,String fname){
+ File file = new File(dir+"/"+fname);
+ if(file.exists()){
+ return true;
+ }
+ else{
+ return false;
+ }
+ }
+
+ @CindyScript("fileslength")
+ // 16.12.09
+ public static int fileslength(String dirname){
+ File dir=new File(dirname);
+ File[] files=dir.listFiles();
+ String str;
+ String head;
+ int ctr=0;
+ if(dir.exists()){
+ for(int i=0;i<files.length;i++){
+ str=files[i].getName();
+ head=str.substring(0,1);
+ if(head.equals(".")){ctr=ctr+1;}
+ }
+ return files.length-ctr;
+ }
+ else{
+ return -1;
+ }
+ }
+
+ @CindyScript("fileslist")
+ // 16.12.09
+ public static String fileslist(String dirname){
+ File dir=new File(dirname);
+ File[] files=dir.listFiles();
+ String str;
+ String head;
+ String strall="";
+ if(dir.exists()){
+ for(int i=0;i<files.length;i++){
+ str=files[i].getName();
+ head=str.substring(0,1);
+ if(!head.equals(".")){strall=strall+","+str;}
+ }
+ return strall.substring(1);
+ }
+ else{
+ return "";
+ }
+ }
+
+ @CindyScript("setexec")
+ // 16.10.19
+ public static String setexec(String dir,String fname){
+ File file = new File(dir+"/"+fname);
+ File path = new File(dir);
+ if(path.exists()){
+ if(file.exists()){
+ file.setExecutable(true,false);
+ return fname+" executable";
+ }
+ else{
+// file.createNewFile();
+// file.setExecutable(true,false);
+ return fname+" not exists";
+ }
+ }
+ else{
+ return dir+" not exists";
+ }
+ }
+
+ @CindyScript("getdatetime")
+ // 16.10.21
+ public static String getdatetime(){
+ Date date=new Date();
+ return date.toString();
+ }
+
+}
diff --git a/Master/texmf-dist/doc/support/ketcindy/source/KetCindyPlugin/srcold/KetCindyPlugin170906.java b/Master/texmf-dist/doc/support/ketcindy/source/KetCindyPlugin/srcold/KetCindyPlugin170906.java
new file mode 100644
index 00000000000..404d9e3e162
--- /dev/null
+++ b/Master/texmf-dist/doc/support/ketcindy/source/KetCindyPlugin/srcold/KetCindyPlugin170906.java
@@ -0,0 +1,388 @@
+import de.cinderella.api.cs.CindyScript;
+import de.cinderella.api.cs.CindyScriptPlugin;
+import org.apache.commons.math.linear.MatrixUtils;
+import org.apache.commons.math.linear.RealMatrix;
+
+import java.awt.*;
+import java.util.ArrayList;
+import java.util.Arrays;
+import java.io.*;
+import java.util.Date;
+//17.06.05
+
+public class KetCindyPlugin extends CindyScriptPlugin {
+
+ public String getName() {
+ return "KetCindy Plugin";
+ }
+
+ public String getAuthor() {
+ return "The KetCindy Project Team";
+ }
+
+ @CindyScript("ketjavaversion")
+ public String ketjavaversion() {
+ return "Ketjava 2017.06.05";
+ }
+
+ @CindyScript("systemproperty")
+ public String getUserID(String s) {
+ return System.getProperty(s);
+ }
+
+ @CindyScript("square")
+ public double quadrieren(double x) {
+ return x * x;
+ }
+
+ @CindyScript("grayvalue")
+ public double getGray(Color c) {
+ return (c.getBlue() + c.getRed() + c.getGreen()) / 3.;
+ }
+
+ @CindyScript("testarray")
+ public String writeArray(ArrayList<Double> al) {
+ return Arrays.toString(al.toArray());
+ }
+
+ @CindyScript("getdir")
+ public String getdir() {
+ return System.getProperty("user.dir");
+ }
+
+ @CindyScript("gethome")
+ public String gethome() {
+ return System.getProperty("user.home");
+ }
+
+ @CindyScript("iswindows")
+ static public boolean iswindows(){
+ String os=System.getProperty("os.name").toLowerCase();
+ if(os!=null && os.startsWith("windows")){
+ return true;
+ }
+ else{
+ return false;
+ }
+ }
+ @CindyScript("ismacosx")
+ public static boolean ismacosx(){
+ String os=System.getProperty("os.name").toLowerCase();
+ if(os!=null && os.startsWith("mac")){
+ return true;
+ }
+ else{
+ return false;
+ }
+ }
+ @CindyScript("islinux")
+ public static boolean islinux(){
+ String os=System.getProperty("os.name").toLowerCase();
+ if(os!=null && os.startsWith("linux")){
+ return true;
+ }
+ else{
+ return false;
+ }
+ }
+
+ @CindyScript("iswin")
+ public static boolean iswin() {
+ String OS_NAME = System.getProperty("os.name").toLowerCase();
+ return OS_NAME.startsWith("windows");
+ }
+
+ @CindyScript("kc")
+ public static String kc(String args){
+ return "Improper call";
+ }
+
+ @CindyScript("kc")
+ public static String kc(String args,String args2,String args3) throws IOException {
+ ProcessBuilder pb = new ProcessBuilder();
+ File f = new File(args);
+ int flg=0;
+ int pos=0;
+ String kst="";
+ BufferedReader br = new BufferedReader(new FileReader(f));
+ String str;
+ while((str = br.readLine()) != null){
+ if(str.indexOf("*")>-1|| str.indexOf("?")>-1){
+ flg=1;
+ }
+ else{
+ str=str.toUpperCase();
+ str=str.replaceAll("\""," "); /* 16.06.08 */
+ if(str.indexOf("RM ")>-1 || str.indexOf("DEL ")>-1){
+ //16.07.21from
+ if(str.indexOf(".DVI")==-1 && str.indexOf(".TXT")==-1){
+ flg=2;
+ }
+ // 16.07.21upto
+ }
+ if(str.indexOf("MV ")>-1 || str.indexOf("MOVE ")>-1){
+ flg=3;
+ }
+ if(str.indexOf("RD ")>-1 || str.indexOf("RMDIR ")>-1){
+ flg=4;
+ }
+ // 16.04.09from
+ if(str.indexOf("SHUTDOWN ")>-1 || str.indexOf("SLEEP ")>-1){
+ flg=5;
+ }
+ if(str.indexOf("CLEAR ")>-1 || str.indexOf("CLS ")>-1){
+ flg=6;
+ }
+ if(str.indexOf("FTP ")>-1|| str.indexOf("TELNET ")>-1){
+ flg=7;
+ }
+ if(str.indexOf("USERMOD ")>-1 || str.indexOf("USERDEL ")>-1){
+ flg=8;
+ }
+ if(str.indexOf("USERADD ")>-1 || str.indexOf("USERMOD ")>-1){
+ flg=9;
+ }
+ if(str.indexOf("CHMOD ")>-1){
+ if(str.indexOf("CHMOD +")==-1){
+ flg=10;
+ }
+ }
+ if(str.indexOf("CRONTAB ")>-1 || str.indexOf("KILL ")>-1){
+ flg=11;
+ }
+ if(str.indexOf("AT ")>-1){
+ pos=str.indexOf("AT ");
+ if(pos==0){
+ flg=12;
+ }
+ else{
+ kst=str.substring(pos-1,pos);
+ if(!kst.equals("B")){
+ flg=12;
+ }
+ }
+ // 16.04.09upto
+ }
+// if(str.indexOf("PATH ")>-1 || str.indexOf("PAUSE ")>-1 || str.indexOf("ARP ")>-1){
+ if(str.indexOf("PAUSE ")>-1 || str.indexOf("ARP ")>-1){
+ flg=13;
+ }
+ if(str.indexOf("RENAME ")>-1 || str.indexOf("START ")>-1){
+ flg=14;
+ }
+ // 16.07.21
+ if(str.indexOf(".SH")>-1 || str.indexOf(".BAT")>-1){
+ if(str.indexOf("MAXIMA.")==-1 && str.indexOf("KC.")==-1){ /* 2016.07.22 */
+ flg=15;
+ }
+ }
+ }
+ if(flg>0){
+ br.close();
+ return "Improper file "+String.valueOf(flg)+" "+str;
+ }
+ }
+ br.close();
+ // 16.06.05from
+ Long tm=System.currentTimeMillis()-f.lastModified();
+ if(tm>10000 || tm<0){ /* 16.06.08 */
+ flg=50;
+ return "Time expired";
+ }
+ if((args.indexOf("kc.")==-1|| args2.indexOf("ketlib")==-1) || args3.indexOf(".t")==-1){
+ flg=60;
+ return "Improper form";
+ }
+ if(flg==0){
+ if(iswindows()){
+ pb.command("cmd.exe","/c","start",args);
+ }
+ else{
+ if(ismacosx()){
+ if(args2.indexOf("open")>-1){ /* 2016.06.07from */
+ pb.command("open",args);
+ }
+ else{
+ pb.command("sh",args);
+ } /* 2016.06.07upto */
+ }
+ else{
+ pb.command("sh",args);
+ }
+ }
+ }
+ Process process = pb.start();
+ return "Normal end";
+ // 16.06.05upto
+ }
+
+ @CindyScript("ispaulvisiting")
+ public static boolean ispaulvisiting() {
+ return true;
+ }
+
+ @CindyScript("texv")
+ public static void texv( String s, String d, String sf, String tf) throws Exception{
+ ProcessBuilder pb = new ProcessBuilder();
+ String[] cmd = {s,d,sf,tf};
+ pb.command(cmd);
+ Process process = pb.start();
+ return ;
+ }
+
+ @CindyScript("givemeamatrix2")
+ public static Object givemeamatrix2() {
+ try {
+ return "the Matrix: " + theGiveMeAMatrix().toString();
+ } catch (Throwable e) {
+ e.printStackTrace();
+ return "no Matrix: " + e.toString();
+ }
+ }
+
+ public static Object theGiveMeAMatrix() {
+ double[][] matrixData = { {1d,2d,3d}, {2d,5d,3d}};
+ RealMatrix m = MatrixUtils.createRealMatrix(matrixData);
+ return m;
+ }
+
+ @CindyScript("getdirhead")
+ public static String getdirhead(){
+ if(iswindows()){
+ return System.getProperty("user.home")+"\\ketcindy";
+ }
+ else if(ismacosx()){
+ return System.getProperty("user.home")+"/ketcindy";
+ }
+ else if(islinux()){
+ return System.getProperty("user.home")+"/ketcindy";
+ // "/usr/share/ketcindy";
+ }
+ else{
+ return "unknown";
+ }
+ }
+
+ @CindyScript("getdirhead")
+ public static String getdirhead(String dir){
+ if(iswindows()){
+ return dir+"\\ketcindy";
+ }
+ else if(ismacosx()){
+ return dir+"/ketcindy";
+ }
+ else if(islinux()){
+ return dir+"/ketcindy";
+ }
+ else{
+ return "unknown";
+ }
+ }
+
+ @CindyScript("iskcexists")
+ public static boolean iskcexists(String dir){
+ File file = new File(dir+"/kc.sh");
+ if(file.exists()){
+ file.setExecutable(true,false);
+ //16.10.19
+ return true;
+ }
+ else{
+ return false;
+ }
+ }
+
+ @CindyScript("isexists")
+ // 16.10.02
+ public static boolean isexists(String dir,String fname){
+ File file = new File(dir+"/"+fname);
+ if(file.exists()){
+ return true;
+ }
+ else{
+ return false;
+ }
+ }
+
+ @CindyScript("makedir")
+ // 17.09.06
+ public static boolean makedir(String dir,String dirname){
+ File newfile = new File(dir+"/"+dirname);
+ if (newfile.mkdir()){
+ return true;
+ }else{
+ return false;
+ }
+ }
+
+ @CindyScript("fileslength")
+ // 16.12.09
+ public static int fileslength(String dirname){
+ File dir=new File(dirname);
+ File[] files=dir.listFiles();
+ String str;
+ String head;
+ int ctr=0;
+ if(dir.exists()){
+ for(int i=0;i<files.length;i++){
+ str=files[i].getName();
+ head=str.substring(0,1);
+ if(head.equals(".")){ctr=ctr+1;}
+ }
+ return files.length-ctr;
+ }
+ else{
+ return -1;
+ }
+ }
+
+ @CindyScript("fileslist")
+ // 16.12.09
+ public static String fileslist(String dirname){
+ File dir=new File(dirname);
+ File[] files=dir.listFiles();
+ String str;
+ String head;
+ String strall="";
+ if(dir.exists()){
+ for(int i=0;i<files.length;i++){
+ str=files[i].getName();
+ head=str.substring(0,1);
+ if(!head.equals(".")){strall=strall+","+str;}
+ }
+ return strall.substring(1);
+ }
+ else{
+ return "";
+ }
+ }
+
+ @CindyScript("setexec")
+ // 16.10.19
+ public static String setexec(String dir,String fname){
+ File file = new File(dir+"/"+fname);
+ File path = new File(dir);
+ if(path.exists()){
+ if(file.exists()){
+ file.setExecutable(true,false);
+ return fname+" executable";
+ }
+ else{
+// file.createNewFile();
+// file.setExecutable(true,false);
+ return fname+" not exists";
+ }
+ }
+ else{
+ return dir+" not exists";
+ }
+ }
+
+ @CindyScript("getdatetime")
+ // 16.10.21
+ public static String getdatetime(){
+ Date date=new Date();
+ return date.toString();
+ }
+
+}
diff --git a/Master/texmf-dist/doc/support/ketcindy/source/KetCindyPlugin/srcold/KetCindyPlugin171112.java b/Master/texmf-dist/doc/support/ketcindy/source/KetCindyPlugin/srcold/KetCindyPlugin171112.java
new file mode 100644
index 00000000000..3e7d6312802
--- /dev/null
+++ b/Master/texmf-dist/doc/support/ketcindy/source/KetCindyPlugin/srcold/KetCindyPlugin171112.java
@@ -0,0 +1,399 @@
+import de.cinderella.api.cs.CindyScript;
+import de.cinderella.api.cs.CindyScriptPlugin;
+import org.apache.commons.math.linear.MatrixUtils;
+import org.apache.commons.math.linear.RealMatrix;
+
+import java.awt.*;
+import java.util.ArrayList;
+import java.util.Arrays;
+import java.io.*;
+import java.util.Date;
+
+public class KetCindyPlugin extends CindyScriptPlugin {
+
+ @CindyScript("ketjavaversion")
+ public String ketjavaversion() {
+ return "Ketjava 2017.11.08";
+ }
+
+ public String getName() {
+ return "KetCindy Plugin";
+ }
+
+ public String getAuthor() {
+ return "The KetCindy Project Team";
+ }
+
+ @CindyScript("systemproperty")
+ public String getUserID(String s) {
+ return System.getProperty(s);
+ }
+
+ @CindyScript("square")
+ public double quadrieren(double x) {
+ return x * x;
+ }
+
+ @CindyScript("grayvalue")
+ public double getGray(Color c) {
+ return (c.getBlue() + c.getRed() + c.getGreen()) / 3.;
+ }
+
+ @CindyScript("testarray")
+ public String writeArray(ArrayList<Double> al) {
+ return Arrays.toString(al.toArray());
+ }
+
+ @CindyScript("getdir")
+ public String getdir() {
+ return System.getProperty("user.dir");
+ }
+
+ @CindyScript("gethome")
+ public String gethome() {
+ return System.getProperty("user.home");
+ }
+
+ @CindyScript("getname")
+ // 17.10.08
+ public String getname() {
+ return System.getProperty("user.name");
+ }
+
+ @CindyScript("iswindows")
+ static public boolean iswindows(){
+ String os=System.getProperty("os.name").toLowerCase();
+ if(os!=null && os.startsWith("windows")){
+ return true;
+ }
+ else{
+ return false;
+ }
+ }
+ @CindyScript("ismacosx")
+ public static boolean ismacosx(){
+ String os=System.getProperty("os.name").toLowerCase();
+ if(os!=null && os.startsWith("mac")){
+ return true;
+ }
+ else{
+ return false;
+ }
+ }
+ @CindyScript("islinux")
+ public static boolean islinux(){
+ String os=System.getProperty("os.name").toLowerCase();
+ if(os!=null && os.startsWith("linux")){
+ return true;
+ }
+ else{
+ return false;
+ }
+ }
+
+ @CindyScript("iswin")
+ public static boolean iswin() {
+ String OS_NAME = System.getProperty("os.name").toLowerCase();
+ return OS_NAME.startsWith("windows");
+ }
+
+ @CindyScript("kc")
+ public static String kc(String args){
+ return "Improper call";
+ }
+
+ @CindyScript("kc")
+ public static String kc(String args,String args2,String args3) throws IOException {
+ ProcessBuilder pb = new ProcessBuilder();
+ File f = new File(args);
+ int flg=0;
+ int pos=0;
+ String kst="";
+ BufferedReader br = new BufferedReader(new FileReader(f));
+ String str;
+ while((str = br.readLine()) != null){
+ if(str.indexOf("*")>-1|| str.indexOf("?")>-1){
+ flg=1;
+ }
+ else{
+ str=str.toUpperCase();
+ str=str.replaceAll("\""," "); /* 16.06.08 */
+ if(str.indexOf("RM ")>-1 || str.indexOf("DEL ")>-1){
+ //16.07.21from
+ if(str.indexOf(".DVI")==-1 && str.indexOf(".TXT")==-1){
+ flg=2;
+ }
+ // 16.07.21upto
+ }
+ if(str.indexOf("MV ")>-1 || str.indexOf("MOVE ")>-1){
+ flg=3;
+ }
+ if(str.indexOf("RD ")>-1 || str.indexOf("RMDIR ")>-1){
+ flg=4;
+ }
+ // 16.04.09from
+ if(str.indexOf("SHUTDOWN ")>-1 || str.indexOf("SLEEP ")>-1){
+ flg=5;
+ }
+ if(str.indexOf("CLEAR ")>-1 || str.indexOf("CLS ")>-1){
+ flg=6;
+ }
+ if(str.indexOf("FTP ")>-1|| str.indexOf("TELNET ")>-1){
+ flg=7;
+ }
+ if(str.indexOf("USERMOD ")>-1 || str.indexOf("USERDEL ")>-1){
+ flg=8;
+ }
+ if(str.indexOf("USERADD ")>-1 || str.indexOf("USERMOD ")>-1){
+ flg=9;
+ }
+ if(str.indexOf("CHMOD ")>-1){
+ if(str.indexOf("CHMOD +")==-1){
+ flg=10;
+ }
+ }
+ if(str.indexOf("CRONTAB ")>-1 || str.indexOf("KILL ")>-1){
+ flg=11;
+ }
+ if(str.indexOf("AT ")>-1){
+ pos=str.indexOf("AT ");
+ if(pos==0){
+ flg=12;
+ }
+ else{
+ kst=str.substring(pos-1,pos);
+ if(!kst.equals("B")){
+ flg=12;
+ }
+ }
+ // 16.04.09upto
+ }
+// if(str.indexOf("PATH ")>-1 || str.indexOf("PAUSE ")>-1 || str.indexOf("ARP ")>-1){
+ if(str.indexOf("PAUSE ")>-1 || str.indexOf("ARP ")>-1){
+ flg=13;
+ }
+ if(str.indexOf("RENAME ")>-1 || str.indexOf("START ")>-1){
+ flg=14;
+ }
+ // 16.07.21
+ if(str.indexOf(".SH")>-1 || str.indexOf(".BAT")>-1){
+ if(str.indexOf("MAXIMA.")==-1 && str.indexOf("KC.")==-1){ /* 2016.07.22 */
+ flg=15;
+ }
+ }
+ }
+ if(flg>0){
+ br.close();
+ return "Improper file "+String.valueOf(flg)+" "+str;
+ }
+ }
+ br.close();
+ // 16.06.05from
+ Long tm=System.currentTimeMillis()-f.lastModified();
+ if(tm>10000 || tm<0){ /* 16.06.08 */
+ flg=50;
+ return "Time expired";
+ }
+ if((args.indexOf("kc.")==-1|| args2.indexOf("ketlib")==-1) || args3.indexOf(".t")==-1){
+ flg=60;
+ return "Improper form";
+ }
+ if(flg==0){
+ if(iswindows()){
+ pb.command("cmd.exe","/c","start",args);
+ }
+ else{
+ if(ismacosx()){
+ if(args2.indexOf("open")>-1){ /* 2016.06.07from */
+ pb.command("open",args);
+ }
+ else{
+ pb.command("sh",args);
+ } /* 2016.06.07upto */
+ }
+ else{
+ pb.command("sh",args);
+ }
+ }
+ }
+ Process process = pb.start();
+ return "Normal end";
+ // 16.06.05upto
+ }
+
+ @CindyScript("ispaulvisiting")
+ public static boolean ispaulvisiting() {
+ return true;
+ }
+
+ @CindyScript("texv")
+ public static void texv( String s, String d, String sf, String tf) throws Exception{
+ ProcessBuilder pb = new ProcessBuilder();
+ String[] cmd = {s,d,sf,tf};
+ pb.command(cmd);
+ Process process = pb.start();
+ return ;
+ }
+
+ @CindyScript("givemeamatrix2")
+ public static Object givemeamatrix2() {
+ try {
+ return "the Matrix: " + theGiveMeAMatrix().toString();
+ } catch (Throwable e) {
+ e.printStackTrace();
+ return "no Matrix: " + e.toString();
+ }
+ }
+
+ public static Object theGiveMeAMatrix() {
+ double[][] matrixData = { {1d,2d,3d}, {2d,5d,3d}};
+ RealMatrix m = MatrixUtils.createRealMatrix(matrixData);
+ return m;
+ }
+
+ @CindyScript("getdirhead")
+ public static String getdirhead(){
+ if(iswindows()){
+ return System.getProperty("user.home")+"\\ketcindy";
+ }
+ else if(ismacosx()){
+ return System.getProperty("user.home")+"/ketcindy";
+ }
+ else if(islinux()){
+ return System.getProperty("user.home")+"/ketcindy";
+ // "/usr/share/ketcindy";
+ }
+ else{
+ return "unknown";
+ }
+ }
+
+ @CindyScript("getdirhead")
+ public static String getdirhead(String dir){
+ if(iswindows()){
+ return dir+"\\ketcindy";
+ }
+ else if(ismacosx()){
+ return dir+"/ketcindy";
+ }
+ else if(islinux()){
+ return dir+"/ketcindy";
+ }
+ else{
+ return "unknown";
+ }
+ }
+
+ @CindyScript("iskcexists")
+ public static boolean iskcexists(String dir){
+ File file = new File(dir+"/kc.sh");
+ if(file.exists()){
+ file.setExecutable(true,false);
+ //16.10.19
+ return true;
+ }
+ else{
+ return false;
+ }
+ }
+
+ @CindyScript("pathsep")
+ // 17.09.06
+ public static String pathsep(){
+ return File.separator;
+ }
+
+ @CindyScript("isexists")
+ // 16.10.02
+ public static boolean isexists(String dir,String fname){
+ File file = new File(dir+File.separator+fname);
+ if(file.exists()){
+ return true;
+ }
+ else{
+ return false;
+ }
+ }
+
+ @CindyScript("makedir")
+ // 17.09.06
+ public static String makedir(String dir,String dirname){
+ File newfile = new File(dir+File.separator+dirname);
+ if (newfile.mkdir()){
+ return dirname+" created";
+ }else{
+ return dirname+" already exists";
+ }
+ }
+
+ @CindyScript("fileslength")
+ // 16.12.09
+ public static int fileslength(String dirname){
+ File dir=new File(dirname);
+ File[] files=dir.listFiles();
+ String str;
+ String head;
+ int ctr=0;
+ if(dir.exists()){
+ for(int i=0;i<files.length;i++){
+ str=files[i].getName();
+ head=str.substring(0,1);
+ if(head.equals(".")){ctr=ctr+1;}
+ }
+ return files.length-ctr;
+ }
+ else{
+ return -1;
+ }
+ }
+
+ @CindyScript("fileslist")
+ // 16.12.09
+ public static String fileslist(String dirname){
+ File dir=new File(dirname);
+ File[] files=dir.listFiles();
+ String str;
+ String head;
+ String strall="";
+ if(dir.exists()){
+ for(int i=0;i<files.length;i++){
+ str=files[i].getName();
+ head=str.substring(0,1);
+ if(!head.equals(".")){strall=strall+","+str;}
+ }
+ return strall.substring(1);
+ }
+ else{
+ return "";
+ }
+ }
+
+ @CindyScript("setexec")
+ // 16.10.19
+ public static String setexec(String dir,String fname){
+ File file = new File(dir+File.separator+fname);
+ File path = new File(dir);
+ if(path.exists()){
+ if(file.exists()){
+ file.setExecutable(true,false);
+ return fname+" executable";
+ }
+ else{
+// file.createNewFile();
+// file.setExecutable(true,false);
+ return fname+" not exists";
+ }
+ }
+ else{
+ return dir+" not exists";
+ }
+ }
+
+ @CindyScript("getdatetime")
+ // 16.10.21
+ public static String getdatetime(){
+ Date date=new Date();
+ return date.toString();
+ }
+
+}