m2sf / m2sharp Goto Github PK

TO DO:

• - add OPAQUE type definition syntax to EBNF
• - add capability for explicit OPAQUE type definition
• - add OPAQUE reserved word to terminal symbols
• - implement OPAQUE resword recognition in resword recogniser
• - implement OPAQUE type definition syntax in parser

A decision is required how to implement a tokenset type for the FIRST and FOLLOW sets.

There are two choices:

(1) generic

In Java there is a generic set of enums called EnumSet. We could implement that in C# an then use it like this ...

public EnumSet<ITerminals.Token> FIRST (Production p);

(2) specific

Alternatively, we could follow the C implementation (m2-tokenset.h) and implement a specific tokenset type in C#. This would then be used like this ...

public TokenSet FIRST (Production p);

Approach #1 is certainly more elegant and also reusable. OTOH, approach #2 is probably less effort because we can derive it from the C version.