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; } } }