Plugin.java

 package is.L42.connected.withAlu;

import java.io.IOException;
import java.nio.file.Files;
import java.nio.file.Paths;

import platformSpecific.fakeInternet.ActionType;
import platformSpecific.fakeInternet.PluginType;
import platformSpecific.javaTranslation.Resources;
import facade.L42;
import static auxiliaryGrammar.EncodingHelper.*;

public class Plugin implements PluginType {
  // +
  @ActionType({ActionType.Type.Library,ActionType.Type.Library,ActionType.Type.Library})
  public  Object MsumInt32£xn1£xn2(Object cb1,Object cb2){
    Integer i1=ensureExtractInt32(cb1);
    Integer i2=ensureExtractInt32(cb2);
    return i1+i2;
  }
  //*
  @ActionType({ActionType.Type.Library,ActionType.Type.Library,ActionType.Type.Library})
  public  Object MmulInt32£xn1£xn2(Object cb1,Object cb2){
    Integer i1=ensureExtractInt32(cb1);
    Integer i2=ensureExtractInt32(cb2);
    return i1*i2;
  }
  // /
  @ActionType({ActionType.Type.Library,ActionType.Type.Library,ActionType.Type.Library})
  public  Object MdivInt32£xn1£xn2(Object cb1,Object cb2){
    Integer i1=ensureExtractInt32(cb1);
    Integer i2=ensureExtractInt32(cb2);
    return i1/i2;
  }
  //-
  @ActionType({ActionType.Type.Library,ActionType.Type.Library,ActionType.Type.Library})
  public  Object MsubInt32£xn1£xn2(Object cb1,Object cb2){
    Integer i1=ensureExtractInt32(cb1);
    Integer i2=ensureExtractInt32(cb2);
    return i1-i2;
  }
  //&
  @ActionType({ActionType.Type.Library,ActionType.Type.Library,ActionType.Type.Library})
  public  Object MandInt32£xn1£xn2(Object cb1,Object cb2){
    Integer i1=ensureExtractInt32(cb1);
    Integer i2=ensureExtractInt32(cb2);
    return i1 & i2;
  }
  // |
  @ActionType({ActionType.Type.Library,ActionType.Type.Library,ActionType.Type.Library})
  public  Object MorInt32£xn1£xn2(Object cb1,Object cb2){
    Integer i1=ensureExtractInt32(cb1);
    Integer i2=ensureExtractInt32(cb2);
    return i1 | i2;
  }
  // ^
  @ActionType({ActionType.Type.Library,ActionType.Type.Library,ActionType.Type.Library})
  public  Object MxorInt32£xn1£xn2(Object cb1,Object cb2){
    Integer i1=ensureExtractInt32(cb1);
    Integer i2=ensureExtractInt32(cb2);
    return i1 ^ i2;
  }
  // <<
  @ActionType({ActionType.Type.Library,ActionType.Type.Library,ActionType.Type.Library})
  public  Object MleftShiftInt32£xn1£xn2(Object cb1,Object cb2){
    Integer i1=ensureExtractInt32(cb1);
    Integer i2=ensureExtractInt32(cb2);
    if(i2>=32){return 0;}
    return i1 << i2;
  }
//>>
 @ActionType({ActionType.Type.Library,ActionType.Type.Library,ActionType.Type.Library})
 public  Object MrightShiftInt32£xn1£xn2(Object cb1,Object cb2){
   Integer i1=ensureExtractInt32(cb1);
   Integer i2=ensureExtractInt32(cb2);
   if(i2>=32){return 0;}
   return i1 >>> i2;
 }
  //~
  @ActionType({ActionType.Type.Library,ActionType.Type.Library})
  public  Object MnotInt32£xn1(Object cb1){
    Integer i1=ensureExtractInt32(cb1);
    return ~i1 ;
  }
  //==
  @ActionType({ActionType.Type.Void,ActionType.Type.Library,ActionType.Type.Library})
  public  Resources.Void MifInt32EqualDo£xn1£xn2(Object cb1,Object cb2){
    Integer i1=ensureExtractInt32(cb1);
    Integer i2=ensureExtractInt32(cb2);
    if(!i1.equals(i2)){return Resources.Void.instance;}
    throw Resources.notAct;
  }
  //<
  @ActionType({ActionType.Type.Void,ActionType.Type.Library,ActionType.Type.Library})
  public  Resources.Void MifInt32GrtDo£xn1£xn2(Object cb1,Object cb2){
    Integer i1=ensureExtractInt32(cb1);
    Integer i2=ensureExtractInt32(cb2);
    if(!(i1<i2)){return Resources.Void.instance;}
    throw Resources.notAct;
  }
  //<=
  @ActionType({ActionType.Type.Void,ActionType.Type.Library,ActionType.Type.Library})
  public  Resources.Void MifInt32GEqDo£xn1£xn2(Object cb1,Object cb2){
    Integer i1=ensureExtractInt32(cb1);
    Integer i2=ensureExtractInt32(cb2);
    if(!(i1<=i2)){return Resources.Void.instance;}
    throw Resources.notAct;
  }
//< unsigned
  @ActionType({ActionType.Type.Void,ActionType.Type.Library,ActionType.Type.Library})
  public  Resources.Void MifUInt32GrtDo£xn1£xn2(Object cb1,Object cb2){
    Integer i1=ensureExtractInt32(cb1);
    Integer i2=ensureExtractInt32(cb2);
    if(Integer.compareUnsigned(i1,i2)>=0){return Resources.Void.instance;}
    throw Resources.notAct;
  }
//<= unsigned
  @ActionType({ActionType.Type.Void,ActionType.Type.Library,ActionType.Type.Library})
  public  Resources.Void MifUInt32GEqDo£xn1£xn2(Object cb1,Object cb2){
    Integer i1=ensureExtractInt32(cb1);
    Integer i2=ensureExtractInt32(cb2);
    if(Integer.compareUnsigned(i1,i2)>0){return Resources.Void.instance;}
    throw Resources.notAct;
  }
  @ActionType({ActionType.Type.Library,ActionType.Type.Library})
  public  Object MstringToInt32£xthat(Object cb){
    String s=ensureExtractStringU(cb);
    try{return new Integer(s);}
    catch(NumberFormatException nfe){throw new Resources.Error("InvalidEncodingForI32: "+s);    }
  }
  
