private void assertion(boolean basic, Var x, Field f) {
if (basic) {
if (x.getType().getKind() != TypeIR.Kind.BASIC) {
if (f == null) {
System.out.println(" 1mm " + x.getType());
fail = true;
}
if (f.getType().getKind() != TypeIR.Kind.BASIC) {
System.out.println(" xxmm " + x.getType());
System.out.println(" 2mm " + f.getName() + " " + f.getType());
fail = true;
}
}
} else {
if (x.getType().getKind() == TypeIR.Kind.BASIC) {
System.out.println(" 3mm " + x.getType());
fail = true;
}
if (f != null && f.getType().getKind() == TypeIR.Kind.BASIC) {
System.out.println(" 4mm " + f.getName() + " " + f.getType());
fail = true;
}
}
}
