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