/usr/lib/ocaml/galax/stream_analysis.mli is in libgalax-ocaml-dev 1.1-12.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 | (***********************************************************************)
(* *)
(* GALAX *)
(* XQuery Engine *)
(* *)
(* Copyright 2001-2007. *)
(* Distributed only by permission. *)
(* *)
(***********************************************************************)
(* $Id: stream_analysis.mli,v 1.2 2007/02/01 22:08:54 simeon Exp $ *)
(* Module: Stream_analysis
Description:
This module provides a whole-program analysis function for
performing a stream analysis on a specified XQuery core module,
consisting of
1) building an XQuery core data flow graph for that module
2) determining for each potential stream source in the graph wether it
can be streamed or not
3) adding a corresponding indicator flag annotation to the core ast node.
At the top level of the analysis, data flow properties of interest are those
of type 'for each data flow path originating at a certain source, ...', which
make use of more low level observations on individual nodes in the graph,
and, in turn, of those nodes' payload (i.e., XQuery core ast handles).
- Michael *)
val stream_analysis_of_xmodule :
Xquery_core_ast.acxmodule -> unit
|