Index: client/dom/generated/src/interface/ScriptProfileNode.dart |
diff --git a/client/dom/generated/src/interface/ScriptProfileNode.dart b/client/dom/generated/src/interface/ScriptProfileNode.dart |
index 1067b26fbff4379fb1fe0e55df7d5bc9fd9831dc..a2a324717c792672a53ad3223d8a2936845d022f 100644 |
--- a/client/dom/generated/src/interface/ScriptProfileNode.dart |
+++ b/client/dom/generated/src/interface/ScriptProfileNode.dart |
@@ -6,21 +6,21 @@ |
interface ScriptProfileNode { |
- int get callUID(); |
+ final int callUID; |
- List get children(); |
+ final List children; |
- String get functionName(); |
+ final String functionName; |
- int get lineNumber(); |
+ final int lineNumber; |
- int get numberOfCalls(); |
+ final int numberOfCalls; |
- num get selfTime(); |
+ final num selfTime; |
- num get totalTime(); |
+ final num totalTime; |
- String get url(); |
+ final String url; |
- bool get visible(); |
+ final bool visible; |
} |