  @ActionType({ActionType.Type.Library})
  public  Object MconstStringEmpty(){return "";}
  

  @ActionType({ActionType.Type.Library,ActionType.Type.Library})
  public  Object Mint32ToString£xthat(Object cb){
    Integer i=ensureExtractInt32(cb);
    return ""+i;
  }
  //isTrueBool
  @ActionType({ActionType.Type.Void,ActionType.Type.Library})
  public  Resources.Void MifFalseBoolDo£xthat(Object cb1){
    Boolean b=ensureExtractBool(cb1);
    if(b){return Resources.Void.instance;}
    throw Resources.notAct;
  }
  @ActionType({ActionType.Type.Library})
  public  Object MconstTrue(){return true;}
  
  @ActionType({ActionType.Type.Library})
  public  Object MconstFalse(){return false;} 
  
  @ActionType({ActionType.Type.Void,ActionType.Type.Library})
  public Resources.Void MstringDebug£xthat(Object cb){
    String s=ensureExtractStringU(cb);
    L42.printDebug(s);
    return Resources.Void.instance;
  }
  @ActionType({ActionType.Type.Void,ActionType.Type.Library,ActionType.Type.Library})
  public Resources.Void MfileDebug£xfileName£xcontent(Object _fName,Object _content){
    String fName=ensureExtractStringU(_fName);
    String content=ensureExtractStringU(_content);
    java.nio.file.Path p=Paths.get(fName);
    try {Files.write(p, content.getBytes());}
    catch (IOException e) {throw new Error(e);}
    return Resources.Void.instance;
  }

  @ActionType({ActionType.Type.Library,ActionType.Type.Library})
  public Object MfileReadDebug£xfileName(Object _fName){
    String fName=ensureExtractStringU(_fName);
    java.nio.file.Path p=Paths.get(fName);
    try {
      byte[] res = Files.readAllBytes(p);
      return new String(res);
      }
    catch (IOException e) {throw new Error(e);}
  }
  @ActionType({ActionType.Type.Library,ActionType.Type.Library})
  public Object MlocalToAbsolute£xfileName(Object _fName){
    String fName=ensureExtractStringU(_fName);
    java.nio.file.Path p= Paths.get(fName);
    String s = p.toAbsolutePath().normalize().toString();
    return s;
  }



  @ActionType({ActionType.Type.Library,ActionType.Type.Library,ActionType.Type.Library})
  public  Object MstringConcat£xs1£xs2(Object cb1,Object cb2){
    String s1=ensureExtractStringU(cb1);
    String s2=ensureExtractStringU(cb2);
    return s1+s2;
  }
  @ActionType({ActionType.Type.Library,ActionType.Type.Library})
  public  Object MstringSize£xthat(Object cb1){
    String s1=ensureExtractStringU(cb1);
    return s1.length();
  }
  @ActionType({ActionType.Type.Library,ActionType.Type.Library,ActionType.Type.Library,ActionType.Type.Library})
  public  Object MstringSubstring£xthat£xstart£xend(Object cb1,Object _start,Object _end){
    String s1=ensureExtractStringU(cb1);
    int start=ensureExtractInt32(_start);
    int end=ensureExtractInt32(_end);
    if(start<0||end<0){throw new Resources.Error("NegativeIndexNotAllowed:"+start+","+end);}
    end=Math.min(end,s1.length());
    if(start>=s1.length()){return "";}
    String r = s1.substring(start, end);
    return r;
  }
  
  @ActionType({ActionType.Type.Void,ActionType.Type.Library,ActionType.Type.Library})
  public Resources.Void MifStringEqualDo£xs1£xs2(Object cb1,Object cb2){
    String s1=ensureExtractStringU(cb1);
    String s2=ensureExtractStringU(cb2);
    if(!s1.equals(s2)){return Resources.Void.instance;}
    throw Resources.notAct;
  }
  @ActionType({ActionType.Type.Library,ActionType.Type.Library,ActionType.Type.Library,ActionType.Type.Library})
  public Object MstringReplace£xthat£xsrc£xdest(Object _that,Object _src,Object _dest){
    String that=ensureExtractStringU(_that);
    String src=ensureExtractStringU(_src);
    String dest=ensureExtractStringU(_dest);
    System.out.println(that +"|||"+src+"|||"+dest+"|||"+that.replace(src, dest));
    return that.replace(src, dest);
  }
}