diff --git a/configurationFiles/commons-lang/issta.properties b/configurationFiles/commons-lang/issta.properties new file mode 100644 index 00000000..f3c8f5f1 --- /dev/null +++ b/configurationFiles/commons-lang/issta.properties @@ -0,0 +1,7 @@ +project=../commons-lang +newPomFile=utils2/commons-lang/pom.xml +result=issta/commons-lang/ +nbRun=20 +timeOut=-1 +transformation.type=issta +gitRepository=repo \ No newline at end of file diff --git a/grid5000.sh b/grid5000.sh index b047ea78..5df0c304 100644 --- a/grid5000.sh +++ b/grid5000.sh @@ -2,6 +2,7 @@ cd /root git clone https://github.com/marcelinorc/junco-provider.git cd junco-provider +git pull mvn clean install cd /root/diversify-statements @@ -10,8 +11,6 @@ mvn -Dmaven.test.skip=true clean package rm -rf repo/sosie-exp -#mkdir repo -#sh script/git/init.sh repo java -Djava.library.path=lib -jar target/Sosies-generator-1.0-SNAPSHOT-jar-with-dependencies.jar git repo diff --git a/src/main/java/fr/inria/diversify/transformation/ast/ASTMultiTransformation.java b/src/main/java/fr/inria/diversify/transformation/ast/ASTMultiTransformation.java deleted file mode 100644 index 7136e3fa..00000000 --- a/src/main/java/fr/inria/diversify/transformation/ast/ASTMultiTransformation.java +++ /dev/null @@ -1,83 +0,0 @@ -package fr.inria.diversify.transformation.ast; - -import fr.inria.diversify.transformation.AbstractTransformation; -import fr.inria.diversify.transformation.Transformation; -import org.json.JSONArray; -import org.json.JSONException; -import org.json.JSONObject; - -import java.io.IOException; -import java.util.List; - -/** - * User: Simon - * Date: 15/11/13 - * Time: 13:38 - */ -public class ASTMultiTransformation extends AbstractTransformation { - protected List transformations; - - public ASTMultiTransformation(List transformations) { - name = "multi"; - type = "adrStmt"; - this.transformations = transformations; - } - - @Override - public JSONObject toJSONObject() throws JSONException { - JSONObject object = super.toJSONObject(); - JSONArray array = new JSONArray(); - object.put("transformation",array); - for (Transformation t : transformations) - array.put(t.toJSONObject()); - return object; - } - - @Override - public String classLocationName() { - return null; //To change body of implemented methods use File | Settings | File Templates. - } - - @Override - public String packageLocationName() { - return null; //To change body of implemented methods use File | Settings | File Templates. - } - - @Override - public String methodLocationName() { - return null; //To change body of implemented methods use File | Settings | File Templates. - } - - @Override - public String getLevel() { - return "multi"; - } - - @Override - public String stmtType() { - return "multi"; - } - - @Override - public int line() { - return 0; - } - - @Override - public void addSourceCode() throws Exception { - for(Transformation trans : transformations) - trans.addSourceCode(); - } - - @Override - public void printJavaFile(String srcDir) throws IOException { - for(Transformation trans : transformations) - trans.printJavaFile(srcDir); - } - - @Override - public void removeSourceCode() { - for(Transformation trans : transformations) - trans.removeSourceCode(); - } -}