/*
 * This file is part of the PSL software.
 * Copyright 2011-2015 University of Maryland
 * Copyright 2013-2015 The Regents of the University of California
 *
 * 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 edu.umd.cs.psl.evaluation.resultui.printer;

import edu.umd.cs.psl.evaluation.debug.AtomPrinter;
import edu.umd.cs.psl.model.atom.Atom;

public class DefaultAtomPrintStream implements AtomPrintStream {

	private int atomcount;
	
	public DefaultAtomPrintStream() {
		atomcount=0;
		System.out.println("--- Atoms: ");
	}
	
	@Override
	public void close() {
		System.out.println("# Atoms: " + atomcount);
	}

	@Override
	public void printAtom(Atom atom) {
		System.out.println(AtomPrinter.atomDetails(atom,false,false));
		atomcount++;
	}

}

@@ -854,16 +854,45 @@
 .Atom;%0A%0A
+import java.io.PrintStream;%0A%0A
 public c
@@ -973,16 +973,48 @@
 mcount;%0A
+        private PrintStream ps;%0A
 %09%0A%09publi
@@ -1047,34 +1047,122 @@
  %7B%0A%09
-%09atomcount=0;%0A%09%09System.out
+    this(System.out);%0A%09%7D%0A    %0A%09public DefaultAtomPrintStream(PrintStream ps) %7B%0A%09%09atomcount=0;%0A%09%09this.ps = ps;%0A%09%09ps
 .pri
@@ -1219,34 +1219,26 @@
 close() %7B%0A%09%09
-System.out
+ps
 .println(%22# 
@@ -1313,26 +1313,18 @@
 om) %7B%0A%09%09
-System.out
+ps
 .println

Support printing somewhere other than System.out if desired