public class GlobalExtractor
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
static int |
COST_THRESHOLD |
Constructor and Description |
---|
GlobalExtractor(Expression root,
GlobalVariableManager globalVariableManager,
ExpressionVisitor visitor) |
Modifier and Type | Method and Description |
---|---|
Expression |
extractGlobals(ExpressionVisitor visitor) |
public static final int COST_THRESHOLD
public GlobalExtractor(Expression root, GlobalVariableManager globalVariableManager, ExpressionVisitor visitor)
public Expression extractGlobals(ExpressionVisitor visitor) throws XPathException
XPathException
Copyright (c) 2004-2018 Saxonica Limited. All rights reserved.