blob: 4f301afb071e6515824816ff14849f8160fa42dd [file] [log] [blame]
// Copyright (c) 2014, the Dart project authors. Please see the AUTHORS file
// for details. All rights reserved. Use of this source code is governed by a
// BSD-style license that can be found in the LICENSE file.
// Unit test of the [NativeBehavior.processSpecString] method.
import 'package:expect/expect.dart';
import 'package:compiler/src/native/native.dart';
import 'package:compiler/src/diagnostics/diagnostic_listener.dart';
import 'package:compiler/src/diagnostics/messages.dart';
import 'package:compiler/src/universe/side_effects.dart' show SideEffects;
const OBJECT = 'Object';
const NULL = 'Null';
class Listener extends DiagnosticReporter {
String errorMessage;
internalError(spannable, message) {
errorMessage = message;
throw "error";
}
reportError(message, [infos = const <DiagnosticMessage>[]]) {
errorMessage =
'${message.message.arguments}'; // E.g. "{text: Duplicate tag 'new'.}"
throw "error";
}
@override
DiagnosticMessage createMessage(spannable, messageKind,
[arguments = const {}]) {
return new DiagnosticMessage(null, spannable,
MessageTemplate.TEMPLATES[messageKind].message(arguments));
}
noSuchMethod(_) => null;
}
void test(String specString,
{List returns,
List creates,
SideEffects expectedSideEffects,
NativeThrowBehavior expectedThrows,
bool expectedNew,
bool expectedGvn,
bool expectError: false}) {
List actualReturns = [];
List actualCreates = [];
SideEffects actualSideEffects;
NativeThrowBehavior actualThrows;
bool actualNew;
bool actualGvn;
Listener listener = new Listener();
try {
NativeBehavior.processSpecString(listener, null, specString,
setSideEffects: (effects) => actualSideEffects = effects,
setThrows: (b) => actualThrows = b,
setIsAllocation: (b) => actualNew = b,
setUseGvn: (b) => actualGvn = b,
lookupType: (t, {required}) => t,
typesReturned: actualReturns,
typesInstantiated: actualCreates,
objectType: OBJECT,
nullType: NULL);
} catch (e) {
Expect.isTrue(expectError, 'Unexpected error "$specString"');
Expect.isNotNull(listener.errorMessage, 'Error message expected.');
return;
}
Expect.isFalse(expectError, 'Missing error for "$specString".');
Expect.isNull(listener.errorMessage, 'Unexpected error.');
if (returns != null) {
Expect.listEquals(returns, actualReturns, 'Unexpected returns.');
}
if (creates != null) {
Expect.listEquals(creates, actualCreates, 'Unexpected creates.');
}
Expect.equals(expectedSideEffects, actualSideEffects);
Expect.equals(expectedThrows, actualThrows);
Expect.equals(expectedNew, actualNew);
Expect.equals(expectedGvn, actualGvn);
}
void testWithSideEffects(String specString,
{List returns, List creates, bool expectError: false}) {
void sideEffectsTest(String newSpecString, SideEffects expectedSideEffects,
{bool sideEffectsExpectError}) {
test(newSpecString,
returns: returns,
creates: creates,
expectedSideEffects: expectedSideEffects,
expectError: sideEffectsExpectError == null
? expectError
: sideEffectsExpectError);
}
SideEffects emptySideEffects = new SideEffects.empty();
sideEffectsTest(specString + "effects:none;depends:none;", emptySideEffects);
sideEffectsTest(specString + "depends:none;effects:none;", emptySideEffects);
sideEffectsTest("effects:none;depends:none;" + specString, emptySideEffects);
sideEffectsTest("depends:none;effects:none;" + specString, emptySideEffects);
SideEffects effects = new SideEffects();
effects.clearChangesIndex();
effects.clearAllDependencies();
sideEffectsTest(specString + "effects:no-index;depends:none;", effects);
effects = new SideEffects();
effects.clearAllSideEffects();
effects.clearDependsOnIndexStore();
sideEffectsTest(specString + "effects:none;depends:no-index;", effects);
effects = new SideEffects();
effects.clearChangesInstanceProperty();
effects.clearChangesStaticProperty();
effects.clearAllDependencies();
sideEffectsTest(
specString + "effects:no-instance,no-static;depends:none;", effects);
effects = new SideEffects();
effects.clearAllSideEffects();
effects.clearDependsOnInstancePropertyStore();
effects.clearDependsOnStaticPropertyStore();
sideEffectsTest(
specString + "effects:none;depends:no-instance,no-static;", effects);
effects = new SideEffects();
effects.clearChangesInstanceProperty();
effects.clearChangesStaticProperty();
effects.clearDependsOnIndexStore();
sideEffectsTest(
specString + "effects:no-instance,no-static;depends:no-index;", effects);
effects = new SideEffects();
effects.clearChangesIndex();
effects.clearDependsOnInstancePropertyStore();
effects.clearDependsOnStaticPropertyStore();
sideEffectsTest(
specString + "effects:no-index;depends:no-instance,no-static;", effects);
effects = new SideEffects();
effects.clearChangesIndex();
sideEffectsTest(specString + "effects:no-index;depends:all;", effects);
effects = new SideEffects();
effects.clearDependsOnIndexStore();
sideEffectsTest(specString + "effects:all;depends:no-index;", effects);
effects = new SideEffects();
effects.clearChangesInstanceProperty();
effects.clearChangesStaticProperty();
sideEffectsTest(
specString + "effects:no-instance,no-static;depends:all;", effects);
effects = new SideEffects();
effects.clearDependsOnInstancePropertyStore();
effects.clearDependsOnStaticPropertyStore();
sideEffectsTest(
specString + "effects:all;depends:no-instance,no-static;", effects);
sideEffectsTest(specString + "effects:no-instance,no-static;", effects,
sideEffectsExpectError: true);
sideEffectsTest(specString + "depends:no-instance,no-static;", effects,
sideEffectsExpectError: true);
sideEffectsTest(specString + "effects:none;", effects,
sideEffectsExpectError: true);
sideEffectsTest(specString + "depends:all;", effects,
sideEffectsExpectError: true);
sideEffectsTest(
specString + "effects:no-instance,no-static;depends:foo;", effects,
sideEffectsExpectError: true);
sideEffectsTest(
specString + "effects:foo;depends:no-instance,no-static;", effects,
sideEffectsExpectError: true);
sideEffectsTest(specString + "effects:all;depends:foo", effects,
sideEffectsExpectError: true);
sideEffectsTest(specString + "effects:foo;depends:none;", effects,
sideEffectsExpectError: true);
sideEffectsTest(specString + "effects:;depends:none;", effects,
sideEffectsExpectError: true);
sideEffectsTest(specString + "effects:all;depends:;", effects,
sideEffectsExpectError: true);
}
void main() {
test('void', returns: [], creates: []);
test('', returns: [OBJECT, NULL], creates: []);
test('var', returns: [OBJECT, NULL], creates: []);
test('A', returns: ['A'], creates: ['A']);
test('A|B', returns: ['A', 'B'], creates: ['A', 'B']);
test('A|B|C', returns: ['A', 'B', 'C'], creates: ['A', 'B', 'C']);
test('returns:void;', returns: [], creates: []);
test('returns:;', returns: [OBJECT, NULL], creates: []);
test('returns:var;', returns: [OBJECT, NULL], creates: []);
test('returns:A;', returns: ['A'], creates: ['A']);
test('returns:A|B;', returns: ['A', 'B'], creates: ['A', 'B']);
test('returns:A|B|C;', returns: ['A', 'B', 'C'], creates: ['A', 'B', 'C']);
test('creates:void;', expectError: true);
test('creates:;', creates: []);
test('creates:var;', creates: []);
test('creates:A;', returns: [], creates: ['A']);
test('creates:A|B;', returns: [], creates: ['A', 'B']);
test('creates:A|B|C;', returns: [], creates: ['A', 'B', 'C']);
test('returns:void;creates:', returns: [], creates: []);
test('returns:;creates:', returns: [OBJECT, NULL], creates: []);
test('returns:var;creates:', returns: [OBJECT, NULL], creates: []);
test('returns:A;creates:', returns: ['A'], creates: []);
test('returns:A|B;creates:;', returns: ['A', 'B'], creates: []);
test('returns:A|B|C;creates:;', returns: ['A', 'B', 'C'], creates: []);
test('returns:void;creates:A;', returns: [], creates: ['A']);
test('returns:;creates:A|B;', returns: [OBJECT, NULL], creates: ['A', 'B']);
test('returns:var;creates:A|B|C;',
returns: [OBJECT, NULL], creates: ['A', 'B', 'C']);
test('returns:A; creates:A|B|C; ', returns: ['A'], creates: ['A', 'B', 'C']);
test(' returns:A|B; creates:A|C;', returns: ['A', 'B'], creates: ['A', 'C']);
test(' returns:A|B|C; creates:A; ',
returns: ['A', 'B', 'C'], creates: ['A']);
testWithSideEffects('returns:void;', returns: [], creates: []);
testWithSideEffects('returns:void;', returns: [], creates: []);
testWithSideEffects('returns:;', returns: [OBJECT, NULL], creates: []);
testWithSideEffects('returns:var;', returns: [OBJECT, NULL], creates: []);
testWithSideEffects('returns:A;', returns: ['A'], creates: ['A']);
testWithSideEffects('returns:A|B;', returns: ['A', 'B'], creates: ['A', 'B']);
testWithSideEffects('returns:A|B|C;',
returns: ['A', 'B', 'C'], creates: ['A', 'B', 'C']);
testWithSideEffects('returns: A| B |C ;',
returns: ['A', 'B', 'C'], creates: ['A', 'B', 'C']);
testWithSideEffects('creates:void;', expectError: true);
testWithSideEffects('creates:;', creates: []);
testWithSideEffects('creates:var;', creates: []);
testWithSideEffects('creates:A;', returns: [], creates: ['A']);
testWithSideEffects('creates:A|B;', returns: [], creates: ['A', 'B']);
testWithSideEffects('creates:A|B|C;', returns: [], creates: ['A', 'B', 'C']);
testWithSideEffects('returns:void;creates:;', returns: [], creates: []);
testWithSideEffects('returns:;creates:;',
returns: [OBJECT, NULL], creates: []);
testWithSideEffects('returns:var;creates:;',
returns: [OBJECT, NULL], creates: []);
testWithSideEffects('returns:A;creates:;', returns: ['A'], creates: []);
testWithSideEffects('returns:A|B;creates:;',
returns: ['A', 'B'], creates: []);
testWithSideEffects('returns:A|B|C;creates:;',
returns: ['A', 'B', 'C'], creates: []);
testWithSideEffects('returns:void;creates:A;', returns: [], creates: ['A']);
testWithSideEffects('returns:;creates:A|B;',
returns: [OBJECT, NULL], creates: ['A', 'B']);
testWithSideEffects('returns:var;creates:A|B|C;',
returns: [OBJECT, NULL], creates: ['A', 'B', 'C']);
testWithSideEffects('returns:A; creates:A|B|C; ',
returns: ['A'], creates: ['A', 'B', 'C']);
testWithSideEffects(' returns:A|B; creates:A|C;',
returns: ['A', 'B'], creates: ['A', 'C']);
testWithSideEffects(' returns:A|B|C; creates:A; ',
returns: ['A', 'B', 'C'], creates: ['A']);
test('throws:must', expectedThrows: NativeThrowBehavior.MUST);
test('throws:may', expectedThrows: NativeThrowBehavior.MAY);
test('throws:never', expectedThrows: NativeThrowBehavior.NEVER);
test('throws:null(1)',
expectedThrows:
NativeThrowBehavior.MAY_THROW_ONLY_ON_FIRST_ARGUMENT_ACCESS);
test('new:true', expectedNew: true);
test('new:false', expectedNew: false);
test('returns:A;new:true', returns: ['A'], expectedNew: true);
test(' new : true ; returns:A;', returns: ['A'], expectedNew: true);
test('new:true;returns:A;new:true', expectError: true);
test('gvn:true', expectedGvn: true);
test('gvn:false', expectedGvn: false);
test('returns:A;gvn:true', returns: ['A'], expectedGvn: true);
test(' gvn : true ; returns:A;', returns: ['A'], expectedGvn: true);
test('gvn:true;returns:A;gvn:true', expectError: true);
test('gvn: true; new: true', expectError: true);
test('gvn: true; new: false', expectedGvn: true, expectedNew: false);
test('gvn: false; new: true', expectedGvn: false, expectedNew: true);
test('gvn: false; new: false', expectedGvn: false, expectedNew: false);
}