|
|
|
|
|
Quellcode-Bibliothek
© Kompilation durch diese Firma
[Weder Korrektheit noch Funktionsfähigkeit der Software werden zugesichert.]
Datei:
plugin-debugging.html
Sprache: HTML
|
|
| products/sources/formale sprachen/Isabelle/Tools/jEdit/dist/doc/users-guide/plugin-debugging.html |
 |
<html><head>
<meta http-equiv="Content-Type" content="text/html; charset=ISO-8859-1">
<title>Tips for debugging plugins</title><meta name="generator" content="DocBook XSL Stylesheets V1.79.1"><link rel="home" href="index.html" title="jEdit 5.6 User's Guide"><link rel="up" href="plugin-implement.html" title="Chapter 18. Implementing a Simple Plugin"><link rel="prev" href="plugin-implement-reloading.html" title="Reloading the Plugin"><link rel="next" href="plugin-tips.html" title="Chapter 19. Plugin Tips and Techniques"></head><body bgcolor="white" text="black" link="#0000FF" vlink="#840084" alink="#0000FF"><div class="navheader"><table width="100%" summary="Navigation header"><tr><th colspan="3" align="center"> Tips for debugging plugins </th></tr><tr><td width="20%" align="left"><a accesskey="p" href="plugin-implement-reloading.html">Prev</a> </td><th width="60%" align="center">Chapter 18. Implementing a Simple Plugin</th><td width="20%" align="right"> <a accesskey="n" href="plugin-tips.html">Next</a></td></tr></table><hr></div><div class="section"><div class="titlepage"><div><div><h2 class="title" style="clear: both"><a name="plugin-debugging"></a> Tips for debugging plugins </h2></div></div></div><h3><a name="d0e14803"></a> BeanShell </h3><p> jEdit includes a Beanshell interface into its currently running JVM at all times. You can access it a variety of ways, but one way is from <code class="literal">Plugins - Console - Shells - BeanShell</code>. From here, you can interactively inspect the values of any object in memory, call any of its member functions, or create new instances of any class that is currently loaded by jEdit or any of its plugins. All this, without setting any breakpoints!
</p><p> If you're too lazy to type each Beanshell statement interactively, you can also create debugging code snippets as macros and invoke them from utilities - beanshell - evaluate selection, or Macros - Misc - Evaluate Buffer in Beanshell, or place the file in your own macros directory and bind it to its own keyboard shortcut. Other useful tips This section is new but will be expanded shortly. Please post suggestions to the jedit-devel mailing list. | | |
