Java ArrayTypeAccess.typeCheck Examples

Example #1

File: ArrayTypeWithSizeAccess.java Project: insightfullogic/insightfullogic-soot

 public void typeCheck() {
   super.typeCheck();
   if (!getExpr().type().unaryNumericPromotion().isInt())
     error(getExpr().type().typeName() + " is not int after unary numeric promotion");
 }