Commit 178f6444 authored by Hernan Ponce de Leon's avatar Hernan Ponce de Leon
Browse files

[GREEN]

parent f479e0be
NuSMVModelAccessFacade.java 7a399ada3aabea80142214832d4bf911f8d8214e GREEN
NuSMVModelFactory.java c9e105dacb09eb7db2d343e8a5e4eb3d8c815d1c YELLOW
NuSMVModelFactory.java c9e105dacb09eb7db2d343e8a5e4eb3d8c815d1c GREEN
NuSMVSpecialFeaturesUtils.java 04dacfcc9fc6d8d021cf7dd9113d79f6cd225e6b GREEN
NuSMVTextGenerator.java 59f0724e23ed517359ea6a22ac2c529efba35745 YELLOW
NuSMVTextGenerator.java aa5688f0f890432f8e8bfc7640cf6058f1aae595 GREEN
......@@ -25,7 +25,6 @@ import java.util.Arrays;
import java.util.List;
import java.util.stream.Stream;
import org.conqat.lib.commons.string.StringUtils;
import org.eclipse.emf.common.util.EList;
import org.fortiss.af3.expression.model.definitions.FunctionParameter;
import org.fortiss.af3.expression.model.terms.ArrayConst;
......@@ -329,7 +328,7 @@ public class NuSMVTextGenerator implements ITextGenerator<NuSMVFile> {
// and give an error. The fake value is added to prevent this error.
elements = Arrays.asList(elements.get(0), "__FAKE__");
}
w.append(StringUtils.concat(elements, ", "));
w.append(concat(elements, ", "));
w.append(" }");
} else if(type instanceof ModuleType) {
ModuleType mt = (ModuleType)type;
......@@ -339,7 +338,7 @@ public class NuSMVTextGenerator implements ITextGenerator<NuSMVFile> {
for(IExpressionTerm p : mt.getActualParams()) {
paramStringList.add(convertExpressionToString(p));
}
w.append(StringUtils.concat(paramStringList, ","));
w.append(concat(paramStringList, ","));
w.append(")");
} else if(type instanceof ArrayType) {
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment