fixed generated argument statement. removed closing of transaction
diff --git a/org.eclipse.opencert.chess.argumentGenerator/src/org/eclipse/opencert/chess/argumentGenerator/argumentation/CHESSContract2OpencertArgumentGenerator.java b/org.eclipse.opencert.chess.argumentGenerator/src/org/eclipse/opencert/chess/argumentGenerator/argumentation/CHESSContract2OpencertArgumentGenerator.java
index a420b9d..6584f0e 100755
--- a/org.eclipse.opencert.chess.argumentGenerator/src/org/eclipse/opencert/chess/argumentGenerator/argumentation/CHESSContract2OpencertArgumentGenerator.java
+++ b/org.eclipse.opencert.chess.argumentGenerator/src/org/eclipse/opencert/chess/argumentGenerator/argumentation/CHESSContract2OpencertArgumentGenerator.java
@@ -15,14 +15,11 @@
package org.eclipse.opencert.chess.argumentGenerator.argumentation;
import java.util.ArrayList;
-import java.util.Collections;
import java.util.HashMap;
import java.util.Iterator;
import java.util.List;
-import java.util.Optional;
import java.util.Set;
import org.eclipse.capra.core.CapraException;
-import org.eclipse.capra.core.operations.CreateConnection;
import org.eclipse.core.runtime.IProgressMonitor;
import org.eclipse.emf.cdo.CDOObject;
import org.eclipse.emf.cdo.dawn.preferences.PreferenceConstants;
@@ -84,8 +81,6 @@
import org.polarsys.chess.contracts.profile.chesscontract.DataTypes.ContractStatus;
import org.polarsys.chess.contracts.profile.chesscontract.DataTypes.ContractTypes;
import org.polarsys.chess.patterns.profile.PatternsProfile.Pattern;
-import org.polarsys.chess.patterns.profile.PatternsProfile.PatternApplication;
-import org.polarsys.chess.patterns.profile.PatternsProfile.PatternRole;
public class CHESSContract2OpencertArgumentGenerator {
@@ -367,7 +362,7 @@
allCompClaimLinks.clear();
allContClaimLinks.clear();
allPropClaimLinks.clear();
- transaction.close();
+ //transaction.close();
} catch (Exception e) {
// TODO Auto-generated catch block
e.printStackTrace();
@@ -761,7 +756,7 @@
}
//GUARANTEES
- Claim patternGuaranteesClaim=instantiateClaim(patternObject.getPatternName()+"_guarantees", "The pattern guarantees meet the relevant assumptions",false,false,false);
+ Claim patternGuaranteesClaim=instantiateClaim(patternObject.getPatternName()+"_guarantees", "The pattern guarantees meet the relevant requirements",false,false,false);
arggCase.getArgument().add(patternGuaranteesClaim);
arggCase.getArgument().add(connectTwoClaims(topClaim, patternGuaranteesClaim));
