| library; |
| import self as self; |
| import "dart:core" as core; |
| |
| static method useAddAll() → void { |
| dynamic dynamicList1 = core::_GrowableList::_literal3<core::int*>(0, 1, 2); |
| dynamic dynamicList2 = core::_GrowableList::_literal3<core::num*>(3, 4, 5); |
| core::Iterable<core::int*>* iterableIntList = core::_GrowableList::_literal3<core::int*>(6, 7, 8); |
| core::Iterable<core::num*>* iterableNumList1 = core::_GrowableList::_literal3<core::int*>(9, 10, 11); |
| core::Iterable<core::num*>* iterableNumList2 = core::_GrowableList::_literal3<core::num*>(12, 13, 14); |
| core::List<core::int*>* intList = core::_GrowableList::_literal3<core::int*>(15, 16, 17); |
| core::List<core::num*>* numList1 = core::_GrowableList::_literal3<core::int*>(18, 19, 20); |
| core::List<core::num*>* numList2 = core::_GrowableList::_literal3<core::num*>(21, 22, 23); |
| core::List<core::int*>* list1 = block { |
| final core::List<core::int*>* #t1 = core::_GrowableList::•<core::int*>(0); |
| { |
| core::Iterator<dynamic>* :sync-for-iterator = (dynamicList1 as{TypeError,ForDynamic} core::Iterable<dynamic>*).{core::Iterable::iterator}; |
| for (; :sync-for-iterator.{core::Iterator::moveNext}(); ) { |
| final dynamic #t2 = :sync-for-iterator.{core::Iterator::current}; |
| { |
| final core::int* #t3 = #t2 as{TypeError} core::int*; |
| #t1.{core::List::add}{Invariant}(#t3); |
| } |
| } |
| } |
| { |
| core::Iterator<dynamic>* :sync-for-iterator = (dynamicList2 as{TypeError,ForDynamic} core::Iterable<dynamic>*).{core::Iterable::iterator}; |
| for (; :sync-for-iterator.{core::Iterator::moveNext}(); ) { |
| final dynamic #t4 = :sync-for-iterator.{core::Iterator::current}; |
| { |
| final core::int* #t5 = #t4 as{TypeError} core::int*; |
| #t1.{core::List::add}{Invariant}(#t5); |
| } |
| } |
| } |
| #t1.{core::List::addAll}{Invariant}(iterableIntList); |
| { |
| core::Iterator<core::num*>* :sync-for-iterator = iterableNumList1.{core::Iterable::iterator}; |
| for (; :sync-for-iterator.{core::Iterator::moveNext}(); ) { |
| final dynamic #t6 = :sync-for-iterator.{core::Iterator::current}; |
| { |
| final core::int* #t7 = #t6 as{TypeError} core::int*; |
| #t1.{core::List::add}{Invariant}(#t7); |
| } |
| } |
| } |
| { |
| core::Iterator<core::num*>* :sync-for-iterator = iterableNumList2.{core::Iterable::iterator}; |
| for (; :sync-for-iterator.{core::Iterator::moveNext}(); ) { |
| final dynamic #t8 = :sync-for-iterator.{core::Iterator::current}; |
| { |
| final core::int* #t9 = #t8 as{TypeError} core::int*; |
| #t1.{core::List::add}{Invariant}(#t9); |
| } |
| } |
| } |
| #t1.{core::List::addAll}{Invariant}(intList); |
| { |
| core::Iterator<core::num*>* :sync-for-iterator = numList1.{core::Iterable::iterator}; |
| for (; :sync-for-iterator.{core::Iterator::moveNext}(); ) { |
| final dynamic #t10 = :sync-for-iterator.{core::Iterator::current}; |
| { |
| final core::int* #t11 = #t10 as{TypeError} core::int*; |
| #t1.{core::List::add}{Invariant}(#t11); |
| } |
| } |
| } |
| { |
| core::Iterator<core::num*>* :sync-for-iterator = numList2.{core::Iterable::iterator}; |
| for (; :sync-for-iterator.{core::Iterator::moveNext}(); ) { |
| final dynamic #t12 = :sync-for-iterator.{core::Iterator::current}; |
| { |
| final core::int* #t13 = #t12 as{TypeError} core::int*; |
| #t1.{core::List::add}{Invariant}(#t13); |
| } |
| } |
| } |
| } =>#t1; |
| self::expect(core::_GrowableList::generate<core::int*>(24, (core::int* i) → core::int* => i), list1); |
| core::List<core::num*>* list2 = block { |
| final core::List<core::num*>* #t14 = core::_GrowableList::•<core::num*>(0); |
| { |
| core::Iterator<dynamic>* :sync-for-iterator = (dynamicList1 as{TypeError,ForDynamic} core::Iterable<dynamic>*).{core::Iterable::iterator}; |
| for (; :sync-for-iterator.{core::Iterator::moveNext}(); ) { |
| final dynamic #t15 = :sync-for-iterator.{core::Iterator::current}; |
| { |
| final core::num* #t16 = #t15 as{TypeError} core::num*; |
| #t14.{core::List::add}{Invariant}(#t16); |
| } |
| } |
| } |
| { |
| core::Iterator<dynamic>* :sync-for-iterator = (dynamicList2 as{TypeError,ForDynamic} core::Iterable<dynamic>*).{core::Iterable::iterator}; |
| for (; :sync-for-iterator.{core::Iterator::moveNext}(); ) { |
| final dynamic #t17 = :sync-for-iterator.{core::Iterator::current}; |
| { |
| final core::num* #t18 = #t17 as{TypeError} core::num*; |
| #t14.{core::List::add}{Invariant}(#t18); |
| } |
| } |
| } |
| #t14.{core::List::addAll}{Invariant}(iterableIntList); |
| #t14.{core::List::addAll}{Invariant}(iterableNumList1); |
| #t14.{core::List::addAll}{Invariant}(iterableNumList2); |
| #t14.{core::List::addAll}{Invariant}(intList); |
| #t14.{core::List::addAll}{Invariant}(numList1); |
| #t14.{core::List::addAll}{Invariant}(numList2); |
| } =>#t14; |
| self::expect(core::_GrowableList::generate<core::num*>(24, (core::int* i) → core::int* => i), list2); |
| core::List<core::int*>* list3 = block { |
| final core::List<core::int*>* #t19 = core::_GrowableList::•<core::int*>(0); |
| final core::Iterable<dynamic>* #t20 = dynamicList1 as{TypeError,ForDynamic} core::Iterable<dynamic>*; |
| if(!#t20.{core::Object::==}(null)) { |
| core::Iterator<dynamic>* :sync-for-iterator = #t20.{core::Iterable::iterator}; |
| for (; :sync-for-iterator.{core::Iterator::moveNext}(); ) { |
| final dynamic #t21 = :sync-for-iterator.{core::Iterator::current}; |
| { |
| final core::int* #t22 = #t21 as{TypeError} core::int*; |
| #t19.{core::List::add}{Invariant}(#t22); |
| } |
| } |
| } |
| final core::Iterable<dynamic>* #t23 = dynamicList2 as{TypeError,ForDynamic} core::Iterable<dynamic>*; |
| if(!#t23.{core::Object::==}(null)) { |
| core::Iterator<dynamic>* :sync-for-iterator = #t23.{core::Iterable::iterator}; |
| for (; :sync-for-iterator.{core::Iterator::moveNext}(); ) { |
| final dynamic #t24 = :sync-for-iterator.{core::Iterator::current}; |
| { |
| final core::int* #t25 = #t24 as{TypeError} core::int*; |
| #t19.{core::List::add}{Invariant}(#t25); |
| } |
| } |
| } |
| final core::Iterable<core::int*>* #t26 = iterableIntList; |
| if(!#t26.{core::Object::==}(null)) |
| #t19.{core::List::addAll}{Invariant}(#t26); |
| final core::Iterable<dynamic>* #t27 = iterableNumList1; |
| if(!#t27.{core::Object::==}(null)) { |
| core::Iterator<dynamic>* :sync-for-iterator = #t27.{core::Iterable::iterator}; |
| for (; :sync-for-iterator.{core::Iterator::moveNext}(); ) { |
| final dynamic #t28 = :sync-for-iterator.{core::Iterator::current}; |
| { |
| final core::int* #t29 = #t28 as{TypeError} core::int*; |
| #t19.{core::List::add}{Invariant}(#t29); |
| } |
| } |
| } |
| final core::Iterable<dynamic>* #t30 = iterableNumList2; |
| if(!#t30.{core::Object::==}(null)) { |
| core::Iterator<dynamic>* :sync-for-iterator = #t30.{core::Iterable::iterator}; |
| for (; :sync-for-iterator.{core::Iterator::moveNext}(); ) { |
| final dynamic #t31 = :sync-for-iterator.{core::Iterator::current}; |
| { |
| final core::int* #t32 = #t31 as{TypeError} core::int*; |
| #t19.{core::List::add}{Invariant}(#t32); |
| } |
| } |
| } |
| final core::Iterable<core::int*>* #t33 = intList; |
| if(!#t33.{core::Object::==}(null)) |
| #t19.{core::List::addAll}{Invariant}(#t33); |
| final core::Iterable<dynamic>* #t34 = numList1; |
| if(!#t34.{core::Object::==}(null)) { |
| core::Iterator<dynamic>* :sync-for-iterator = #t34.{core::Iterable::iterator}; |
| for (; :sync-for-iterator.{core::Iterator::moveNext}(); ) { |
| final dynamic #t35 = :sync-for-iterator.{core::Iterator::current}; |
| { |
| final core::int* #t36 = #t35 as{TypeError} core::int*; |
| #t19.{core::List::add}{Invariant}(#t36); |
| } |
| } |
| } |
| final core::Iterable<dynamic>* #t37 = numList2; |
| if(!#t37.{core::Object::==}(null)) { |
| core::Iterator<dynamic>* :sync-for-iterator = #t37.{core::Iterable::iterator}; |
| for (; :sync-for-iterator.{core::Iterator::moveNext}(); ) { |
| final dynamic #t38 = :sync-for-iterator.{core::Iterator::current}; |
| { |
| final core::int* #t39 = #t38 as{TypeError} core::int*; |
| #t19.{core::List::add}{Invariant}(#t39); |
| } |
| } |
| } |
| } =>#t19; |
| self::expect(core::_GrowableList::generate<core::int*>(24, (core::int* i) → core::int* => i), list3); |
| core::List<core::num*>* list4 = block { |
| final core::List<core::num*>* #t40 = core::_GrowableList::•<core::num*>(0); |
| final core::Iterable<dynamic>* #t41 = dynamicList1 as{TypeError,ForDynamic} core::Iterable<dynamic>*; |
| if(!#t41.{core::Object::==}(null)) { |
| core::Iterator<dynamic>* :sync-for-iterator = #t41.{core::Iterable::iterator}; |
| for (; :sync-for-iterator.{core::Iterator::moveNext}(); ) { |
| final dynamic #t42 = :sync-for-iterator.{core::Iterator::current}; |
| { |
| final core::num* #t43 = #t42 as{TypeError} core::num*; |
| #t40.{core::List::add}{Invariant}(#t43); |
| } |
| } |
| } |
| final core::Iterable<dynamic>* #t44 = dynamicList2 as{TypeError,ForDynamic} core::Iterable<dynamic>*; |
| if(!#t44.{core::Object::==}(null)) { |
| core::Iterator<dynamic>* :sync-for-iterator = #t44.{core::Iterable::iterator}; |
| for (; :sync-for-iterator.{core::Iterator::moveNext}(); ) { |
| final dynamic #t45 = :sync-for-iterator.{core::Iterator::current}; |
| { |
| final core::num* #t46 = #t45 as{TypeError} core::num*; |
| #t40.{core::List::add}{Invariant}(#t46); |
| } |
| } |
| } |
| final core::Iterable<core::num*>* #t47 = iterableIntList; |
| if(!#t47.{core::Object::==}(null)) |
| #t40.{core::List::addAll}{Invariant}(#t47); |
| final core::Iterable<core::num*>* #t48 = iterableNumList1; |
| if(!#t48.{core::Object::==}(null)) |
| #t40.{core::List::addAll}{Invariant}(#t48); |
| final core::Iterable<core::num*>* #t49 = iterableNumList2; |
| if(!#t49.{core::Object::==}(null)) |
| #t40.{core::List::addAll}{Invariant}(#t49); |
| final core::Iterable<core::num*>* #t50 = intList; |
| if(!#t50.{core::Object::==}(null)) |
| #t40.{core::List::addAll}{Invariant}(#t50); |
| final core::Iterable<core::num*>* #t51 = numList1; |
| if(!#t51.{core::Object::==}(null)) |
| #t40.{core::List::addAll}{Invariant}(#t51); |
| final core::Iterable<core::num*>* #t52 = numList2; |
| if(!#t52.{core::Object::==}(null)) |
| #t40.{core::List::addAll}{Invariant}(#t52); |
| } =>#t40; |
| self::expect(core::_GrowableList::generate<core::num*>(24, (core::int* i) → core::int* => i), list4); |
| } |
| static method main() → dynamic { |
| self::useAddAll(); |
| } |
| static method expect(core::List<dynamic>* list1, core::List<dynamic>* list2) → void { |
| if(!list1.{core::List::length}.{core::num::==}(list2.{core::List::length})) { |
| throw "Unexpected length. Expected ${list1.{core::List::length}}, actual ${list2.{core::List::length}}."; |
| } |
| for (core::int* i = 0; i.{core::num::<}(list1.{core::List::length}); i = i.{core::num::+}(1)) { |
| if(!list1.{core::List::[]}(i).{core::Object::==}(list2.{core::List::[]}(i))) { |
| throw "Unexpected element at index ${i}. Expected ${list1.{core::List::[]}(i)}, actual ${list2.{core::List::[]}(i)}."; |
| } |
| } |
| } |