Convert Java Code to ArmSIm

src/encoding/Base64Encoding.java

src/encoding/Base64Encoding.java

package  encoding ;

import  java . io . BufferedWriter ;
import  java . io . FileWriter ;
import  java . io . IOException ;
import  java . nio . charset . Charset ;
import  java . nio . charset . StandardCharsets ;
import  java . nio . file . Files ;
import  java . nio . file . Paths ;

public   class   Base64Encoding   {

     private   static   final   String  base64code  =   "ABCDEFGHIJKLMNOPQRSTUVWXYZ"
             +   "abcdefghijklmnopqrstuvwxyz"   +   "0123456789"   +   "+/" ;

     private   static   final   int  splitLinesAt  =   76 ;

     public   static   byte []  zeroPad ( int  length ,   byte []  bytes )   {
         byte []  padded  =   new   byte [ length ];   // initialized to zero by JVM
         System . arraycopy ( bytes ,   0 ,  padded ,   0 ,  bytes . length );
         return  padded ;
     }

     public   static   String  encode ( String  string )   {

         String  encoded  =   "" ;
         byte []  stringArray ;
         try   {
            stringArray  =  string . getBytes ( "UTF-8" );   // use appropriate encoding
                                                     // string!
         }   catch   ( Exception  ignored )   {
            stringArray  =  string . getBytes ();   // use locale default rather than
                                                 // croak
         }
         // determine how many padding bytes to add to the output
         int  paddingCount  =   ( 3   -   ( stringArray . length  %   3 ))   %   3 ;
         // add any necessary padding to the input
        stringArray  =  zeroPad ( stringArray . length  +  paddingCount ,  stringArray );
         // process 3 bytes at a time, churning out 4 output bytes
         // worry about CRLF insertions later
         for   ( int  i  =   0 ;  i  <  stringArray . length ;  i  +=   3 )   {
             int  j  =   (( stringArray [ i ]   &   0xff )   <<   16 )
                     +   (( stringArray [ i  +   1 ]   &   0xff )   <<   8 )
                     +   ( stringArray [ i  +   2 ]   &   0xff );
            encoded  =  encoded  +  base64code . charAt (( j  >>   18 )   &   0x3f )
                     +  base64code . charAt (( j  >>   12 )   &   0x3f )
                     +  base64code . charAt (( j  >>   6 )   &   0x3f )
                     +  base64code . charAt ( j  &   0x3f );
         }
         // replace encoded padding nulls with "="
         return  splitLines ( encoded . substring ( 0 ,  encoded . length ()   -  paddingCount )
                 +   "==" . substring ( 0 ,  paddingCount ));

     }

     public   static   String  splitLines ( String  string )   {

         String  lines  =   "" ;
         for   ( int  i  =   0 ;  i  <  string . length ();  i  +=  splitLinesAt )   {

            lines  +=  string . substring ( i ,
                     Math . min ( string . length (),  i  +  splitLinesAt ));
            lines  +=   "\r\n" ;

         }
         return  lines ;

     }

     public   static   void  main ( String []  args )   throws   IOException   {

         System . err . println ( "Encoding in Base64: " );
         String  encoded  =  encode ( Base64Encoding . readFile ( "input.txt" ,
                 StandardCharsets . UTF_8 ));
         System . out . println ( encoded );
         BufferedWriter  writer  =   null ;
         try   {
            writer  =   new   BufferedWriter ( new   FileWriter ( "output64.txt" ));
            writer . write ( encoded );

         }   catch   ( IOException  e )   {
         }   finally   {
             try   {
                 if   ( writer  !=   null )
                    writer . close ();
             }   catch   ( IOException  e )   {
             }
         }

     }

     public   static   String  readFile ( String  path ,   Charset  encoding )
             throws   IOException   {
         byte []  encoded  =   Files . readAllBytes ( Paths . get ( path ));
         return   new   String ( encoded ,  encoding );
     }

}