Chromium Code Reviews
chromiumcodereview-hr@appspot.gserviceaccount.com (chromiumcodereview-hr) | Please choose your nickname with Settings | Help | Chromium Project | Gerrit Changes | Sign out
(142)

Unified Diff: frog/member_set.dart

Issue 10548047: Remove frog from the repository. (Closed) Base URL: https://dart.googlecode.com/svn/branches/bleeding_edge/dart
Patch Set: Move test and update apidoc.gyp. Created 8 years, 6 months ago
Use n/p to move between diff chunks; N/P to move between comments. Draft comments are only viewable by you.
Jump to:
View side-by-side diff with in-line comments
Download patch
« no previous file with comments | « frog/member.dart ('k') | frog/method_data.dart » ('j') | no next file with comments »
Expand Comments ('e') | Collapse Comments ('c') | Show Comments Hide Comments ('s')
Index: frog/member_set.dart
diff --git a/frog/member_set.dart b/frog/member_set.dart
deleted file mode 100644
index d7ca6d286e132254dbc132f1193fd14974619c28..0000000000000000000000000000000000000000
--- a/frog/member_set.dart
+++ /dev/null
@@ -1,304 +0,0 @@
-// Copyright (c) 2012, 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.
-
-class MemberSet {
- final String name;
- final List<Member> members;
- final bool isVar;
-
- bool _treatAsField;
- Type _returnTypeForGet;
- bool _preparedForSet = false;
- List<InvokeKey> _invokes;
-
- MemberSet(Member member, [bool isVar=false])
- : name = member.name, members = [member], isVar = isVar;
-
- toString() => '$name:${members.length}';
-
- /**
- * [jsname] should be called only when it is known that all the members have
- * the same jsname. (The name safety pass can cause members of the same
- * MemberSet to have different jsnames.)
- */
- String get jsname() => members[0].jsname;
-
- void add(Member member) {
- // Only methods on classes "really exist" - so warn if we add others?
- members.add(member);
- }
-
- // TODO(jimhug): Better way to check for operator.
- bool get isOperator() => members[0].isOperator;
-
- bool get treatAsField() {
- if (_treatAsField == null) {
- // Must be all fields, all with the same jsname.
- _treatAsField = !isVar &&
- members.every((m) => m.isField && m.jsname == members[0].jsname);
- }
- return _treatAsField;
- }
-
- static Type unionTypes(Type t1, Type t2) {
- if (t1 == null) return t2;
- if (t2 == null) return t1;
- return Type.union(t1, t2);
- }
-
- /**
- * This needs to generate one of the following:
- * - target.name
- * - target.get$name()
- * - target.noSuchMethod(...)
- *
- * Can be treated as a field only if this is a properly resolved reference
- * and all resolve members are fields.
- */
- Value _get(CallingContext context, Node node, Value target) {
- if (members.length == 1 && !isVar) {
- return members[0]._get(context, node, target);
- }
-
- if (_returnTypeForGet == null) {
- for (var member in members) {
- if (!member.canGet) continue;
- if (!treatAsField) member.provideGetter();
- // TODO(jimhug): Need to make target less specific...
- var r = member._get(context, node, target);
- _returnTypeForGet = unionTypes(_returnTypeForGet, r.type);
- }
- if (_returnTypeForGet == null) {
- world.error('no valid getters for "$name"', node.span);
- }
- }
-
- if (_treatAsField) {
- return new Value(_returnTypeForGet,
- '${target.code}.$jsname', node.span);
- } else {
- return new Value(_returnTypeForGet,
- '${target.code}.${members[0].jsnameOfGetter}()', node.span);
- }
- }
-
- // TODO(jimhug): Return value of this method is unclear.
- Value _set(CallingContext context, Node node, Value target, Value value) {
- // If this is the global MemberSet from world, always bind dynamically.
- // Note: we need this for proper noSuchMethod and REPL behavior.
- if (members.length == 1 && !isVar) {
- return members[0]._set(context, node, target, value);
- }
-
- if (!_preparedForSet) {
- _preparedForSet = true;
-
- for (var member in members) {
- if (!member.canSet) continue;
- if (!treatAsField) member.provideSetter();
- // !!! Need more generic args to this call below.
- var r = member._set(context, node, target, value);
- }
- }
-
- if (treatAsField) {
- return new Value(value.type,
- '${target.code}.$jsname = ${value.code}', node.span);
- } else {
- return new Value(value.type,
- '${target.code}.${members[0].jsnameOfSetter}(${value.code})', node.span);
- }
- }
-
- Value invoke(CallingContext context, Node node, Value target,
- Arguments args) {
- if (members.length == 1 && !isVar) {
- return members[0].invoke(context, node, target, args);
- }
-
- var invokeKey = null;
- if (_invokes == null) {
- _invokes = [];
- invokeKey = null;
- } else {
- for (var ik in _invokes) {
- if (ik.matches(args)) {
- invokeKey = ik;
- break;
- }
- }
- }
- if (invokeKey == null) {
- invokeKey = new InvokeKey(args);
- _invokes.add(invokeKey);
- invokeKey.addMembers(members, context, target, args);
- }
-
- // TODO(jimhug): isOperator test is too lenient - misses opt chances
- if (invokeKey.needsVarCall || isOperator) {
- if (name == ':call') {
- return target._varCall(context, node, args);
- } else if (isOperator) {
- // TODO(jmesserly): make operators less special.
- return invokeSpecial(target, args, invokeKey.returnType);
- } else {
- return invokeOnVar(context, node, target, args);
- }
- } else {
- var code = '${target.code}.${jsname}(${args.getCode()})';
- return new Value(invokeKey.returnType, code, node.span);
- }
- }
-
- Value invokeSpecial(Value target, Arguments args, Type returnType) {
- assert(name.startsWith(':'));
- assert(!args.hasNames);
- // TODO(jimhug): We need to do this a little bit more like get and set on
- // properties. We should check the set of members for something
- // like "requiresNativeIndexer" and "requiresDartIndexer" to
- // decide on a strategy.
-
- var argsString = args.getCode();
- // Most operator calls need to be emitted as function calls, so we don't
- // box numbers accidentally. Indexing is the exception.
- if (name == ':index' || name == ':setindex') {
- // TODO(jimhug): should not need this test both here and in invoke
- if (name == ':index') {
- world.gen.corejs.useIndex = true;
- } else if (name == ':setindex') {
- world.gen.corejs.useSetIndex = true;
- }
- return new Value(returnType, '${target.code}.$jsname($argsString)',
- target.span);
- } else {
- if (argsString.length > 0) argsString = ', $argsString';
- world.gen.corejs.useOperator(name);
- return new Value(returnType, '$jsname\$(${target.code}$argsString)',
- target.span);
- }
- }
-
- Value invokeOnVar(CallingContext context, Node node, Value target,
- Arguments args) {
- context.counters.dynamicMethodCalls++;
-
- var member = getVarMember(context, node, args);
- return member.invoke(context, node, target, args);
- }
-
- dumpAllMembers() {
- for (var member in members) {
- world.warning('hard-multi $name on ${member.declaringType.name}',
- member.span);
- }
- }
-
- VarMember getVarMember(CallingContext context, Node node, Arguments args) {
- if (world.objectType.varStubs == null) {
- world.objectType.varStubs = {};
- }
-
- var stubName = _getCallStubName(name, args);
- var stub = world.objectType.varStubs[stubName];
- if (stub == null) {
- // Ensure that we're making stub with all possible members of this name.
- // We need this canonicalization step because only one VarMemberSet can
- // live on Object.prototype
- // TODO(jmesserly): this is ugly--we're throwing away type information!
- // The right solution is twofold:
- // 1. put stubs on a more precise type when possible
- // 2. merge VarMemberSets together if necessary
- final mset = context.findMembers(name).members;
-
- final targets = mset.filter((m) => m.canInvoke(context, args));
- stub = new VarMethodSet(name, stubName, targets, args,
- _foldTypes(targets));
- world.objectType.varStubs[stubName] = stub;
- }
- return stub;
- }
-
- Type _foldTypes(List<Member> targets) =>
- reduce(map(targets, (t) => t.returnType), Type.union, world.varType);
-}
-
-
-class InvokeKey {
- int bareArgs;
- List<String> namedArgs;
- Type returnType;
- bool needsVarCall = false;
-
- InvokeKey(Arguments args) {
- bareArgs = args.bareCount;
- if (bareArgs != args.length) {
- namedArgs = args.getNames();
- }
- }
-
- bool matches(Arguments args) {
- if (namedArgs == null) {
- if (bareArgs != args.length) return false;
- } else {
- if (bareArgs + namedArgs.length != args.length) return false;
- }
- if (bareArgs != args.bareCount) return false;
-
- if (namedArgs == null) return true;
-
- for (int i = 0; i < namedArgs.length; i++) {
- if (namedArgs[i] != args.getName(bareArgs + i)) return false;
- }
- return true;
- }
-
- void addMembers(List<Member> members, CallingContext context, Value target,
- Arguments args) {
- for (var member in members) {
- // Check that this is a "perfect" match - or require a var call.
- // TODO(jimhug): Add support of "perfect matches" even with names.
- if (!(member.parameters.length == bareArgs && namedArgs == null)) {
- // If we have named arguments or a mismatch in the number of
- // formal and actual parameters, we go through a var call.
- needsVarCall = true;
- } else if (options.enableTypeChecks &&
- member.isMethod &&
- member.needsArgumentConversion(args)) {
- // The member we're adding is a method that needs argument
- // conversion, so we have to make it go through the var call
- // path to get the correct type checks inserted.
- needsVarCall = true;
- } else if (member.jsname != members[0].jsname) {
- // If the jsnames differ we need the var call since one of the stubs
- // will change the name. Native methods can have different jsnames,
- // e.g.
- // foo() native 'bar';
- needsVarCall = true;
- } else if (member.library.isDomOrHtml) {
- // TODO(jimhug): Egregious hack for isolates + DOM - see
- // Value._maybeWrapFunction for more details.
- for (var p in member.parameters) {
- if (p.type.getCallMethod() != null) {
- needsVarCall = true;
- }
- }
- }
-
- // TODO(jimhug): Should create a less specific version of args.
- if (member.canInvoke(context, args)) {
- if (member.isMethod) {
- returnType = MemberSet.unionTypes(returnType, member.returnType);
- member.declaringType.genMethod(member);
- } else {
- needsVarCall = true;
- returnType = world.varType;
- }
- }
- }
- if (returnType == null) {
- // TODO(jimhug): Warning here for no match anywhere in the world?
- returnType = world.varType;
- }
- }
-}
« no previous file with comments | « frog/member.dart ('k') | frog/method_data.dart » ('j') | no next file with comments »

Powered by Google App Engine
This is Rietveld 408576698