Examples of org.openquark.cal.internal.javamodel.JavaStatement.AssertStatement

Package org.openquark.cal.internal.javamodel.JavaStatement

Examples of org.openquark.cal.internal.javamodel.JavaStatement.AssertStatement

org.openquark.cal.internal.javamodel.JavaStatement.AssertStatement

            T arg) {
        JavaExpression condition = 
            (JavaExpression)assertStatement.getConditionExpr().accept(this, arg);
        if (assertStatement.getOnFailureExpr() != null) {
            JavaExpression failureExpr = (JavaExpression)assertStatement.getOnFailureExpr().accept(this, arg);
            return new AssertStatement (
                    condition,
                    failureExpr,
                    assertStatement.getOnFailureExprType());
        }
        return new AssertStatement (condition);
        
    }

View Full Code Here


            // Finish the block.
            emitLine (sb, indent, "}");
        } else
        if (statement instanceof AssertStatement) {
            AssertStatement ast = (AssertStatement)statement;
            JavaExpression conditionExpression = ast.getConditionExpr();
            JavaExpression failureExpression = ast.getOnFailureExpr();


            if (failureExpression != null) {
                emitIndent(sb, indent);
                sb.append("assert (");
                sb.append(getSource(conditionExpression, indent, 8, context));

View Full Code Here

                    JavaExpression compareArg = new OperatorExpression.Binary(JavaOperator.NOT_EQUALS_OBJECT, new MethodVariable(argNames[i]), LiteralWrapper.NULL);
                    argCheck = new JavaExpression.OperatorExpression.Binary(JavaOperator.CONDITIONAL_AND, argCheck, compareArg);
                }
            }
            javaConstructor.addStatement(
                    new AssertStatement(
                            argCheck,
                            new MethodInvocation.Instance(null, "badConsArgMsg", JavaTypeName.STRING, MethodInvocation.InvocationType.VIRTUAL),
                            JavaTypeName.STRING));


            // Assign the argument values to the class fields.

View Full Code Here

            for (int i = 1; i < argNames.length; ++i) {
                JavaExpression compareArg = new OperatorExpression.Binary(JavaOperator.NOT_EQUALS_OBJECT, argVars[i], LiteralWrapper.NULL);
                argCheck = new JavaExpression.OperatorExpression.Binary(JavaOperator.CONDITIONAL_AND, argCheck, compareArg);
            }
            javaConstructor.addStatement(
                    new AssertStatement(argCheck,
                                        new MethodInvocation.Instance(null, "badConsArgMsg", JavaTypeName.STRING, MethodInvocation.InvocationType.VIRTUAL),
                                        JavaTypeName.STRING));


            // Assign the constructor arguments to the class fields.
            javaConstructor.addStatement(new ExpressionStatement(new Assignment(functionField, argVars[0])));

View Full Code Here

            JavaExpression check = new JavaExpression.OperatorExpression.Binary(JavaOperator.NOT_EQUALS_OBJECT, argVars[0], LiteralWrapper.NULL);
            for (int i = 1, n = dc.getArity(); i < n; ++i) {
                JavaExpression nextCheck = new JavaExpression.OperatorExpression.Binary(JavaOperator.NOT_EQUALS_OBJECT, argVars[i], LiteralWrapper.NULL);
                check = new OperatorExpression.Binary(JavaOperator.CONDITIONAL_AND, check, nextCheck);
            }
            javaConstructor.addStatement(new AssertStatement(check, LiteralWrapper.make("Invalid constructor argument for " + dc.getName().getQualifiedName()), JavaTypeName.STRING));


            // Add the body..
            // We want to assign any fields in this class.
            for (int i = 0; i < dc.getArity(); i++) {
                if (commonFields.contains(dc.getNthFieldName(i))) {

View Full Code Here

                        check = new OperatorExpression.Binary(JavaOperator.CONDITIONAL_AND, check, newCheck);
                    }
                }
            }
            if (check != null) {
                javaConstructor.addStatement(new AssertStatement(check, LiteralWrapper.make("Invalid constructor argument for " + dc.getName().getQualifiedName()), JavaTypeName.STRING));
            }


            // Add the body..
            // We want to assign any of the fields in this class.
            for (int i = 0, n = dc.getArity(); i < n; i++) {

View Full Code Here

TOP

Related Classes of org.openquark.cal.internal.javamodel.JavaStatement.AssertStatement

org.openquark.cal.internal.javamodel.JavaModelCopier

org.openquark.cal.internal.javamodel.JavaSourceGenerator

org.openquark.cal.internal.machine.lecc.JavaDefinitionBuilder$DataConsDefinitionBuilder

org.openquark.cal.internal.machine.lecc.JavaDefinitionBuilder$SCDefinitionBuilder

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.