QPatternist::OptimizationPasses Namespace Reference

Contains a set of common OptimizerPass instances. More...

Classes
class	Coordinator

Variables
OptimizationPass::List	comparisonPasses
OptimizationPass::List	forPasses
OptimizationPass::List	ifThenPasses
OptimizationPass::List	notFN

Detailed Description

Contains a set of common OptimizerPass instances.

Author

Frans englich frans.nosp@m..eng.nosp@m.lich@.nosp@m.noki.nosp@m.a.com

Variable Documentation

comparisonPasses

OptimizationPass::List QPatternist::OptimizationPasses::comparisonPasses

A list of OptimizerPass instances that performs the following rewrites:

• count([expr]) ne 0 into exists([expr])
• count([expr]) != 0 into exists([expr])
• 0 ne count([expr]) into exists([expr])
• 0 != count([expr]) into exists([expr])
• count([expr]) eq 0 into empty([expr])
• count([expr]) = 0 into empty([expr])
• 0 eq count([expr]) into empty([expr])
• 0 = count([expr]) into empty([expr])
• count([expr]) ge 1 into exists([expr])
• count([expr]) >= 1 into exists([expr])

Definition at line 51 of file qoptimizationpasses.cpp.

Referenced by QPatternist::OptimizationPasses::Coordinator::init(), QPatternist::GeneralComparison::optimizationPasses(), and QPatternist::ValueComparison::optimizationPasses().

forPasses

OptimizationPass::List QPatternist::OptimizationPasses::forPasses

A list of OptimizerPass instances that performs the following rewrites:

• for $var in [expr] return $var into [expr]

Definition at line 52 of file qoptimizationpasses.cpp.

Referenced by QPatternist::OptimizationPasses::Coordinator::init(), and QPatternist::ForClause::optimizationPasses().

ifThenPasses

OptimizationPass::List QPatternist::OptimizationPasses::ifThenPasses

A list of OptimizerPass instances that performs the following rewrites:

• if([expr of type xs:boolean]) then true() else false() into [expr of type xs:boolean]

Definition at line 53 of file qoptimizationpasses.cpp.

Referenced by QPatternist::OptimizationPasses::Coordinator::init(), and QPatternist::IfThenClause::optimizationPasses().

notFN

OptimizationPass::List QPatternist::OptimizationPasses::notFN

A list of OptimizerPass instances that performs the following rewrites:

• fn:not(fn:exists([expr])) into fn:empty([expr])
• fn:not(fn:empty([expr])) into fn:exists([expr])

Definition at line 54 of file qoptimizationpasses.cpp.

Referenced by QPatternist::OptimizationPasses::Coordinator::init(), and QPatternist::NotFN::optimizationPasses().