001/*
002 * $Id: PrettyPrint.java 5824 2018-05-13 13:37:59Z kredel $
003 */
004
005package edu.jas.kern;
006
007
008/**
009 * PrettyPrint, defines global pretty print status.
010 * @author Heinz Kredel
011 */
012
013public class PrettyPrint {
014
015
016    private static volatile boolean doPretty = true;
017
018
019    protected PrettyPrint() {
020    }
021
022
023    /**
024     * isTrue.
025     * @return true, if to use pretty printing, else false.
026     */
027    public static boolean isTrue() {
028        return doPretty;
029    }
030
031
032    /**
033     * setPretty. Set use pretty printing to true.
034     */
035    public static void setPretty() {
036        doPretty = true;
037    }
038
039
040    /**
041     * setInternal. Set use pretty printing to false.
042     */
043    public static void setInternal() {
044        doPretty = false;
045    }
046
047}