Java Code Examples for java.io.PrintWriter#checkError()

The following examples show how to use java.io.PrintWriter#checkError() . These examples are extracted from open source projects. You can vote up the ones you like or vote down the ones you don't like, and go to the original project or source file by following the links above each example. You may check out the related API usage on the sidebar.
Example 1
/**
 * Returns the String representation of an AlloyNodeElement's settings.
 */
private static String writeNodeViz(VizState view, VizState defaultView, AlloyNodeElement x) throws IOException {
    StringWriter sw = new StringWriter();
    PrintWriter out = new PrintWriter(sw);
    writeBool(out, "visible", view.nodeVisible.get(x), defaultView.nodeVisible.get(x));
    writeBool(out, "hideunconnected", view.hideUnconnected.get(x), defaultView.hideUnconnected.get(x));
    if (x == null || x instanceof AlloySet) {
        AlloySet s = (AlloySet) x;
        writeBool(out, "showlabel", view.showAsLabel.get(s), defaultView.showAsLabel.get(s));
        writeBool(out, "showinattr", view.showAsAttr.get(s), defaultView.showAsAttr.get(s));
    }
    if (x == null || x instanceof AlloyType) {
        AlloyType t = (AlloyType) x;
        writeBool(out, "numberatoms", view.number.get(t), defaultView.number.get(t));
    }
    writeDotStyle(out, view.nodeStyle.get(x), defaultView.nodeStyle.get(x));
    writeDotShape(out, view.shape.get(x), defaultView.shape.get(x));
    writeDotColor(out, view.nodeColor.get(x), defaultView.nodeColor.get(x));
    if (x != null && !view.label.get(x).equals(defaultView.label.get(x)))
        Util.encodeXMLs(out, " label=\"", view.label.get(x), "\"");
    if (out.checkError())
        throw new IOException("PrintWriter IO Exception!");
    return sw.toString();
}
 
Example 2
/**
 * Returns the String representation of an AlloyRelation's settings.
 */
private static String writeEdgeViz(VizState view, VizState defaultView, AlloyRelation x) throws IOException {
    StringWriter sw = new StringWriter();
    PrintWriter out = new PrintWriter(sw);
    writeDotColor(out, view.edgeColor.get(x), defaultView.edgeColor.get(x));
    writeDotStyle(out, view.edgeStyle.get(x), defaultView.edgeStyle.get(x));
    writeBool(out, "visible", view.edgeVisible.get(x), defaultView.edgeVisible.get(x));
    writeBool(out, "merge", view.mergeArrows.get(x), defaultView.mergeArrows.get(x));
    writeBool(out, "layout", view.layoutBack.get(x), defaultView.layoutBack.get(x));
    writeBool(out, "attribute", view.attribute.get(x), defaultView.attribute.get(x));
    writeBool(out, "constraint", view.constraint.get(x), defaultView.constraint.get(x));
    if (view.weight.get(x) != defaultView.weight.get(x))
        out.write(" weight=\"" + view.weight.get(x) + "\"");
    if (x != null && !view.label.get(x).equals(defaultView.label.get(x)))
        Util.encodeXMLs(out, " label=\"", view.label.get(x), "\"");
    if (out.checkError())
        throw new IOException("PrintWriter IO Exception!");
    return sw.toString();
}
 
Example 3
/**
 * If this solution is a satisfiable solution, this method will write it out in
 * XML format.
 */
static void writeInstance(A4Reporter rep, A4Solution sol, PrintWriter out, Iterable<Func> extraSkolems, Map<String,String> sources) throws Err {
    if (!sol.satisfiable())
        throw new ErrorAPI("This solution is unsatisfiable.");
    try {
        Util.encodeXMLs(out, "<alloy builddate=\"", Version.buildDate(), "\">\n\n");
        new A4SolutionWriter(rep, sol, sol.getAllReachableSigs(), sol.getBitwidth(), sol.getMaxSeq(), sol.getOriginalCommand(), sol.getOriginalFilename(), out, extraSkolems);
        if (sources != null)
            for (Map.Entry<String,String> e : sources.entrySet()) {
                Util.encodeXMLs(out, "\n<source filename=\"", e.getKey(), "\" content=\"", e.getValue(), "\"/>\n");
            }
        out.print("\n</alloy>\n");
    } catch (Throwable ex) {
        if (ex instanceof Err)
            throw (Err) ex;
        else
            throw new ErrorFatal("Error writing the solution XML file.", ex);
    }
    if (out.checkError())
        throw new ErrorFatal("Error writing the solution XML file.");
}
 
