Translate feature files to C definitions

overturetool · Feb 16, 2017 · 137af13 · 137af13
1 parent 3d3fb06
commit 137af13
Showing 1 changed file with 26 additions and 0 deletions.
diff --git a/core/vdm2c/src/main/java/org/overture/codegen/vdm2c/analysis/FeatureAnalysisResult.java b/core/vdm2c/src/main/java/org/overture/codegen/vdm2c/analysis/FeatureAnalysisResult.java
@@ -113,4 +113,30 @@ public boolean usesVdmUnit()
 	{
 		return usesVdmUnit;
 	}
+
+	@Override
+	public String toString()
+	{
+		StringBuilder sb = new StringBuilder();
+
+		appendDef(sb, usesSets, "#define NO_SETS");
+		appendDef(sb, usesSeqs, "#define NO_SEQS");
+		appendDef(sb, usesMaps, "#define NO_MAPS");
+		appendDef(sb, usesMathLib, "#define NO_MATH");
+		appendDef(sb, usesIoLib, "#define NO_CSV");
+		appendDef(sb, usesIoLib, "#define NO_IO");
+		appendDef(sb, usesVdmUtil, "#define NO_VDMUTIL");
+		appendDef(sb, usesVdmUnit, "#define NO_VDMUNIT");
+
+		return sb.toString();
+	}
+
+	private void appendDef(StringBuilder sb, boolean usesFeature, String defStr)
+	{
+		if(!usesFeature)
+		{
+			sb.append(defStr);
+			sb.append('\n');
+		}
+	}
 }