Examples of dk.brics.string.intermediate.AssertUnaryOp

dk.brics.string.intermediate.AssertUnaryOp
Performs two binary operation opA(a,b),opB(b,a). The result of opA is then put in a, and the result of opB into b. The output from either operation does not directly affect the input to the other. @author Asger

            if (isVariableAssertable(a.from, a.targetStatement, a) && isVariableAssertable(a.to, a.targetStatement, a)) {
                validAssertions.add(a);
            }
        }
        else if (statement instanceof AssertUnaryOp) {
            AssertUnaryOp a = (AssertUnaryOp)statement;
            if (isVariableAssertable(a.to, a.targetStatement, a)) {
                validAssertions.add(a);
            }
        }
    }

View Full Code Here

            builder.addStatement(new AssertAliases(statements.get(unit).getLast(), first, second, aliases));
        }
        void makeUnaryAssertion(Variable var, UnaryOperation op) {
            if (var == null)
                return;
            builder.addStatement(new AssertUnaryOp(statements.get(unit).getLast(), var, op));
        }

View Full Code Here

TOP

Related Classes of dk.brics.string.intermediate.AssertUnaryOp

dk.brics.string.intermediate.operations.OperationAssertionAnalysis

dk.brics.string.java.AssertionCreatorImpl$AssertionVisitor

All source code are property of their respective owners. Java is a trademark of Sun Microsystems, Inc and owned by ORACLE Inc. Contact coftware#gmail.com.