kieler / klighd-vscode

Eclipse Public License 2.0
8 stars 6 forks source link

Type safety for properties #70

Open Eddykasp opened 2 years ago

Eddykasp commented 2 years ago

Properties are stored as Record<string,unknown>. The string here is the fully qualified id of the property and the value is whatever the server sends for that property. This currently means the developer has to know the exact id and type and manually cast the type correctly. An improvement would be to add some type mechanism to allow manual definition of certain id, type pairings.