Forced database close
diff --git a/org.eclipse.photran.core.vpg.tests/src/org/eclipse/photran/internal/tests/BaseTestFramework.java b/org.eclipse.photran.core.vpg.tests/src/org/eclipse/photran/internal/tests/BaseTestFramework.java
index d7b078b..935884f 100644
--- a/org.eclipse.photran.core.vpg.tests/src/org/eclipse/photran/internal/tests/BaseTestFramework.java
+++ b/org.eclipse.photran.core.vpg.tests/src/org/eclipse/photran/internal/tests/BaseTestFramework.java
@@ -61,6 +61,9 @@
workspace = ResourcesPlugin.getWorkspace();
try {
+ PhotranVPG.getInstance().releaseAllASTs();
+ PhotranVPG.getDatabase().clearDatabase();
+
cproject = CProjectHelper.createCCProject("PhotranTestProject" + (++n), "bin", IPDOMManager.ID_NO_INDEXER); //$NON-NLS-1$ //$NON-NLS-2$
project = cproject.getProject();
@@ -94,16 +97,6 @@
{
super(name);
}
-
- public void cleanupProject() throws Exception {
- try{
- project.delete( true, false, monitor );
- } catch( Throwable e ){
- /*boo*/
- } finally {
- project= null;
- }
- }
@Override
protected void setUp() throws Exception {
