diff options
author | aclement <aclement> | 2005-04-26 16:19:39 +0000 |
---|---|---|
committer | aclement <aclement> | 2005-04-26 16:19:39 +0000 |
commit | 083ada240d0fda5a96d0cbcf0da2a41b4b9dd6a2 (patch) | |
tree | edc853096ff7d6ec3fd78d85d9ed08dbc41d0df3 | |
parent | 09b3cef82c1b7f55ccf3a9128f918e9943257295 (diff) | |
download | aspectj-083ada240d0fda5a96d0cbcf0da2a41b4b9dd6a2.tar.gz aspectj-083ada240d0fda5a96d0cbcf0da2a41b4b9dd6a2.zip |
Useful guard method - prevents asking for properties twice through ajde.
-rw-r--r-- | ajde/src/org/aspectj/ajde/Ajde.java | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/ajde/src/org/aspectj/ajde/Ajde.java b/ajde/src/org/aspectj/ajde/Ajde.java index 093cee81c..b1c50a47c 100644 --- a/ajde/src/org/aspectj/ajde/Ajde.java +++ b/ajde/src/org/aspectj/ajde/Ajde.java @@ -170,6 +170,10 @@ public class Ajde { this.logPrintStream = null; } + public boolean isLogging() { + return (this.logPrintStream!=null); + } + /** * The structure manager is not a part of the public API and its * use should be avoided. Used <CODE>getStructureViewManager()</CODE> |