From 38bbe3ddb1d7c9dce384afd122b15b9ea50d2048 Mon Sep 17 00:00:00 2001 From: Sven Efftinge Date: Tue, 10 Feb 2015 10:04:30 +0100 Subject: [PATCH] [resource / file system access] use BufferedInputStream Change-Id: I5024e7dd439f09daf85c82aba2c8a58879b9d14e --- .../org/eclipse/xtext/generator/JavaIoFileSystemAccess.java | 3 ++- .../src/org/eclipse/xtext/resource/XtextResource.java | 3 ++- 2 files changed, 4 insertions(+), 2 deletions(-) diff --git a/plugins/org.eclipse.xtext/src/org/eclipse/xtext/generator/JavaIoFileSystemAccess.java b/plugins/org.eclipse.xtext/src/org/eclipse/xtext/generator/JavaIoFileSystemAccess.java index c52748eef..76840b1f2 100644 --- a/plugins/org.eclipse.xtext/src/org/eclipse/xtext/generator/JavaIoFileSystemAccess.java +++ b/plugins/org.eclipse.xtext/src/org/eclipse/xtext/generator/JavaIoFileSystemAccess.java @@ -7,6 +7,7 @@ *******************************************************************************/ package org.eclipse.xtext.generator; +import java.io.BufferedInputStream; import java.io.BufferedOutputStream; import java.io.File; import java.io.FileInputStream; @@ -213,7 +214,7 @@ public class JavaIoFileSystemAccess extends AbstractFileSystemAccess2 { public InputStream readBinaryFile(String fileName, String outputCfgName) throws RuntimeIOException { File file = getFile(fileName, outputCfgName); try { - return new FileInputStream(file); + return new BufferedInputStream(new FileInputStream(file)); } catch (FileNotFoundException e) { throw new RuntimeIOException(e); } diff --git a/plugins/org.eclipse.xtext/src/org/eclipse/xtext/resource/XtextResource.java b/plugins/org.eclipse.xtext/src/org/eclipse/xtext/resource/XtextResource.java index bf5b73bc7..5cba46d6b 100644 --- a/plugins/org.eclipse.xtext/src/org/eclipse/xtext/resource/XtextResource.java +++ b/plugins/org.eclipse.xtext/src/org/eclipse/xtext/resource/XtextResource.java @@ -8,6 +8,7 @@ *******************************************************************************/ package org.eclipse.xtext.resource; +import java.io.BufferedInputStream; import java.io.IOException; import java.io.InputStream; import java.io.InputStreamReader; @@ -177,7 +178,7 @@ public class XtextResource extends ResourceImpl { if (inputStream instanceof LazyStringInputStream) { return new StringReader(((LazyStringInputStream) inputStream).getString()); } - return new InputStreamReader(inputStream, getEncoding()); + return new InputStreamReader(new BufferedInputStream(inputStream), getEncoding()); } protected void setEncodingFromOptions(Map options) {