Example 4
private static void sendCommand(String json, ProcessHandler handler) {
  final PrintWriter stdin = getStdin(handler);
  if (stdin == null) {
    FlutterUtils.warn(LOG, "can't write command to Flutter process: " + json);
    return;
  }
  stdin.write('[');
  stdin.write(json);
  stdin.write("]\n");

  if (FlutterSettings.getInstance().isVerboseLogging()) {
    LOG.info("[--> " + json + "]");
  }

  if (stdin.checkError()) {
    FlutterUtils.warn(LOG, "can't write command to Flutter process: " + json);
  }
}
 
Example 5
private static void sendCommand(String json, ProcessHandler handler) {
  final PrintWriter stdin = getStdin(handler);
  if (stdin == null) {
    FlutterUtils.warn(LOG, "can't write command to Flutter process: " + json);
    return;
  }
  stdin.write('[');
  stdin.write(json);
  stdin.write("]\n");

  if (FlutterSettings.getInstance().isVerboseLogging()) {
    LOG.info("[--> " + json + "]");
  }

  if (stdin.checkError()) {
    FlutterUtils.warn(LOG, "can't write command to Flutter process: " + json);
  }
}
 
Example 6
Source Project: OpenEphyra   File: ASSERT.java    License: GNU General Public License v2.0 6 votes vote down vote up
/**
	 * Creates a temporary file containing the sentences to be processed by ASSERT.
	 * 
	 * @param ss sentences to be parsed
	 * @return input file
	 */
	private static File createInputFile(String[] ss) throws Exception {
		try {
			File input = File.createTempFile("assert", ".input", new File(ASSERT_DIR + "/scripts"));
//			input.deleteOnExit();
			PrintWriter pw = new PrintWriter(new BufferedWriter(
				new OutputStreamWriter(new FileOutputStream(input), "ISO-8859-1")));
			
			for (String sentence : ss) {
				pw.println(sentence);
				if (pw.checkError()) throw new IOException();
			}
			
			pw.close();
			if (pw.checkError()) throw new IOException();
			
			return input;
		} catch (IOException e) {
			throw new IOException("Failed to create input file.");
		}
	}
 
Example 7
/**
 * Write the metamodel as &lt;instance&gt;..&lt;/instance&gt; in XML format.
 */
public static void writeMetamodel(ConstList<Sig> sigs, String originalFilename, PrintWriter out) throws Err {
    try {
        new A4SolutionWriter(null, null, sigs, 4, 4, "show metamodel", originalFilename, out, null);
    } catch (Throwable ex) {
        if (ex instanceof Err)
            throw (Err) ex;
        else
            throw new ErrorFatal("Error writing the solution XML file.", ex);
    }
    if (out.checkError())
        throw new ErrorFatal("Error writing the solution XML file.");
}
 
Example 8
public static void main(String[] args) throws Exception {

		BufferedReader reader = new BufferedReader(new InputStreamReader(System.in));
		
		System.out.println("Type something =>");
		String line = reader.readLine();
		
		// this can throw exceptions.
		reader.close();
		
		System.out.println("\nWhat you typed: ");
		BufferedWriter writer = new BufferedWriter(new OutputStreamWriter(System.out));
		
		// this can throw exceptions
		writer.write(line);
		writer.flush();
		writer.close();
		
		System.out.println("\nNow, I will print this again with a print writer:");
		PrintWriter pw = new PrintWriter(new OutputStreamWriter(System.out));
		pw.write(line);
		pw.flush();
		// with print writer you have to manually check
		if(pw.checkError()) {
			System.out.println("Wow some error occured!");
		}
	}
 
