/*
 * $Id: PrettyPrint.java 4055 2012-07-26 17:37:29Z kredel $
 */

package edu.jas.kern;


/**
 * PrettyPrint, defines global pretty print status.
 * @author Heinz Kredel
 */

public class PrettyPrint {


    private static volatile boolean toDo = true;


    protected PrettyPrint() {
    }


    /**
     * isTrue.
     * @return true, if to use pretty printing, else false.
     */
    public static boolean isTrue() {
        return toDo;
    }


    /**
     * setPretty. Set use pretty printing to true.
     */
    public static void setPretty() {
        toDo = true;
    }


    /**
     * setInternal. Set use pretty printing to false.
     */
    public static void setInternal() {
        toDo = false;
    }

}
