public static Integer getBitwidth(ASTNode t) {
String bitwidth = t.getAttribute(Attribute.BITWIDTH_KEY);
if (bitwidth == null) {
return null;
}
try {
return Integer.parseInt(bitwidth);
} catch (NumberFormatException e) {
GlobalSettings.kem.registerCriticalError(
"Expected variable attribute 'bitwidth' to "
+ "be an integer, found: "
+ t.getAttribute("bitwidth"),
e);
throw new AssertionError("unreachable");
}
}
