@Override public IMatchable findObject(MatchNode matchNode, int index) { IMatchable object = super.findObject(matchNode, index); if (object != null) { return object; } if (matchNode.getType() == MatchNode.MATCHNODE_EXPRENT) { String position = (String)matchNode.getRuleValue(MatchProperties.EXPRENT_POSITION); if ("head".equals(position)) { return getHeadexprent(); } } return null; }
ifelsestat.getHeadexprentList().set(0, ((IfExprent)ifelsestat.getHeadexprent().copy()).negateIf());
IfExprent statexpr = ifparent.getHeadexprent(); lstOperands.add(new FunctionExprent(FunctionExprent.FUNCTION_BOOL_NOT, ifchild.getHeadexprent().getCondition(), null)); statexpr.setCondition(new FunctionExprent(FunctionExprent.FUNCTION_CADD, lstOperands, null)); statexpr.addBytecodeOffsets(ifchild.getHeadexprent().bytecode);
ifelsestat.getHeadexprentList().set(0, ((IfExprent)ifelsestat.getHeadexprent().copy()).negateIf());
IfExprent statexpr = ifparent.getHeadexprent(); lstOperands.add(ifchild.getHeadexprent().getCondition()); statexpr.addBytecodeOffsets(ifchild.getHeadexprent().bytecode);
Statement ifbranch = ifstat.getIfstat(); Exprent if_condition = ifstat.getHeadexprent().getCondition();
IfExprent statexpr = secondif.getHeadexprent(); lstOperands.add(firstif.getHeadexprent().getCondition()); IfExprent statexpr = firstif.getHeadexprent(); statexpr .setCondition(new FunctionExprent(FunctionExprent.FUNCTION_BOOL_NOT, statexpr.getCondition(), null));
Object[] exprres = getAssertionExprent(stat.getHeadexprent().getCondition().copy(), classname, key, throwInIf); if (!(Boolean)exprres[1]) { return false;
private static boolean buildIff(Statement stat, SSAConstructorSparseEx ssa) { if (stat.type == Statement.TYPE_IF && stat.getExprents() == null) { IfStatement statement = (IfStatement)stat; Exprent ifHeadExpr = statement.getHeadexprent(); Set<Integer> ifHeadExprBytecode = (ifHeadExpr == null ? null : ifHeadExpr.bytecode); List<Exprent> data = new ArrayList<>(statement.getFirst().getExprents()); List<Exprent> operands = Arrays.asList(statement.getHeadexprent().getCondition(), ifAssign.getRight(), elseAssign.getRight()); data.add(new AssignmentExprent(ifVar, new FunctionExprent(FunctionExprent.FUNCTION_IIF, operands, ifHeadExprBytecode), ifHeadExprBytecode)); statement.setExprents(data); statement.getHeadexprent().getCondition(), ifExit.getValue(), elseExit.getValue()), ifHeadExprBytecode), ifExit.getRetType(), ifHeadExprBytecode));
Exprent if_condition = ifparent.getHeadexprent().getCondition(); Exprent if_condition = ifstat.getHeadexprent().getCondition();
IfExprent ifexpr = (IfExprent)lastif.getHeadexprent().copy(); if (ifedge.getType() == StatEdge.TYPE_BREAK) { ifexpr.negateIf();
IfExprent ifexpr = (IfExprent)firstif.getHeadexprent().copy(); ifexpr.negateIf(); stat.setConditionExprent(ifexpr.getCondition()); stat.setConditionExprent(((IfExprent)firstif.getHeadexprent().copy()).getCondition());
IfExprent statexpr = ifstat.getHeadexprent(); statexpr.setCondition(new FunctionExprent(FunctionExprent.FUNCTION_BOOL_NOT, statexpr.getCondition(), null));
public IMatchable findObject(MatchNode matchNode, int index) { IMatchable object = super.findObject(matchNode, index); if(object != null) { return object; } if(matchNode.getType() == MatchNode.MATCHNODE_EXPRENT) { String position = (String)matchNode.getRuleValue(MatchProperties.EXPRENT_POSITION); if("head".equals(position)) { return getHeadexprent(); } } return null; }
IfExprent statexpr = ifparent.getHeadexprent(); lstOperands.add(new FunctionExprent(FunctionExprent.FUNCTION_BOOL_NOT, ifchild.getHeadexprent().getCondition(), null)); statexpr.setCondition(new FunctionExprent(FunctionExprent.FUNCTION_CADD, lstOperands, null)); statexpr.addBytecodeOffsets(ifchild.getHeadexprent().bytecode);
IfExprent statexpr = ifparent.getHeadexprent(); lstOperands.add(ifchild.getHeadexprent().getCondition()); statexpr.addBytecodeOffsets(ifchild.getHeadexprent().bytecode);
Statement ifbranch = ifstat.getIfstat(); Exprent if_condition = ifstat.getHeadexprent().getCondition();
IfExprent statexpr = secondif.getHeadexprent(); lstOperands.add(firstif.getHeadexprent().getCondition()); IfExprent statexpr = firstif.getHeadexprent(); statexpr .setCondition(new FunctionExprent(FunctionExprent.FUNCTION_BOOL_NOT, statexpr.getCondition(), null));
IfExprent ifexpr = (IfExprent)lastif.getHeadexprent().copy(); if (ifedge.getType() == StatEdge.TYPE_BREAK) { ifexpr.negateIf();
IfExprent ifexpr = (IfExprent)firstif.getHeadexprent().copy(); ifexpr.negateIf(); stat.setConditionExprent(ifexpr.getCondition()); stat.setConditionExprent(((IfExprent)firstif.getHeadexprent().copy()).getCondition());