getProperties method Null safety
Properties of this DiagnosticsNode.
Properties and children are kept distinct even though they are both List<DiagnosticsNode> because they should be grouped differently.
Implementation
List<DiagnosticsNode> getProperties();