Marpa: Anahtar kelimeleri tanımlayıcı olarak açıkça reddedebilir miyim?

Question

Marpa'da yeni bir DSL uyguluyorum ve (Regexp :: Grammars'dan geliyor) memnun kaldım. Dilim, bir grup ikili ve ikili operatörü, C stili tanımlayıcıları olan nesneleri ve tanıdık nokta gösterimini kullanan yöntem çağrılarını desteklemektedir. Örneğin:

foo.has(bar == 42 AND baz == 23)

Ben Marpa en dilbilgisi tanımlama dili ile sunulan prioritized rules özelliğini bulundu ve bu çok güvenmek gelmiş, bu yüzden neredeyse tek G1 kural Expression var. Alıntı (kısaca geçilmiştir birçok alternatifleri ve semantik eylemler): Gördüğünüz gibi, ben Scanless arabirimini (SLIF) kullanıyorum

Expression ::= 
     NumLiteral 
    | '(' Expression ')'    assoc => group 
    || Expression ('.') Identifier 
    || Expression ('.') Identifier Args 
    | Expression ('==') Expression 
    || Expression ('AND') Expression 

Args  ::= ('(') ArgsList (')') 
ArgsList ::= Expression+    separator => [,] 

Identifier   ~ IdentifierHeadChar IdentifierBody 
IdentifierBody  ~ IdentifierBodyChar* 
IdentifierHeadChar ~ [a-zA-Z_] 
IdentifierBodyChar ~ [a-zA-Z0-9_] 

NumLiteral ~ [0-9]+ 

. Benim sorunum bu da örneğin, ayrıştırır şudur:

foo.AND(5) 

Marpa sadece bir nokta sonra bir tanımlayıcı olamayacağını bilir, bu yüzden bile AND bir anahtar kelime olabileceği gerçeğini dikkate almaz. AND'u bir anahtar kelime olarak tanımlayan ayrı bir lexing aşaması yaparak bu problemden kaçınabileceğimi biliyorum, ancak bu minik kağıt parçası çabaya değmez.

Identifier kuralını yalnızca anahtar kelime olmayan tanımlayıcılarla kısıtlamak için SLIF'de bir yol var mı?

Answer 1

Dilbilgisinde böyle bir şeyi nasıl ifade edeceğimi bilmiyorum. Gerçi durumunu kontrol hangi Tanımlayıcısı'nın bir ara terminal dışı tanıtabilirsiniz:

#!/usr/bin/perl 
use warnings; 
use strict; 
use Syntax::Construct qw{ // }; 

use Marpa::R2; 

my %reserved = map { $_ => 1 } qw(AND); 

my $grammar = 'Marpa::R2::Scanless::G'->new(
    { bless_package => 'main', 
     source => \(<< '__GRAMMAR__'), 

:default ::= action => store 

:start ::= S 
S ::= Id 
    | Id NumLiteral 
Id ::= Identifier action => allowed 

Identifier   ~ IdentifierHeadChar IdentifierBody 
IdentifierBody  ~ IdentifierBodyChar* 
IdentifierHeadChar ~ [a-zA-Z_] 
IdentifierBodyChar ~ [a-zA-Z0-9_] 

NumLiteral ~ [0-9]+ 

:discard ~ whitespace 
whitespace ~ [\s]+ 

__GRAMMAR__ 
    }); 

for my $value ('ABC', 'ABC 42', 'AND 1') { 
    my $value = $grammar->parse(\$value, 'main'); 
    print $$value, "\n"; 
} 


sub store { 
    my (undef, $id, $arg) = @_; 
    $arg //= 'null'; 
    return "$id $arg"; 
} 

sub allowed { 
    my (undef, $id) = @_; 
    die "Reserved keyword $id" if $reserved{$id}; 
    return $id 
} 

Answer 2

Sadece şey bu tür yönelik sözlükbirim öncelikleri kullanabilirsiniz, örnek Marpa :: R2 test paketi here olduğunu.

Temel olarak, <AND keyword> ~ 'AND' sözlüğünü bildirir ve Identifier üzerinden tercih edilmesini sağlar. Bu hile yapmalı.

P.S. Bir örnek vermek için yukarıdaki betiği biraz değiştirdim - code, output.