diff options
| author | Krasimir Angelov <kr.angelov@gmail.com> | 2017-08-07 16:39:19 +0200 |
|---|---|---|
| committer | Krasimir Angelov <kr.angelov@gmail.com> | 2017-08-07 16:39:19 +0200 |
| commit | a8eeb497670fb0f2ffab1f9b070808df965415be (patch) | |
| tree | 5f169893da63183df272b0d281b5eaf5857ed955 /src/runtime/c/pgf/aligner.c | |
| parent | a4c19875ed4a97671d17d6d6f062b465ae1f87a6 (diff) | |
the linearizer API now allows to detect metavariables. This is used for instancein the lookup where the tokens produced from the metavariables are interpreted as distinct from all other tokens.
Diffstat (limited to 'src/runtime/c/pgf/aligner.c')
| -rw-r--r-- | src/runtime/c/pgf/aligner.c | 9 |
1 files changed, 8 insertions, 1 deletions
diff --git a/src/runtime/c/pgf/aligner.c b/src/runtime/c/pgf/aligner.c index be7034f58..d143850d6 100644 --- a/src/runtime/c/pgf/aligner.c +++ b/src/runtime/c/pgf/aligner.c @@ -176,13 +176,20 @@ pgf_aligner_lzn_symbol_capit(PgfLinFuncs** funcs, PgfCapitState capit) alin->capit = capit; } +static void +pgf_aligner_lzn_symbol_meta(PgfLinFuncs** funcs, PgfMetaId id) +{ + pgf_aligner_lzn_symbol_token(funcs, "?"); +} + static PgfLinFuncs pgf_file_lin_funcs = { .symbol_token = pgf_aligner_lzn_symbol_token, .begin_phrase = pgf_aligner_lzn_begin_phrase, .end_phrase = pgf_aligner_lzn_end_phrase, .symbol_ne = pgf_aligner_lzn_symbol_ne, .symbol_bind = pgf_aligner_lzn_symbol_bind, - .symbol_capit = pgf_aligner_lzn_symbol_capit + .symbol_capit = pgf_aligner_lzn_symbol_capit, + .symbol_meta = pgf_aligner_lzn_symbol_meta }; GuSeq* |