Example 9
Source Project: timely   File: WriteTimelyPlugin.java    License: Apache License 2.0 5 votes vote down vote up
@Override
public void write(String metric, OutputStream out) {
    PrintWriter printWriter = new PrintWriter(new OutputStreamWriter(out, StandardCharsets.UTF_8), false);
    printWriter.write(metric);
    printWriter.flush();
    if (printWriter.checkError()) {
        throw new RuntimeException("Error writing to Timely");
    }
}
 
Example 10
public void format(List<MediaFile> files, PrintWriter writer) throws IOException {
    writer.println("#EXTM3U");
    for (MediaFile file : files) {
        writer.println(file.getPath());
    }
    if (writer.checkError()) {
        throw new IOException("Error when writing playlist");
    }
}
 
Example 11
public void format(List<MediaFile> files, PrintWriter writer) throws IOException {
    writer.println("[playlist]");
    int counter = 0;

    for (MediaFile file : files) {
        counter++;
        writer.println("File" + counter + '=' + file.getPath());
    }
    writer.println("NumberOfEntries=" + counter);
    writer.println("Version=2");

    if (writer.checkError()) {
        throw new IOException("Error when writing playlist.");
    }
}
 
Example 12
public void format(List<MediaFile> files, PrintWriter writer) throws IOException {
    writer.println("<?xml version=\"1.0\" encoding=\"UTF-8\"?>");
    writer.println("<playlist version=\"1\" xmlns=\"http://xspf.org/ns/0/\">");
    writer.println("    <trackList>");

    for (MediaFile file : files) {
        writer.println("        <track><location>file://" + StringEscapeUtils.escapeXml(file.getPath()) + "</location></track>");
    }
    writer.println("    </trackList>");
    writer.println("</playlist>");

    if (writer.checkError()) {
        throw new IOException("Error when writing playlist.");
    }
}
 
Example 13
/**
 * sends a message to each of the clients in telnet-friendly output.
 */
public final void send(final String message) {

   final Enumeration ce = connections.elements();
   for (final Enumeration e = writers.elements(); e.hasMoreElements();) {
      final Socket sock = (Socket) ce.nextElement();
      final PrintWriter writer = (PrintWriter) e.nextElement();
      writer.print(message);
      if (writer.checkError()) {
         // The client has closed the connection, remove it from our list:
         connections.remove(sock);
         writers.remove(writer);
      }
   }
}
 
Example 14
/**
 * Print a DOT representation of search graph.
 *
 * @param file file where to print the DOT representation to.
 *
 * @throws IllegalArgumentException if {@code file} is {@code null}.
 * @throws FileNotFoundException if {@code file} cannot be created or written.
 * @throws IllegalStateException if there was some trouble when writing the DOT representation.
 */
public void printDOT(final File file) throws FileNotFoundException {
    Utils.nonNull(file, "the output file cannot be null");
    final PrintWriter out = new PrintWriter(file);
    printDOT(out);
    if (out.checkError()) {
        throw new IllegalStateException("error occurred while writing k-best haplotype search graph into file '"
                + file.getAbsolutePath() + '\'');
    }
    out.close();
}
 
Example 15
Source Project: org.alloytools.alloy   File: A4Solution.java    License: Apache License 2.0 4 votes vote down vote up
/** Helper method to write out a full XML file. */
public void writeXML(PrintWriter writer, Iterable<Func> macros, Map<String,String> sourceFiles) throws Err {
    A4SolutionWriter.writeInstance(null, this, writer, macros, sourceFiles);
    if (writer.checkError())
        throw new ErrorFatal("Error writing the solution XML file.");
}
 
Example 16
Source Project: org.alloytools.alloy   File: A4Solution.java    License: Apache License 2.0 4 votes vote down vote up
/** Helper method to write out a full XML file. */
public void writeXML(A4Reporter rep, PrintWriter writer, Iterable<Func> macros, Map<String,String> sourceFiles) throws Err {
    A4SolutionWriter.writeInstance(rep, this, writer, macros, sourceFiles);
    if (writer.checkError())
        throw new ErrorFatal("Error writing the solution XML file.");
}
 
Example 17
Source Project: IoTgo_Android_App   File: IO.java    License: MIT License 4 votes vote down vote up
/** Copy Reader to Writer for byteCount bytes or until EOF or exception.
 */
