| 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;
|
| }
|
|
|