Struct xrust::evaluate::StaticContext

pub struct StaticContext {
    pub funcs: RefCell<HashMap<String, Function>>,
    pub vars: RefCell<HashMap<String, Vec<Sequence>>>,
}

Static context

Provide a static context and analysis for a Sequence Constructor.

Currently, this stores the set of functions and variables available to a constructor.

Fields

funcs: RefCell<HashMap<String, Function>>

vars: RefCell<HashMap<String, Vec<Sequence>>>

Implementations

impl StaticContext

pub fn new() -> StaticContext

Creates a new StaticContext.

pub fn new_with_builtins() -> StaticContext

Creates a new StaticContext and initializes it with the pre-defined XPath functions.

Currently, this is the functions defined for XPath 1.0:

• position()

• last()

• count()

• local-name()

• name()

• string()

• concat()

• starts-with()

• contains()

• substring()

• substring-before()

• substring-after()

• normalize-space()

• translate()

• boolean()

• not()

• true()

• false()

• number()

• sum()

• floor()

• ceiling()

• round() These functions are defined for XPath 2.0:

• current-dateTime()

• current-date()

• current-time()

• format-dateTime()

• format-date()

• format-time()

pub fn new_with_xslt_builtins() -> StaticContext

Create a new StaticContext with builtin functions defined, including additional functions defined by XSLT.

pub fn extension_function(&mut self, name: String, _ns: String, f: Function)

Register an extension function

pub fn declare_function(&self, n: String, _ns: String, p: Vec<Param>)

Declares a function in the static context. The first argument is the name of the function. The second argument is the namespace URI (not currently supported). The third argument defines the arity of the function, and the types of each parameter (not currently supported).

pub fn declare_variable(&self, n: String, _ns: String)

Declares a variable in the static context. The first argument is the name of the variable. The second argument is the namespace URI (not currently supported).

pub fn static_analysis(&mut self, e: &mut Vec<Constructor>)

Perform static analysis of a sequence constructor.

This checks that functions and variables are declared. It also rewrites the constructors to provide the implementation of functions that are used in expressions.