From a8eeb497670fb0f2ffab1f9b070808df965415be Mon Sep 17 00:00:00 2001 From: Krasimir Angelov Date: Mon, 7 Aug 2017 16:39:19 +0200 Subject: 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. --- src/runtime/c/pgf/aligner.c | 9 ++++++++- 1 file changed, 8 insertions(+), 1 deletion(-) (limited to 'src/runtime/c/pgf/aligner.c') 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* -- cgit v1.2.3