products/Sources/formale Sprachen/Isabelle/Tools/jEdit/dist/jEdit/org/gjt/sp/jedit image not shown  

Quellcode-Bibliothek

© Kompilation durch diese Firma

[Weder Korrektheit noch Funktionsfähigkeit der Software werden zugesichert.]

Datei: Debug.java   Sprache: JAVA

Original von: Isabelle©

/*
 * Debug.java - Various debugging flags
 * :tabSize=4:indentSize=4:noTabs=false:
 * :folding=explicit:collapseFolds=1:
 *
 * Copyright (C) 2003 Slava Pestov
 *
 * This program is free software; you can redistribute it and/or
 * modify it under the terms of the GNU General Public License
 * as published by the Free Software Foundation; either version 2
 * of the License, or any later version.
 *
 * This program is distributed in the hope that it will be useful,
 * but WITHOUT ANY WARRANTY; without even the implied warranty of
 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
 * GNU General Public License for more details.
 *
 * You should have received a copy of the GNU General Public License
 * along with this program; if not, write to the Free Software
 * Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA  02111-1307, USA.
 */


package org.gjt.sp.jedit;

/**
 * This class contains various debugging flags (mainly useful for core
 * development) and debugging routines.
 * @since jEdit 4.2pre1
 * @author Slava Pestov
 * @version $Id: Debug.java 23981 2015-08-10 14:56:24Z daleanson $
 */

public class Debug
{
 /**
 * Print messages when the gap moves, and other offset manager state
 * changes.
 */

 public static boolean OFFSET_DEBUG = false;

 /**
 * Print messages when text area and display manager perform scroll
 * updates.
 */

 public static boolean SCROLL_DEBUG = false;

 /**
 * Print messages when text area tries to make the caret visible.
 */

 public static boolean SCROLL_TO_DEBUG = false;

 /**
 * Display an error if the scrolling code detects an inconsistency.
 * This kills performance!
 */

 public static boolean SCROLL_VERIFY = false;

 /**
 * Print messages when screen line counts change.
 */

 public static boolean SCREEN_LINES_DEBUG = false;

 /**
 * For checking context, etc.
 */

 public static boolean TOKEN_MARKER_DEBUG = false;

 /**
 * For checking fold level invalidation, etc.
 */

 public static boolean FOLD_DEBUG = false;

 /**
 * For checking the line visibility structure..
 */

 public static boolean FOLD_VIS_DEBUG = false;

 /**
 * For checking invalidation, etc.
 */

 public static boolean CHUNK_CACHE_DEBUG = false;

 /**
 * Paints boxes around chunks.
 */

 public static boolean CHUNK_PAINT_DEBUG = false;

 /**
 * Show time taken to repaint text area painter.
 */

 public static boolean PAINT_TIMER = false;

 /**
 * Show time taken for each EBComponent.
 */

 public static boolean EB_TIMER = false;

 /**
 * Paint strings instead of glyph vectors.
 */

 public static boolean DISABLE_GLYPH_VECTOR = false;

 /**
 * Logs messages when BeanShell code is evaluated.
 */

 public static boolean BEANSHELL_DEBUG = false;

 /** @deprecated no longer used. */
 @Deprecated
 public static boolean ALTERNATIVE_DISPATCHER = false;
 
 /**
 * If true, A+ shortcuts are disabled. If you use this, you should also
 * remap the the modifiers so that A+ is actually something else.
 * <b>On by default on MacOS.</b>
 */

 public static boolean ALT_KEY_PRESSED_DISABLED = OperatingSystem.isMacOS();

 /**
 * Geometry workaround for X11.
 */

 public static boolean GEOMETRY_WORKAROUND = false;

 /**
 * Dump key events received by text area?
 */

 public static boolean DUMP_KEY_EVENTS = false;

 /**
 * Indent debug.
 */

 public static boolean INDENT_DEBUG = false;

 /**
 * Printing debug.
 */

 public static boolean PRINT_DEBUG = false;

 /**
 * Create new search dialogs instead of reusing instances.
 * <b> Off by default on Mac OS because it can cause search dialogs to
 * show up on the wrong space. </b>
 */

 public static boolean DISABLE_SEARCH_DIALOG_POOL = OperatingSystem.isMacOS();

 /**
 * Disable multihead support, since it can cause window positioning
 * problems with some Java versions.
 * @since jEdit 4.3pre1
 */

 public static boolean DISABLE_MULTIHEAD = false;

 /**
 * Does a computational delay. Simulates heavy computations for
 * the given period of time. Used to force conditions that are
 * hard to reproduce, for example deadlock cases.
 * @param time Required delay, in ms
 * @return an integer
 */

 public static int compDelay(long time)
 {
  long start = System.currentTimeMillis();
  long elapsed = 0;
  int a = 0, b = 0, c = 0;
  while (elapsed >= 0 && elapsed < time)
  {
   // These computations must be hard enough, so that
   // the compiler doesn't optimize them
   for (int i=0; i<500*1000; i++) {
    a = (b+1) * (c+1);
    b = (a+1) * (c+1);
    c = (a+1) * (b+1);
   }
   elapsed = System.currentTimeMillis() - start;
  }
  return a + b + c;
 }
}

¤ Dauer der Verarbeitung: 0.23 Sekunden  (vorverarbeitet)  ¤





Download des
Quellennavigators
Download des
sprechenden Kalenders

in der Quellcodebibliothek suchen




Haftungshinweis

Die Informationen auf dieser Webseite wurden nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit, noch Qualität der bereit gestellten Informationen zugesichert.


Bemerkung:

Die farbliche Syntaxdarstellung ist noch experimentell.


Bot Zugriff