[dart2js] Define canonical recipes in terms of recipe_syntax.
Change-Id: I4e5e4fea81dbef9bf0d2994d8dcbec23a4f1fb01
Reviewed-on: https://dart-review.googlesource.com/c/sdk/+/107309
Commit-Queue: Mayank Patke <fishythefish@google.com>
Reviewed-by: Stephen Adams <sra@google.com>
diff --git a/sdk/lib/_internal/js_runtime/lib/rti.dart b/sdk/lib/_internal/js_runtime/lib/rti.dart
index 1c45247..8e60eaf 100644
--- a/sdk/lib/_internal/js_runtime/lib/rti.dart
+++ b/sdk/lib/_internal/js_runtime/lib/rti.dart
@@ -463,13 +463,15 @@
// for the proposed type.
// * `createXXX` to create the type if it does not exist.
- static String _canonicalRecipeOfDynamic() => '@';
- static String _canonicalRecipeOfVoid() => '~';
- static String _canonicalRecipeOfNever() => '0&';
- static String _canonicalRecipeOfAny() => '1&';
+ static String _canonicalRecipeOfDynamic() => Recipe.pushDynamicString;
+ static String _canonicalRecipeOfVoid() => Recipe.pushVoidString;
+ static String _canonicalRecipeOfNever() =>
+ Recipe.pushNeverExtensionString + Recipe.extensionOpString;
+ static String _canonicalRecipeOfAny() =>
+ Recipe.pushAnyExtensionString + Recipe.extensionOpString;
static String _canonicalRecipeOfFutureOr(Rti baseType) =>
- '${Rti._getCanonicalRecipe(baseType)}/';
+ Rti._getCanonicalRecipe(baseType) + Recipe.wrapFutureOrString;
static Rti _lookupDynamicRti(universe) {
return _lookupTerminalRti(
@@ -527,7 +529,7 @@
Rti argument = _castToRti(_Utils.arrayAt(arguments, i));
String subrecipe = Rti._getCanonicalRecipe(argument);
s += sep + subrecipe;
- sep = ',';
+ sep = Recipe.separatorString;
}
return s;
}
@@ -537,7 +539,9 @@
String s = _Utils.asString(name);
int length = _Utils.arrayLength(arguments);
if (length != 0) {
- s += '<' + _canonicalRecipeJoin(arguments) + '>';
+ s += Recipe.startTypeArgumentsString +
+ _canonicalRecipeJoin(arguments) +
+ Recipe.endTypeArgumentsString;
}
return s;
}
@@ -563,8 +567,11 @@
static String _canonicalRecipeOfBinding(Rti base, Object arguments) {
String s = Rti._getCanonicalRecipe(base);
- s += ';'; // TODO(sra): Omit when base encoding is Rti without ToType.
- s += '<' + _canonicalRecipeJoin(arguments) + '>';
+ s += Recipe
+ .toTypeString; // TODO(sra): Omit when base encoding is Rti without ToType.
+ s += Recipe.startTypeArgumentsString +
+ _canonicalRecipeJoin(arguments) +
+ Recipe.endTypeArgumentsString;
return s;
}
@@ -1117,6 +1124,10 @@
}
// -------- Entry points for testing -------------------------------------------
+String testingCanonicalRecipe(rti) {
+ return Rti._getCanonicalRecipe(rti);
+}
+
String testingRtiToString(rti) {
return _rtiToString(_castToRti(rti), null);
}
diff --git a/sdk/lib/_internal/js_runtime/lib/shared/recipe_syntax.dart b/sdk/lib/_internal/js_runtime/lib/shared/recipe_syntax.dart
index 361652d..7666379 100644
--- a/sdk/lib/_internal/js_runtime/lib/shared/recipe_syntax.dart
+++ b/sdk/lib/_internal/js_runtime/lib/shared/recipe_syntax.dart
@@ -13,32 +13,53 @@
// Operators.
static const int separator = _comma;
+ static const String separatorString = _commaString;
static const int toType = _semicolon;
+ static const String toTypeString = _semicolonString;
static const int pushDynamic = _at;
+ static const String pushDynamicString = _atString;
static const int pushVoid = _tilde;
+ static const String pushVoidString = _tildeString;
static const int wrapStar = _asterisk;
+ static const String wrapStarString = _asteriskString;
static const int wrapQuestion = _question;
+ static const String wrapQuestionString = _questionString;
static const int wrapFutureOr = _slash;
+ static const String wrapFutureOrString = _slashString;
static const int startTypeArguments = _lessThan;
+ static const String startTypeArgumentsString = _lessThanString;
static const int endTypeArguments = _greaterThan;
+ static const String endTypeArgumentsString = _greaterThanString;
static const int startFunctionArguments = _leftParen;
+ static const String startFunctionArgumentsString = _leftParenString;
static const int endFunctionArguments = _rightParen;
+ static const String endFunctionArgumentsString = _rightParenString;
static const int startOptionalGroup = _leftBracket;
+ static const String startOptionalGroupString = _leftBracketString;
static const int endOptionalGroup = _rightBracket;
+ static const String endOptionalGroupString = _rightBracketString;
static const int startNamedGroup = _leftBrace;
+ static const String startNamedGroupString = _leftBraceString;
static const int endNamedGroup = _rightBrace;
+ static const String endNamedGroupString = _rightBraceString;
static const int nameSeparator = _colon;
+ static const String nameSeparatorString = _colonString;
static const int genericFunctionTypeParameterIndex = _circumflex;
+ static const String genericFunctionTypeParameterIndexString =
+ _circumflexString;
static const int extensionOp = _ampersand;
+ static const String extensionOpString = _ampersandString;
static const int pushNeverExtension = 0;
+ static const String pushNeverExtensionString = '$pushNeverExtension';
static const int pushAnyExtension = 1;
+ static const String pushAnyExtensionString = '$pushAnyExtension';
// Number and name components.
@@ -54,50 +75,156 @@
// Private names.
- static const int _formfeed = 0x0C; // '\f' in string literal.
+ static const int _formfeed = 0x0C;
+ static const String _formfeedString = '\f';
static const int _space = 0x20;
+ static const String _spaceString = ' ';
static const int _exclamation = 0x21;
+ static const String _exclamationString = '!';
static const int _hash = 0x23;
+ static const String _hashString = '#';
static const int _dollar = 0x24;
+ static const String _dollarString = r'$';
static const int _percent = 0x25;
+ static const String _percentString = '%';
static const int _ampersand = 0x26;
+ static const String _ampersandString = '&';
static const int _apostrophe = 0x27;
+ static const String _apostropheString = "'";
static const int _leftParen = 0x28;
+ static const String _leftParenString = '(';
static const int _rightParen = 0x29;
+ static const String _rightParenString = ')';
static const int _asterisk = 0x2A;
+ static const String _asteriskString = '*';
static const int _plus = 0x2B;
+ static const String _plusString = '+';
static const int _comma = 0x2C;
+ static const String _commaString = ',';
static const int _minus = 0x2D;
+ static const String _minusString = '-';
static const int _period = 0x2E;
+ static const String _periodString = '.';
static const int _slash = 0x2F;
+ static const String _slashString = '/';
static const int _digit0 = 0x30;
static const int _digit9 = 0x39;
static const int _colon = 0x3A;
+ static const String _colonString = ':';
static const int _semicolon = 0x3B;
+ static const String _semicolonString = ';';
static const int _lessThan = 0x3C;
+ static const String _lessThanString = '<';
static const int _equals = 0x3D;
+ static const String _equalsString = '=';
static const int _greaterThan = 0x3E;
+ static const String _greaterThanString = '>';
static const int _question = 0x3F;
+ static const String _questionString = '?';
static const int _at = 0x40;
+ static const String _atString = '@';
static const int _uppercaseA = 0x41;
static const int _uppercaseZ = 0x5A;
static const int _leftBracket = 0x5B;
+ static const String _leftBracketString = '[';
static const int _backslash = 0x5C;
+ static const String _backslashString = r'\';
static const int _rightBracket = 0x5D;
+ static const String _rightBracketString = ']';
static const int _circumflex = 0x5E;
+ static const String _circumflexString = '^';
static const int _underscore = 0x5F;
+ static const String _underscoreString = '_';
static const int _backtick = 0x60;
+ static const String _backtickString = '`';
static const int _lowercaseA = 0x61;
static const int _lowercaseZ = 0x7A;
static const int _leftBrace = 0x7B;
+ static const String _leftBraceString = '{';
static const int _vertical = 0x7C;
+ static const String _verticalString = '|';
static const int _rightBrace = 0x7D;
+ static const String _rightBraceString = '}';
static const int _tilde = 0x7E;
+ static const String _tildeString = '~';
+
+ static void testEquivalence() {
+ void test(String label, int charCode, String str) {
+ if (String.fromCharCode(charCode) != str) {
+ throw StateError("$label: String.fromCharCode($charCode) != $str");
+ }
+ }
+
+ void testExtension(String label, int op, String str) {
+ if ('$op' != str) {
+ throw StateError("$label: $op.toString() != $str");
+ }
+ }
+
+ test("separator", separator, separatorString);
+ test("toType", toType, toTypeString);
+ test("pushDynamic", pushDynamic, pushDynamicString);
+ test("pushVoid", pushVoid, pushVoidString);
+ test("wrapStar", wrapStar, wrapStarString);
+ test("wrapQuestion", wrapQuestion, wrapQuestionString);
+ test("wrapFutureOr", wrapFutureOr, wrapFutureOrString);
+ test("startTypeArguments", startTypeArguments, startTypeArgumentsString);
+ test("endTypeArguments", endTypeArguments, endTypeArgumentsString);
+ test("startFunctionArguments", startFunctionArguments,
+ startFunctionArgumentsString);
+ test("endFunctionArguments", endFunctionArguments,
+ endFunctionArgumentsString);
+ test("startOptionalGroup", startOptionalGroup, startOptionalGroupString);
+ test("endOptionalGroup", endOptionalGroup, endOptionalGroupString);
+ test("startNamedGroup", startNamedGroup, startNamedGroupString);
+ test("endNamedGroup", endNamedGroup, endNamedGroupString);
+ test("nameSeparator", nameSeparator, nameSeparatorString);
+ test("genericFunctionTypeParameterIndex", genericFunctionTypeParameterIndex,
+ genericFunctionTypeParameterIndexString);
+ test("extensionOp", extensionOp, extensionOpString);
+ testExtension(
+ "pushNeverExtension", pushNeverExtension, pushNeverExtensionString);
+ testExtension("pushAnyExtension", pushAnyExtension, pushAnyExtensionString);
+
+ test("_formfeed", _formfeed, _formfeedString);
+ test("_space", _space, _spaceString);
+ test("_exclamation", _exclamation, _exclamationString);
+ test("_hash", _hash, _hashString);
+ test("_dollar", _dollar, _dollarString);
+ test("_percent", _percent, _percentString);
+ test("_ampersand", _ampersand, _ampersandString);
+ test("_apostrophe", _apostrophe, _apostropheString);
+ test("_leftParen", _leftParen, _leftParenString);
+ test("_rightParen", _rightParen, _rightParenString);
+ test("_asterisk", _asterisk, _asteriskString);
+ test("_plus", _plus, _plusString);
+ test("_comma", _comma, _commaString);
+ test("_minus", _minus, _minusString);
+ test("_period", _period, _periodString);
+ test("_slash", _slash, _slashString);
+ test("_colon", _colon, _colonString);
+ test("_semicolon", _semicolon, _semicolonString);
+ test("_lessThan", _lessThan, _lessThanString);
+ test("_equals", _equals, _equalsString);
+ test("_greaterThan", _greaterThan, _greaterThanString);
+ test("_question", _question, _questionString);
+ test("_at", _at, _atString);
+ test("_leftBracket", _leftBracket, _leftBracketString);
+ test("_backslash", _backslash, _backslashString);
+ test("_rightBracket", _rightBracket, _rightBracketString);
+ test("_circumflex", _circumflex, _circumflexString);
+ test("_underscore", _underscore, _underscoreString);
+ test("_backtick", _backtick, _backtickString);
+ test("_leftBrace", _leftBrace, _leftBraceString);
+ test("_vertical", _vertical, _verticalString);
+ test("_rightBrace", _rightBrace, _rightBraceString);
+ test("_tilde", _tilde, _tildeString);
+ }
}
diff --git a/tests/compiler/dart2js_extra/rti/canonical_recipe_test.dart b/tests/compiler/dart2js_extra/rti/canonical_recipe_test.dart
new file mode 100644
index 0000000..856ca7a
--- /dev/null
+++ b/tests/compiler/dart2js_extra/rti/canonical_recipe_test.dart
@@ -0,0 +1,28 @@
+// Copyright (c) 2019, 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.
+
+import 'dart:_rti' as rti;
+import "package:expect/expect.dart";
+
+final universe = rti.testingCreateUniverse();
+
+main() {
+ test('@', '@');
+ test('~', '~');
+ test('0&', '0&');
+ test('1&', '1&');
+ test('int', 'int');
+ test('int/', 'int/');
+ test('List<int>', 'List<int>');
+ test('Foo<bool,Bar<int,double>>', 'Foo<bool,Bar<int,double>>');
+ test('@;<int,bool>', '@<int><bool>');
+}
+
+String canonicalize(String recipe) {
+ var t = rti.testingUniverseEval(universe, recipe);
+ return rti.testingCanonicalRecipe(t);
+}
+
+void test(String expected, String recipe) =>
+ Expect.equals(expected, canonicalize(recipe));
diff --git a/tests/compiler/dart2js_extra/rti/recipe_syntax_test.dart b/tests/compiler/dart2js_extra/rti/recipe_syntax_test.dart
new file mode 100644
index 0000000..7d4be33
--- /dev/null
+++ b/tests/compiler/dart2js_extra/rti/recipe_syntax_test.dart
@@ -0,0 +1,9 @@
+// Copyright (c) 2019, 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.
+
+import 'dart:_recipe_syntax';
+
+main() {
+ Recipe.testEquivalence();
+}