public void testEmptyConstraint() {
String content =
"class foobar;\n"
+ "\n"
+ "\n"
+ " int a, b, c;\n"
+ "\n"
+ " constraint empty_c {}\n"
+ "\n"
+ "endclass\n";
SVDBFile file = SVDBTestUtils.parse(content, "testEmptyConstraint");
SVDBClassDecl foobar = null;
for (ISVDBItemBase it : file.getChildren()) {
if (SVDBItem.getName(it).equals("foobar")) {
foobar = (SVDBClassDecl) it;
break;
}
}
assertNotNull(foobar);
SVDBConstraint empty_c = null;
for (ISVDBItemBase it : foobar.getChildren()) {
if (SVDBItem.getName(it).equals("empty_c")) {
empty_c = (SVDBConstraint) it;
}
}
assertNotNull(empty_c);
}
public void testCovergroup() {
String content =
"class foobar;\n"
+ "\n"
+ "\n"
+ " int a, b, c;\n"
+ "\n"
+ " covergroup cg;\n"
+ " a_cp : coverpoint a;\n"
+ " b_cp : coverpoint b {\n"
+ " bins b[] = {[2:10]};\n"
+ " }\n"
+ " a_b_cross : cross a_cp, b_cp;\n"
+ " endgroup\n"
+ "\n"
+ " covergroup cg2;\n"
+ " a_cp : coverpoint a;\n"
+ " b_cp : coverpoint b {\n"
+ " bins b[] = {[2:10]};\n"
+ " }\n"
+ " a_b_cross : cross a_cp, b_cp;\n"
+ " endgroup\n"
+ "\n"
+ "endclass\n";
SVCorePlugin.getDefault().enableDebug(false);
SVDBFile file = SVDBTestUtils.parse(content, "testClassStringFields");
SVDBClassDecl foobar = null;
for (ISVDBItemBase it : file.getChildren()) {
if (SVDBItem.getName(it).equals("foobar")) {
foobar = (SVDBClassDecl) it;
break;
}
}
assertNotNull(foobar);
SVDBCovergroup cg = null, cg2 = null;
for (ISVDBItemBase it : foobar.getChildren()) {
if (SVDBItem.getName(it).equals("cg")) {
cg = (SVDBCovergroup) it;
} else if (SVDBItem.getName(it).equals("cg2")) {
cg2 = (SVDBCovergroup) it;
}
}
assertNotNull(cg);
assertNotNull(cg2);
}
public void testTypedef() {
String content =
"class foobar;\n"
+ "\n"
+ " typedef enum {\n"
+ " FOO,\n"
+ " BAR\n"
+ " } foobar_t;\n"
+ "\n"
+ "\n"
+ " foobar_t foo_f;"
+ "\n"
+ "endclass\n";
SVDBFile file = SVDBTestUtils.parse(content, "testClassStringFields");
SVDBClassDecl foobar = null;
for (ISVDBItemBase it : file.getChildren()) {
if (SVDBItem.getName(it).equals("foobar")) {
foobar = (SVDBClassDecl) it;
break;
}
}
SVDBTypedefStmt foobar_td = null;
ISVDBItemBase foobar_i = null;
for (ISVDBItemBase it : foobar.getChildren()) {
if (SVDBItem.getName(it).equals("foobar_t")) {
foobar_i = it;
}
}
assertNotNull("Failed to find foobar_t", foobar_i);
assertEquals("foobar_t is of wrong type", foobar_i.getType(), SVDBItemType.TypedefStmt);
foobar_td = (SVDBTypedefStmt) foobar_i;
assertEquals(
"foobar_t type-info is of wrong type",
SVDBItemType.TypeInfoEnum,
foobar_td.getTypeInfo().getType());
SVDBTypeInfoEnum enum_t = (SVDBTypeInfoEnum) foobar_td.getTypeInfo();
assertEquals(
"foobar_t doesn't have correct number of elements", 2, enum_t.getEnumerators().size());
}
public void testTypedefClass() {
String content =
"class foobar;\n"
+ "\n"
+ " typedef class other_foo_t;\n"
+ " typedef class other_foo_t1;\n"
+ " typedef class other_foo_t2;\n"
+ " typedef class other_foo_t3;\n"
+ " typedef class other_foo_t4;\n"
+ "\n"
+ " other_foo_t foo_f;"
+ "\n"
+ "endclass\n";
SVDBFile file = SVDBTestUtils.parse(content, "testClassStringFields");
SVDBClassDecl foobar = null;
for (ISVDBItemBase it : file.getChildren()) {
if (SVDBItem.getName(it).equals("foobar")) {
foobar = (SVDBClassDecl) it;
break;
}
}
SVDBTypedefStmt foobar_td = null;
ISVDBItemBase foobar_i = null;
ISVDBItemBase foobar_i1 = null;
for (ISVDBItemBase it : foobar.getChildren()) {
if (SVDBItem.getName(it).equals("other_foo_t")) {
foobar_i = it;
} else if (SVDBItem.getName(it).equals("other_foo_t1")) {
foobar_i1 = it;
}
}
assertNotNull("Failed to find other_foo_t", foobar_i);
assertNotNull("Failed to find other_foo_t1", foobar_i1);
assertEquals("other_foo_t is of wrong type", foobar_i.getType(), SVDBItemType.TypedefStmt);
foobar_td = (SVDBTypedefStmt) foobar_i;
assertEquals(
"other_foo_t type-info is of wrong type",
SVDBItemType.TypeInfoFwdDecl,
foobar_td.getTypeInfo().getType());
}
public void testClassStringFields() {
String content =
"class __sv_builtin_covergroup_options;\n"
+ "int weight;\n"
+ "\n"
+ "real goal;\n"
+ "\n"
+ "string name;\n"
+ "\n"
+ "string comment;\n"
+ "\n"
+ "int at_least;\n"
+ "\n"
+ "bit detect_overlap;\n"
+ "\n"
+ "int auto_bin_max;\n"
+ "\n"
+ "bit per_instance;\n"
+ "\n"
+ "bit cross_num_print_missing;\n"
+ "\n"
+ "endclass\n";
LogHandle log = LogFactory.getLogHandle("testClassStringFields");
SVDBFile file = SVDBTestUtils.parse(content, "testClassStringFields");
SVDBClassDecl cg_options = null;
for (ISVDBItemBase it : file.getChildren()) {
if (SVDBItem.getName(it).equals("__sv_builtin_covergroup_options")) {
cg_options = (SVDBClassDecl) it;
}
log.debug("Item: " + it.getType() + " " + SVDBItem.getName(it));
}
assertNotNull("Failed to find class __sv_builtin_covergroup_options", cg_options);
for (ISVDBItemBase it : cg_options.getChildren()) {
log.debug(" Item: " + it.getType() + " " + SVDBItem.getName(it));
assertNotNull("Item " + SVDBItem.getName(it) + " does not have a location", it.getLocation());
if (SVDBStmt.isType(it, SVDBItemType.VarDeclStmt)) {
assertNotNull(
"Field " + SVDBItem.getName(it) + " does not have a type",
((SVDBVarDeclStmt) it).getTypeInfo());
}
}
}
