Package dk.brics.string.intermediate

Examples of dk.brics.string.intermediate.AssertBinaryOp

36
37
38
39
40
41
42
43
44
45
46
        }
    }
   
    private void inspectAssertion(AssertStatement statement) {
        if (statement instanceof AssertBinaryOp) {
            AssertBinaryOp a = (AssertBinaryOp)statement;
            if (isVariableAssertable(a.from, a.targetStatement, a) && isVariableAssertable(a.to, a.targetStatement, a)) {
                validAssertions.add(a);
            }
        }
        else if (statement instanceof AssertUnaryOp) {
View Full Code Here
158
159
160
161
162
163
164
        }

        void makeBinaryAssertion(Variable first, Variable second, BinaryOperation op) {
            if (first == null || second == null)
                return;
            builder.addStatement(new AssertBinaryOp(statements.get(unit).getLast(), first, second, op));
        }
View Full Code Here
TOP

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

  • dk.brics.string.intermediate.operations.OperationAssertionAnalysis
  • dk.brics.string.java.AssertionCreatorImpl$AssertionVisitor
    • Copyright © 2018 www.massapicom. All rights reserved.
    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.