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 }