PageRenderTime 46ms CodeModel.GetById 16ms RepoModel.GetById 0ms app.codeStats 0ms

/jEdit/tags/jedit-4-2-pre14/bsh/commands/cat.bsh

#
Unknown | 45 lines | 38 code | 7 blank | 0 comment | 0 complexity | 89d353dc36e62d1bd5c258021c0bdcdb MD5 | raw file
Possible License(s): BSD-3-Clause, AGPL-1.0, Apache-2.0, LGPL-2.0, LGPL-3.0, GPL-2.0, CC-BY-SA-3.0, LGPL-2.1, GPL-3.0, MPL-2.0-no-copyleft-exception, IPL-1.0 
    

  1. /**
    2. 

  2. 	Print the contents of filename, url, or stream (like Unix cat)
    3. 

  3. */
    4. 

  4. 

  5. bsh.help.cat = "usage: cat( filename )";
    6. 

  6. 

  7. /**
    8. 

  8. 	cat comment
    9. 

  9. */
    10. 

  10. cat( String filename ) 
    11. 

  11. {
    12. 

  12. 	this.file = pathToFile( filename );
    13. 

  13. 

  14. 	if ( !file.exists() || !file.canRead() ) {
    15. 

  15. 		print( "Can't read " + file );
    16. 

  16. 		return;
    17. 

  17. 	}
    18. 

  18. 

  19. 	cat( new FileReader( file ) );
    20. 

  20. }
    21. 

  21. 

  22. /**
    23. 

  23. 	cat comment
    24. 

  24. */
    25. 

  25. cat( URL url ) 
    26. 

  26. {
    27. 

  27. 	cat( url.openStream() );
    28. 

  28. }
    29. 

  29. 

  30. cat( InputStream ins ) 
    31. 

  31. {
    32. 

  32. 	this.bin = new BufferedReader( new InputStreamReader( ins ) );
    33. 

  33. 	cat( bin );
    34. 

  34. }
    35. 

  35. 

  36. cat( Reader reader ) 
    37. 

  37. {
    38. 

  38. 	try {
    39. 

  39. 		this.bin = new BufferedReader( reader );
    40. 

  40. 		while ( (this.line=bin.readLine() ) != null )
    41. 

  41. 			print( line );
    42. 

  42. 	} catch ( Exception e ) {
    43. 

  43. 		print( "Error reading stream:"+ e);
    44. 

  44. 	}
    45. 

  45. }
    46. 

  46.