diff options
author | wisberg <wisberg> | 2003-04-30 02:14:32 +0000 |
---|---|---|
committer | wisberg <wisberg> | 2003-04-30 02:14:32 +0000 |
commit | 8f8628c4484d350a19ee797baea154f6fa722768 (patch) | |
tree | 74b631d8e01a3910b26b8844a9a99e1027e616ab /ajde | |
parent | 12862a3e8ee9ade2466d09c4f724337847977c5b (diff) | |
download | aspectj-8f8628c4484d350a19ee797baea154f6fa722768.tar.gz aspectj-8f8628c4484d350a19ee797baea154f6fa722768.zip |
binary-incompatible API change to add methods for building fresh when in incremental mode
Diffstat (limited to 'ajde')
-rw-r--r-- | ajde/src/org/aspectj/ajde/BuildManager.java | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/ajde/src/org/aspectj/ajde/BuildManager.java b/ajde/src/org/aspectj/ajde/BuildManager.java index 8bb823f0e..b92e65886 100644 --- a/ajde/src/org/aspectj/ajde/BuildManager.java +++ b/ajde/src/org/aspectj/ajde/BuildManager.java @@ -33,12 +33,24 @@ public interface BuildManager { * Build the default build configuration. */ public void build(); + + /** + * Batch-build the default build configuration + * when in incremental mode. + */ + public void buildFresh(); /** * Build the specified build configuration. */ public void build(String configFile); + /** + * Batch-build the specified build configuration + * when in incremental mode. + */ + public void buildFresh(String configFile); + /** * Exit the build immediately, before completion. */ |