aboutsummaryrefslogtreecommitdiffstats
path: root/contrib/tools/bison/data/skeletons/README-D.txt
blob: e6068b4edbcb5ce12f47c2c701f8a58e558f8ab7 (plain) (blame)
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
49
50
51
52
53
54
55
56
57
58
59
60
Some usage notes for the D Parser:

- it is a port of the Java parser, so interface is very similar.

- the lexer class needs to implement the interface 'Lexer' (similar to
  java). It typically (depending on options) looks like this:

public interface Lexer
{
  /**
   * Method to retrieve the beginning position of the last scanned token.
   * @return the position at which the last scanned token starts.  */
  @property YYPosition startPos ();

  /**
   * Method to retrieve the ending position of the last scanned token.
   * @return the first position beyond the last scanned token.  */
  @property YYPosition endPos ();

  /**
   * Method to retrieve the semantic value of the last scanned token.
   * @return the semantic value of the last scanned token.  */
  @property YYSemanticType semanticVal ();

  /**
   * Entry point for the scanner.  Returns the token identifier corresponding
   * to the next token and prepares to return the semantic value
   * and beginning/ending positions of the token.
   * @return the token identifier corresponding to the next token. */
  TokenKind yylex ();

  /**
   * Entry point for error reporting.  Emits an error
   * referring to the given location in a user-defined way.
   *
   * @param loc The location of the element to which the
   *                error message is related
   * @param s The string for the error message.  */
   void yyerror (YYLocation loc, string s);
}

- semantic types are handled by D unions (same as for C/C++ parsers)

- the following (non-standard) %defines are supported:

  %define package "<package_name>"
  %define api.parser.class "my_class_name>"
  %define position_type "my_position_type"
  %define location_type "my_location_type"

- the following declarations basically work like in C/C++:

  %locations
  %error-verbose
  %parse-param
  %initial-action
  %code
  %union

- %destructor is not yet supported