String
createCachedPatchesFile()
Source
@Deprecated("Internal Use Only")
String createCachedPatchesFile() {
var patches = _generateInteropPatchFiles(['dart:html',
'dart:indexed_db',
'dart:web_gl',
'dart:web_sql',
'dart:svg',
'dart:web_audio']);
var sb = new StringBuffer();
sb.write("""
// START_OF_CACHED_PATCHES
// Copyright (c) 2013, the Dart project authors. Please see the AUTHORS file
// for details. All rights reserved. Use of this source code is governed by a
// BSD-style license that can be found in the LICENSE file.
// DO NOT EDIT GENERATED FILE.
library cached_patches;
var cached_patches = {""");
for (var baseIndex = 0; baseIndex < patches.length; baseIndex += 3) {
var uri = patches[baseIndex + 0];
var uri_js_interop = patches[baseIndex + 1];
var source = patches[baseIndex + 2];
if (uri != 'dart:js') {
sb.write('"$uri": ["$uri", "$uri_js_interop", """$source"""],');
}
}
sb.write("""};
// END_OF_CACHED_PATCHES
""");
return "$sb";
}