List of allowed keywords for UDT members naming

[TJF]

We can use FB keywords to name the members of an UDT, ie for variables like

Code: Select all

TYPE FB_DEFTOK
  TYPE AS FB_DEFTOK_TYPE
  prev AS FB_DEFTOK PTR
  NEXT AS FB_DEFTOK PTR
END TYPE

But some keywords are forbidden, like AS, UNION, ENUM, END, ...

Is there a list of all allowed (or forbidden) keywords in an UDT (or parameter list)?

[dkl]

For normal struct UDTs all identifiers are allowed including core keywords and quirk keywords, although due to the parsing ambiguity, if you want the parser to treat something as field identifier, you sometimes have to use the "AS TYPE id" multiple-declaration syntax instead of the normal "id AS TYPE" single-declaration one.

Code: Select all

type UDT
	'dim as integer    '' Parsed as DIM declaration, so the DIM is not the identifier
	as integer dim     '' but this works, DIM is the identifier

	'' ditto... we can even have a field called "as"
	as integer declare, static, as

	'' works thanks to the parser doing a look-ahead and finding the AS,
	'' indicating a field called "union" instead of a UNION block
	union as integer
end type

dim x as UDT
print x.dim, x.declare, x.static, x.as, x.union

In class UDTs, core keywords are not allowed as field names (probably due to parsing difficulties thanks to the implicit THIS field accesses from within method bodies), however quirk keywords are still allowed.

The few operator keywords (AND, OR, SHL, ...) are forbidden in both cases, although I think that wouldn't be necessary at least for struct UDTs.

For reference: src/compiler/symb-keyword.bas(27)

[TJF]

Thank you!

Code: Select all

TYPE unbeleavable
  AS BYTE AS
  BYTE AS BYTE
END TYPE

[fxm]

But only for non-derived UDT without member procedure!

[1000101]

It would probably be a good idea not to use any keywords as identifiers just to avoid confusion.

[dodicat]

Better not do it of course?

http://www.freebasic.net/wiki/wikka.php ... KeyPgEvent

[1000101]

That's grandfathered in. ¬¸¬