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

Side by Side Diff: pkg/dev_compiler/lib/src/js_ast/js_types.dart

Issue 2752163002: Format all dart dev compiler files (Closed)
Patch Set: Created 3 years, 9 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 unified diff | Download patch
OLDNEW
1 // Copyright (c) 2016, the Dart project authors. Please see the AUTHORS file 1 // Copyright (c) 2016, the Dart project authors. Please see the AUTHORS file
2 // for details. All rights reserved. Use of this source code is governed by a 2 // for details. All rights reserved. Use of this source code is governed by a
3 // BSD-style license that can be found in the LICENSE file. 3 // BSD-style license that can be found in the LICENSE file.
4 4
5 part of js_ast; 5 part of js_ast;
6 6
7 final _any = new AnyTypeRef._(); 7 final _any = new AnyTypeRef._();
8 final _unknown = new UnknownTypeRef._(); 8 final _unknown = new UnknownTypeRef._();
9 final _null = new NullTypeRef(); 9 final _null = new NullTypeRef();
10 10
11 /// JavaScript type reference, designed to support a subset of the type systems 11 /// JavaScript type reference, designed to support a subset of the type systems
12 /// of the Closure Compiler and TypeScript: 12 /// of the Closure Compiler and TypeScript:
13 /// - https://developers.google.com/closure/compiler/docs/js-for-compiler#types 13 /// - https://developers.google.com/closure/compiler/docs/js-for-compiler#types
14 /// - https://github.com/Microsoft/TypeScript/blob/v1.8.0-beta/doc/spec.md#3 14 /// - https://github.com/Microsoft/TypeScript/blob/v1.8.0-beta/doc/spec.md#3
15 /// 15 ///
16 /// Note that some subtleties like "nullability" or "optionality" are handled 16 /// Note that some subtleties like "nullability" or "optionality" are handled
17 /// using unions (with a [NullTypeRef] or with an "undefined" named typeref). 17 /// using unions (with a [NullTypeRef] or with an "undefined" named typeref).
18 /// Also, primitives aren't modeled differently than named / qualified types, 18 /// Also, primitives aren't modeled differently than named / qualified types,
19 /// as it brings little value for now. Primitive-specific type formatting is 19 /// as it brings little value for now. Primitive-specific type formatting is
20 /// handled by the type printers (for instance, the knowledge that 20 /// handled by the type printers (for instance, the knowledge that
21 /// `number|null` is just `number` in TypeScript, and is `number?` in Closure). 21 /// `number|null` is just `number` in TypeScript, and is `number?` in Closure).
22 abstract class TypeRef extends Expression { 22 abstract class TypeRef extends Expression {
23
24 int get precedenceLevel => PRIMARY; 23 int get precedenceLevel => PRIMARY;
25 24
26 TypeRef(); 25 TypeRef();
27 26
28 factory TypeRef.any() => _any; 27 factory TypeRef.any() => _any;
29 28
30 factory TypeRef.void_() => new TypeRef.named('void'); 29 factory TypeRef.void_() => new TypeRef.named('void');
31 30
32 factory TypeRef.unknown() => _unknown; 31 factory TypeRef.unknown() => _unknown;
33 32
34 factory TypeRef.generic(TypeRef rawType, Iterable<TypeRef> typeArgs) { 33 factory TypeRef.generic(TypeRef rawType, Iterable<TypeRef> typeArgs) {
35 if (typeArgs.isEmpty) { 34 if (typeArgs.isEmpty) {
36 throw new ArgumentError.value(typeArgs, "typeArgs", "is empty"); 35 throw new ArgumentError.value(typeArgs, "typeArgs", "is empty");
37 } 36 }
38 return new GenericTypeRef(rawType, typeArgs.toList()); 37 return new GenericTypeRef(rawType, typeArgs.toList());
39 } 38 }
40 39
41 factory TypeRef.array([TypeRef elementType]) => 40 factory TypeRef.array([TypeRef elementType]) => new ArrayTypeRef(elementType);
42 new ArrayTypeRef(elementType);
43 41
44 factory TypeRef.object([TypeRef keyType, TypeRef valueType]) { 42 factory TypeRef.object([TypeRef keyType, TypeRef valueType]) {
45 // TODO(ochafik): Roll out a dedicated ObjectTypeRef? 43 // TODO(ochafik): Roll out a dedicated ObjectTypeRef?
46 var rawType = new TypeRef.named('Object'); 44 var rawType = new TypeRef.named('Object');
47 return keyType == null && valueType == null 45 return keyType == null && valueType == null
48 ? rawType 46 ? rawType
49 : new GenericTypeRef(rawType, [keyType ?? _any, valueType ?? _any]); 47 : new GenericTypeRef(rawType, [keyType ?? _any, valueType ?? _any]);
50 } 48 }
51 49
52 factory TypeRef.function( 50 factory TypeRef.function(
53 [TypeRef returnType, Map<Identifier, TypeRef> paramTypes]) => 51 [TypeRef returnType, Map<Identifier, TypeRef> paramTypes]) =>
54 new FunctionTypeRef(returnType, paramTypes); 52 new FunctionTypeRef(returnType, paramTypes);
55 53
56 factory TypeRef.record(Map<Identifier, TypeRef> types) => 54 factory TypeRef.record(Map<Identifier, TypeRef> types) =>
57 new RecordTypeRef(types); 55 new RecordTypeRef(types);
58 56
59 factory TypeRef.string() => new TypeRef.named('string'); 57 factory TypeRef.string() => new TypeRef.named('string');
60 58
61 factory TypeRef.number() => new TypeRef.named('number'); 59 factory TypeRef.number() => new TypeRef.named('number');
62 60
63 factory TypeRef.undefined() => new TypeRef.named('undefined'); 61 factory TypeRef.undefined() => new TypeRef.named('undefined');
64 62
65 factory TypeRef.boolean() => new TypeRef.named('boolean'); 63 factory TypeRef.boolean() => new TypeRef.named('boolean');
66 64
67 factory TypeRef.qualified(List<Identifier> path) => 65 factory TypeRef.qualified(List<Identifier> path) =>
68 new QualifiedTypeRef(path); 66 new QualifiedTypeRef(path);
69 67
70 factory TypeRef.named(String name) => 68 factory TypeRef.named(String name) =>
71 new TypeRef.qualified(<Identifier>[new Identifier(name)]); 69 new TypeRef.qualified(<Identifier>[new Identifier(name)]);
72 70
73 bool get isAny => this is AnyTypeRef; 71 bool get isAny => this is AnyTypeRef;
74 bool get isUnknown => this is UnknownTypeRef; 72 bool get isUnknown => this is UnknownTypeRef;
75 bool get isNull => this is NullTypeRef; 73 bool get isNull => this is NullTypeRef;
76 74
77 TypeRef or(TypeRef other) => new UnionTypeRef([this, other]); 75 TypeRef or(TypeRef other) => new UnionTypeRef([this, other]);
78 76
79 TypeRef orUndefined() => or(new TypeRef.undefined()); 77 TypeRef orUndefined() => or(new TypeRef.undefined());
80 TypeRef orNull() => or(_null); 78 TypeRef orNull() => or(_null);
81 79
82 TypeRef toOptional() => 80 TypeRef toOptional() => new OptionalTypeRef(this);
83 new OptionalTypeRef(this);
84 } 81 }
85 82
86 class AnyTypeRef extends TypeRef { 83 class AnyTypeRef extends TypeRef {
87 AnyTypeRef._() : super(); 84 AnyTypeRef._() : super();
88 85
89 factory AnyTypeRef() => _any; 86 factory AnyTypeRef() => _any;
90 accept(NodeVisitor visitor) => visitor.visitAnyTypeRef(this); 87 accept(NodeVisitor visitor) => visitor.visitAnyTypeRef(this);
91 void visitChildren(NodeVisitor visitor) {} 88 void visitChildren(NodeVisitor visitor) {}
92 _clone() => new AnyTypeRef(); 89 _clone() => new AnyTypeRef();
93 } 90 }
(...skipping 22 matching lines...) Expand all
116 _clone() => new QualifiedTypeRef(path); 113 _clone() => new QualifiedTypeRef(path);
117 } 114 }
118 115
119 class ArrayTypeRef extends TypeRef { 116 class ArrayTypeRef extends TypeRef {
120 final TypeRef elementType; 117 final TypeRef elementType;
121 ArrayTypeRef(this.elementType); 118 ArrayTypeRef(this.elementType);
122 accept(NodeVisitor visitor) => visitor.visitArrayTypeRef(this); 119 accept(NodeVisitor visitor) => visitor.visitArrayTypeRef(this);
123 void visitChildren(NodeVisitor visitor) { 120 void visitChildren(NodeVisitor visitor) {
124 elementType.accept(visitor); 121 elementType.accept(visitor);
125 } 122 }
123
126 _clone() => new ArrayTypeRef(elementType); 124 _clone() => new ArrayTypeRef(elementType);
127 } 125 }
128 126
129 class GenericTypeRef extends TypeRef { 127 class GenericTypeRef extends TypeRef {
130 final TypeRef rawType; 128 final TypeRef rawType;
131 final List<TypeRef> typeArgs; 129 final List<TypeRef> typeArgs;
132 GenericTypeRef(this.rawType, this.typeArgs); 130 GenericTypeRef(this.rawType, this.typeArgs);
133 131
134 accept(NodeVisitor visitor) => visitor.visitGenericTypeRef(this); 132 accept(NodeVisitor visitor) => visitor.visitGenericTypeRef(this);
135 void visitChildren(NodeVisitor visitor) { 133 void visitChildren(NodeVisitor visitor) {
136 rawType.accept(visitor); 134 rawType.accept(visitor);
137 typeArgs.forEach((p) => p.accept(visitor)); 135 typeArgs.forEach((p) => p.accept(visitor));
138 } 136 }
137
139 _clone() => new GenericTypeRef(rawType, typeArgs); 138 _clone() => new GenericTypeRef(rawType, typeArgs);
140 } 139 }
141 140
142 class UnionTypeRef extends TypeRef { 141 class UnionTypeRef extends TypeRef {
143 final List<TypeRef> types; 142 final List<TypeRef> types;
144 UnionTypeRef(this.types); 143 UnionTypeRef(this.types);
145 144
146 accept(NodeVisitor visitor) => visitor.visitUnionTypeRef(this); 145 accept(NodeVisitor visitor) => visitor.visitUnionTypeRef(this);
147 void visitChildren(NodeVisitor visitor) { 146 void visitChildren(NodeVisitor visitor) {
148 types.forEach((p) => p.accept(visitor)); 147 types.forEach((p) => p.accept(visitor));
149 } 148 }
149
150 _clone() => new UnionTypeRef(types); 150 _clone() => new UnionTypeRef(types);
151 151
152 @override 152 @override
153 TypeRef or(TypeRef other) { 153 TypeRef or(TypeRef other) {
154 if (types.contains(other)) return this; 154 if (types.contains(other)) return this;
155 return new UnionTypeRef([]..addAll(types)..add(other)); 155 return new UnionTypeRef([]
156 ..addAll(types)
157 ..add(other));
156 } 158 }
157 } 159 }
158 160
159 class OptionalTypeRef extends TypeRef { 161 class OptionalTypeRef extends TypeRef {
160 final TypeRef type; 162 final TypeRef type;
161 OptionalTypeRef(this.type); 163 OptionalTypeRef(this.type);
162 164
163 accept(NodeVisitor visitor) => visitor.visitOptionalTypeRef(this); 165 accept(NodeVisitor visitor) => visitor.visitOptionalTypeRef(this);
164 void visitChildren(NodeVisitor visitor) { 166 void visitChildren(NodeVisitor visitor) {
165 type.accept(visitor); 167 type.accept(visitor);
166 } 168 }
169
167 _clone() => new OptionalTypeRef(type); 170 _clone() => new OptionalTypeRef(type);
168 171
169 @override 172 @override
170 TypeRef orUndefined() => this; 173 TypeRef orUndefined() => this;
171 } 174 }
172 175
173 class RecordTypeRef extends TypeRef { 176 class RecordTypeRef extends TypeRef {
174 final Map<Identifier, TypeRef> types; 177 final Map<Identifier, TypeRef> types;
175 RecordTypeRef(this.types); 178 RecordTypeRef(this.types);
176 179
177 accept(NodeVisitor visitor) => visitor.visitRecordTypeRef(this); 180 accept(NodeVisitor visitor) => visitor.visitRecordTypeRef(this);
178 void visitChildren(NodeVisitor visitor) { 181 void visitChildren(NodeVisitor visitor) {
179 types.values.forEach((p) => p.accept(visitor)); 182 types.values.forEach((p) => p.accept(visitor));
180 } 183 }
184
181 _clone() => new RecordTypeRef(types); 185 _clone() => new RecordTypeRef(types);
182 } 186 }
183 187
184 class FunctionTypeRef extends TypeRef { 188 class FunctionTypeRef extends TypeRef {
185 final TypeRef returnType; 189 final TypeRef returnType;
186 final Map<Identifier, TypeRef> paramTypes; 190 final Map<Identifier, TypeRef> paramTypes;
187 FunctionTypeRef(this.returnType, this.paramTypes); 191 FunctionTypeRef(this.returnType, this.paramTypes);
188 192
189 accept(NodeVisitor visitor) => visitor.visitFunctionTypeRef(this); 193 accept(NodeVisitor visitor) => visitor.visitFunctionTypeRef(this);
190 void visitChildren(NodeVisitor visitor) { 194 void visitChildren(NodeVisitor visitor) {
191 returnType.accept(visitor); 195 returnType.accept(visitor);
192 paramTypes.forEach((n, t) { 196 paramTypes.forEach((n, t) {
193 n.accept(visitor); 197 n.accept(visitor);
194 t.accept(visitor); 198 t.accept(visitor);
195 }); 199 });
196 } 200 }
201
197 _clone() => new FunctionTypeRef(returnType, paramTypes); 202 _clone() => new FunctionTypeRef(returnType, paramTypes);
198 } 203 }
OLDNEW
« no previous file with comments | « pkg/dev_compiler/lib/src/js_ast/characters.dart ('k') | pkg/dev_compiler/lib/src/js_ast/nodes.dart » ('j') | no next file with comments »

Powered by Google App Engine
This is Rietveld 408576698