Advertisement
Guest User

Untitled

a guest
Mar 27th, 2017
48
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
C# 1.28 KB | None | 0 0
  1. import std;
  2.  
  3. // Using only stdin/stdout, first arg is pattern
  4. const var main = fn(args : array<string>)int
  5. {
  6.     import std.io.stdin;
  7.     import std.io.stdout;
  8.     var pattern = std.text.regex.compile(args[0]);
  9.     var result  = 1; // failure by default
  10.    
  11.     while(!stdin.endOfStream)
  12.     {
  13.         const var line = stdin.readLine();
  14.         const var match = pattern.match(line);
  15.         if(match.success)
  16.         {
  17.             stdout.writeLine(line);
  18.             result = 0; // we have found something, return success
  19.         }
  20.     }
  21.    
  22.   return result;
  23. };
  24.  
  25. //////////////////////////////////////////////////////////////////////////////////////////////////////////////////////
  26.  
  27. import std;
  28.  
  29. // wget url fileName
  30. const var main = fn(args : array<string>)int
  31. {
  32.     const var url      = args[0];
  33.     const var fileName = args[1];
  34.  
  35.     var input = std.net.http.get(url);
  36.    
  37.     var output = std.io.open(
  38.         fileName,
  39.         std.io.FileMode.Create,
  40.         std.io.FileMode.WriteOnly);
  41.    
  42.     var size = 0;
  43.    
  44.     while(!input.endOfStream)
  45.     {
  46.         const var blob : array<u8> = input.readSome(); // Reads all currently available data.
  47.         output.write(blob);
  48.         size += blob.length;
  49.     }
  50.    
  51.     output.close();
  52.     input.close();
  53.    
  54.     // Var-args should get a syntax definition
  55.     // C# way with args?
  56.     std.io.stdout.write("File Size: %0 bytes\n", size);
  57.  
  58.     return 0;
  59. };
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement