/*
 * 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++;
	}

}

/*
 * 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;

import java.io.PrintStream;

public class DefaultAtomPrintStream implements AtomPrintStream {

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

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

}

Support printing somewhere other than System.out if desired