Existe uma maneira melhor para definir um decimal em uma MGrammar?

Pergunta

Eu estou trabalhando em um DSL in new M Gramática da Microsoft, e ele precisa para permitir valores decimais. Eu defini decimal como

token digits = "0".."9";
token spot = ".";
token decimal = digits+ | digits+ spot digits+ | spot digits+;

que parece funcionar, mas há uma maneira melhor? Ele só se sente como se estivesse faltando alguma coisa.

Solução

Depois de muita escavação eu descobri que você pode usar a configuração na Language.Grammar.Decimal. Como em

syntax Cost = Language.Grammar.Decimal

O Language.Base "namespace" também tem alguns bits úteis. Ambos Language.Base e Language.Grammar são construídos para IntelliPad.

Não afiliado a StackOverflow