diff --git a/com.minres.coredsl.json.target/com.minres.coredsl.json.target.target b/com.minres.coredsl.json.target/com.minres.coredsl.json.target.target
index 0ff1395..4109b55 100644
--- a/com.minres.coredsl.json.target/com.minres.coredsl.json.target.target
+++ b/com.minres.coredsl.json.target/com.minres.coredsl.json.target.target
@@ -39,7 +39,8 @@
-
+
+
diff --git a/com.minres.coredsl.json.tests/src/com/minres/coredsl/json/tests/CoreDslGenerationTest.xtend b/com.minres.coredsl.json.tests/src/com/minres/coredsl/json/tests/CoreDslGenerationTest.xtend
index 8a13312..e9163f3 100644
--- a/com.minres.coredsl.json.tests/src/com/minres/coredsl/json/tests/CoreDslGenerationTest.xtend
+++ b/com.minres.coredsl.json.tests/src/com/minres/coredsl/json/tests/CoreDslGenerationTest.xtend
@@ -87,7 +87,7 @@ Core RV32I {
assertNotNull(result)
assertEquals("RV32I", result.name)
assertNull(result.superType)
- assertEquals(9, result.declarations.size())
+ assertEquals(9, result.archStateBody.size())
assertNotNull(result.instructions)
assertEquals(5, result.instructions.size)
diff --git a/com.minres.coredsl.json/src/com/minres/coredsl/json/CoreDslJsonGenerator.xtend b/com.minres.coredsl.json/src/com/minres/coredsl/json/CoreDslJsonGenerator.xtend
index 435bbdd..039c9a0 100644
--- a/com.minres.coredsl.json/src/com/minres/coredsl/json/CoreDslJsonGenerator.xtend
+++ b/com.minres.coredsl.json/src/com/minres/coredsl/json/CoreDslJsonGenerator.xtend
@@ -18,7 +18,6 @@ import java.util.List
import com.minres.coredsl.coreDsl.ISA
import org.json.JSONObject
import org.json.JSONArray
-import com.minres.coredsl.util.BigIntegerWithRadix
import com.minres.coredsl.coreDsl.Statement
import org.eclipse.xtext.resource.XtextResource
@@ -41,8 +40,8 @@ class CoreDslJsonGenerator extends AbstractGenerator {
def Boolean isHls(Instruction inst){
val instrSet = inst.eContainer as ISA;
- !(inst.attributes.filter[it.type=='hls'].isEmpty &&
- instrSet.commonInstructionAttributes.filter[it.type=='hls'].isEmpty)
+ !(inst.attributes.filter[it.attributeName=='hls'].isEmpty &&
+ instrSet.commonInstructionAttributes.filter[it.attributeName=='hls'].isEmpty)
}
def JSONArray compile(CoreDef coreDef) {
val insts = coreDef.allInstr
@@ -104,7 +103,7 @@ class CoreDslJsonGenerator extends AbstractGenerator {
def dispatch asString(BitField i) '''«i.name»[«i.startIndex.value.intValue»:«i.endIndex.value.intValue»]'''
def dispatch asString(BitValue i) {
- (i.value as BigIntegerWithRadix).toCString(2)
+ i.value.toString(2)
}