Index: client/html/generated/html/dartium/ScriptProfileNode.dart |
diff --git a/client/html/generated/html/dartium/ScriptProfileNode.dart b/client/html/generated/html/dartium/ScriptProfileNode.dart |
deleted file mode 100644 |
index e354d2afb7a2d702267b381a5545774c7bf4f3dc..0000000000000000000000000000000000000000 |
--- a/client/html/generated/html/dartium/ScriptProfileNode.dart |
+++ /dev/null |
@@ -1,22 +0,0 @@ |
- |
-class _ScriptProfileNodeImpl extends _DOMTypeBase implements ScriptProfileNode { |
- _ScriptProfileNodeImpl._wrap(ptr) : super._wrap(ptr); |
- |
- int get callUID() => _wrap(_ptr.callUID); |
- |
- List get children() => _wrap(_ptr.children); |
- |
- String get functionName() => _wrap(_ptr.functionName); |
- |
- int get lineNumber() => _wrap(_ptr.lineNumber); |
- |
- int get numberOfCalls() => _wrap(_ptr.numberOfCalls); |
- |
- num get selfTime() => _wrap(_ptr.selfTime); |
- |
- num get totalTime() => _wrap(_ptr.totalTime); |
- |
- String get url() => _wrap(_ptr.url); |
- |
- bool get visible() => _wrap(_ptr.visible); |
-} |