/** * Module : Utils.java Copyright : (c) 2011-2012, Galois, Inc. * * Maintainer : Stability : Provisional Portability: Portable * * Licensed under the Apache License, Version 2.0 (the "License"); you may not * use this file except in compliance with the License. You may obtain a copy of * the License at * * http://www.apache.org/licenses/LICENSE-2.0 * * Unless required by applicable law or agreed to in writing, software * distributed under the License is distributed on an "AS IS" BASIS, WITHOUT * WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. See the * License for the specific language governing permissions and limitations under * the License. */ package com.galois.fiveui; import java.io.File; import java.io.FileInputStream; import java.io.IOException; import java.io.InputStream; import java.io.InputStreamReader; import com.google.common.io.CharStreams; /** * Provides helper functions for reading files from disk. * * @author creswick */ public class Utils { public static String readFile(String fileName) throws IOException { InputStream in = new FileInputStream(new File(fileName)); return readStream(in); } public static String readStream(final InputStream stream) throws IOException { return CharStreams.toString(new InputStreamReader(stream)); } }