Details
-
Sub-task
-
Status: Resolved
-
Minor
-
Resolution: Won't Fix
-
None
-
None
-
None
-
None
Description
In the current codebase, Node labels are simple strings. It's very error-prone to use Strings as it can contain basically anything. Moreover, it's easier to keep track of all usages if we have a dedicated class for Node labels.