public static void copy(Reader in,
                        Writer out,
                        long byteCount)
     throws IOException
{  
    char buffer[] = new char[bufferSize];
    int len=bufferSize;
    
    if (byteCount>=0)
    {
        while (byteCount>0)
        {
            if (byteCount<bufferSize)
                len=in.read(buffer,0,(int)byteCount);
            else
                len=in.read(buffer,0,bufferSize);                   
            
            if (len==-1)
                break;
            
            byteCount -= len;
            out.write(buffer,0,len);
        }
    }
    else if (out instanceof PrintWriter)
    {
        PrintWriter pout=(PrintWriter)out;
        while (!pout.checkError())
        {
            len=in.read(buffer,0,bufferSize);
            if (len==-1)
                break;
            out.write(buffer,0,len);
        }
    }
    else
    {
        while (true)
        {
            len=in.read(buffer,0,bufferSize);
            if (len==-1)
                break;
            out.write(buffer,0,len);
        }
    }
}
 
Example 18
Source Project: IoTgo_Android_App   File: IO.java    License: MIT License 4 votes vote down vote up
/** Copy Reader to Writer for byteCount bytes or until EOF or exception.
 */
public static void copy(Reader in,
                        Writer out,
                        long byteCount)
     throws IOException
{  
    char buffer[] = new char[bufferSize];
    int len=bufferSize;
    
    if (byteCount>=0)
    {
        while (byteCount>0)
        {
            if (byteCount<bufferSize)
                len=in.read(buffer,0,(int)byteCount);
            else
                len=in.read(buffer,0,bufferSize);                   
            
            if (len==-1)
                break;
            
            byteCount -= len;
            out.write(buffer,0,len);
        }
    }
    else if (out instanceof PrintWriter)
    {
        PrintWriter pout=(PrintWriter)out;
        while (!pout.checkError())
        {
            len=in.read(buffer,0,bufferSize);
            if (len==-1)
                break;
            out.write(buffer,0,len);
        }
    }
    else
    {
        while (true)
        {
            len=in.read(buffer,0,bufferSize);
            if (len==-1)
                break;
            out.write(buffer,0,len);
        }
    }
}
 
Example 19
Source Project: APICloud-Studio   File: IO.java    License: GNU General Public License v3.0 4 votes vote down vote up
/** Copy Reader to Writer for byteCount bytes or until EOF or exception.
 */
public static void copy(Reader in,
                        Writer out,
                        long byteCount)
     throws IOException
{  
    char buffer[] = new char[bufferSize];
    int len=bufferSize;
    
    if (byteCount>=0)
    {
        while (byteCount>0)
        {
            if (byteCount<bufferSize)
                len=in.read(buffer,0,(int)byteCount);
            else
                len=in.read(buffer,0,bufferSize);                   
            
            if (len==-1)
                break;
            
            byteCount -= len;
            out.write(buffer,0,len);
        }
    }
    else if (out instanceof PrintWriter)
    {
        PrintWriter pout=(PrintWriter)out;
        while (!pout.checkError())
        {
            len=in.read(buffer,0,bufferSize);
            if (len==-1)
                break;
            out.write(buffer,0,len);
        }
    }
    else
    {
        while (true)
        {
            len=in.read(buffer,0,bufferSize);
            if (len==-1)
                break;
            out.write(buffer,0,len);
        }
    }
}
 
Example 20
/**
 * Given a Kodkod formula node, return a Java program that (when compiled and
 * executed) would solve that formula.
 * <p>
 * Requirement: atoms must be String objects (since we cannot possibly output a
 * Java source code that can re-generate arbitrary Java objects).
 *
 * @param formula - the formula to convert
 * @param bitwidth - the integer bitwidth
 * @param atoms - an iterator over the set of all atoms
 * @param bounds - the Kodkod bounds object to use
 * @param atomMap - if nonnull, it is used to map the atom name before printing
 */
public static String convert(Formula formula, int bitwidth, Iterable<String> atoms, Bounds bounds, Map<Object,String> atomMap) {
    StringWriter string = new StringWriter();
    PrintWriter file = new PrintWriter(string);
    new TranslateKodkodToJava(file, formula, bitwidth, atoms, bounds, atomMap);
    if (file.checkError()) {
        return ""; // shouldn't happen
    } else {
        return string.toString();
    }
}