public void visitBooleanExpression(BooleanExpression expression) { expression.getExpression().visit(this); }
public void visitBooleanExpression(BooleanExpression expression) { expression.getExpression().visit(this); }
public void visitBooleanExpression(final BooleanExpression expression) { assertExpressionAuthorized(expression); expression.getExpression().visit(this); }
public static Statement rewriteExplicitCondition(AssertStatement stat, IRewriteResources resources) { ConditionRewriter rewriter = new ConditionRewriter(resources); Expression message = AstUtil.getAssertionMessage(stat); return rewriter.rewriteCondition(stat, stat.getBooleanExpression().getExpression(), message, true); }
@Override public void visitBooleanExpression(BooleanExpression expr) { BooleanExpression conversion = new BooleanExpression( convert(expr.getExpression()) ); conversion.setSourcePosition(expr); result = recordNa(conversion); }
@Override public void visitBooleanExpression(BooleanExpression expr) { result = new ExpressionInfo( TextRegion.of(expr), TextPosition.startOf(expr), null, convert(expr.getExpression()) ).setRelevant(false); }
private void addVariableNames(Expression expression, List<String> list) { if (expression instanceof BooleanExpression) { BooleanExpression boolExp = (BooleanExpression) expression; addVariableNames(boolExp.getExpression(), list); } else if (expression instanceof BinaryExpression) { BinaryExpression binExp = (BinaryExpression) expression; addVariableNames(binExp.getLeftExpression(), list); addVariableNames(binExp.getRightExpression(), list); } else if (expression instanceof VariableExpression) { VariableExpression varExp = (VariableExpression) expression; list.add(varExp.getName()); } }
@Override public void visitBooleanExpression(BooleanExpression expr) { BooleanExpression result = new BooleanExpression( replaceExpr(expr.getExpression())); result.setType(expr.getType()); result.setSourcePosition(expr); replaceVisitedExpressionWith(result); }
/** * return a primitive boolean value of the BooleanExpression. * * @param expression */ public void visitBooleanExpression(BooleanExpression expression) { controller.getCompileStack().pushBooleanExpression(); int mark = controller.getOperandStack().getStackLength(); Expression inner = expression.getExpression(); inner.visit(this); controller.getOperandStack().castToBool(mark, true); controller.getCompileStack().pop(); }
Expression transformBooleanExpression(final BooleanExpression booleanExpression) { if (booleanExpression instanceof NotExpression) { return transformer.superTransform(booleanExpression); } final Expression expression = booleanExpression.getExpression(); if (!(expression instanceof BinaryExpression)) { StaticTypesTypeChooser typeChooser = transformer.getTypeChooser(); final ClassNode type = typeChooser.resolveType(expression, transformer.getClassNode()); BooleanExpression transformed = new OptimizingBooleanExpression(transformer.transform(expression),type); transformed.setSourcePosition(booleanExpression); transformed.copyNodeMetaData(booleanExpression); return transformed; } return transformer.superTransform(booleanExpression); }
return null; Expression conditionExpression = ifElse.getBooleanExpression().getExpression(); if (!(conditionExpression instanceof NotExpression)) { return null;
public void writeWhileLoop(WhileStatement loop) { controller.getAcg().onLineNumber(loop,"visitWhileLoop"); writeStatementLabel(loop); MethodVisitor mv = controller.getMethodVisitor(); controller.getCompileStack().pushLoop(loop.getStatementLabels()); Label continueLabel = controller.getCompileStack().getContinueLabel(); Label breakLabel = controller.getCompileStack().getBreakLabel(); mv.visitLabel(continueLabel); BooleanExpression bool = loop.getBooleanExpression(); boolean boolHandled = false; if (bool.getExpression() instanceof ConstantExpression) { ConstantExpression constant = (ConstantExpression) bool.getExpression(); if (constant.getValue()==Boolean.TRUE) { boolHandled = true; // do nothing } else if (constant.getValue()==Boolean.FALSE) { boolHandled = true; mv.visitJumpInsn(GOTO, breakLabel); } } if(!boolHandled) { bool.visit(controller.getAcg()); controller.getOperandStack().jump(IFEQ, breakLabel); } loop.getLoopBlock().visit(controller.getAcg()); mv.visitJumpInsn(GOTO, continueLabel); mv.visitLabel(breakLabel); controller.getCompileStack().pop(); }
TypeChooser typeChooser = controller.getTypeChooser(); Expression boolPart = expression.getBooleanExpression().getExpression(); Expression falsePart = expression.getFalseExpression();
@Override public void visitBooleanExpression(BooleanExpression exp) { visit(exp.getExpression()); }
public void visitBooleanExpression(BooleanExpression expression) { expression.getExpression().visit(this); }
public void visitBooleanExpression(BooleanExpression expression) { expression.getExpression().visit(this); }
public void visitBooleanExpression(BooleanExpression expression) { expression.getExpression().visit(this); }
private void addVariableNames(Expression expression, List list) { if (expression instanceof BooleanExpression) { BooleanExpression boolExp = (BooleanExpression) expression; addVariableNames(boolExp.getExpression(), list); } else if (expression instanceof BinaryExpression) { BinaryExpression binExp = (BinaryExpression) expression; addVariableNames(binExp.getLeftExpression(), list); addVariableNames(binExp.getRightExpression(), list); } else if (expression instanceof VariableExpression) { VariableExpression varExp = (VariableExpression) expression; list.add(varExp.getName()); } }
private void addVariableNames(Expression expression, List list) { if (expression instanceof BooleanExpression) { BooleanExpression boolExp = (BooleanExpression) expression; addVariableNames(boolExp.getExpression(), list); } else if (expression instanceof BinaryExpression) { BinaryExpression binExp = (BinaryExpression) expression; addVariableNames(binExp.getLeftExpression(), list); addVariableNames(binExp.getRightExpression(), list); } else if (expression instanceof VariableExpression) { VariableExpression varExp = (VariableExpression) expression; list.add(varExp.getName()); } }
@Override public void visitBooleanExpression(BooleanExpression expr) { BooleanExpression result = new BooleanExpression( replaceExpr(expr.getExpression())); result.setType(expr.getType()); result.setSourcePosition(expr); replaceVisitedExpressionWith(result); }