summaryrefslogtreecommitdiff
path: root/texmf-dist/doc/support/ketcindy/source/ketjava/KetCindyPlugin.java
diff options
context:
space:
mode:
Diffstat (limited to 'texmf-dist/doc/support/ketcindy/source/ketjava/KetCindyPlugin.java')
-rw-r--r--texmf-dist/doc/support/ketcindy/source/ketjava/KetCindyPlugin.java430
1 files changed, 0 insertions, 430 deletions
diff --git a/texmf-dist/doc/support/ketcindy/source/ketjava/KetCindyPlugin.java b/texmf-dist/doc/support/ketcindy/source/ketjava/KetCindyPlugin.java
deleted file mode 100644
index 4aa74435..00000000
--- a/texmf-dist/doc/support/ketcindy/source/ketjava/KetCindyPlugin.java
+++ /dev/null
@@ -1,430 +0,0 @@
-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();
- }
-
-}