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

Unified Diff: sdk/lib/_internal/compiler/implementation/js/template.dart

Issue 694353007: Move dart2js from sdk/lib/_internal/compiler to pkg/compiler (Closed) Base URL: https://dart.googlecode.com/svn/branches/bleeding_edge/dart
Patch Set: Created 6 years, 1 month 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
Index: sdk/lib/_internal/compiler/implementation/js/template.dart
diff --git a/sdk/lib/_internal/compiler/implementation/js/template.dart b/sdk/lib/_internal/compiler/implementation/js/template.dart
deleted file mode 100644
index 5b574d0e21eaef5a397042cda3728a435beb2dcf..0000000000000000000000000000000000000000
--- a/sdk/lib/_internal/compiler/implementation/js/template.dart
+++ /dev/null
@@ -1,675 +0,0 @@
-// Copyright (c) 2014, 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.
-
-part of js;
-
-class TemplateManager {
- Map<String, Template> expressionTemplates = new Map<String, Template>();
- Map<String, Template> statementTemplates = new Map<String, Template>();
-
- TemplateManager();
-
-
- Template lookupExpressionTemplate(String source) {
- return expressionTemplates[source];
- }
-
- Template defineExpressionTemplate(String source, Node ast) {
- Template template =
- new Template(source, ast, isExpression: true, forceCopy: false);
- expressionTemplates[source] = template;
- return template;
- }
-
- Template lookupStatementTemplate(String source) {
- return statementTemplates[source];
- }
-
- Template defineStatementTemplate(String source, Node ast) {
- Template template =
- new Template(source, ast, isExpression: false, forceCopy: false);
- statementTemplates[source] = template;
- return template;
- }
-}
-
-/**
- * A Template is created with JavaScript AST containing placeholders (interface
- * InterpolatedNode). The [instantiate] method creates an AST that looks like
- * the original with the placeholders replaced by the arguments to
- * [instantiate].
- */
-class Template {
- final String source;
- final bool isExpression;
- final bool forceCopy;
- final Node ast;
-
- Instantiator instantiator;
- int positionalArgumentCount = -1;
- // TODO(sra): Named arguments.
-
- Template(this.source, this.ast,
- {this.isExpression: true, this.forceCopy: false}) {
- _compile();
- }
-
- Template.withExpressionResult(this.ast)
- : source = null, isExpression = true, forceCopy = false {
- assert(ast is Expression);
- assert(_checkNoPlaceholders());
- positionalArgumentCount = 0;
- instantiator = (arguments) => ast;
- }
-
- Template.withStatementResult(this.ast)
- : source = null, isExpression = false, forceCopy = false {
- assert(ast is Statement);
- assert(_checkNoPlaceholders());
- positionalArgumentCount = 0;
- instantiator = (arguments) => ast;
- }
-
- bool _checkNoPlaceholders() {
- InstantiatorGeneratorVisitor generator =
- new InstantiatorGeneratorVisitor(false);
- generator.compile(ast);
- return generator.analysis.count == 0;
- }
-
- void _compile() {
- InstantiatorGeneratorVisitor generator =
- new InstantiatorGeneratorVisitor(forceCopy);
- instantiator = generator.compile(ast);
- positionalArgumentCount = generator.analysis.count;
- }
-
- Node instantiate(List arguments) {
- if (arguments is List) {
- if (arguments.length != positionalArgumentCount) {
- throw 'Wrong number of template arguments, given ${arguments.length}, '
- 'expected $positionalArgumentCount';
- }
- return instantiator(arguments);
- }
- // TODO(sra): Add named placeholders and a Map of arguments.
- throw new UnimplementedError('Template arguments must be a list');
- }
-}
-
-/**
- * An Instantiator is a Function that generates a JS AST tree or List of
- * trees. [arguments] is a List for positional templates, or (TODO) Map for
- * named templates.
- */
-typedef Node Instantiator(var arguments);
-
-
-/**
- * InstantiatorGeneratorVisitor compiles a template. This class compiles a tree
- * containing [InterpolatedNode]s into a function that will create a copy of the
- * tree with the interpolated nodes substituted with provided values.
- */
-class InstantiatorGeneratorVisitor implements NodeVisitor<Instantiator> {
-
- final bool forceCopy;
-
- InterpolatedNodeAnalysis analysis = new InterpolatedNodeAnalysis();
-
- /**
- * The entire tree is cloned if [forceCopy] is true.
- */
- InstantiatorGeneratorVisitor(this.forceCopy);
-
- Instantiator compile(Node node) {
- analysis.visit(node);
- Instantiator result = visit(node);
- return result;
- }
-
- static error(String message) {
- throw message;
- }
-
- static Instantiator same(Node node) => (arguments) => node;
- static Node makeNull(arguments) => null;
-
- Instantiator visit(Node node) {
- if (forceCopy || analysis.containsInterpolatedNodes(node)) {
- return node.accept(this);
- }
- return same(node);
- }
-
- Instantiator visitNullable(Node node) {
- if (node == null) return makeNull;
- return visit(node);
- }
-
- Instantiator visitSplayable(Node node) {
- // TODO(sra): Process immediate [InterpolatedNode]s, permitting splaying.
- return visit(node);
- }
-
- Instantiator visitNode(Node node) {
- throw 'Unimplemented InstantiatorGeneratorVisitor for $node';
- }
-
- static RegExp identiferRE = new RegExp(r'^[A-Za-z_$][A-Za-z_$0-9]*$');
-
- static Expression convertStringToVariableUse(String value) {
- assert(identiferRE.hasMatch(value));
- return new VariableUse(value);
- }
-
- Instantiator visitInterpolatedExpression(InterpolatedExpression node) {
- int position = node.name;
- return (arguments) {
- var value = arguments[position];
- if (value is Expression) return value;
- if (value is String) return convertStringToVariableUse(value);;
- error('Interpolated value #$position is not an Expression: $value');
- };
- }
-
- Instantiator visitSplayableExpression(Node node) {
- if (node is InterpolatedExpression) {
- int position = node.name;
- return (arguments) {
- var value = arguments[position];
- Expression toExpression(item) {
- if (item is Expression) return item;
- if (item is String) return convertStringToVariableUse(item);
- return error('Interpolated value #$position is not '
- 'an Expression or List of Expressions: $value');
- }
- if (value is Iterable) return value.map(toExpression);
- return toExpression(value);
- };
- }
- return visit(node);
- }
-
- Instantiator visitInterpolatedLiteral(InterpolatedLiteral node) {
- int position = node.name;
- return (arguments) {
- var value = arguments[position];
- if (value is Literal) return value;
- error('Interpolated value #$position is not a Literal: $value');
- };
- }
-
- Instantiator visitInterpolatedParameter(InterpolatedParameter node) {
- int position = node.name;
- return (arguments) {
- var value = arguments[position];
-
- Parameter toParameter(item) {
- if (item is Parameter) return item;
- if (item is String) return new Parameter(item);
- return error('Interpolated value #$position is not a Parameter or '
- 'List of Parameters: $value');
- }
- if (value is Iterable) return value.map(toParameter);
- return toParameter(value);
- };
- }
-
- Instantiator visitInterpolatedSelector(InterpolatedSelector node) {
- // A selector is an expression, as in `a[selector]`.
- // A String argument converted into a LiteralString, so `a.#` with argument
- // 'foo' generates `a["foo"]` which prints as `a.foo`.
- int position = node.name;
- return (arguments) {
- var value = arguments[position];
- if (value is Expression) return value;
- if (value is String) return new LiteralString('"$value"');
- error('Interpolated value #$position is not a selector: $value');
- };
- }
-
- Instantiator visitInterpolatedStatement(InterpolatedStatement node) {
- int position = node.name;
- return (arguments) {
- var value = arguments[position];
- if (value is Node) return value.toStatement();
- error('Interpolated value #$position is not a Statement: $value');
- };
- }
-
- Instantiator visitSplayableStatement(Node node) {
- if (node is InterpolatedStatement) {
- int position = node.name;
- return (arguments) {
- var value = arguments[position];
- Statement toStatement(item) {
- if (item is Statement) return item;
- if (item is Expression) return item.toStatement();;
- return error('Interpolated value #$position is not '
- 'a Statement or List of Statements: $value');
- }
- if (value is Iterable) return value.map(toStatement);
- return toStatement(value);
- };
- }
- return visit(node);
- }
-
- Instantiator visitProgram(Program node) {
- List instantiators = node.body.map(visitSplayableStatement).toList();
- return (arguments) {
- List<Statement> statements = <Statement>[];
- void add(node) {
- if (node is EmptyStatement) return;
- if (node is Iterable) {
- statements.addAll(node);
- } else {
- statements.add(node.toStatement());
- }
- }
- for (Instantiator instantiator in instantiators) {
- add(instantiator(arguments));
- }
- return new Program(statements);
- };
- }
-
- Instantiator visitBlock(Block node) {
- List instantiators = node.statements.map(visitSplayableStatement).toList();
- return (arguments) {
- List<Statement> statements = <Statement>[];
- void add(node) {
- if (node is EmptyStatement) return;
- if (node is Iterable) {
- statements.addAll(node);
- } else if (node is Block) {
- statements.addAll(node.statements);
- } else {
- statements.add(node.toStatement());
- }
- }
- for (Instantiator instantiator in instantiators) {
- add(instantiator(arguments));
- }
- return new Block(statements);
- };
- }
-
- Instantiator visitExpressionStatement(ExpressionStatement node) {
- Instantiator buildExpression = visit(node.expression);
- return (arguments) {
- return buildExpression(arguments).toStatement();
- };
- }
-
- Instantiator visitEmptyStatement(EmptyStatement node) =>
- (arguments) => new EmptyStatement();
-
- Instantiator visitIf(If node) {
- if (node.condition is InterpolatedExpression) {
- return visitIfConditionalCompilation(node);
- } else {
- return visitIfNormal(node);
- }
- }
-
- Instantiator visitIfConditionalCompilation(If node) {
- // Special version of visitInterpolatedExpression that permits bools.
- compileCondition(InterpolatedExpression node) {
- int position = node.name;
- return (arguments) {
- var value = arguments[position];
- if (value is bool) return value;
- if (value is Expression) return value;
- if (value is String) return convertStringToVariableUse(value);;
- error('Interpolated value #$position is not an Expression: $value');
- };
- }
- var makeCondition = compileCondition(node.condition);
- Instantiator makeThen = visit(node.then);
- Instantiator makeOtherwise = visit(node.otherwise);
- return (arguments) {
- var condition = makeCondition(arguments);
- if (condition is bool) {
- if (condition == true) {
- return makeThen(arguments);
- } else {
- return makeOtherwise(arguments);
- }
- }
- return new If(
- condition,
- makeThen(arguments),
- makeOtherwise(arguments));
- };
- }
-
- Instantiator visitIfNormal(If node) {
- Instantiator makeCondition = visit(node.condition);
- Instantiator makeThen = visit(node.then);
- Instantiator makeOtherwise = visit(node.otherwise);
- return (arguments) {
- return new If(
- makeCondition(arguments),
- makeThen(arguments),
- makeOtherwise(arguments));
- };
- }
-
- Instantiator visitFor(For node) {
- Instantiator makeInit = visitNullable(node.init);
- Instantiator makeCondition = visitNullable(node.condition);
- Instantiator makeUpdate = visitNullable(node.update);
- Instantiator makeBody = visit(node.body);
- return (arguments) {
- return new For(
- makeInit(arguments), makeCondition(arguments), makeUpdate(arguments),
- makeBody(arguments));
- };
- }
-
- Instantiator visitForIn(ForIn node) {
- Instantiator makeLeftHandSide = visit(node.leftHandSide);
- Instantiator makeObject = visit(node.object);
- Instantiator makeBody = visit(node.body);
- return (arguments) {
- return new ForIn(
- makeLeftHandSide(arguments),
- makeObject(arguments),
- makeBody(arguments));
- };
- }
-
- TODO(String name) {
- throw new UnimplementedError('$this.$name');
- }
-
- Instantiator visitWhile(While node) => TODO('visitWhile');
- Instantiator visitDo(Do node) => TODO('visitDo');
-
- Instantiator visitContinue(Continue node) =>
- (arguments) => new Continue(node.targetLabel);
-
- Instantiator visitBreak(Break node) =>
- (arguments) => new Break(node.targetLabel);
-
- Instantiator visitReturn(Return node) {
- Instantiator makeExpression = visitNullable(node.value);
- return (arguments) => new Return(makeExpression(arguments));
- }
-
- Instantiator visitThrow(Throw node) {
- Instantiator makeExpression = visit(node.expression);
- return (arguments) => new Throw(makeExpression(arguments));
- }
-
-
- Instantiator visitTry(Try node) {
- Instantiator makeBody = visit(node.body);
- Instantiator makeCatch = visitNullable(node.catchPart);
- Instantiator makeFinally = visitNullable(node.finallyPart);
- return (arguments) => new Try(
- makeBody(arguments), makeCatch(arguments), makeFinally(arguments));
- }
-
- Instantiator visitCatch(Catch node) {
- Instantiator makeDeclaration = visit(node.declaration);
- Instantiator makeBody = visit(node.body);
- return (arguments) => new Catch(
- makeDeclaration(arguments), makeBody(arguments));
- }
-
- Instantiator visitSwitch(Switch node) => TODO('visitSwitch');
- Instantiator visitCase(Case node) => TODO('visitCase');
- Instantiator visitDefault(Default node) => TODO('visitDefault');
-
- Instantiator visitFunctionDeclaration(FunctionDeclaration node) {
- Instantiator makeName = visit(node.name);
- Instantiator makeFunction = visit(node.function);
- return (arguments) =>
- new FunctionDeclaration(makeName(arguments), makeFunction(arguments));
- }
-
- Instantiator visitLabeledStatement(LabeledStatement node) =>
- TODO('visitLabeledStatement');
- Instantiator visitLiteralStatement(LiteralStatement node) =>
- TODO('visitLiteralStatement');
- Instantiator visitBlob(Blob node) =>
- TODO('visitBlob');
- Instantiator visitLiteralExpression(LiteralExpression node) =>
- TODO('visitLiteralExpression');
-
- Instantiator visitVariableDeclarationList(VariableDeclarationList node) {
- List<Instantiator> declarationMakers =
- node.declarations.map(visit).toList();
- return (arguments) {
- List<VariableInitialization> declarations = <VariableInitialization>[];
- for (Instantiator instantiator in declarationMakers) {
- var result = instantiator(arguments);
- declarations.add(result);
- }
- return new VariableDeclarationList(declarations);
- };
- }
-
- Instantiator visitAssignment(Assignment node) {
- Instantiator makeLeftHandSide = visit(node.leftHandSide);
- String op = node.op;
- Instantiator makeValue = visitNullable(node.value);
- return (arguments) {
- return new Assignment.compound(
- makeLeftHandSide(arguments),
- op,
- makeValue(arguments));
- };
- }
-
- Instantiator visitVariableInitialization(VariableInitialization node) {
- Instantiator makeDeclaration = visit(node.declaration);
- Instantiator makeValue = visitNullable(node.value);
- return (arguments) {
- return new VariableInitialization(
- makeDeclaration(arguments), makeValue(arguments));
- };
- }
-
- Instantiator visitConditional(Conditional cond) {
- Instantiator makeCondition = visit(cond.condition);
- Instantiator makeThen = visit(cond.then);
- Instantiator makeOtherwise = visit(cond.otherwise);
- return (arguments) => new Conditional(
- makeCondition(arguments),
- makeThen(arguments),
- makeOtherwise(arguments));
- }
-
- Instantiator visitNew(New node) =>
- handleCallOrNew(node, (target, arguments) => new New(target, arguments));
-
- Instantiator visitCall(Call node) =>
- handleCallOrNew(node, (target, arguments) => new Call(target, arguments));
-
- Instantiator handleCallOrNew(Call node, finish(target, arguments)) {
- Instantiator makeTarget = visit(node.target);
- Iterable<Instantiator> argumentMakers =
- node.arguments.map(visitSplayableExpression).toList();
-
- // TODO(sra): Avoid copying call arguments if no interpolation or forced
- // copying.
- return (arguments) {
- Node target = makeTarget(arguments);
- List<Expression> callArguments = <Expression>[];
- for (Instantiator instantiator in argumentMakers) {
- var result = instantiator(arguments);
- if (result is Iterable) {
- callArguments.addAll(result);
- } else {
- callArguments.add(result);
- }
- }
- return finish(target, callArguments.toList(growable: false));
- };
- }
-
- Instantiator visitBinary(Binary node) {
- Instantiator makeLeft = visit(node.left);
- Instantiator makeRight = visit(node.right);
- String op = node.op;
- return (arguments) =>
- new Binary(op, makeLeft(arguments), makeRight(arguments));
- }
-
- Instantiator visitPrefix(Prefix node) {
- Instantiator makeOperand = visit(node.argument);
- String op = node.op;
- return (arguments) => new Prefix(op, makeOperand(arguments));
- }
-
- Instantiator visitPostfix(Postfix node) {
- Instantiator makeOperand = visit(node.argument);
- String op = node.op;
- return (arguments) => new Postfix(op, makeOperand(arguments));
- }
-
- Instantiator visitVariableUse(VariableUse node) =>
- (arguments) => new VariableUse(node.name);
-
- Instantiator visitThis(This node) => (arguments) => new This();
-
- Instantiator visitVariableDeclaration(VariableDeclaration node) =>
- (arguments) => new VariableDeclaration(node.name);
-
- Instantiator visitParameter(Parameter node) =>
- (arguments) => new Parameter(node.name);
-
- Instantiator visitAccess(PropertyAccess node) {
- Instantiator makeReceiver = visit(node.receiver);
- Instantiator makeSelector = visit(node.selector);
- return (arguments) =>
- new PropertyAccess(makeReceiver(arguments), makeSelector(arguments));
- }
-
- Instantiator visitNamedFunction(NamedFunction node) {
- Instantiator makeDeclaration = visit(node.name);
- Instantiator makeFunction = visit(node.function);
- return (arguments) =>
- new NamedFunction(makeDeclaration(arguments), makeFunction(arguments));
- }
-
- Instantiator visitFun(Fun node) {
- List<Instantiator> paramMakers = node.params.map(visitSplayable).toList();
- Instantiator makeBody = visit(node.body);
- // TODO(sra): Avoid copying params if no interpolation or forced copying.
- return (arguments) {
- List<Parameter> params = <Parameter>[];
- for (Instantiator instantiator in paramMakers) {
- var result = instantiator(arguments);
- if (result is Iterable) {
- params.addAll(result);
- } else {
- params.add(result);
- }
- }
- Statement body = makeBody(arguments);
- return new Fun(params, body);
- };
- }
-
- Instantiator visitLiteralBool(LiteralBool node) =>
- (arguments) => new LiteralBool(node.value);
-
- Instantiator visitLiteralString(LiteralString node) =>
- (arguments) => new LiteralString(node.value);
-
- Instantiator visitLiteralNumber(LiteralNumber node) =>
- (arguments) => new LiteralNumber(node.value);
-
- Instantiator visitLiteralNull(LiteralNull node) =>
- (arguments) => new LiteralNull();
-
- Instantiator visitArrayInitializer(ArrayInitializer node) {
- // Assume array has no missing elements.
- // TODO(sra): Implement splicing?
- List<Instantiator> elementMakers = node.elements
- .map((ArrayElement element) => visit(element.value))
- .toList();
- return (arguments) {
- List<ArrayElement> elements = <ArrayElement>[];
- void add(Expression value) {
- elements.add(new ArrayElement(elements.length, value));
- }
- for (Instantiator instantiator in elementMakers) {
- var result = instantiator(arguments);
- add(result);
- }
- return new ArrayInitializer(elements.length, elements);
- };
- }
-
- Instantiator visitArrayElement(ArrayElement node) {
- throw 'Should not get here'; // Handled in visitArrayInitializer.
- }
-
- Instantiator visitObjectInitializer(ObjectInitializer node) {
- List<Instantiator> propertyMakers =
- node.properties.map(visitSplayable).toList();
- bool isOneLiner = node.isOneLiner;
- return (arguments) {
- List<Property> properties = <Property>[];
- for (Instantiator instantiator in propertyMakers) {
- var result = instantiator(arguments);
- if (result is Iterable) {
- properties.addAll(result);
- } else {
- properties.add(result);
- }
- }
- return new ObjectInitializer(properties, isOneLiner: isOneLiner);
- };
- }
-
- Instantiator visitProperty(Property node) {
- Instantiator makeName = visit(node.name);
- Instantiator makeValue = visit(node.value);
- return (arguments) {
- return new Property(makeName(arguments), makeValue(arguments));
- };
- }
-
- Instantiator visitRegExpLiteral(RegExpLiteral node) =>
- (arguments) => new RegExpLiteral(node.pattern);
-
- Instantiator visitComment(Comment node) => TODO('visitComment');
-}
-
-/**
- * InterpolatedNodeAnalysis extract [InterpolatedNode]s from AST.
- */
-class InterpolatedNodeAnalysis extends BaseVisitor {
- final Set<Node> containsInterpolatedNode = new Set<Node>();
- final List<InterpolatedNode> interpolatedNodes = <InterpolatedNode>[];
- int count = 0;
-
- InterpolatedNodeAnalysis();
-
- bool containsInterpolatedNodes(Node node) =>
- containsInterpolatedNode.contains(node);
-
- void visit(Node node) {
- node.accept(this);
- }
-
- void visitNode(Node node) {
- int before = count;
- node.visitChildren(this);
- if (count != before) containsInterpolatedNode.add(node);
- return null;
- }
-
- visitInterpolatedNode(InterpolatedNode node) {
- interpolatedNodes.add(node);
- containsInterpolatedNode.add(node);
- ++count;
- }
-}

Powered by Google App Engine
This is Rietveld 408576698