This file is indexed.

/usr/include/dparser/dparse_tree.h is in mcrl2 201210.1-1ubuntu1.

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
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
/* 
    $URL: http://manta.univ.gda.pl/svn/wb/parsing/dparser/D/dparse_tree.h $
    $Revision: 1.1 $

    This interface provides a `print_parsetree' function that can 
    be used to print a parse tree built by Dparser.  The implementation
    of `print_parsetree' calls, on every node of the parse tree,
    a function `fn` that should print the node. Two such functions are 
    provided: `print_node_default' which uses indentation to show the parse 
    tree and `print_node_parenthesised' which uses parens.

    Three additional files provide an example:
      -- `driver_parsetree.c' contains a program illustrating the use of `print_parsetree',
      -- `4calc.g' contains a grammar for a simple calculator,
      -- `4calc.in' an expression to parse. 
    The following commands can be used to compile and try out the example:
      make_dparser 4calc.g
      cc -o 4calc driver_parsetree.c 4calc.g.d_parser.c -I/usr/local/include -L/usr/local/lib -ldparse 
      ./4calc 4calc.in
*/

#ifndef _parsetree_H_
#define _parsetree_H_

#include "dparse.h"


/* `print_node_fn_t' type defines a class of callback functions that
   the `print_parsetree' function uses to print a node   */

typedef void (print_node_fn_t)(int depth, char *token_name, char *token_value, void *client_data);

/*  if `fn' is NULL, then the function `print_node_default' is used  */

void 
print_parsetree(D_ParserTables pt, D_ParseNode *pn, print_node_fn_t fn, void *client_data);


/* `print_node_default' truncates `token_value' to 44 characters 
    and replaces newlines with spaces */

void 
print_node_default(int depth, char *token_name, char *token_value, void *client_data);

void 
print_node_parenthesised(int depth, char *token_name, char *token_value, void *client_data);

#endif