Home
last modified time | relevance | path

Searched refs:posExpr (Results 1 – 7 of 7) sorted by relevance

/dports/textproc/zorba/zorba-2.7.0/src/compiler/rewriter/rules/
H A Dflwor_rules.cpp1409 expr* posExpr = NULL; in RULE_REWRITE_PRE() local
1483 expr* posExpr, in rewrite_positional_pred() argument
1503 posExpr); in rewrite_positional_pred()
1515 args[2] = posExpr; in rewrite_positional_pred()
1533 posExpr = rCtx.theEM-> in rewrite_positional_pred()
1537 posExpr, in rewrite_positional_pred()
1543 args[2] = posExpr; in rewrite_positional_pred()
1560 posExpr); in rewrite_positional_pred()
1569 posExpr = rCtx.theEM-> in rewrite_positional_pred()
1573 posExpr, in rewrite_positional_pred()
[all …]
H A Dtype_rules.cpp297 expr* posExpr = fo->get_arg(1); in RULE_REWRITE_POST() local
298 if (posExpr->get_expr_kind() == promote_expr_kind) in RULE_REWRITE_POST()
300 promote_expr* promoteExpr = static_cast<promote_expr*>(posExpr); in RULE_REWRITE_POST()
301 posExpr = promoteExpr->get_input(); in RULE_REWRITE_POST()
304 const QueryLoc& posLoc = posExpr->get_loc(); in RULE_REWRITE_POST()
305 xqtref_t posType = posExpr->get_return_type(); in RULE_REWRITE_POST()
327 fo->set_arg(1, posExpr); in RULE_REWRITE_POST()
338 fo->set_arg(1, posExpr); in RULE_REWRITE_POST()
/dports/textproc/zorba/zorba-2.7.0/src/functions/
H A Dfunc_sequences_impl.cpp272 const expr* posExpr = subseqExpr.get_arg(1); in codegen() local
277 posExpr->get_expr_kind() == const_expr_kind && in codegen()
281 xs_double dpos = static_cast<const const_expr*>(posExpr)-> in codegen()
355 const expr* posExpr = subseqExpr.get_arg(1); in codegen() local
363 posExpr->get_expr_kind() == const_expr_kind && in codegen()
372 pos = static_cast<const const_expr*>(posExpr)->get_val()->getLongValue(); in codegen()
450 const expr* posExpr = subseqExpr.get_arg(1); in codegen() local
455 if (posExpr->get_expr_kind() == const_expr_kind) in codegen()
457 store::Item* posItem = static_cast<const const_expr*>(posExpr)->get_val(); in codegen()
/dports/textproc/zorba/zorba-2.7.0/src/compiler/parsetree/
H A Dparsenodes.cpp5909 const rchandle<exprnode>& posExpr) in JSONArrayInsertExpr() argument
5913 thePositionExpr(posExpr), in JSONArrayInsertExpr()
H A Dparsenodes.h6676 const rchandle<exprnode>& posExpr);
/dports/security/hs-cryptol/cryptol-2.11.0/_cabal_deps/what4-1.1/src/What4/Protocol/
H A DSMTWriter.hs2585 let posExpr = (2*x - 1 .< 2*r) .&& (2*r .<= 2*x + 1) function
2588 addSideCondition "round" $ x .< 0 .|| posExpr
/dports/textproc/zorba/zorba-2.7.0/src/compiler/translator/
H A Dtranslator.cpp13330 expr* posExpr = pop_nodestack(); in end_visit() local
13334 posExpr = wrap_in_type_promotion(posExpr, in end_visit()
13346 args[1] = posExpr; in end_visit()