Google Git
Sign in
dart / sdk / 6048d620d4bc5c7aac3bc4a3db4799d37b3d7ce6 / . / pkg / analyzer / test / src / summary / elements / types_test.dart
blob: fe1195c05a18638ee4a2cf9b046f9b4163119b73 [file] [log] [blame]
// Copyright (c) 2024, 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 'package:analyzer/dart/element/type.dart';
import 'package:analyzer/src/dart/element/element.dart';
import 'package:test/test.dart';
import 'package:test_reflective_loader/test_reflective_loader.dart';
import '../../dart/resolution/node_text_expectations.dart';
import '../elements_base.dart';
main() {
defineReflectiveSuite(() {
defineReflectiveTests(TypesElementTest_keepLinking);
defineReflectiveTests(TypesElementTest_fromBytes);
defineReflectiveTests(UpdateNodeTextExpectations);
});
}
abstract class TypesElementTest extends ElementsBaseTest {
test_closure_executable_with_return_type_from_closure() async {
var library = await buildLibrary('''
f() {
print(() {});
print(() => () => 0);
}
''');
checkElementText(library, r'''
library
reference: <testLibrary>
definingUnit: <testLibraryFragment>
units
<testLibraryFragment>
enclosingElement: <testLibrary>
functions
f @0
reference: <testLibraryFragment>::@function::f
enclosingElement: <testLibraryFragment>
returnType: dynamic
----------------------------------------
library
reference: <testLibrary>
fragments
<testLibraryFragment>
''');
}
test_executable_parameter_type_typedef() async {
var library = await buildLibrary(r'''
typedef F(int p);
main(F f) {}
''');
checkElementText(library, r'''
library
reference: <testLibrary>
definingUnit: <testLibraryFragment>
units
<testLibraryFragment>
enclosingElement: <testLibrary>
typeAliases
functionTypeAliasBased F @8
reference: <testLibraryFragment>::@typeAlias::F
aliasedType: dynamic Function(int)
aliasedElement: GenericFunctionTypeElement
parameters
requiredPositional p @14
type: int
returnType: dynamic
functions
main @18
reference: <testLibraryFragment>::@function::main
enclosingElement: <testLibraryFragment>
parameters
requiredPositional f @25
type: dynamic Function(int)
alias: <testLibraryFragment>::@typeAlias::F
returnType: dynamic
----------------------------------------
library
reference: <testLibrary>
fragments
<testLibraryFragment>
''');
}
test_futureOr() async {
var library = await buildLibrary('import "dart:async"; FutureOr<int> x;');
checkElementText(library, r'''
library
reference: <testLibrary>
libraryImports
dart:async
enclosingElement: <testLibrary>
enclosingElement3: <testLibraryFragment>
definingUnit: <testLibraryFragment>
units
<testLibraryFragment>
enclosingElement: <testLibrary>
libraryImports
dart:async
enclosingElement: <testLibrary>
enclosingElement3: <testLibraryFragment>
topLevelVariables
static x @35
reference: <testLibraryFragment>::@topLevelVariable::x
enclosingElement: <testLibraryFragment>
type: FutureOr<int>
accessors
synthetic static get x @-1
reference: <testLibraryFragment>::@getter::x
enclosingElement: <testLibraryFragment>
returnType: FutureOr<int>
synthetic static set x= @-1
reference: <testLibraryFragment>::@setter::x
enclosingElement: <testLibraryFragment>
parameters
requiredPositional _x @-1
type: FutureOr<int>
returnType: void
----------------------------------------
library
reference: <testLibrary>
fragments
<testLibraryFragment>
libraryImports
dart:async
topLevelVariables
x @35
reference: <testLibraryFragment>::@topLevelVariable::x
enclosingFragment: <testLibraryFragment>
getter2: <testLibraryFragment>::@getter::x
setter2: <testLibraryFragment>::@setter::x
getters
get x @-1
reference: <testLibraryFragment>::@getter::x
enclosingFragment: <testLibraryFragment>
setters
set x= @-1
reference: <testLibraryFragment>::@setter::x
enclosingFragment: <testLibraryFragment>
parameters
_x @-1
topLevelVariables
x
reference: <none>
enclosingElement2: <testLibrary>
type: FutureOr<int>
firstFragment: <testLibraryFragment>::@topLevelVariable::x
getter: <none>
setter: <none>
getters
synthetic static get x
reference: <none>
enclosingElement: <testLibrary>
firstFragment: <testLibraryFragment>::@getter::x
setters
synthetic static set x=
reference: <none>
enclosingElement: <testLibrary>
parameters
requiredPositional _x
reference: <none>
type: FutureOr<int>
firstFragment: <testLibraryFragment>::@setter::x
''');
var variables = library.definingCompilationUnit.topLevelVariables;
expect(variables, hasLength(1));
_assertTypeStr(variables[0].type, 'FutureOr<int>');
}
test_futureOr_const() async {
var library =
await buildLibrary('import "dart:async"; const x = FutureOr;');
checkElementText(library, r'''
library
reference: <testLibrary>
libraryImports
dart:async
enclosingElement: <testLibrary>
enclosingElement3: <testLibraryFragment>
definingUnit: <testLibraryFragment>
units
<testLibraryFragment>
enclosingElement: <testLibrary>
libraryImports
dart:async
enclosingElement: <testLibrary>
enclosingElement3: <testLibraryFragment>
topLevelVariables
static const x @27
reference: <testLibraryFragment>::@topLevelVariable::x
enclosingElement: <testLibraryFragment>
type: Type
shouldUseTypeForInitializerInference: false
constantInitializer
SimpleIdentifier
token: FutureOr @31
staticElement: dart:async::<fragment>::@class::FutureOr
staticType: Type
accessors
synthetic static get x @-1
reference: <testLibraryFragment>::@getter::x
enclosingElement: <testLibraryFragment>
returnType: Type
----------------------------------------
library
reference: <testLibrary>
fragments
<testLibraryFragment>
libraryImports
dart:async
topLevelVariables
const x @27
reference: <testLibraryFragment>::@topLevelVariable::x
enclosingFragment: <testLibraryFragment>
getter2: <testLibraryFragment>::@getter::x
getters
get x @-1
reference: <testLibraryFragment>::@getter::x
enclosingFragment: <testLibraryFragment>
topLevelVariables
const x
reference: <none>
enclosingElement2: <testLibrary>
type: Type
firstFragment: <testLibraryFragment>::@topLevelVariable::x
getter: <none>
getters
synthetic static get x
reference: <none>
enclosingElement: <testLibrary>
firstFragment: <testLibraryFragment>::@getter::x
''');
var variables = library.definingCompilationUnit.topLevelVariables;
expect(variables, hasLength(1));
var x = variables[0] as ConstTopLevelVariableElementImpl;
_assertTypeStr(x.type, 'Type');
expect(x.constantInitializer.toString(), 'FutureOr');
}
test_futureOr_inferred() async {
var library = await buildLibrary('''
import "dart:async";
FutureOr<int> f() => null;
var x = f();
var y = x.then((z) => z.asDouble());
''');
checkElementText(library, r'''
library
reference: <testLibrary>
libraryImports
dart:async
enclosingElement: <testLibrary>
enclosingElement3: <testLibraryFragment>
definingUnit: <testLibraryFragment>
units
<testLibraryFragment>
enclosingElement: <testLibrary>
libraryImports
dart:async
enclosingElement: <testLibrary>
enclosingElement3: <testLibraryFragment>
topLevelVariables
static x @52
reference: <testLibraryFragment>::@topLevelVariable::x
enclosingElement: <testLibraryFragment>
type: FutureOr<int>
shouldUseTypeForInitializerInference: false
static y @65
reference: <testLibraryFragment>::@topLevelVariable::y
enclosingElement: <testLibraryFragment>
type: InvalidType
shouldUseTypeForInitializerInference: false
accessors
synthetic static get x @-1
reference: <testLibraryFragment>::@getter::x
enclosingElement: <testLibraryFragment>
returnType: FutureOr<int>
synthetic static set x= @-1
reference: <testLibraryFragment>::@setter::x
enclosingElement: <testLibraryFragment>
parameters
requiredPositional _x @-1
type: FutureOr<int>
returnType: void
synthetic static get y @-1
reference: <testLibraryFragment>::@getter::y
enclosingElement: <testLibraryFragment>
returnType: InvalidType
synthetic static set y= @-1
reference: <testLibraryFragment>::@setter::y
enclosingElement: <testLibraryFragment>
parameters
requiredPositional _y @-1
type: InvalidType
returnType: void
functions
f @35
reference: <testLibraryFragment>::@function::f
enclosingElement: <testLibraryFragment>
returnType: FutureOr<int>
----------------------------------------
library
reference: <testLibrary>
fragments
<testLibraryFragment>
libraryImports
dart:async
topLevelVariables
x @52
reference: <testLibraryFragment>::@topLevelVariable::x
enclosingFragment: <testLibraryFragment>
getter2: <testLibraryFragment>::@getter::x
setter2: <testLibraryFragment>::@setter::x
y @65
reference: <testLibraryFragment>::@topLevelVariable::y
enclosingFragment: <testLibraryFragment>
getter2: <testLibraryFragment>::@getter::y
setter2: <testLibraryFragment>::@setter::y
getters
get x @-1
reference: <testLibraryFragment>::@getter::x
enclosingFragment: <testLibraryFragment>
get y @-1
reference: <testLibraryFragment>::@getter::y
enclosingFragment: <testLibraryFragment>
setters
set x= @-1
reference: <testLibraryFragment>::@setter::x
enclosingFragment: <testLibraryFragment>
parameters
_x @-1
set y= @-1
reference: <testLibraryFragment>::@setter::y
enclosingFragment: <testLibraryFragment>
parameters
_y @-1
topLevelVariables
x
reference: <none>
enclosingElement2: <testLibrary>
type: FutureOr<int>
firstFragment: <testLibraryFragment>::@topLevelVariable::x
getter: <none>
setter: <none>
y
reference: <none>
enclosingElement2: <testLibrary>
type: InvalidType
firstFragment: <testLibraryFragment>::@topLevelVariable::y
getter: <none>
setter: <none>
getters
synthetic static get x
reference: <none>
enclosingElement: <testLibrary>
firstFragment: <testLibraryFragment>::@getter::x
synthetic static get y
reference: <none>
enclosingElement: <testLibrary>
firstFragment: <testLibraryFragment>::@getter::y
setters
synthetic static set x=
reference: <none>
enclosingElement: <testLibrary>
parameters
requiredPositional _x
reference: <none>
type: FutureOr<int>
firstFragment: <testLibraryFragment>::@setter::x
synthetic static set y=
reference: <none>
enclosingElement: <testLibrary>
parameters
requiredPositional _y
reference: <none>
type: InvalidType
firstFragment: <testLibraryFragment>::@setter::y
''');
var variables = library.definingCompilationUnit.topLevelVariables;
expect(variables, hasLength(2));
var x = variables[0];
expect(x.name, 'x');
var y = variables[1];
expect(y.name, 'y');
_assertTypeStr(x.type, 'FutureOr<int>');
_assertTypeStr(y.type, 'InvalidType');
}
test_generic_gClass_gMethodStatic() async {
var library = await buildLibrary('''
class C<T, U> {
static void m<V, W>(V v, W w) {
void f<X, Y>(V v, W w, X x, Y y) {
}
}
}
''');
checkElementText(library, r'''
library
reference: <testLibrary>
definingUnit: <testLibraryFragment>
units
<testLibraryFragment>
enclosingElement: <testLibrary>
classes
class C @6
reference: <testLibraryFragment>::@class::C
enclosingElement: <testLibraryFragment>
typeParameters
covariant T @8
defaultType: dynamic
covariant U @11
defaultType: dynamic
constructors
synthetic @-1
reference: <testLibraryFragment>::@class::C::@constructor::new
enclosingElement: <testLibraryFragment>::@class::C
methods
static m @30
reference: <testLibraryFragment>::@class::C::@method::m
enclosingElement: <testLibraryFragment>::@class::C
typeParameters
covariant V @32
defaultType: dynamic
covariant W @35
defaultType: dynamic
parameters
requiredPositional v @40
type: V
requiredPositional w @45
type: W
returnType: void
----------------------------------------
library
reference: <testLibrary>
fragments
<testLibraryFragment>
classes
class C @6
reference: <testLibraryFragment>::@class::C
typeParameters
T @8
U @11
constructors
synthetic new @-1
reference: <testLibraryFragment>::@class::C::@constructor::new
enclosingFragment: <testLibraryFragment>::@class::C
methods
m @30
reference: <testLibraryFragment>::@class::C::@method::m
enclosingFragment: <testLibraryFragment>::@class::C
typeParameters
V @32
W @35
parameters
v @40
w @45
classes
class C
reference: <testLibraryFragment>::@class::C
enclosingElement2: <testLibrary>
typeParameters
T
U
firstFragment: <testLibraryFragment>::@class::C
constructors
synthetic new
reference: <none>
firstFragment: <testLibraryFragment>::@class::C::@constructor::new
methods
static m
reference: <none>
typeParameters
V
W
parameters
requiredPositional v
reference: <none>
type: V
requiredPositional w
reference: <none>
type: W
firstFragment: <testLibraryFragment>::@class::C::@method::m
''');
}
test_implicitCallTearoff() async {
var library = await buildLibrary(r'''
class C {
void call() {}
}
class D {
const D(C c) : this.named(c);
const D.named(void Function() f);
}
''');
checkElementText(library, r'''
library
reference: <testLibrary>
definingUnit: <testLibraryFragment>
units
<testLibraryFragment>
enclosingElement: <testLibrary>
classes
class C @6
reference: <testLibraryFragment>::@class::C
enclosingElement: <testLibraryFragment>
constructors
synthetic @-1
reference: <testLibraryFragment>::@class::C::@constructor::new
enclosingElement: <testLibraryFragment>::@class::C
methods
call @17
reference: <testLibraryFragment>::@class::C::@method::call
enclosingElement: <testLibraryFragment>::@class::C
returnType: void
class D @36
reference: <testLibraryFragment>::@class::D
enclosingElement: <testLibraryFragment>
constructors
const @48
reference: <testLibraryFragment>::@class::D::@constructor::new
enclosingElement: <testLibraryFragment>::@class::D
parameters
requiredPositional c @52
type: C
constantInitializers
RedirectingConstructorInvocation
thisKeyword: this @57
period: . @61
constructorName: SimpleIdentifier
token: named @62
staticElement: <testLibraryFragment>::@class::D::@constructor::named
staticType: null
argumentList: ArgumentList
leftParenthesis: ( @67
arguments
ImplicitCallReference
expression: SimpleIdentifier
token: c @68
staticElement: <testLibraryFragment>::@class::D::@constructor::new::@parameter::c
staticType: C
staticElement: <testLibraryFragment>::@class::C::@method::call
staticType: void Function()
rightParenthesis: ) @69
staticElement: <testLibraryFragment>::@class::D::@constructor::named
redirectedConstructor: <testLibraryFragment>::@class::D::@constructor::named
const named @83
reference: <testLibraryFragment>::@class::D::@constructor::named
enclosingElement: <testLibraryFragment>::@class::D
periodOffset: 82
nameEnd: 88
parameters
requiredPositional f @105
type: void Function()
----------------------------------------
library
reference: <testLibrary>
fragments
<testLibraryFragment>
classes
class C @6
reference: <testLibraryFragment>::@class::C
constructors
synthetic new @-1
reference: <testLibraryFragment>::@class::C::@constructor::new
enclosingFragment: <testLibraryFragment>::@class::C
methods
call @17
reference: <testLibraryFragment>::@class::C::@method::call
enclosingFragment: <testLibraryFragment>::@class::C
class D @36
reference: <testLibraryFragment>::@class::D
constructors
const new @48
reference: <testLibraryFragment>::@class::D::@constructor::new
enclosingFragment: <testLibraryFragment>::@class::D
constantInitializers
RedirectingConstructorInvocation
thisKeyword: this @57
period: . @61
constructorName: SimpleIdentifier
token: named @62
staticElement: <testLibraryFragment>::@class::D::@constructor::named
staticType: null
argumentList: ArgumentList
leftParenthesis: ( @67
arguments
ImplicitCallReference
expression: SimpleIdentifier
token: c @68
staticElement: <testLibraryFragment>::@class::D::@constructor::new::@parameter::c
staticType: C
staticElement: <testLibraryFragment>::@class::C::@method::call
staticType: void Function()
rightParenthesis: ) @69
staticElement: <testLibraryFragment>::@class::D::@constructor::named
redirectedConstructor: <testLibraryFragment>::@class::D::@constructor::named
const named @83
reference: <testLibraryFragment>::@class::D::@constructor::named
enclosingFragment: <testLibraryFragment>::@class::D
periodOffset: 82
nameEnd: 88
classes
class C
reference: <testLibraryFragment>::@class::C
enclosingElement2: <testLibrary>
firstFragment: <testLibraryFragment>::@class::C
constructors
synthetic new
reference: <none>
firstFragment: <testLibraryFragment>::@class::C::@constructor::new
methods
call
reference: <none>
firstFragment: <testLibraryFragment>::@class::C::@method::call
class D
reference: <testLibraryFragment>::@class::D
enclosingElement2: <testLibrary>
firstFragment: <testLibraryFragment>::@class::D
constructors
const new
reference: <none>
parameters
requiredPositional c
reference: <none>
type: C
redirectedConstructor: <none>
firstFragment: <testLibraryFragment>::@class::D::@constructor::new
const named
reference: <none>
parameters
requiredPositional f
reference: <none>
type: void Function()
firstFragment: <testLibraryFragment>::@class::D::@constructor::named
''');
}
test_initializer_executable_with_return_type_from_closure() async {
var library = await buildLibrary('var v = () => 0;');
checkElementText(library, r'''
library
reference: <testLibrary>
definingUnit: <testLibraryFragment>
units
<testLibraryFragment>
enclosingElement: <testLibrary>
topLevelVariables
static v @4
reference: <testLibraryFragment>::@topLevelVariable::v
enclosingElement: <testLibraryFragment>
type: int Function()
shouldUseTypeForInitializerInference: false
accessors
synthetic static get v @-1
reference: <testLibraryFragment>::@getter::v
enclosingElement: <testLibraryFragment>
returnType: int Function()
synthetic static set v= @-1
reference: <testLibraryFragment>::@setter::v
enclosingElement: <testLibraryFragment>
parameters
requiredPositional _v @-1
type: int Function()
returnType: void
----------------------------------------
library
reference: <testLibrary>
fragments
<testLibraryFragment>
topLevelVariables
v @4
reference: <testLibraryFragment>::@topLevelVariable::v
enclosingFragment: <testLibraryFragment>
getter2: <testLibraryFragment>::@getter::v
setter2: <testLibraryFragment>::@setter::v
getters
get v @-1
reference: <testLibraryFragment>::@getter::v
enclosingFragment: <testLibraryFragment>
setters
set v= @-1
reference: <testLibraryFragment>::@setter::v
enclosingFragment: <testLibraryFragment>
parameters
_v @-1
topLevelVariables
v
reference: <none>
enclosingElement2: <testLibrary>
type: int Function()
firstFragment: <testLibraryFragment>::@topLevelVariable::v
getter: <none>
setter: <none>
getters
synthetic static get v
reference: <none>
enclosingElement: <testLibrary>
firstFragment: <testLibraryFragment>::@getter::v
setters
synthetic static set v=
reference: <none>
enclosingElement: <testLibrary>
parameters
requiredPositional _v
reference: <none>
type: int Function()
firstFragment: <testLibraryFragment>::@setter::v
''');
}
test_initializer_executable_with_return_type_from_closure_await_dynamic() async {
var library = await buildLibrary('var v = (f) async => await f;');
checkElementText(library, r'''
library
reference: <testLibrary>
definingUnit: <testLibraryFragment>
units
<testLibraryFragment>
enclosingElement: <testLibrary>
topLevelVariables
static v @4
reference: <testLibraryFragment>::@topLevelVariable::v
enclosingElement: <testLibraryFragment>
type: Future<dynamic> Function(dynamic)
shouldUseTypeForInitializerInference: false
accessors
synthetic static get v @-1
reference: <testLibraryFragment>::@getter::v
enclosingElement: <testLibraryFragment>
returnType: Future<dynamic> Function(dynamic)
synthetic static set v= @-1
reference: <testLibraryFragment>::@setter::v
enclosingElement: <testLibraryFragment>
parameters
requiredPositional _v @-1
type: Future<dynamic> Function(dynamic)
returnType: void
----------------------------------------
library
reference: <testLibrary>
fragments
<testLibraryFragment>
topLevelVariables
v @4
reference: <testLibraryFragment>::@topLevelVariable::v
enclosingFragment: <testLibraryFragment>
getter2: <testLibraryFragment>::@getter::v
setter2: <testLibraryFragment>::@setter::v
getters
get v @-1
reference: <testLibraryFragment>::@getter::v
enclosingFragment: <testLibraryFragment>
setters
set v= @-1
reference: <testLibraryFragment>::@setter::v
enclosingFragment: <testLibraryFragment>
parameters
_v @-1
topLevelVariables
v
reference: <none>
enclosingElement2: <testLibrary>
type: Future<dynamic> Function(dynamic)
firstFragment: <testLibraryFragment>::@topLevelVariable::v
getter: <none>
setter: <none>
getters
synthetic static get v
reference: <none>
enclosingElement: <testLibrary>
firstFragment: <testLibraryFragment>::@getter::v
setters
synthetic static set v=
reference: <none>
enclosingElement: <testLibrary>
parameters
requiredPositional _v
reference: <none>
type: Future<dynamic> Function(dynamic)
firstFragment: <testLibraryFragment>::@setter::v
''');
}
test_initializer_executable_with_return_type_from_closure_await_future3_int() async {
var library = await buildLibrary(r'''
import 'dart:async';
var v = (Future<Future<Future<int>>> f) async => await f;
''');
// The analyzer type system over-flattens - see dartbug.com/31887
checkElementText(library, r'''
library
reference: <testLibrary>
libraryImports
dart:async
enclosingElement: <testLibrary>
enclosingElement3: <testLibraryFragment>
definingUnit: <testLibraryFragment>
units
<testLibraryFragment>
enclosingElement: <testLibrary>
libraryImports
dart:async
enclosingElement: <testLibrary>
enclosingElement3: <testLibraryFragment>
topLevelVariables
static v @25
reference: <testLibraryFragment>::@topLevelVariable::v
enclosingElement: <testLibraryFragment>
type: Future<int> Function(Future<Future<Future<int>>>)
shouldUseTypeForInitializerInference: false
accessors
synthetic static get v @-1
reference: <testLibraryFragment>::@getter::v
enclosingElement: <testLibraryFragment>
returnType: Future<int> Function(Future<Future<Future<int>>>)
synthetic static set v= @-1
reference: <testLibraryFragment>::@setter::v
enclosingElement: <testLibraryFragment>
parameters
requiredPositional _v @-1
type: Future<int> Function(Future<Future<Future<int>>>)
returnType: void
----------------------------------------
library
reference: <testLibrary>
fragments
<testLibraryFragment>
libraryImports
dart:async
topLevelVariables
v @25
reference: <testLibraryFragment>::@topLevelVariable::v
enclosingFragment: <testLibraryFragment>
getter2: <testLibraryFragment>::@getter::v
setter2: <testLibraryFragment>::@setter::v
getters
get v @-1
reference: <testLibraryFragment>::@getter::v
enclosingFragment: <testLibraryFragment>
setters
set v= @-1
reference: <testLibraryFragment>::@setter::v
enclosingFragment: <testLibraryFragment>
parameters
_v @-1
topLevelVariables
v
reference: <none>
enclosingElement2: <testLibrary>
type: Future<int> Function(Future<Future<Future<int>>>)
firstFragment: <testLibraryFragment>::@topLevelVariable::v
getter: <none>
setter: <none>
getters
synthetic static get v
reference: <none>
enclosingElement: <testLibrary>
firstFragment: <testLibraryFragment>::@getter::v
setters
synthetic static set v=
reference: <none>
enclosingElement: <testLibrary>
parameters
requiredPositional _v
reference: <none>
type: Future<int> Function(Future<Future<Future<int>>>)
firstFragment: <testLibraryFragment>::@setter::v
''');
}
test_initializer_executable_with_return_type_from_closure_await_future_int() async {
var library = await buildLibrary(r'''
import 'dart:async';
var v = (Future<int> f) async => await f;
''');
checkElementText(library, r'''
library
reference: <testLibrary>
libraryImports
dart:async
enclosingElement: <testLibrary>
enclosingElement3: <testLibraryFragment>
definingUnit: <testLibraryFragment>
units
<testLibraryFragment>
enclosingElement: <testLibrary>
libraryImports
dart:async
enclosingElement: <testLibrary>
enclosingElement3: <testLibraryFragment>
topLevelVariables
static v @25
reference: <testLibraryFragment>::@topLevelVariable::v
enclosingElement: <testLibraryFragment>
type: Future<int> Function(Future<int>)
shouldUseTypeForInitializerInference: false
accessors
synthetic static get v @-1
reference: <testLibraryFragment>::@getter::v
enclosingElement: <testLibraryFragment>
returnType: Future<int> Function(Future<int>)
synthetic static set v= @-1
reference: <testLibraryFragment>::@setter::v
enclosingElement: <testLibraryFragment>
parameters
requiredPositional _v @-1
type: Future<int> Function(Future<int>)
returnType: void
----------------------------------------
library
reference: <testLibrary>
fragments
<testLibraryFragment>
libraryImports
dart:async
topLevelVariables
v @25
reference: <testLibraryFragment>::@topLevelVariable::v
enclosingFragment: <testLibraryFragment>
getter2: <testLibraryFragment>::@getter::v
setter2: <testLibraryFragment>::@setter::v
getters
get v @-1
reference: <testLibraryFragment>::@getter::v
enclosingFragment: <testLibraryFragment>
setters
set v= @-1
reference: <testLibraryFragment>::@setter::v
enclosingFragment: <testLibraryFragment>
parameters
_v @-1
topLevelVariables
v
reference: <none>
enclosingElement2: <testLibrary>
type: Future<int> Function(Future<int>)
firstFragment: <testLibraryFragment>::@topLevelVariable::v
getter: <none>
setter: <none>
getters
synthetic static get v
reference: <none>
enclosingElement: <testLibrary>
firstFragment: <testLibraryFragment>::@getter::v
setters
synthetic static set v=
reference: <none>
enclosingElement: <testLibrary>
parameters
requiredPositional _v
reference: <none>
type: Future<int> Function(Future<int>)
firstFragment: <testLibraryFragment>::@setter::v
''');
}
test_initializer_executable_with_return_type_from_closure_await_future_noArg() async {
var library = await buildLibrary(r'''
import 'dart:async';
var v = (Future f) async => await f;
''');
checkElementText(library, r'''
library
reference: <testLibrary>
libraryImports
dart:async
enclosingElement: <testLibrary>
enclosingElement3: <testLibraryFragment>
definingUnit: <testLibraryFragment>
units
<testLibraryFragment>
enclosingElement: <testLibrary>
libraryImports
dart:async
enclosingElement: <testLibrary>
enclosingElement3: <testLibraryFragment>
topLevelVariables
static v @25
reference: <testLibraryFragment>::@topLevelVariable::v
enclosingElement: <testLibraryFragment>
type: Future<dynamic> Function(Future<dynamic>)
shouldUseTypeForInitializerInference: false
accessors
synthetic static get v @-1
reference: <testLibraryFragment>::@getter::v
enclosingElement: <testLibraryFragment>
returnType: Future<dynamic> Function(Future<dynamic>)
synthetic static set v= @-1
reference: <testLibraryFragment>::@setter::v
enclosingElement: <testLibraryFragment>
parameters
requiredPositional _v @-1
type: Future<dynamic> Function(Future<dynamic>)
returnType: void
----------------------------------------
library
reference: <testLibrary>
fragments
<testLibraryFragment>
libraryImports
dart:async
topLevelVariables
v @25
reference: <testLibraryFragment>::@topLevelVariable::v
enclosingFragment: <testLibraryFragment>
getter2: <testLibraryFragment>::@getter::v
setter2: <testLibraryFragment>::@setter::v
getters
get v @-1
reference: <testLibraryFragment>::@getter::v
enclosingFragment: <testLibraryFragment>
setters
set v= @-1
reference: <testLibraryFragment>::@setter::v
enclosingFragment: <testLibraryFragment>
parameters
_v @-1
topLevelVariables
v
reference: <none>
enclosingElement2: <testLibrary>
type: Future<dynamic> Function(Future<dynamic>)
firstFragment: <testLibraryFragment>::@topLevelVariable::v
getter: <none>
setter: <none>
getters
synthetic static get v
reference: <none>
enclosingElement: <testLibrary>
firstFragment: <testLibraryFragment>::@getter::v
setters
synthetic static set v=
reference: <none>
enclosingElement: <testLibrary>
parameters
requiredPositional _v
reference: <none>
type: Future<dynamic> Function(Future<dynamic>)
firstFragment: <testLibraryFragment>::@setter::v
''');
}
test_initializer_executable_with_return_type_from_closure_field() async {
var library = await buildLibrary('''
class C {
var v = () => 0;
}
''');
checkElementText(library, r'''
library
reference: <testLibrary>
definingUnit: <testLibraryFragment>
units
<testLibraryFragment>
enclosingElement: <testLibrary>
classes
class C @6
reference: <testLibraryFragment>::@class::C
enclosingElement: <testLibraryFragment>
fields
v @16
reference: <testLibraryFragment>::@class::C::@field::v
enclosingElement: <testLibraryFragment>::@class::C
type: int Function()
shouldUseTypeForInitializerInference: false
constructors
synthetic @-1
reference: <testLibraryFragment>::@class::C::@constructor::new
enclosingElement: <testLibraryFragment>::@class::C
accessors
synthetic get v @-1
reference: <testLibraryFragment>::@class::C::@getter::v
enclosingElement: <testLibraryFragment>::@class::C
returnType: int Function()
synthetic set v= @-1
reference: <testLibraryFragment>::@class::C::@setter::v
enclosingElement: <testLibraryFragment>::@class::C
parameters
requiredPositional _v @-1
type: int Function()
returnType: void
----------------------------------------
library
reference: <testLibrary>
fragments
<testLibraryFragment>
classes
class C @6
reference: <testLibraryFragment>::@class::C
fields
v @16
reference: <testLibraryFragment>::@class::C::@field::v
enclosingFragment: <testLibraryFragment>::@class::C
getter2: <testLibraryFragment>::@class::C::@getter::v
setter2: <testLibraryFragment>::@class::C::@setter::v
constructors
synthetic new @-1
reference: <testLibraryFragment>::@class::C::@constructor::new
enclosingFragment: <testLibraryFragment>::@class::C
getters
get v @-1
reference: <testLibraryFragment>::@class::C::@getter::v
enclosingFragment: <testLibraryFragment>::@class::C
setters
set v= @-1
reference: <testLibraryFragment>::@class::C::@setter::v
enclosingFragment: <testLibraryFragment>::@class::C
parameters
_v @-1
classes
class C
reference: <testLibraryFragment>::@class::C
enclosingElement2: <testLibrary>
firstFragment: <testLibraryFragment>::@class::C
fields
v
reference: <none>
enclosingElement: <testLibraryFragment>::@class::C
type: int Function()
firstFragment: <testLibraryFragment>::@class::C::@field::v
getter: <none>
setter: <none>
constructors
synthetic new
reference: <none>
firstFragment: <testLibraryFragment>::@class::C::@constructor::new
getters
synthetic get v
reference: <none>
enclosingElement: <testLibraryFragment>::@class::C
firstFragment: <testLibraryFragment>::@class::C::@getter::v
setters
synthetic set v=
reference: <none>
enclosingElement: <testLibraryFragment>::@class::C
parameters
requiredPositional _v
reference: <none>
type: int Function()
firstFragment: <testLibraryFragment>::@class::C::@setter::v
''');
}
test_initializer_executable_with_return_type_from_closure_local() async {
var library = await buildLibrary('''
void f() {
int u = 0;
var v = () => 0;
}
''');
checkElementText(library, r'''
library
reference: <testLibrary>
definingUnit: <testLibraryFragment>
units
<testLibraryFragment>
enclosingElement: <testLibrary>
functions
f @5
reference: <testLibraryFragment>::@function::f
enclosingElement: <testLibraryFragment>
returnType: void
----------------------------------------
library
reference: <testLibrary>
fragments
<testLibraryFragment>
''');
}
test_instanceInference_operator_equal_from() async {
newFile('$testPackageLibPath/nullSafe.dart', r'''
class NullSafeDefault {
bool operator==(other) => false;
}
class NullSafeObject {
bool operator==(Object other) => false;
}
class NullSafeInt {
bool operator==(int other) => false;
}
''');
var library = await buildLibrary(r'''
import 'nullSafe.dart';
class X1 extends NullSafeDefault {
bool operator==(other) => false;
}
class X2 extends NullSafeObject {
bool operator==(other) => false;
}
class X3 extends NullSafeInt {
bool operator==(other) => false;
}
''');
checkElementText(library, r'''
library
reference: <testLibrary>
libraryImports
package:test/nullSafe.dart
enclosingElement: <testLibrary>
enclosingElement3: <testLibraryFragment>
definingUnit: <testLibraryFragment>
units
<testLibraryFragment>
enclosingElement: <testLibrary>
libraryImports
package:test/nullSafe.dart
enclosingElement: <testLibrary>
enclosingElement3: <testLibraryFragment>
classes
class X1 @30
reference: <testLibraryFragment>::@class::X1
enclosingElement: <testLibraryFragment>
supertype: NullSafeDefault
constructors
synthetic @-1
reference: <testLibraryFragment>::@class::X1::@constructor::new
enclosingElement: <testLibraryFragment>::@class::X1
superConstructor: package:test/nullSafe.dart::<fragment>::@class::NullSafeDefault::@constructor::new
methods
== @74
reference: <testLibraryFragment>::@class::X1::@method::==
enclosingElement: <testLibraryFragment>::@class::X1
parameters
requiredPositional other @77
type: Object
returnType: bool
class X2 @102
reference: <testLibraryFragment>::@class::X2
enclosingElement: <testLibraryFragment>
supertype: NullSafeObject
constructors
synthetic @-1
reference: <testLibraryFragment>::@class::X2::@constructor::new
enclosingElement: <testLibraryFragment>::@class::X2
superConstructor: package:test/nullSafe.dart::<fragment>::@class::NullSafeObject::@constructor::new
methods
== @145
reference: <testLibraryFragment>::@class::X2::@method::==
enclosingElement: <testLibraryFragment>::@class::X2
parameters
requiredPositional other @148
type: Object
returnType: bool
class X3 @173
reference: <testLibraryFragment>::@class::X3
enclosingElement: <testLibraryFragment>
supertype: NullSafeInt
constructors
synthetic @-1
reference: <testLibraryFragment>::@class::X3::@constructor::new
enclosingElement: <testLibraryFragment>::@class::X3
superConstructor: package:test/nullSafe.dart::<fragment>::@class::NullSafeInt::@constructor::new
methods
== @213
reference: <testLibraryFragment>::@class::X3::@method::==
enclosingElement: <testLibraryFragment>::@class::X3
parameters
requiredPositional other @216
type: int
returnType: bool
----------------------------------------
library
reference: <testLibrary>
fragments
<testLibraryFragment>
libraryImports
package:test/nullSafe.dart
classes
class X1 @30
reference: <testLibraryFragment>::@class::X1
constructors
synthetic new @-1
reference: <testLibraryFragment>::@class::X1::@constructor::new
enclosingFragment: <testLibraryFragment>::@class::X1
superConstructor: package:test/nullSafe.dart::<fragment>::@class::NullSafeDefault::@constructor::new
methods
== @74
reference: <testLibraryFragment>::@class::X1::@method::==
enclosingFragment: <testLibraryFragment>::@class::X1
parameters
other @77
class X2 @102
reference: <testLibraryFragment>::@class::X2
constructors
synthetic new @-1
reference: <testLibraryFragment>::@class::X2::@constructor::new
enclosingFragment: <testLibraryFragment>::@class::X2
superConstructor: package:test/nullSafe.dart::<fragment>::@class::NullSafeObject::@constructor::new
methods
== @145
reference: <testLibraryFragment>::@class::X2::@method::==
enclosingFragment: <testLibraryFragment>::@class::X2
parameters
other @148
class X3 @173
reference: <testLibraryFragment>::@class::X3
constructors
synthetic new @-1
reference: <testLibraryFragment>::@class::X3::@constructor::new
enclosingFragment: <testLibraryFragment>::@class::X3
superConstructor: package:test/nullSafe.dart::<fragment>::@class::NullSafeInt::@constructor::new
methods
== @213
reference: <testLibraryFragment>::@class::X3::@method::==
enclosingFragment: <testLibraryFragment>::@class::X3
parameters
other @216
classes
class X1
reference: <testLibraryFragment>::@class::X1
enclosingElement2: <testLibrary>
firstFragment: <testLibraryFragment>::@class::X1
supertype: NullSafeDefault
constructors
synthetic new
reference: <none>
superConstructor: <none>
firstFragment: <testLibraryFragment>::@class::X1::@constructor::new
methods
==
reference: <none>
parameters
requiredPositional other
reference: <none>
type: Object
firstFragment: <testLibraryFragment>::@class::X1::@method::==
class X2
reference: <testLibraryFragment>::@class::X2
enclosingElement2: <testLibrary>
firstFragment: <testLibraryFragment>::@class::X2
supertype: NullSafeObject
constructors
synthetic new
reference: <none>
superConstructor: <none>
firstFragment: <testLibraryFragment>::@class::X2::@constructor::new
methods
==
reference: <none>
parameters
requiredPositional other
reference: <none>
type: Object
firstFragment: <testLibraryFragment>::@class::X2::@method::==
class X3
reference: <testLibraryFragment>::@class::X3
enclosingElement2: <testLibrary>
firstFragment: <testLibraryFragment>::@class::X3
supertype: NullSafeInt
constructors
synthetic new
reference: <none>
superConstructor: <none>
firstFragment: <testLibraryFragment>::@class::X3::@constructor::new
methods
==
reference: <none>
parameters
requiredPositional other
reference: <none>
type: int
firstFragment: <testLibraryFragment>::@class::X3::@method::==
''');
}
test_instantiateToBounds_boundRefersToEarlierTypeArgument() async {
var library = await buildLibrary('''
class C<S extends num, T extends C<S, T>> {}
C c;
''');
checkElementText(library, r'''
library
reference: <testLibrary>
definingUnit: <testLibraryFragment>
units
<testLibraryFragment>
enclosingElement: <testLibrary>
classes
notSimplyBounded class C @6
reference: <testLibraryFragment>::@class::C
enclosingElement: <testLibraryFragment>
typeParameters
covariant S @8
bound: num
defaultType: num
covariant T @23
bound: C<S, T>
defaultType: C<num, dynamic>
constructors
synthetic @-1
reference: <testLibraryFragment>::@class::C::@constructor::new
enclosingElement: <testLibraryFragment>::@class::C
topLevelVariables
static c @47
reference: <testLibraryFragment>::@topLevelVariable::c
enclosingElement: <testLibraryFragment>
type: C<num, C<num, dynamic>>
accessors
synthetic static get c @-1
reference: <testLibraryFragment>::@getter::c
enclosingElement: <testLibraryFragment>
returnType: C<num, C<num, dynamic>>
synthetic static set c= @-1
reference: <testLibraryFragment>::@setter::c
enclosingElement: <testLibraryFragment>
parameters
requiredPositional _c @-1
type: C<num, C<num, dynamic>>
returnType: void
----------------------------------------
library
reference: <testLibrary>
fragments
<testLibraryFragment>
classes
class C @6
reference: <testLibraryFragment>::@class::C
typeParameters
S @8
T @23
constructors
synthetic new @-1
reference: <testLibraryFragment>::@class::C::@constructor::new
enclosingFragment: <testLibraryFragment>::@class::C
topLevelVariables
c @47
reference: <testLibraryFragment>::@topLevelVariable::c
enclosingFragment: <testLibraryFragment>
getter2: <testLibraryFragment>::@getter::c
setter2: <testLibraryFragment>::@setter::c
getters
get c @-1
reference: <testLibraryFragment>::@getter::c
enclosingFragment: <testLibraryFragment>
setters
set c= @-1
reference: <testLibraryFragment>::@setter::c
enclosingFragment: <testLibraryFragment>
parameters
_c @-1
classes
class C
reference: <testLibraryFragment>::@class::C
enclosingElement2: <testLibrary>
typeParameters
S
bound: num
T
bound: C<S, T>
firstFragment: <testLibraryFragment>::@class::C
constructors
synthetic new
reference: <none>
firstFragment: <testLibraryFragment>::@class::C::@constructor::new
topLevelVariables
c
reference: <none>
enclosingElement2: <testLibrary>
type: C<num, C<num, dynamic>>
firstFragment: <testLibraryFragment>::@topLevelVariable::c
getter: <none>
setter: <none>
getters
synthetic static get c
reference: <none>
enclosingElement: <testLibrary>
firstFragment: <testLibraryFragment>::@getter::c
setters
synthetic static set c=
reference: <none>
enclosingElement: <testLibrary>
parameters
requiredPositional _c
reference: <none>
type: C<num, C<num, dynamic>>
firstFragment: <testLibraryFragment>::@setter::c
''');
}
test_instantiateToBounds_boundRefersToItself() async {
var library = await buildLibrary('''
class C<T extends C<T>> {}
C c;
var c2 = new C();
class B {
var c3 = new C();
}
''');
checkElementText(library, r'''
library
reference: <testLibrary>
definingUnit: <testLibraryFragment>
units
<testLibraryFragment>
enclosingElement: <testLibrary>
classes
notSimplyBounded class C @6
reference: <testLibraryFragment>::@class::C
enclosingElement: <testLibraryFragment>
typeParameters
covariant T @8
bound: C<T>
defaultType: C<dynamic>
constructors
synthetic @-1
reference: <testLibraryFragment>::@class::C::@constructor::new
enclosingElement: <testLibraryFragment>::@class::C
class B @56
reference: <testLibraryFragment>::@class::B
enclosingElement: <testLibraryFragment>
fields
c3 @66
reference: <testLibraryFragment>::@class::B::@field::c3
enclosingElement: <testLibraryFragment>::@class::B
type: C<C<Object?>>
shouldUseTypeForInitializerInference: false
constructors
synthetic @-1
reference: <testLibraryFragment>::@class::B::@constructor::new
enclosingElement: <testLibraryFragment>::@class::B
accessors
synthetic get c3 @-1
reference: <testLibraryFragment>::@class::B::@getter::c3
enclosingElement: <testLibraryFragment>::@class::B
returnType: C<C<Object?>>
synthetic set c3= @-1
reference: <testLibraryFragment>::@class::B::@setter::c3
enclosingElement: <testLibraryFragment>::@class::B
parameters
requiredPositional _c3 @-1
type: C<C<Object?>>
returnType: void
topLevelVariables
static c @29
reference: <testLibraryFragment>::@topLevelVariable::c
enclosingElement: <testLibraryFragment>
type: C<C<dynamic>>
static c2 @36
reference: <testLibraryFragment>::@topLevelVariable::c2
enclosingElement: <testLibraryFragment>
type: C<C<Object?>>
shouldUseTypeForInitializerInference: false
accessors
synthetic static get c @-1
reference: <testLibraryFragment>::@getter::c
enclosingElement: <testLibraryFragment>
returnType: C<C<dynamic>>
synthetic static set c= @-1
reference: <testLibraryFragment>::@setter::c
enclosingElement: <testLibraryFragment>
parameters
requiredPositional _c @-1
type: C<C<dynamic>>
returnType: void
synthetic static get c2 @-1
reference: <testLibraryFragment>::@getter::c2
enclosingElement: <testLibraryFragment>
returnType: C<C<Object?>>
synthetic static set c2= @-1
reference: <testLibraryFragment>::@setter::c2
enclosingElement: <testLibraryFragment>
parameters
requiredPositional _c2 @-1
type: C<C<Object?>>
returnType: void
----------------------------------------
library
reference: <testLibrary>
fragments
<testLibraryFragment>
classes
class C @6
reference: <testLibraryFragment>::@class::C
typeParameters
T @8
constructors
synthetic new @-1
reference: <testLibraryFragment>::@class::C::@constructor::new
enclosingFragment: <testLibraryFragment>::@class::C
class B @56
reference: <testLibraryFragment>::@class::B
fields
c3 @66
reference: <testLibraryFragment>::@class::B::@field::c3
enclosingFragment: <testLibraryFragment>::@class::B
getter2: <testLibraryFragment>::@class::B::@getter::c3
setter2: <testLibraryFragment>::@class::B::@setter::c3
constructors
synthetic new @-1
reference: <testLibraryFragment>::@class::B::@constructor::new
enclosingFragment: <testLibraryFragment>::@class::B
getters
get c3 @-1
reference: <testLibraryFragment>::@class::B::@getter::c3
enclosingFragment: <testLibraryFragment>::@class::B
setters
set c3= @-1
reference: <testLibraryFragment>::@class::B::@setter::c3
enclosingFragment: <testLibraryFragment>::@class::B
parameters
_c3 @-1
topLevelVariables
c @29
reference: <testLibraryFragment>::@topLevelVariable::c
enclosingFragment: <testLibraryFragment>
getter2: <testLibraryFragment>::@getter::c
setter2: <testLibraryFragment>::@setter::c
c2 @36
reference: <testLibraryFragment>::@topLevelVariable::c2
enclosingFragment: <testLibraryFragment>
getter2: <testLibraryFragment>::@getter::c2
setter2: <testLibraryFragment>::@setter::c2
getters
get c @-1
reference: <testLibraryFragment>::@getter::c
enclosingFragment: <testLibraryFragment>
get c2 @-1
reference: <testLibraryFragment>::@getter::c2
enclosingFragment: <testLibraryFragment>
setters
set c= @-1
reference: <testLibraryFragment>::@setter::c
enclosingFragment: <testLibraryFragment>
parameters
_c @-1
set c2= @-1
reference: <testLibraryFragment>::@setter::c2
enclosingFragment: <testLibraryFragment>
parameters
_c2 @-1
classes
class C
reference: <testLibraryFragment>::@class::C
enclosingElement2: <testLibrary>
typeParameters
T
bound: C<T>
firstFragment: <testLibraryFragment>::@class::C
constructors
synthetic new
reference: <none>
firstFragment: <testLibraryFragment>::@class::C::@constructor::new
class B
reference: <testLibraryFragment>::@class::B
enclosingElement2: <testLibrary>
firstFragment: <testLibraryFragment>::@class::B
fields
c3
reference: <none>
enclosingElement: <testLibraryFragment>::@class::B
type: C<C<Object?>>
firstFragment: <testLibraryFragment>::@class::B::@field::c3
getter: <none>
setter: <none>
constructors
synthetic new
reference: <none>
firstFragment: <testLibraryFragment>::@class::B::@constructor::new
getters
synthetic get c3
reference: <none>
enclosingElement: <testLibraryFragment>::@class::B
firstFragment: <testLibraryFragment>::@class::B::@getter::c3
setters
synthetic set c3=
reference: <none>
enclosingElement: <testLibraryFragment>::@class::B
parameters
requiredPositional _c3
reference: <none>
type: C<C<Object?>>
firstFragment: <testLibraryFragment>::@class::B::@setter::c3
topLevelVariables
c
reference: <none>
enclosingElement2: <testLibrary>
type: C<C<dynamic>>
firstFragment: <testLibraryFragment>::@topLevelVariable::c
getter: <none>
setter: <none>
c2
reference: <none>
enclosingElement2: <testLibrary>
type: C<C<Object?>>
firstFragment: <testLibraryFragment>::@topLevelVariable::c2
getter: <none>
setter: <none>
getters
synthetic static get c
reference: <none>
enclosingElement: <testLibrary>
firstFragment: <testLibraryFragment>::@getter::c
synthetic static get c2
reference: <none>
enclosingElement: <testLibrary>
firstFragment: <testLibraryFragment>::@getter::c2
setters
synthetic static set c=
reference: <none>
enclosingElement: <testLibrary>
parameters
requiredPositional _c
reference: <none>
type: C<C<dynamic>>
firstFragment: <testLibraryFragment>::@setter::c
synthetic static set c2=
reference: <none>
enclosingElement: <testLibrary>
parameters
requiredPositional _c2
reference: <none>
type: C<C<Object?>>
firstFragment: <testLibraryFragment>::@setter::c2
''');
}
test_instantiateToBounds_boundRefersToLaterTypeArgument() async {
var library = await buildLibrary('''
class C<T extends C<T, U>, U extends num> {}
C c;
''');
checkElementText(library, r'''
library
reference: <testLibrary>
definingUnit: <testLibraryFragment>
units
<testLibraryFragment>
enclosingElement: <testLibrary>
classes
notSimplyBounded class C @6
reference: <testLibraryFragment>::@class::C
enclosingElement: <testLibraryFragment>
typeParameters
covariant T @8
bound: C<T, U>
defaultType: C<dynamic, num>
covariant U @27
bound: num
defaultType: num
constructors
synthetic @-1
reference: <testLibraryFragment>::@class::C::@constructor::new
enclosingElement: <testLibraryFragment>::@class::C
topLevelVariables
static c @47
reference: <testLibraryFragment>::@topLevelVariable::c
enclosingElement: <testLibraryFragment>
type: C<C<dynamic, num>, num>
accessors
synthetic static get c @-1
reference: <testLibraryFragment>::@getter::c
enclosingElement: <testLibraryFragment>
returnType: C<C<dynamic, num>, num>
synthetic static set c= @-1
reference: <testLibraryFragment>::@setter::c
enclosingElement: <testLibraryFragment>
parameters
requiredPositional _c @-1
type: C<C<dynamic, num>, num>
returnType: void
----------------------------------------
library
reference: <testLibrary>
fragments
<testLibraryFragment>
classes
class C @6
reference: <testLibraryFragment>::@class::C
typeParameters
T @8
U @27
constructors
synthetic new @-1
reference: <testLibraryFragment>::@class::C::@constructor::new
enclosingFragment: <testLibraryFragment>::@class::C
topLevelVariables
c @47
reference: <testLibraryFragment>::@topLevelVariable::c
enclosingFragment: <testLibraryFragment>
getter2: <testLibraryFragment>::@getter::c
setter2: <testLibraryFragment>::@setter::c
getters
get c @-1
reference: <testLibraryFragment>::@getter::c
enclosingFragment: <testLibraryFragment>
setters
set c= @-1
reference: <testLibraryFragment>::@setter::c
enclosingFragment: <testLibraryFragment>
parameters
_c @-1
classes
class C
reference: <testLibraryFragment>::@class::C
enclosingElement2: <testLibrary>
typeParameters
T
bound: C<T, U>
U
bound: num
firstFragment: <testLibraryFragment>::@class::C
constructors
synthetic new
reference: <none>
firstFragment: <testLibraryFragment>::@class::C::@constructor::new
topLevelVariables
c
reference: <none>
enclosingElement2: <testLibrary>
type: C<C<dynamic, num>, num>
firstFragment: <testLibraryFragment>::@topLevelVariable::c
getter: <none>
setter: <none>
getters
synthetic static get c
reference: <none>
enclosingElement: <testLibrary>
firstFragment: <testLibraryFragment>::@getter::c
setters
synthetic static set c=
reference: <none>
enclosingElement: <testLibrary>
parameters
requiredPositional _c
reference: <none>
type: C<C<dynamic, num>, num>
firstFragment: <testLibraryFragment>::@setter::c
''');
}
test_instantiateToBounds_functionTypeAlias_reexported() async {
newFile('$testPackageLibPath/a.dart', r'''
class O {}
typedef T F<T extends O>(T p);
''');
newFile('$testPackageLibPath/b.dart', r'''
export 'a.dart' show F;
''');
var library = await buildLibrary('''
import 'b.dart';
class C {
F f() => null;
}
''');
checkElementText(library, r'''
library
reference: <testLibrary>
libraryImports
package:test/b.dart
enclosingElement: <testLibrary>
enclosingElement3: <testLibraryFragment>
definingUnit: <testLibraryFragment>
units
<testLibraryFragment>
enclosingElement: <testLibrary>
libraryImports
package:test/b.dart
enclosingElement: <testLibrary>
enclosingElement3: <testLibraryFragment>
classes
class C @23
reference: <testLibraryFragment>::@class::C
enclosingElement: <testLibraryFragment>
constructors
synthetic @-1
reference: <testLibraryFragment>::@class::C::@constructor::new
enclosingElement: <testLibraryFragment>::@class::C
methods
f @31
reference: <testLibraryFragment>::@class::C::@method::f
enclosingElement: <testLibraryFragment>::@class::C
returnType: O Function(O)
alias: package:test/a.dart::<fragment>::@typeAlias::F
typeArguments
O
----------------------------------------
library
reference: <testLibrary>
fragments
<testLibraryFragment>
libraryImports
package:test/b.dart
classes
class C @23
reference: <testLibraryFragment>::@class::C
constructors
synthetic new @-1
reference: <testLibraryFragment>::@class::C::@constructor::new
enclosingFragment: <testLibraryFragment>::@class::C
methods
f @31
reference: <testLibraryFragment>::@class::C::@method::f
enclosingFragment: <testLibraryFragment>::@class::C
classes
class C
reference: <testLibraryFragment>::@class::C
enclosingElement2: <testLibrary>
firstFragment: <testLibraryFragment>::@class::C
constructors
synthetic new
reference: <none>
firstFragment: <testLibraryFragment>::@class::C::@constructor::new
methods
f
reference: <none>
firstFragment: <testLibraryFragment>::@class::C::@method::f
''');
}
test_instantiateToBounds_functionTypeAlias_simple() async {
var library = await buildLibrary('''
typedef F<T extends num>(T p);
F f;
''');
checkElementText(library, r'''
library
reference: <testLibrary>
definingUnit: <testLibraryFragment>
units
<testLibraryFragment>
enclosingElement: <testLibrary>
typeAliases
functionTypeAliasBased F @8
reference: <testLibraryFragment>::@typeAlias::F
typeParameters
contravariant T @10
bound: num
defaultType: num
aliasedType: dynamic Function(T)
aliasedElement: GenericFunctionTypeElement
parameters
requiredPositional p @27
type: T
returnType: dynamic
topLevelVariables
static f @33
reference: <testLibraryFragment>::@topLevelVariable::f
enclosingElement: <testLibraryFragment>
type: dynamic Function(num)
alias: <testLibraryFragment>::@typeAlias::F
typeArguments
num
accessors
synthetic static get f @-1
reference: <testLibraryFragment>::@getter::f
enclosingElement: <testLibraryFragment>
returnType: dynamic Function(num)
alias: <testLibraryFragment>::@typeAlias::F
typeArguments
num
synthetic static set f= @-1
reference: <testLibraryFragment>::@setter::f
enclosingElement: <testLibraryFragment>
parameters
requiredPositional _f @-1
type: dynamic Function(num)
alias: <testLibraryFragment>::@typeAlias::F
typeArguments
num
returnType: void
----------------------------------------
library
reference: <testLibrary>
fragments
<testLibraryFragment>
topLevelVariables
f @33
reference: <testLibraryFragment>::@topLevelVariable::f
enclosingFragment: <testLibraryFragment>
getter2: <testLibraryFragment>::@getter::f
setter2: <testLibraryFragment>::@setter::f
getters
get f @-1
reference: <testLibraryFragment>::@getter::f
enclosingFragment: <testLibraryFragment>
setters
set f= @-1
reference: <testLibraryFragment>::@setter::f
enclosingFragment: <testLibraryFragment>
parameters
_f @-1
topLevelVariables
f
reference: <none>
enclosingElement2: <testLibrary>
type: dynamic Function(num)
alias: <testLibraryFragment>::@typeAlias::F
typeArguments
num
firstFragment: <testLibraryFragment>::@topLevelVariable::f
getter: <none>
setter: <none>
getters
synthetic static get f
reference: <none>
enclosingElement: <testLibrary>
firstFragment: <testLibraryFragment>::@getter::f
setters
synthetic static set f=
reference: <none>
enclosingElement: <testLibrary>
parameters
requiredPositional _f
reference: <none>
type: dynamic Function(num)
alias: <testLibraryFragment>::@typeAlias::F
typeArguments
num
firstFragment: <testLibraryFragment>::@setter::f
''');
}
test_instantiateToBounds_genericFunctionAsBound() async {
var library = await buildLibrary('''
class A<T> {}
class B<T extends int Function(), U extends A<T>> {}
B b;
''');
checkElementText(library, r'''
library
reference: <testLibrary>
definingUnit: <testLibraryFragment>
units
<testLibraryFragment>
enclosingElement: <testLibrary>
classes
class A @6
reference: <testLibraryFragment>::@class::A
enclosingElement: <testLibraryFragment>
typeParameters
covariant T @8
defaultType: dynamic
constructors
synthetic @-1
reference: <testLibraryFragment>::@class::A::@constructor::new
enclosingElement: <testLibraryFragment>::@class::A
notSimplyBounded class B @20
reference: <testLibraryFragment>::@class::B
enclosingElement: <testLibraryFragment>
typeParameters
covariant T @22
bound: int Function()
defaultType: int Function()
covariant U @48
bound: A<T>
defaultType: A<int Function()>
constructors
synthetic @-1
reference: <testLibraryFragment>::@class::B::@constructor::new
enclosingElement: <testLibraryFragment>::@class::B
topLevelVariables
static b @69
reference: <testLibraryFragment>::@topLevelVariable::b
enclosingElement: <testLibraryFragment>
type: B<int Function(), A<int Function()>>
accessors
synthetic static get b @-1
reference: <testLibraryFragment>::@getter::b
enclosingElement: <testLibraryFragment>
returnType: B<int Function(), A<int Function()>>
synthetic static set b= @-1
reference: <testLibraryFragment>::@setter::b
enclosingElement: <testLibraryFragment>
parameters
requiredPositional _b @-1
type: B<int Function(), A<int Function()>>
returnType: void
----------------------------------------
library
reference: <testLibrary>
fragments
<testLibraryFragment>
classes
class A @6
reference: <testLibraryFragment>::@class::A
typeParameters
T @8
constructors
synthetic new @-1
reference: <testLibraryFragment>::@class::A::@constructor::new
enclosingFragment: <testLibraryFragment>::@class::A
class B @20
reference: <testLibraryFragment>::@class::B
typeParameters
T @22
U @48
constructors
synthetic new @-1
reference: <testLibraryFragment>::@class::B::@constructor::new
enclosingFragment: <testLibraryFragment>::@class::B
topLevelVariables
b @69
reference: <testLibraryFragment>::@topLevelVariable::b
enclosingFragment: <testLibraryFragment>
getter2: <testLibraryFragment>::@getter::b
setter2: <testLibraryFragment>::@setter::b
getters
get b @-1
reference: <testLibraryFragment>::@getter::b
enclosingFragment: <testLibraryFragment>
setters
set b= @-1
reference: <testLibraryFragment>::@setter::b
enclosingFragment: <testLibraryFragment>
parameters
_b @-1
classes
class A
reference: <testLibraryFragment>::@class::A
enclosingElement2: <testLibrary>
typeParameters
T
firstFragment: <testLibraryFragment>::@class::A
constructors
synthetic new
reference: <none>
firstFragment: <testLibraryFragment>::@class::A::@constructor::new
class B
reference: <testLibraryFragment>::@class::B
enclosingElement2: <testLibrary>
typeParameters
T
bound: int Function()
U
bound: A<T>
firstFragment: <testLibraryFragment>::@class::B
constructors
synthetic new
reference: <none>
firstFragment: <testLibraryFragment>::@class::B::@constructor::new
topLevelVariables
b
reference: <none>
enclosingElement2: <testLibrary>
type: B<int Function(), A<int Function()>>
firstFragment: <testLibraryFragment>::@topLevelVariable::b
getter: <none>
setter: <none>
getters
synthetic static get b
reference: <none>
enclosingElement: <testLibrary>
firstFragment: <testLibraryFragment>::@getter::b
setters
synthetic static set b=
reference: <none>
enclosingElement: <testLibrary>
parameters
requiredPositional _b
reference: <none>
type: B<int Function(), A<int Function()>>
firstFragment: <testLibraryFragment>::@setter::b
''');
}
test_instantiateToBounds_genericTypeAlias_simple() async {
var library = await buildLibrary('''
typedef F<T extends num> = S Function<S>(T p);
F f;
''');
checkElementText(library, r'''
library
reference: <testLibrary>
definingUnit: <testLibraryFragment>
units
<testLibraryFragment>
enclosingElement: <testLibrary>
typeAliases
F @8
reference: <testLibraryFragment>::@typeAlias::F
typeParameters
contravariant T @10
bound: num
defaultType: num
aliasedType: S Function<S>(T)
aliasedElement: GenericFunctionTypeElement
typeParameters
covariant S @38
parameters
requiredPositional p @43
type: T
returnType: S
topLevelVariables
static f @49
reference: <testLibraryFragment>::@topLevelVariable::f
enclosingElement: <testLibraryFragment>
type: S Function<S>(num)
alias: <testLibraryFragment>::@typeAlias::F
typeArguments
num
accessors
synthetic static get f @-1
reference: <testLibraryFragment>::@getter::f
enclosingElement: <testLibraryFragment>
returnType: S Function<S>(num)
alias: <testLibraryFragment>::@typeAlias::F
typeArguments
num
synthetic static set f= @-1
reference: <testLibraryFragment>::@setter::f
enclosingElement: <testLibraryFragment>
parameters
requiredPositional _f @-1
type: S Function<S>(num)
alias: <testLibraryFragment>::@typeAlias::F
typeArguments
num
returnType: void
----------------------------------------
library
reference: <testLibrary>
fragments
<testLibraryFragment>
topLevelVariables
f @49
reference: <testLibraryFragment>::@topLevelVariable::f
enclosingFragment: <testLibraryFragment>
getter2: <testLibraryFragment>::@getter::f
setter2: <testLibraryFragment>::@setter::f
getters
get f @-1
reference: <testLibraryFragment>::@getter::f
enclosingFragment: <testLibraryFragment>
setters
set f= @-1
reference: <testLibraryFragment>::@setter::f
enclosingFragment: <testLibraryFragment>
parameters
_f @-1
topLevelVariables
f
reference: <none>
enclosingElement2: <testLibrary>
type: S Function<S>(num)
alias: <testLibraryFragment>::@typeAlias::F
typeArguments
num
firstFragment: <testLibraryFragment>::@topLevelVariable::f
getter: <none>
setter: <none>
getters
synthetic static get f
reference: <none>
enclosingElement: <testLibrary>
firstFragment: <testLibraryFragment>::@getter::f
setters
synthetic static set f=
reference: <none>
enclosingElement: <testLibrary>
parameters
requiredPositional _f
reference: <none>
type: S Function<S>(num)
alias: <testLibraryFragment>::@typeAlias::F
typeArguments
num
firstFragment: <testLibraryFragment>::@setter::f
''');
}
test_instantiateToBounds_issue38498() async {
var library = await buildLibrary('''
class A<R extends B> {
final values = <B>[];
}
class B<T extends num> {}
''');
checkElementText(library, r'''
library
reference: <testLibrary>
definingUnit: <testLibraryFragment>
units
<testLibraryFragment>
enclosingElement: <testLibrary>
classes
class A @6
reference: <testLibraryFragment>::@class::A
enclosingElement: <testLibraryFragment>
typeParameters
covariant R @8
bound: B<num>
defaultType: B<num>
fields
final values @31
reference: <testLibraryFragment>::@class::A::@field::values
enclosingElement: <testLibraryFragment>::@class::A
type: List<B<num>>
shouldUseTypeForInitializerInference: false
constructors
synthetic @-1
reference: <testLibraryFragment>::@class::A::@constructor::new
enclosingElement: <testLibraryFragment>::@class::A
accessors
synthetic get values @-1
reference: <testLibraryFragment>::@class::A::@getter::values
enclosingElement: <testLibraryFragment>::@class::A
returnType: List<B<num>>
class B @55
reference: <testLibraryFragment>::@class::B
enclosingElement: <testLibraryFragment>
typeParameters
covariant T @57
bound: num
defaultType: num
constructors
synthetic @-1
reference: <testLibraryFragment>::@class::B::@constructor::new
enclosingElement: <testLibraryFragment>::@class::B
----------------------------------------
library
reference: <testLibrary>
fragments
<testLibraryFragment>
classes
class A @6
reference: <testLibraryFragment>::@class::A
typeParameters
R @8
fields
values @31
reference: <testLibraryFragment>::@class::A::@field::values
enclosingFragment: <testLibraryFragment>::@class::A
getter2: <testLibraryFragment>::@class::A::@getter::values
constructors
synthetic new @-1
reference: <testLibraryFragment>::@class::A::@constructor::new
enclosingFragment: <testLibraryFragment>::@class::A
getters
get values @-1
reference: <testLibraryFragment>::@class::A::@getter::values
enclosingFragment: <testLibraryFragment>::@class::A
class B @55
reference: <testLibraryFragment>::@class::B
typeParameters
T @57
constructors
synthetic new @-1
reference: <testLibraryFragment>::@class::B::@constructor::new
enclosingFragment: <testLibraryFragment>::@class::B
classes
class A
reference: <testLibraryFragment>::@class::A
enclosingElement2: <testLibrary>
typeParameters
R
bound: B<num>
firstFragment: <testLibraryFragment>::@class::A
fields
final values
reference: <none>
enclosingElement: <testLibraryFragment>::@class::A
type: List<B<num>>
firstFragment: <testLibraryFragment>::@class::A::@field::values
getter: <none>
constructors
synthetic new
reference: <none>
firstFragment: <testLibraryFragment>::@class::A::@constructor::new
getters
synthetic get values
reference: <none>
enclosingElement: <testLibraryFragment>::@class::A
firstFragment: <testLibraryFragment>::@class::A::@getter::values
class B
reference: <testLibraryFragment>::@class::B
enclosingElement2: <testLibrary>
typeParameters
T
bound: num
firstFragment: <testLibraryFragment>::@class::B
constructors
synthetic new
reference: <none>
firstFragment: <testLibraryFragment>::@class::B::@constructor::new
''');
}
test_instantiateToBounds_simple() async {
var library = await buildLibrary('''
class C<T extends num> {}
C c;
''');
checkElementText(library, r'''
library
reference: <testLibrary>
definingUnit: <testLibraryFragment>
units
<testLibraryFragment>
enclosingElement: <testLibrary>
classes
class C @6
reference: <testLibraryFragment>::@class::C
enclosingElement: <testLibraryFragment>
typeParameters
covariant T @8
bound: num
defaultType: num
constructors
synthetic @-1
reference: <testLibraryFragment>::@class::C::@constructor::new
enclosingElement: <testLibraryFragment>::@class::C
topLevelVariables
static c @28
reference: <testLibraryFragment>::@topLevelVariable::c
enclosingElement: <testLibraryFragment>
type: C<num>
accessors
synthetic static get c @-1
reference: <testLibraryFragment>::@getter::c
enclosingElement: <testLibraryFragment>
returnType: C<num>
synthetic static set c= @-1
reference: <testLibraryFragment>::@setter::c
enclosingElement: <testLibraryFragment>
parameters
requiredPositional _c @-1
type: C<num>
returnType: void
----------------------------------------
library
reference: <testLibrary>
fragments
<testLibraryFragment>
classes
class C @6
reference: <testLibraryFragment>::@class::C
typeParameters
T @8
constructors
synthetic new @-1
reference: <testLibraryFragment>::@class::C::@constructor::new
enclosingFragment: <testLibraryFragment>::@class::C
topLevelVariables
c @28
reference: <testLibraryFragment>::@topLevelVariable::c
enclosingFragment: <testLibraryFragment>
getter2: <testLibraryFragment>::@getter::c
setter2: <testLibraryFragment>::@setter::c
getters
get c @-1
reference: <testLibraryFragment>::@getter::c
enclosingFragment: <testLibraryFragment>
setters
set c= @-1
reference: <testLibraryFragment>::@setter::c
enclosingFragment: <testLibraryFragment>
parameters
_c @-1
classes
class C
reference: <testLibraryFragment>::@class::C
enclosingElement2: <testLibrary>
typeParameters
T
bound: num
firstFragment: <testLibraryFragment>::@class::C
constructors
synthetic new
reference: <none>
firstFragment: <testLibraryFragment>::@class::C::@constructor::new
topLevelVariables
c
reference: <none>
enclosingElement2: <testLibrary>
type: C<num>
firstFragment: <testLibraryFragment>::@topLevelVariable::c
getter: <none>
setter: <none>
getters
synthetic static get c
reference: <none>
enclosingElement: <testLibrary>
firstFragment: <testLibraryFragment>::@getter::c
setters
synthetic static set c=
reference: <none>
enclosingElement: <testLibrary>
parameters
requiredPositional _c
reference: <none>
type: C<num>
firstFragment: <testLibraryFragment>::@setter::c
''');
}
test_invalid_importPrefix_asTypeArgument() async {
var library = await buildLibrary('''
import 'dart:async' as ppp;
class C {
List<ppp> v;
}
''');
checkElementText(library, r'''
library
reference: <testLibrary>
libraryImports
dart:async as ppp @23
enclosingElement: <testLibrary>
enclosingElement3: <testLibraryFragment>
prefixes
ppp @23
reference: <testLibraryFragment>::@prefix::ppp
enclosingElement: <testLibrary>
enclosingElement3: <testLibraryFragment>
definingUnit: <testLibraryFragment>
units
<testLibraryFragment>
enclosingElement: <testLibrary>
libraryImports
dart:async as ppp @23
enclosingElement: <testLibrary>
enclosingElement3: <testLibraryFragment>
libraryImportPrefixes
ppp @23
reference: <testLibraryFragment>::@prefix::ppp
enclosingElement: <testLibrary>
enclosingElement3: <testLibraryFragment>
classes
class C @34
reference: <testLibraryFragment>::@class::C
enclosingElement: <testLibraryFragment>
fields
v @50
reference: <testLibraryFragment>::@class::C::@field::v
enclosingElement: <testLibraryFragment>::@class::C
type: List<dynamic>
constructors
synthetic @-1
reference: <testLibraryFragment>::@class::C::@constructor::new
enclosingElement: <testLibraryFragment>::@class::C
accessors
synthetic get v @-1
reference: <testLibraryFragment>::@class::C::@getter::v
enclosingElement: <testLibraryFragment>::@class::C
returnType: List<dynamic>
synthetic set v= @-1
reference: <testLibraryFragment>::@class::C::@setter::v
enclosingElement: <testLibraryFragment>::@class::C
parameters
requiredPositional _v @-1
type: List<dynamic>
returnType: void
----------------------------------------
library
reference: <testLibrary>
fragments
<testLibraryFragment>
libraryImports
dart:async
prefixes
ppp
reference: <testLibraryFragment>::@prefix::ppp
classes
class C @34
reference: <testLibraryFragment>::@class::C
fields
v @50
reference: <testLibraryFragment>::@class::C::@field::v
enclosingFragment: <testLibraryFragment>::@class::C
getter2: <testLibraryFragment>::@class::C::@getter::v
setter2: <testLibraryFragment>::@class::C::@setter::v
constructors
synthetic new @-1
reference: <testLibraryFragment>::@class::C::@constructor::new
enclosingFragment: <testLibraryFragment>::@class::C
getters
get v @-1
reference: <testLibraryFragment>::@class::C::@getter::v
enclosingFragment: <testLibraryFragment>::@class::C
setters
set v= @-1
reference: <testLibraryFragment>::@class::C::@setter::v
enclosingFragment: <testLibraryFragment>::@class::C
parameters
_v @-1
classes
class C
reference: <testLibraryFragment>::@class::C
enclosingElement2: <testLibrary>
firstFragment: <testLibraryFragment>::@class::C
fields
v
reference: <none>
enclosingElement: <testLibraryFragment>::@class::C
type: List<dynamic>
firstFragment: <testLibraryFragment>::@class::C::@field::v
getter: <none>
setter: <none>
constructors
synthetic new
reference: <none>
firstFragment: <testLibraryFragment>::@class::C::@constructor::new
getters
synthetic get v
reference: <none>
enclosingElement: <testLibraryFragment>::@class::C
firstFragment: <testLibraryFragment>::@class::C::@getter::v
setters
synthetic set v=
reference: <none>
enclosingElement: <testLibraryFragment>::@class::C
parameters
requiredPositional _v
reference: <none>
type: List<dynamic>
firstFragment: <testLibraryFragment>::@class::C::@setter::v
''');
}
test_invalid_nameConflict_imported() async {
newFile('$testPackageLibPath/a.dart', 'V() {}');
newFile('$testPackageLibPath/b.dart', 'V() {}');
var library = await buildLibrary('''
import 'a.dart';
import 'b.dart';
foo([p = V]) {}
''');
checkElementText(library, r'''
library
reference: <testLibrary>
libraryImports
package:test/a.dart
enclosingElement: <testLibrary>
enclosingElement3: <testLibraryFragment>
package:test/b.dart
enclosingElement: <testLibrary>
enclosingElement3: <testLibraryFragment>
definingUnit: <testLibraryFragment>
units
<testLibraryFragment>
enclosingElement: <testLibrary>
libraryImports
package:test/a.dart
enclosingElement: <testLibrary>
enclosingElement3: <testLibraryFragment>
package:test/b.dart
enclosingElement: <testLibrary>
enclosingElement3: <testLibraryFragment>
functions
foo @34
reference: <testLibraryFragment>::@function::foo
enclosingElement: <testLibraryFragment>
parameters
optionalPositional default p @39
type: dynamic
constantInitializer
SimpleIdentifier
token: V @43
staticElement: <null>
staticType: InvalidType
returnType: dynamic
----------------------------------------
library
reference: <testLibrary>
fragments
<testLibraryFragment>
libraryImports
package:test/a.dart
package:test/b.dart
''');
}
test_invalid_nameConflict_imported_exported() async {
newFile('$testPackageLibPath/a.dart', 'V() {}');
newFile('$testPackageLibPath/b.dart', 'V() {}');
newFile('$testPackageLibPath/c.dart', r'''
export 'a.dart';
export 'b.dart';
''');
var library = await buildLibrary('''
import 'c.dart';
foo([p = V]) {}
''');
checkElementText(library, r'''
library
reference: <testLibrary>
libraryImports
package:test/c.dart
enclosingElement: <testLibrary>
enclosingElement3: <testLibraryFragment>
definingUnit: <testLibraryFragment>
units
<testLibraryFragment>
enclosingElement: <testLibrary>
libraryImports
package:test/c.dart
enclosingElement: <testLibrary>
enclosingElement3: <testLibraryFragment>
functions
foo @17
reference: <testLibraryFragment>::@function::foo
enclosingElement: <testLibraryFragment>
parameters
optionalPositional default p @22
type: dynamic
constantInitializer
SimpleIdentifier
token: V @26
staticElement: package:test/a.dart::<fragment>::@function::V
staticType: dynamic Function()
returnType: dynamic
----------------------------------------
library
reference: <testLibrary>
fragments
<testLibraryFragment>
libraryImports
package:test/c.dart
''');
}
test_invalid_nameConflict_local() async {
var library = await buildLibrary('''
foo([p = V]) {}
V() {}
var V;
''');
checkElementText(library, r'''
library
reference: <testLibrary>
definingUnit: <testLibraryFragment>
units
<testLibraryFragment>
enclosingElement: <testLibrary>
topLevelVariables
static V @27
reference: <testLibraryFragment>::@topLevelVariable::V
enclosingElement: <testLibraryFragment>
type: dynamic
accessors
synthetic static get V @-1
reference: <testLibraryFragment>::@getter::V
enclosingElement: <testLibraryFragment>
returnType: dynamic
synthetic static set V= @-1
reference: <testLibraryFragment>::@setter::V
enclosingElement: <testLibraryFragment>
parameters
requiredPositional _V @-1
type: dynamic
returnType: void
functions
foo @0
reference: <testLibraryFragment>::@function::foo
enclosingElement: <testLibraryFragment>
parameters
optionalPositional default p @5
type: dynamic
constantInitializer
SimpleIdentifier
token: V @9
staticElement: <testLibraryFragment>::@getter::V
staticType: dynamic
returnType: dynamic
V @16
reference: <testLibraryFragment>::@function::V
enclosingElement: <testLibraryFragment>
returnType: dynamic
----------------------------------------
library
reference: <testLibrary>
fragments
<testLibraryFragment>
topLevelVariables
V @27
reference: <testLibraryFragment>::@topLevelVariable::V
enclosingFragment: <testLibraryFragment>
getter2: <testLibraryFragment>::@getter::V
setter2: <testLibraryFragment>::@setter::V
getters
get V @-1
reference: <testLibraryFragment>::@getter::V
enclosingFragment: <testLibraryFragment>
setters
set V= @-1
reference: <testLibraryFragment>::@setter::V
enclosingFragment: <testLibraryFragment>
parameters
_V @-1
topLevelVariables
V
reference: <none>
enclosingElement2: <testLibrary>
type: dynamic
firstFragment: <testLibraryFragment>::@topLevelVariable::V
getter: <none>
setter: <none>
getters
synthetic static get V
reference: <none>
enclosingElement: <testLibrary>
firstFragment: <testLibraryFragment>::@getter::V
setters
synthetic static set V=
reference: <none>
enclosingElement: <testLibrary>
parameters
requiredPositional _V
reference: <none>
type: dynamic
firstFragment: <testLibraryFragment>::@setter::V
''');
}
test_nameConflict_exportedAndLocal() async {
newFile('$testPackageLibPath/a.dart', 'class C {}');
newFile('$testPackageLibPath/c.dart', '''
export 'a.dart';
class C {}
''');
var library = await buildLibrary('''
import 'c.dart';
C v = null;
''');
checkElementText(library, r'''
library
reference: <testLibrary>
libraryImports
package:test/c.dart
enclosingElement: <testLibrary>
enclosingElement3: <testLibraryFragment>
definingUnit: <testLibraryFragment>
units
<testLibraryFragment>
enclosingElement: <testLibrary>
libraryImports
package:test/c.dart
enclosingElement: <testLibrary>
enclosingElement3: <testLibraryFragment>
topLevelVariables
static v @19
reference: <testLibraryFragment>::@topLevelVariable::v
enclosingElement: <testLibraryFragment>
type: C
shouldUseTypeForInitializerInference: true
accessors
synthetic static get v @-1
reference: <testLibraryFragment>::@getter::v
enclosingElement: <testLibraryFragment>
returnType: C
synthetic static set v= @-1
reference: <testLibraryFragment>::@setter::v
enclosingElement: <testLibraryFragment>
parameters
requiredPositional _v @-1
type: C
returnType: void
----------------------------------------
library
reference: <testLibrary>
fragments
<testLibraryFragment>
libraryImports
package:test/c.dart
topLevelVariables
v @19
reference: <testLibraryFragment>::@topLevelVariable::v
enclosingFragment: <testLibraryFragment>
getter2: <testLibraryFragment>::@getter::v
setter2: <testLibraryFragment>::@setter::v
getters
get v @-1
reference: <testLibraryFragment>::@getter::v
enclosingFragment: <testLibraryFragment>
setters
set v= @-1
reference: <testLibraryFragment>::@setter::v
enclosingFragment: <testLibraryFragment>
parameters
_v @-1
topLevelVariables
v
reference: <none>
enclosingElement2: <testLibrary>
type: C
firstFragment: <testLibraryFragment>::@topLevelVariable::v
getter: <none>
setter: <none>
getters
synthetic static get v
reference: <none>
enclosingElement: <testLibrary>
firstFragment: <testLibraryFragment>::@getter::v
setters
synthetic static set v=
reference: <none>
enclosingElement: <testLibrary>
parameters
requiredPositional _v
reference: <none>
type: C
firstFragment: <testLibraryFragment>::@setter::v
''');
}
test_nameConflict_exportedAndLocal_exported() async {
newFile('$testPackageLibPath/a.dart', 'class C {}');
newFile('$testPackageLibPath/c.dart', '''
export 'a.dart';
class C {}
''');
newFile('$testPackageLibPath/d.dart', 'export "c.dart";');
var library = await buildLibrary('''
import 'd.dart';
C v = null;
''');
checkElementText(library, r'''
library
reference: <testLibrary>
libraryImports
package:test/d.dart
enclosingElement: <testLibrary>
enclosingElement3: <testLibraryFragment>
definingUnit: <testLibraryFragment>
units
<testLibraryFragment>
enclosingElement: <testLibrary>
libraryImports
package:test/d.dart
enclosingElement: <testLibrary>
enclosingElement3: <testLibraryFragment>
topLevelVariables
static v @19
reference: <testLibraryFragment>::@topLevelVariable::v
enclosingElement: <testLibraryFragment>
type: C
shouldUseTypeForInitializerInference: true
accessors
synthetic static get v @-1
reference: <testLibraryFragment>::@getter::v
enclosingElement: <testLibraryFragment>
returnType: C
synthetic static set v= @-1
reference: <testLibraryFragment>::@setter::v
enclosingElement: <testLibraryFragment>
parameters
requiredPositional _v @-1
type: C
returnType: void
----------------------------------------
library
reference: <testLibrary>
fragments
<testLibraryFragment>
libraryImports
package:test/d.dart
topLevelVariables
v @19
reference: <testLibraryFragment>::@topLevelVariable::v
enclosingFragment: <testLibraryFragment>
getter2: <testLibraryFragment>::@getter::v
setter2: <testLibraryFragment>::@setter::v
getters
get v @-1
reference: <testLibraryFragment>::@getter::v
enclosingFragment: <testLibraryFragment>
setters
set v= @-1
reference: <testLibraryFragment>::@setter::v
enclosingFragment: <testLibraryFragment>
parameters
_v @-1
topLevelVariables
v
reference: <none>
enclosingElement2: <testLibrary>
type: C
firstFragment: <testLibraryFragment>::@topLevelVariable::v
getter: <none>
setter: <none>
getters
synthetic static get v
reference: <none>
enclosingElement: <testLibrary>
firstFragment: <testLibraryFragment>::@getter::v
setters
synthetic static set v=
reference: <none>
enclosingElement: <testLibrary>
parameters
requiredPositional _v
reference: <none>
type: C
firstFragment: <testLibraryFragment>::@setter::v
''');
}
test_nameConflict_exportedAndParted() async {
newFile('$testPackageLibPath/a.dart', 'class C {}');
newFile('$testPackageLibPath/b.dart', '''
part of lib;
class C {}
''');
newFile('$testPackageLibPath/c.dart', '''
library lib;
export 'a.dart';
part 'b.dart';
''');
var library = await buildLibrary('''
import 'c.dart';
C v = null;
''');
checkElementText(library, r'''
library
reference: <testLibrary>
libraryImports
package:test/c.dart
enclosingElement: <testLibrary>
enclosingElement3: <testLibraryFragment>
definingUnit: <testLibraryFragment>
units
<testLibraryFragment>
enclosingElement: <testLibrary>
libraryImports
package:test/c.dart
enclosingElement: <testLibrary>
enclosingElement3: <testLibraryFragment>
topLevelVariables
static v @19
reference: <testLibraryFragment>::@topLevelVariable::v
enclosingElement: <testLibraryFragment>
type: C
shouldUseTypeForInitializerInference: true
accessors
synthetic static get v @-1
reference: <testLibraryFragment>::@getter::v
enclosingElement: <testLibraryFragment>
returnType: C
synthetic static set v= @-1
reference: <testLibraryFragment>::@setter::v
enclosingElement: <testLibraryFragment>
parameters
requiredPositional _v @-1
type: C
returnType: void
----------------------------------------
library
reference: <testLibrary>
fragments
<testLibraryFragment>
libraryImports
package:test/c.dart
topLevelVariables
v @19
reference: <testLibraryFragment>::@topLevelVariable::v
enclosingFragment: <testLibraryFragment>
getter2: <testLibraryFragment>::@getter::v
setter2: <testLibraryFragment>::@setter::v
getters
get v @-1
reference: <testLibraryFragment>::@getter::v
enclosingFragment: <testLibraryFragment>
setters
set v= @-1
reference: <testLibraryFragment>::@setter::v
enclosingFragment: <testLibraryFragment>
parameters
_v @-1
topLevelVariables
v
reference: <none>
enclosingElement2: <testLibrary>
type: C
firstFragment: <testLibraryFragment>::@topLevelVariable::v
getter: <none>
setter: <none>
getters
synthetic static get v
reference: <none>
enclosingElement: <testLibrary>
firstFragment: <testLibraryFragment>::@getter::v
setters
synthetic static set v=
reference: <none>
enclosingElement: <testLibrary>
parameters
requiredPositional _v
reference: <none>
type: C
firstFragment: <testLibraryFragment>::@setter::v
''');
}
test_nested_generic_functions_in_generic_class_with_function_typed_params() async {
var library = await buildLibrary('''
class C<T, U> {
void g<V, W>() {
void h<X, Y>(void p(T t, U u, V v, W w, X x, Y y)) {
}
}
}
''');
checkElementText(library, r'''
library
reference: <testLibrary>
definingUnit: <testLibraryFragment>
units
<testLibraryFragment>
enclosingElement: <testLibrary>
classes
class C @6
reference: <testLibraryFragment>::@class::C
enclosingElement: <testLibraryFragment>
typeParameters
covariant T @8
defaultType: dynamic
covariant U @11
defaultType: dynamic
constructors
synthetic @-1
reference: <testLibraryFragment>::@class::C::@constructor::new
enclosingElement: <testLibraryFragment>::@class::C
methods
g @23
reference: <testLibraryFragment>::@class::C::@method::g
enclosingElement: <testLibraryFragment>::@class::C
typeParameters
covariant V @25
defaultType: dynamic
covariant W @28
defaultType: dynamic
returnType: void
----------------------------------------
library
reference: <testLibrary>
fragments
<testLibraryFragment>
classes
class C @6
reference: <testLibraryFragment>::@class::C
typeParameters
T @8
U @11
constructors
synthetic new @-1
reference: <testLibraryFragment>::@class::C::@constructor::new
enclosingFragment: <testLibraryFragment>::@class::C
methods
g @23
reference: <testLibraryFragment>::@class::C::@method::g
enclosingFragment: <testLibraryFragment>::@class::C
typeParameters
V @25
W @28
classes
class C
reference: <testLibraryFragment>::@class::C
enclosingElement2: <testLibrary>
typeParameters
T
U
firstFragment: <testLibraryFragment>::@class::C
constructors
synthetic new
reference: <none>
firstFragment: <testLibraryFragment>::@class::C::@constructor::new
methods
g
reference: <none>
typeParameters
V
W
firstFragment: <testLibraryFragment>::@class::C::@method::g
''');
}
test_nested_generic_functions_in_generic_class_with_local_variables() async {
var library = await buildLibrary('''
class C<T, U> {
void g<V, W>() {
void h<X, Y>() {
T t;
U u;
V v;
W w;
X x;
Y y;
}
}
}
''');
checkElementText(library, r'''
library
reference: <testLibrary>
definingUnit: <testLibraryFragment>
units
<testLibraryFragment>
enclosingElement: <testLibrary>
classes
class C @6
reference: <testLibraryFragment>::@class::C
enclosingElement: <testLibraryFragment>
typeParameters
covariant T @8
defaultType: dynamic
covariant U @11
defaultType: dynamic
constructors
synthetic @-1
reference: <testLibraryFragment>::@class::C::@constructor::new
enclosingElement: <testLibraryFragment>::@class::C
methods
g @23
reference: <testLibraryFragment>::@class::C::@method::g
enclosingElement: <testLibraryFragment>::@class::C
typeParameters
covariant V @25
defaultType: dynamic
covariant W @28
defaultType: dynamic
returnType: void
----------------------------------------
library
reference: <testLibrary>
fragments
<testLibraryFragment>
classes
class C @6
reference: <testLibraryFragment>::@class::C
typeParameters
T @8
U @11
constructors
synthetic new @-1
reference: <testLibraryFragment>::@class::C::@constructor::new
enclosingFragment: <testLibraryFragment>::@class::C
methods
g @23
reference: <testLibraryFragment>::@class::C::@method::g
enclosingFragment: <testLibraryFragment>::@class::C
typeParameters
V @25
W @28
classes
class C
reference: <testLibraryFragment>::@class::C
enclosingElement2: <testLibrary>
typeParameters
T
U
firstFragment: <testLibraryFragment>::@class::C
constructors
synthetic new
reference: <none>
firstFragment: <testLibraryFragment>::@class::C::@constructor::new
methods
g
reference: <none>
typeParameters
V
W
firstFragment: <testLibraryFragment>::@class::C::@method::g
''');
}
test_nested_generic_functions_with_function_typed_param() async {
var library = await buildLibrary('''
void f<T, U>() {
void g<V, W>() {
void h<X, Y>(void p(T t, U u, V v, W w, X x, Y y)) {
}
}
}
''');
checkElementText(library, r'''
library
reference: <testLibrary>
definingUnit: <testLibraryFragment>
units
<testLibraryFragment>
enclosingElement: <testLibrary>
functions
f @5
reference: <testLibraryFragment>::@function::f
enclosingElement: <testLibraryFragment>
typeParameters
covariant T @7
defaultType: dynamic
covariant U @10
defaultType: dynamic
returnType: void
----------------------------------------
library
reference: <testLibrary>
fragments
<testLibraryFragment>
''');
}
test_nested_generic_functions_with_local_variables() async {
var library = await buildLibrary('''
void f<T, U>() {
void g<V, W>() {
void h<X, Y>() {
T t;
U u;
V v;
W w;
X x;
Y y;
}
}
}
''');
checkElementText(library, r'''
library
reference: <testLibrary>
definingUnit: <testLibraryFragment>
units
<testLibraryFragment>
enclosingElement: <testLibrary>
functions
f @5
reference: <testLibraryFragment>::@function::f
enclosingElement: <testLibraryFragment>
typeParameters
covariant T @7
defaultType: dynamic
covariant U @10
defaultType: dynamic
returnType: void
----------------------------------------
library
reference: <testLibrary>
fragments
<testLibraryFragment>
''');
}
test_propagated_type_refers_to_closure() async {
var library = await buildLibrary('''
void f() {
var x = () => 0;
var y = x;
}
''');
checkElementText(library, r'''
library
reference: <testLibrary>
definingUnit: <testLibraryFragment>
units
<testLibraryFragment>
enclosingElement: <testLibrary>
functions
f @5
reference: <testLibraryFragment>::@function::f
enclosingElement: <testLibraryFragment>
returnType: void
----------------------------------------
library
reference: <testLibrary>
fragments
<testLibraryFragment>
''');
}
test_syntheticFunctionType_genericClosure() async {
var library = await buildLibrary('''
final v = f() ? <T>(T t) => 0 : <T>(T t) => 1;
bool f() => true;
''');
checkElementText(library, r'''
library
reference: <testLibrary>
definingUnit: <testLibraryFragment>
units
<testLibraryFragment>
enclosingElement: <testLibrary>
topLevelVariables
static final v @6
reference: <testLibraryFragment>::@topLevelVariable::v
enclosingElement: <testLibraryFragment>
type: int Function<T>(T)
shouldUseTypeForInitializerInference: false
accessors
synthetic static get v @-1
reference: <testLibraryFragment>::@getter::v
enclosingElement: <testLibraryFragment>
returnType: int Function<T>(T)
functions
f @52
reference: <testLibraryFragment>::@function::f
enclosingElement: <testLibraryFragment>
returnType: bool
----------------------------------------
library
reference: <testLibrary>
fragments
<testLibraryFragment>
topLevelVariables
final v @6
reference: <testLibraryFragment>::@topLevelVariable::v
enclosingFragment: <testLibraryFragment>
getter2: <testLibraryFragment>::@getter::v
getters
get v @-1
reference: <testLibraryFragment>::@getter::v
enclosingFragment: <testLibraryFragment>
topLevelVariables
final v
reference: <none>
enclosingElement2: <testLibrary>
type: int Function<T>(T)
firstFragment: <testLibraryFragment>::@topLevelVariable::v
getter: <none>
getters
synthetic static get v
reference: <none>
enclosingElement: <testLibrary>
firstFragment: <testLibraryFragment>::@getter::v
''');
}
test_syntheticFunctionType_genericClosure_inGenericFunction() async {
var library = await buildLibrary('''
void f<T, U>(bool b) {
final v = b ? <V>(T t, U u, V v) => 0 : <V>(T t, U u, V v) => 1;
}
''');
checkElementText(library, r'''
library
reference: <testLibrary>
definingUnit: <testLibraryFragment>
units
<testLibraryFragment>
enclosingElement: <testLibrary>
functions
f @5
reference: <testLibraryFragment>::@function::f
enclosingElement: <testLibraryFragment>
typeParameters
covariant T @7
defaultType: dynamic
covariant U @10
defaultType: dynamic
parameters
requiredPositional b @18
type: bool
returnType: void
----------------------------------------
library
reference: <testLibrary>
fragments
<testLibraryFragment>
''');
}
test_syntheticFunctionType_inGenericClass() async {
var library = await buildLibrary('''
class C<T, U> {
var v = f() ? (T t, U u) => 0 : (T t, U u) => 1;
}
bool f() => false;
''');
checkElementText(library, r'''
library
reference: <testLibrary>
definingUnit: <testLibraryFragment>
units
<testLibraryFragment>
enclosingElement: <testLibrary>
classes
class C @6
reference: <testLibraryFragment>::@class::C
enclosingElement: <testLibraryFragment>
typeParameters
covariant T @8
defaultType: dynamic
covariant U @11
defaultType: dynamic
fields
v @22
reference: <testLibraryFragment>::@class::C::@field::v
enclosingElement: <testLibraryFragment>::@class::C
type: int Function(T, U)
shouldUseTypeForInitializerInference: false
constructors
synthetic @-1
reference: <testLibraryFragment>::@class::C::@constructor::new
enclosingElement: <testLibraryFragment>::@class::C
accessors
synthetic get v @-1
reference: <testLibraryFragment>::@class::C::@getter::v
enclosingElement: <testLibraryFragment>::@class::C
returnType: int Function(T, U)
synthetic set v= @-1
reference: <testLibraryFragment>::@class::C::@setter::v
enclosingElement: <testLibraryFragment>::@class::C
parameters
requiredPositional _v @-1
type: int Function(T, U)
returnType: void
functions
f @74
reference: <testLibraryFragment>::@function::f
enclosingElement: <testLibraryFragment>
returnType: bool
----------------------------------------
library
reference: <testLibrary>
fragments
<testLibraryFragment>
classes
class C @6
reference: <testLibraryFragment>::@class::C
typeParameters
T @8
U @11
fields
v @22
reference: <testLibraryFragment>::@class::C::@field::v
enclosingFragment: <testLibraryFragment>::@class::C
getter2: <testLibraryFragment>::@class::C::@getter::v
setter2: <testLibraryFragment>::@class::C::@setter::v
constructors
synthetic new @-1
reference: <testLibraryFragment>::@class::C::@constructor::new
enclosingFragment: <testLibraryFragment>::@class::C
getters
get v @-1
reference: <testLibraryFragment>::@class::C::@getter::v
enclosingFragment: <testLibraryFragment>::@class::C
setters
set v= @-1
reference: <testLibraryFragment>::@class::C::@setter::v
enclosingFragment: <testLibraryFragment>::@class::C
parameters
_v @-1
classes
class C
reference: <testLibraryFragment>::@class::C
enclosingElement2: <testLibrary>
typeParameters
T
U
firstFragment: <testLibraryFragment>::@class::C
fields
v
reference: <none>
enclosingElement: <testLibraryFragment>::@class::C
type: int Function(T, U)
firstFragment: <testLibraryFragment>::@class::C::@field::v
getter: <none>
setter: <none>
constructors
synthetic new
reference: <none>
firstFragment: <testLibraryFragment>::@class::C::@constructor::new
getters
synthetic get v
reference: <none>
enclosingElement: <testLibraryFragment>::@class::C
firstFragment: <testLibraryFragment>::@class::C::@getter::v
setters
synthetic set v=
reference: <none>
enclosingElement: <testLibraryFragment>::@class::C
parameters
requiredPositional _v
reference: <none>
type: int Function(T, U)
firstFragment: <testLibraryFragment>::@class::C::@setter::v
''');
}
test_syntheticFunctionType_inGenericFunction() async {
var library = await buildLibrary('''
void f<T, U>(bool b) {
var v = b ? (T t, U u) => 0 : (T t, U u) => 1;
}
''');
checkElementText(library, r'''
library
reference: <testLibrary>
definingUnit: <testLibraryFragment>
units
<testLibraryFragment>
enclosingElement: <testLibrary>
functions
f @5
reference: <testLibraryFragment>::@function::f
enclosingElement: <testLibraryFragment>
typeParameters
covariant T @7
defaultType: dynamic
covariant U @10
defaultType: dynamic
parameters
requiredPositional b @18
type: bool
returnType: void
----------------------------------------
library
reference: <testLibrary>
fragments
<testLibraryFragment>
''');
}
test_syntheticFunctionType_noArguments() async {
var library = await buildLibrary('''
final v = f() ? () => 0 : () => 1;
bool f() => true;
''');
checkElementText(library, r'''
library
reference: <testLibrary>
definingUnit: <testLibraryFragment>
units
<testLibraryFragment>
enclosingElement: <testLibrary>
topLevelVariables
static final v @6
reference: <testLibraryFragment>::@topLevelVariable::v
enclosingElement: <testLibraryFragment>
type: int Function()
shouldUseTypeForInitializerInference: false
accessors
synthetic static get v @-1
reference: <testLibraryFragment>::@getter::v
enclosingElement: <testLibraryFragment>
returnType: int Function()
functions
f @40
reference: <testLibraryFragment>::@function::f
enclosingElement: <testLibraryFragment>
returnType: bool
----------------------------------------
library
reference: <testLibrary>
fragments
<testLibraryFragment>
topLevelVariables
final v @6
reference: <testLibraryFragment>::@topLevelVariable::v
enclosingFragment: <testLibraryFragment>
getter2: <testLibraryFragment>::@getter::v
getters
get v @-1
reference: <testLibraryFragment>::@getter::v
enclosingFragment: <testLibraryFragment>
topLevelVariables
final v
reference: <none>
enclosingElement2: <testLibrary>
type: int Function()
firstFragment: <testLibraryFragment>::@topLevelVariable::v
getter: <none>
getters
synthetic static get v
reference: <none>
enclosingElement: <testLibrary>
firstFragment: <testLibraryFragment>::@getter::v
''');
}
test_syntheticFunctionType_withArguments() async {
var library = await buildLibrary('''
final v = f() ? (int x, String y) => 0 : (int x, String y) => 1;
bool f() => true;
''');
checkElementText(library, r'''
library
reference: <testLibrary>
definingUnit: <testLibraryFragment>
units
<testLibraryFragment>
enclosingElement: <testLibrary>
topLevelVariables
static final v @6
reference: <testLibraryFragment>::@topLevelVariable::v
enclosingElement: <testLibraryFragment>
type: int Function(int, String)
shouldUseTypeForInitializerInference: false
accessors
synthetic static get v @-1
reference: <testLibraryFragment>::@getter::v
enclosingElement: <testLibraryFragment>
returnType: int Function(int, String)
functions
f @70
reference: <testLibraryFragment>::@function::f
enclosingElement: <testLibraryFragment>
returnType: bool
----------------------------------------
library
reference: <testLibrary>
fragments
<testLibraryFragment>
topLevelVariables
final v @6
reference: <testLibraryFragment>::@topLevelVariable::v
enclosingFragment: <testLibraryFragment>
getter2: <testLibraryFragment>::@getter::v
getters
get v @-1
reference: <testLibraryFragment>::@getter::v
enclosingFragment: <testLibraryFragment>
topLevelVariables
final v
reference: <none>
enclosingElement2: <testLibrary>
type: int Function(int, String)
firstFragment: <testLibraryFragment>::@topLevelVariable::v
getter: <none>
getters
synthetic static get v
reference: <none>
enclosingElement: <testLibrary>
firstFragment: <testLibraryFragment>::@getter::v
''');
}
test_type_arguments_explicit_dynamic_dynamic() async {
var library = await buildLibrary('Map<dynamic, dynamic> m;');
checkElementText(library, r'''
library
reference: <testLibrary>
definingUnit: <testLibraryFragment>
units
<testLibraryFragment>
enclosingElement: <testLibrary>
topLevelVariables
static m @22
reference: <testLibraryFragment>::@topLevelVariable::m
enclosingElement: <testLibraryFragment>
type: Map<dynamic, dynamic>
accessors
synthetic static get m @-1
reference: <testLibraryFragment>::@getter::m
enclosingElement: <testLibraryFragment>
returnType: Map<dynamic, dynamic>
synthetic static set m= @-1
reference: <testLibraryFragment>::@setter::m
enclosingElement: <testLibraryFragment>
parameters
requiredPositional _m @-1
type: Map<dynamic, dynamic>
returnType: void
----------------------------------------
library
reference: <testLibrary>
fragments
<testLibraryFragment>
topLevelVariables
m @22
reference: <testLibraryFragment>::@topLevelVariable::m
enclosingFragment: <testLibraryFragment>
getter2: <testLibraryFragment>::@getter::m
setter2: <testLibraryFragment>::@setter::m
getters
get m @-1
reference: <testLibraryFragment>::@getter::m
enclosingFragment: <testLibraryFragment>
setters
set m= @-1
reference: <testLibraryFragment>::@setter::m
enclosingFragment: <testLibraryFragment>
parameters
_m @-1
topLevelVariables
m
reference: <none>
enclosingElement2: <testLibrary>
type: Map<dynamic, dynamic>
firstFragment: <testLibraryFragment>::@topLevelVariable::m
getter: <none>
setter: <none>
getters
synthetic static get m
reference: <none>
enclosingElement: <testLibrary>
firstFragment: <testLibraryFragment>::@getter::m
setters
synthetic static set m=
reference: <none>
enclosingElement: <testLibrary>
parameters
requiredPositional _m
reference: <none>
type: Map<dynamic, dynamic>
firstFragment: <testLibraryFragment>::@setter::m
''');
}
test_type_arguments_explicit_dynamic_int() async {
var library = await buildLibrary('Map<dynamic, int> m;');
checkElementText(library, r'''
library
reference: <testLibrary>
definingUnit: <testLibraryFragment>
units
<testLibraryFragment>
enclosingElement: <testLibrary>
topLevelVariables
static m @18
reference: <testLibraryFragment>::@topLevelVariable::m
enclosingElement: <testLibraryFragment>
type: Map<dynamic, int>
accessors
synthetic static get m @-1
reference: <testLibraryFragment>::@getter::m
enclosingElement: <testLibraryFragment>
returnType: Map<dynamic, int>
synthetic static set m= @-1
reference: <testLibraryFragment>::@setter::m
enclosingElement: <testLibraryFragment>
parameters
requiredPositional _m @-1
type: Map<dynamic, int>
returnType: void
----------------------------------------
library
reference: <testLibrary>
fragments
<testLibraryFragment>
topLevelVariables
m @18
reference: <testLibraryFragment>::@topLevelVariable::m
enclosingFragment: <testLibraryFragment>
getter2: <testLibraryFragment>::@getter::m
setter2: <testLibraryFragment>::@setter::m
getters
get m @-1
reference: <testLibraryFragment>::@getter::m
enclosingFragment: <testLibraryFragment>
setters
set m= @-1
reference: <testLibraryFragment>::@setter::m
enclosingFragment: <testLibraryFragment>
parameters
_m @-1
topLevelVariables
m
reference: <none>
enclosingElement2: <testLibrary>
type: Map<dynamic, int>
firstFragment: <testLibraryFragment>::@topLevelVariable::m
getter: <none>
setter: <none>
getters
synthetic static get m
reference: <none>
enclosingElement: <testLibrary>
firstFragment: <testLibraryFragment>::@getter::m
setters
synthetic static set m=
reference: <none>
enclosingElement: <testLibrary>
parameters
requiredPositional _m
reference: <none>
type: Map<dynamic, int>
firstFragment: <testLibraryFragment>::@setter::m
''');
}
test_type_arguments_explicit_String_dynamic() async {
var library = await buildLibrary('Map<String, dynamic> m;');
checkElementText(library, r'''
library
reference: <testLibrary>
definingUnit: <testLibraryFragment>
units
<testLibraryFragment>
enclosingElement: <testLibrary>
topLevelVariables
static m @21
reference: <testLibraryFragment>::@topLevelVariable::m
enclosingElement: <testLibraryFragment>
type: Map<String, dynamic>
accessors
synthetic static get m @-1
reference: <testLibraryFragment>::@getter::m
enclosingElement: <testLibraryFragment>
returnType: Map<String, dynamic>
synthetic static set m= @-1
reference: <testLibraryFragment>::@setter::m
enclosingElement: <testLibraryFragment>
parameters
requiredPositional _m @-1
type: Map<String, dynamic>
returnType: void
----------------------------------------
library
reference: <testLibrary>
fragments
<testLibraryFragment>
topLevelVariables
m @21
reference: <testLibraryFragment>::@topLevelVariable::m
enclosingFragment: <testLibraryFragment>
getter2: <testLibraryFragment>::@getter::m
setter2: <testLibraryFragment>::@setter::m
getters
get m @-1
reference: <testLibraryFragment>::@getter::m
enclosingFragment: <testLibraryFragment>
setters
set m= @-1
reference: <testLibraryFragment>::@setter::m
enclosingFragment: <testLibraryFragment>
parameters
_m @-1
topLevelVariables
m
reference: <none>
enclosingElement2: <testLibrary>
type: Map<String, dynamic>
firstFragment: <testLibraryFragment>::@topLevelVariable::m
getter: <none>
setter: <none>
getters
synthetic static get m
reference: <none>
enclosingElement: <testLibrary>
firstFragment: <testLibraryFragment>::@getter::m
setters
synthetic static set m=
reference: <none>
enclosingElement: <testLibrary>
parameters
requiredPositional _m
reference: <none>
type: Map<String, dynamic>
firstFragment: <testLibraryFragment>::@setter::m
''');
}
test_type_arguments_explicit_String_int() async {
var library = await buildLibrary('Map<String, int> m;');
checkElementText(library, r'''
library
reference: <testLibrary>
definingUnit: <testLibraryFragment>
units
<testLibraryFragment>
enclosingElement: <testLibrary>
topLevelVariables
static m @17
reference: <testLibraryFragment>::@topLevelVariable::m
enclosingElement: <testLibraryFragment>
type: Map<String, int>
accessors
synthetic static get m @-1
reference: <testLibraryFragment>::@getter::m
enclosingElement: <testLibraryFragment>
returnType: Map<String, int>
synthetic static set m= @-1
reference: <testLibraryFragment>::@setter::m
enclosingElement: <testLibraryFragment>
parameters
requiredPositional _m @-1
type: Map<String, int>
returnType: void
----------------------------------------
library
reference: <testLibrary>
fragments
<testLibraryFragment>
topLevelVariables
m @17
reference: <testLibraryFragment>::@topLevelVariable::m
enclosingFragment: <testLibraryFragment>
getter2: <testLibraryFragment>::@getter::m
setter2: <testLibraryFragment>::@setter::m
getters
get m @-1
reference: <testLibraryFragment>::@getter::m
enclosingFragment: <testLibraryFragment>
setters
set m= @-1
reference: <testLibraryFragment>::@setter::m
enclosingFragment: <testLibraryFragment>
parameters
_m @-1
topLevelVariables
m
reference: <none>
enclosingElement2: <testLibrary>
type: Map<String, int>
firstFragment: <testLibraryFragment>::@topLevelVariable::m
getter: <none>
setter: <none>
getters
synthetic static get m
reference: <none>
enclosingElement: <testLibrary>
firstFragment: <testLibraryFragment>::@getter::m
setters
synthetic static set m=
reference: <none>
enclosingElement: <testLibrary>
parameters
requiredPositional _m
reference: <none>
type: Map<String, int>
firstFragment: <testLibraryFragment>::@setter::m
''');
}
test_type_arguments_implicit() async {
var library = await buildLibrary('Map m;');
checkElementText(library, r'''
library
reference: <testLibrary>
definingUnit: <testLibraryFragment>
units
<testLibraryFragment>
enclosingElement: <testLibrary>
topLevelVariables
static m @4
reference: <testLibraryFragment>::@topLevelVariable::m
enclosingElement: <testLibraryFragment>
type: Map<dynamic, dynamic>
accessors
synthetic static get m @-1
reference: <testLibraryFragment>::@getter::m
enclosingElement: <testLibraryFragment>
returnType: Map<dynamic, dynamic>
synthetic static set m= @-1
reference: <testLibraryFragment>::@setter::m
enclosingElement: <testLibraryFragment>
parameters
requiredPositional _m @-1
type: Map<dynamic, dynamic>
returnType: void
----------------------------------------
library
reference: <testLibrary>
fragments
<testLibraryFragment>
topLevelVariables
m @4
reference: <testLibraryFragment>::@topLevelVariable::m
enclosingFragment: <testLibraryFragment>
getter2: <testLibraryFragment>::@getter::m
setter2: <testLibraryFragment>::@setter::m
getters
get m @-1
reference: <testLibraryFragment>::@getter::m
enclosingFragment: <testLibraryFragment>
setters
set m= @-1
reference: <testLibraryFragment>::@setter::m
enclosingFragment: <testLibraryFragment>
parameters
_m @-1
topLevelVariables
m
reference: <none>
enclosingElement2: <testLibrary>
type: Map<dynamic, dynamic>
firstFragment: <testLibraryFragment>::@topLevelVariable::m
getter: <none>
setter: <none>
getters
synthetic static get m
reference: <none>
enclosingElement: <testLibrary>
firstFragment: <testLibraryFragment>::@getter::m
setters
synthetic static set m=
reference: <none>
enclosingElement: <testLibrary>
parameters
requiredPositional _m
reference: <none>
type: Map<dynamic, dynamic>
firstFragment: <testLibraryFragment>::@setter::m
''');
}
test_type_dynamic() async {
var library = await buildLibrary('dynamic d;');
checkElementText(library, r'''
library
reference: <testLibrary>
definingUnit: <testLibraryFragment>
units
<testLibraryFragment>
enclosingElement: <testLibrary>
topLevelVariables
static d @8
reference: <testLibraryFragment>::@topLevelVariable::d
enclosingElement: <testLibraryFragment>
type: dynamic
accessors
synthetic static get d @-1
reference: <testLibraryFragment>::@getter::d
enclosingElement: <testLibraryFragment>
returnType: dynamic
synthetic static set d= @-1
reference: <testLibraryFragment>::@setter::d
enclosingElement: <testLibraryFragment>
parameters
requiredPositional _d @-1
type: dynamic
returnType: void
----------------------------------------
library
reference: <testLibrary>
fragments
<testLibraryFragment>
topLevelVariables
d @8
reference: <testLibraryFragment>::@topLevelVariable::d
enclosingFragment: <testLibraryFragment>
getter2: <testLibraryFragment>::@getter::d
setter2: <testLibraryFragment>::@setter::d
getters
get d @-1
reference: <testLibraryFragment>::@getter::d
enclosingFragment: <testLibraryFragment>
setters
set d= @-1
reference: <testLibraryFragment>::@setter::d
enclosingFragment: <testLibraryFragment>
parameters
_d @-1
topLevelVariables
d
reference: <none>
enclosingElement2: <testLibrary>
type: dynamic
firstFragment: <testLibraryFragment>::@topLevelVariable::d
getter: <none>
setter: <none>
getters
synthetic static get d
reference: <none>
enclosingElement: <testLibrary>
firstFragment: <testLibraryFragment>::@getter::d
setters
synthetic static set d=
reference: <none>
enclosingElement: <testLibrary>
parameters
requiredPositional _d
reference: <none>
type: dynamic
firstFragment: <testLibraryFragment>::@setter::d
''');
}
test_type_unresolved() async {
var library = await buildLibrary('C c;');
checkElementText(library, r'''
library
reference: <testLibrary>
definingUnit: <testLibraryFragment>
units
<testLibraryFragment>
enclosingElement: <testLibrary>
topLevelVariables
static c @2
reference: <testLibraryFragment>::@topLevelVariable::c
enclosingElement: <testLibraryFragment>
type: InvalidType
accessors
synthetic static get c @-1
reference: <testLibraryFragment>::@getter::c
enclosingElement: <testLibraryFragment>
returnType: InvalidType
synthetic static set c= @-1
reference: <testLibraryFragment>::@setter::c
enclosingElement: <testLibraryFragment>
parameters
requiredPositional _c @-1
type: InvalidType
returnType: void
----------------------------------------
library
reference: <testLibrary>
fragments
<testLibraryFragment>
topLevelVariables
c @2
reference: <testLibraryFragment>::@topLevelVariable::c
enclosingFragment: <testLibraryFragment>
getter2: <testLibraryFragment>::@getter::c
setter2: <testLibraryFragment>::@setter::c
getters
get c @-1
reference: <testLibraryFragment>::@getter::c
enclosingFragment: <testLibraryFragment>
setters
set c= @-1
reference: <testLibraryFragment>::@setter::c
enclosingFragment: <testLibraryFragment>
parameters
_c @-1
topLevelVariables
c
reference: <none>
enclosingElement2: <testLibrary>
type: InvalidType
firstFragment: <testLibraryFragment>::@topLevelVariable::c
getter: <none>
setter: <none>
getters
synthetic static get c
reference: <none>
enclosingElement: <testLibrary>
firstFragment: <testLibraryFragment>::@getter::c
setters
synthetic static set c=
reference: <none>
enclosingElement: <testLibrary>
parameters
requiredPositional _c
reference: <none>
type: InvalidType
firstFragment: <testLibraryFragment>::@setter::c
''');
}
test_type_unresolved_prefixed() async {
var library = await buildLibrary('import "dart:core" as core; core.C c;');
checkElementText(library, r'''
library
reference: <testLibrary>
libraryImports
dart:core as core @22
enclosingElement: <testLibrary>
enclosingElement3: <testLibraryFragment>
prefixes
core @22
reference: <testLibraryFragment>::@prefix::core
enclosingElement: <testLibrary>
enclosingElement3: <testLibraryFragment>
definingUnit: <testLibraryFragment>
units
<testLibraryFragment>
enclosingElement: <testLibrary>
libraryImports
dart:core as core @22
enclosingElement: <testLibrary>
enclosingElement3: <testLibraryFragment>
libraryImportPrefixes
core @22
reference: <testLibraryFragment>::@prefix::core
enclosingElement: <testLibrary>
enclosingElement3: <testLibraryFragment>
topLevelVariables
static c @35
reference: <testLibraryFragment>::@topLevelVariable::c
enclosingElement: <testLibraryFragment>
type: InvalidType
accessors
synthetic static get c @-1
reference: <testLibraryFragment>::@getter::c
enclosingElement: <testLibraryFragment>
returnType: InvalidType
synthetic static set c= @-1
reference: <testLibraryFragment>::@setter::c
enclosingElement: <testLibraryFragment>
parameters
requiredPositional _c @-1
type: InvalidType
returnType: void
----------------------------------------
library
reference: <testLibrary>
fragments
<testLibraryFragment>
libraryImports
dart:core
prefixes
core
reference: <testLibraryFragment>::@prefix::core
topLevelVariables
c @35
reference: <testLibraryFragment>::@topLevelVariable::c
enclosingFragment: <testLibraryFragment>
getter2: <testLibraryFragment>::@getter::c
setter2: <testLibraryFragment>::@setter::c
getters
get c @-1
reference: <testLibraryFragment>::@getter::c
enclosingFragment: <testLibraryFragment>
setters
set c= @-1
reference: <testLibraryFragment>::@setter::c
enclosingFragment: <testLibraryFragment>
parameters
_c @-1
topLevelVariables
c
reference: <none>
enclosingElement2: <testLibrary>
type: InvalidType
firstFragment: <testLibraryFragment>::@topLevelVariable::c
getter: <none>
setter: <none>
getters
synthetic static get c
reference: <none>
enclosingElement: <testLibrary>
firstFragment: <testLibraryFragment>::@getter::c
setters
synthetic static set c=
reference: <none>
enclosingElement: <testLibrary>
parameters
requiredPositional _c
reference: <none>
type: InvalidType
firstFragment: <testLibraryFragment>::@setter::c
''');
}
// TODO(scheglov): This is duplicate.
void _assertTypeStr(DartType type, String expected) {
var typeStr = type.getDisplayString();
expect(typeStr, expected);
}
}
@reflectiveTest
class TypesElementTest_fromBytes extends TypesElementTest {
@override
bool get keepLinkingLibraries => false;
}
@reflectiveTest
class TypesElementTest_keepLinking extends TypesElementTest {
@override
bool get keepLinkingLibraries => true;
}