| class NumProperty extends DiagnosticsProperty { | |
| NumProperty({ | |
| super.showName, | |
| }); | |
| NumProperty.lazy({ | |
| super.showName, | |
| }) : super.lazy(); | |
| } | |
| class DiagnosticsProperty extends DiagnosticsNode { | |
| DiagnosticsProperty({ | |
| super.showName, | |
| }); | |
| DiagnosticsProperty.lazy({ | |
| super.showName, | |
| }); | |
| } | |
| abstract class DiagnosticsNode { | |
| DiagnosticsNode({ | |
| this.showName = true, | |
| }); | |
| final bool showName; | |
| } | |
| void main() {} |