de.uka.ilkd.pp.demo.datapp.DataPrettyPrinter Maven / Gradle / Ivy

Go to download
Show more of this group Show more artifacts with this name
Show all versions of com.io7m.jpplib.demo Show documentation
Generic pretty printer (Demos)
The newest version!
//This file is part of the Java™ Pretty Printer Library (JPPlib)
//Copyright (c) 2009, Martin Giese
//All rights reserved.
//
//Redistribution and use in source and binary forms, with or without 
//modification, are permitted provided that the following conditions are met:
// 
// * Redistributions of source code must retain the above copyright 
//   notice, this list of conditions and the following disclaimer.
// * Redistributions in binary form must reproduce the above copyright 
//   notice, this list of conditions and the following disclaimer in the 
//   documentation and/or other materials provided with the distribution.
// * Neither the name of the author nor the names of his contributors 
//   may be used to endorse or promote products derived from this 
//   software without specific prior written permission.
// 
//THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS" 
//AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE 
//IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
//ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT OWNER OR CONTRIBUTORS BE 
//LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR 
//CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF 
//SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS
//INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN
//CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
//ARISING IN ANY WAY OUT OF THE USE OF THIS  SOFTWARE, EVEN IF ADVISED OF 
//THE POSSIBILITY OF SUCH DAMAGE.

package de.uka.ilkd.pp.demo.datapp;

import de.uka.ilkd.pp.*;

import java.util.*;

/** Utility class to pretty-print arbitrary objects.
 * There is a static method 
 * {@link #prettyPrint(Object)} which produces a pretty-printed
 * String representation of an arbitrary object, with useful
 * layouts for collections, arrays, and maps.  See the 
 * documentation of that method for details.
 * 
 * @author Martin Giese
 *
 */
public class DataPrettyPrinter {

	/** The maximum line width */
	public static final int DEFAULT_LINE_WIDTH = 80;

	/** The indentation, in particular for Map entries. */
	public static final int DEFAULT_INDENTATION = 2;

	/**
	 * Pretty print an object according to its type. See the
	 * documentation of {@link DataLayouter#print(Object)} for a
	 * desciption of the layout chosen for various data types.
	 * 
	 * @param o
	 *            the object to be pretty printed
	 * @return the pretty-printed String representation of o
	 */
	public static String prettyPrint(Object o) {
		StringBackend back = new StringBackend(DEFAULT_LINE_WIDTH);
		DataLayouter out = new DataLayouter(back, DEFAULT_INDENTATION);
		out.print(o);
		out.close();
		return back.getString();
	}
	
	/** Recursively consruct a tree with given arity and depth. */
	private static Tree createTree(int arity,int depth) {
		return createTree("root",arity,depth);
	}
	
	private static Tree createTree(String prefix,int arity,int depth) {
		Tree result = new Tree(prefix);
		if (depth>0) {
			for (int j=0;j imsevimse = Arrays.asList(new String[] { "imse", "vimse",
				"spindel" });
		System.out.println(prettyPrint(imsevimse));

		System.out.println("\nA nested array\n");
		int[][] pas = new int[10][];
		for(int i=0;i<10;i++) {
			pas[i] = new int[i+1];
			pas[i][0] = pas[i][i] = 1;
			for(int j=1;j> l = new ArrayList>();
		for (int n = 1; n <= 15; n++) {
			Map m = new HashMap();
			m.put("number", n);
			m.put("square", n * n);
			List mult = new ArrayList();
			for (int i = 1; i <= 11; i++) {
				mult.add(n * i);
			}
			m.put("some multiples", mult);
			l.add(m);
		}
		System.out.println(prettyPrint(l));

		System.out.println("\nA tree\n");
		Tree t = createTree(2,5);
		System.out.println(prettyPrint(t));
	}
}