List of typeCheck() Examples

Examples of typeCheck()

ast.Program.typecheck()
client.net.sf.saxon.ce.expr.instruct.Block.typeCheck()
client.net.sf.saxon.ce.functions.NumberFn.typeCheck()
Type-check the expression. This also calls preEvaluate() to evaluate the function if all the arguments are constant; functions that do not require this behavior can override the preEvaluate method.
net.sf.saxon.expr.ExpressionVisitor.typeCheck()
Type check an expression, via the ExpressionVisitor @param exp the expression to be typechecked @param contextItemType the static type of the context item for this expression @return the expression that results from type checking (this may be wrapped in expressions thatperform dynamic checking of the item type or cardinality, or that perform atomization or numeric promotion) @throws XPathException if static type checking fails, that is, if the expression cannot possiblydeliver a value of the required type
net.sf.saxon.functions.NumberFn.typeCheck()
Type-check the expression. This also calls preEvaluate() to evaluate the function if all the arguments are constant; functions that do not require this behavior can override the preEvaluate method.
org.jboss.byteman.rule.Rule.typeCheck()
type check this rule @throws TypeException if the ruele contains type errors
org.overture.ide.core.resources.IVdmProject.typeCheck()
org.pdf4j.saxon.expr.ExpressionVisitor.typeCheck()
Type check an expression, via the ExpressionVisitor @param exp the expression to be typechecked @param contextItemType the static type of the context item for this expression @return the expression that results from type checking (this may be wrapped in expressions thatperform dynamic checking of the item type or cardinality, or that perform atomization or numeric promotion) @throws XPathException if static type checking fails, that is, if the expression cannot possiblydeliver a value of the required type
org.yinwang.yin.ast.Node.typecheck()
wyvern.tools.typedAST.core.Sequence.typecheck()
wyvern.tools.typedAST.core.declarations.ValDeclaration.typecheck()
wyvern.tools.typedAST.interfaces.TypedAST.typecheck()

Examples of net.sf.saxon.expr.ExpressionVisitor.typeCheck()


    public List evaluate(String expression) throws net.sf.saxon.trans.XPathException {
        Expression exp = ExpressionTool.make(expression, staticContext,0,-1,1, false);
        ExpressionVisitor visitor = ExpressionVisitor.make(staticContext);
        visitor.setExecutable(getExecutable());
        exp = visitor.typeCheck(exp, Type.ITEM_TYPE);
        SlotManager map = staticContext.getConfiguration().makeSlotManager();
        ExpressionTool.allocateSlots(exp, 0, map);
        XPathContextMajor context = new XPathContextMajor(contextNode, staticContext.getExecutable());
        context.openStackFrame(map);
        SequenceIterator iterator = exp.iterate(context);

View Full Code Here

Examples of net.sf.saxon.expr.ExpressionVisitor.typeCheck()


    public Object evaluateSingle(String expression) throws net.sf.saxon.trans.XPathException {
        Expression exp = ExpressionTool.make(expression, staticContext,0,-1,1, false);
        ExpressionVisitor visitor = ExpressionVisitor.make(staticContext);
        visitor.setExecutable(getExecutable());
        exp = visitor.typeCheck(exp, Type.ITEM_TYPE);
        SlotManager map = staticContext.getConfiguration().makeSlotManager();
        ExpressionTool.allocateSlots(exp, 0, map);
        XPathContextMajor context = new XPathContextMajor(contextNode, staticContext.getExecutable());
        context.openStackFrame(map);
        SequenceIterator iterator = exp.iterate(context);

View Full Code Here

Examples of net.sf.saxon.functions.NumberFn.typeCheck()

                th.isSubType(type1, BuiltInAtomicType.INTEGER) &&
                (operator == Token.PLUS || operator == Token.MINUS || operator == Token.MULT)) {
            ArithmeticExpression arith = new ArithmeticExpression(operand0, operator, operand1);
            arith.simplified = true;
            NumberFn n = (NumberFn)SystemFunction.makeSystemFunction("number", new Expression[]{arith});
            return n.typeCheck(visitor, contextItemType);
        }


        if (calculator == null) {
            operand0 = createConversionCode(operand0, th, type0);
        }

View Full Code Here

Examples of org.jboss.byteman.rule.Rule.typeCheck()

                    }


                    // ok, now see if we can type check the rule


                    try {
                        rule.typeCheck();
                    } catch (TypeException te) {
                        System.out.println("TestScript : Failed to type check rule \"" + script.getName() + "\" loaded from " + script.getFile() + " line " + script.getLine());
                        typeErrorCount++;
                        te.printStackTrace(System.out);
                        System.out.println();

View Full Code Here

Examples of org.jboss.byteman.rule.Rule.typeCheck()

                    }


                    // ok, now see if we can type check the rule


                    try {
                        rule.typeCheck();
                    } catch (TypeWarningException te) {
                        System.out.println("WARNING : Unable to type check rule \"" + script.getName() + "\" loaded from " + script.getFile() + " line " + script.getLine() + (methodName == null ? "" : " against method " + methodName));
                        typeWarningCount++;
                        warningCount++;
                        System.out.println(te);

View Full Code Here

Examples of org.jboss.byteman.rule.Rule.typeCheck()

                    }


                    // ok, now see if we can type check the rule


                    try {
                        rule.typeCheck();
                    } catch (TypeException te) {
                        System.out.println("TestScript : Failed to type check rule \"" + script.getName() + "\" loaded from " + script.getFile() + " line " + script.getLine());
                        typeErrorCount++;
                        te.printStackTrace(System.out);
                        System.out.println();

View Full Code Here

Examples of org.jboss.byteman.rule.Rule.typeCheck()

                    info(infoMessage);


                    // ok, now see if we can type check the rule


                    try {
                        rule.typeCheck();
                        rule.compile();
                    } catch (TypeWarningException te) {
                        typeWarning("WARNING : Unable to type check rule \"" + script.getName() + "\" loaded from " + script.getFile() + " line " + script.getLine() + (methodName == null ? "" : " against method " + methodName), te);
                        continue;
                    } catch (TypeException te) {

View Full Code Here

Examples of org.jboss.byteman.rule.Rule.typeCheck()

                    }


                    // ok, now see if we can type check the rule


                    try {
                        rule.typeCheck();
                    } catch (TypeWarningException te) {
                        System.out.println("WARNING : Unable to type check rule \"" + script.getName() + "\" loaded from " + script.getFile() + " line " + script.getLine());
                        typeWarningCount++;
                        warningCount++;
                        te.printStackTrace(System.out);

View Full Code Here

Examples of org.jboss.byteman.rule.Rule.typeCheck()

                    }


                    // ok, now see if we can type check the rule


                    try {
                        rule.typeCheck();
                    } catch (TypeException te) {
                        System.out.println("TestScript : Failed to type check rule \"" + script.getName() + "\" loaded from " + script.getFile() + " line " + script.getLine());
                        typeErrorCount++;
                        te.printStackTrace(System.out);
                        System.out.println();

View Full Code Here

Examples of org.overture.ide.core.resources.IVdmProject.typeCheck()


        IVdmModel model = project.getModel();


        if (!model.isTypeChecked())
        {
          if(!project.typeCheck(new NullProgressMonitor()))
          {
            props.put("TYPE_CHECK_STATUS", "false");
            storeProperties(monitor, props);
            return null;
          }

View Full Code Here

0 1 2 3 4 5

TOP

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.