Subtype test added testing 500 elements deep transitivity
diff --git a/Language/Types/Interface_Types/subtype_t27.dart b/Language/Types/Interface_Types/subtype_t27.dart
index dc3ba0a..b6a6cb3 100644
--- a/Language/Types/Interface_Types/subtype_t27.dart
+++ b/Language/Types/Interface_Types/subtype_t27.dart
@@ -32,7 +32,9 @@
main() {
Expect.isTrue(new C1026() is C);
- Expect.isTrue(new C1026() is Object);
+ Expect.equals("C1026", (C c) {
+ return c.runtimeType.toString();}(C1026())
+ );
}
class C1 extends C {}
diff --git a/Language/Types/Interface_Types/subtype_t52.dart b/Language/Types/Interface_Types/subtype_t52.dart
new file mode 100644
index 0000000..a7e1a6e
--- /dev/null
+++ b/Language/Types/Interface_Types/subtype_t52.dart
@@ -0,0 +1,538 @@
+// Copyright (c) 2021, 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.
+
+/// @assertion A type T is more specific than a type S, written T << S, if one
+/// of the following conditions is met:
+/// • T is S.
+/// • T is ⊥
+/// • S is dynamic.
+/// • S is a direct supertype of T.
+/// • T is a type parameter and S is the upper bound of T.
+/// • T is a type parameter and S is Object.
+/// • T is of the form I<T1, ..., Tn > and S is of the form I <S1, ..., Sn>
+/// and Ti << Si 1 <= i <= n.
+/// • T and S are both function types, and T << S under the rules of section
+/// (Types/Function Types).
+/// • T is a function type and S is Function.
+/// • T << U and U << S.
+/// << is a partial order on types. T is a subtype of S, written T <: S, iff
+/// [⊥/Dynamic]T << S.
+/// . . .
+/// An interface type T may be assigned to a type S, written T <=> S, if either
+/// T <: S or S <: T.
+/// @description Stress transitivity check: creates hierarchy of classes
+/// "C500 <: C499 <: ... <: C1 <: C and checks that C1026 is a subtype of C.
+/// @author sgrekhov@unipro.ru
+
+import "../../../Utils/expect.dart";
+
+class C {}
+
+main() {
+ Expect.isTrue(C500() is C);
+ Expect.equals("C500", (C c) {
+ return c.runtimeType.toString();}(C500())
+ );
+}
+
+class C1 extends C {}
+class C2 extends C1 {}
+class C3 extends C2 {}
+class C4 extends C3 {}
+class C5 extends C4 {}
+class C6 extends C5 {}
+class C7 extends C6 {}
+class C8 extends C7 {}
+class C9 extends C8 {}
+class C10 extends C9 {}
+class C11 extends C10 {}
+class C12 extends C11 {}
+class C13 extends C12 {}
+class C14 extends C13 {}
+class C15 extends C14 {}
+class C16 extends C15 {}
+class C17 extends C16 {}
+class C18 extends C17 {}
+class C19 extends C18 {}
+class C20 extends C19 {}
+class C21 extends C20 {}
+class C22 extends C21 {}
+class C23 extends C22 {}
+class C24 extends C23 {}
+class C25 extends C24 {}
+class C26 extends C25 {}
+class C27 extends C26 {}
+class C28 extends C27 {}
+class C29 extends C28 {}
+class C30 extends C29 {}
+class C31 extends C30 {}
+class C32 extends C31 {}
+class C33 extends C32 {}
+class C34 extends C33 {}
+class C35 extends C34 {}
+class C36 extends C35 {}
+class C37 extends C36 {}
+class C38 extends C37 {}
+class C39 extends C38 {}
+class C40 extends C39 {}
+class C41 extends C40 {}
+class C42 extends C41 {}
+class C43 extends C42 {}
+class C44 extends C43 {}
+class C45 extends C44 {}
+class C46 extends C45 {}
+class C47 extends C46 {}
+class C48 extends C47 {}
+class C49 extends C48 {}
+class C50 extends C49 {}
+class C51 extends C50 {}
+class C52 extends C51 {}
+class C53 extends C52 {}
+class C54 extends C53 {}
+class C55 extends C54 {}
+class C56 extends C55 {}
+class C57 extends C56 {}
+class C58 extends C57 {}
+class C59 extends C58 {}
+class C60 extends C59 {}
+class C61 extends C60 {}
+class C62 extends C61 {}
+class C63 extends C62 {}
+class C64 extends C63 {}
+class C65 extends C64 {}
+class C66 extends C65 {}
+class C67 extends C66 {}
+class C68 extends C67 {}
+class C69 extends C68 {}
+class C70 extends C69 {}
+class C71 extends C70 {}
+class C72 extends C71 {}
+class C73 extends C72 {}
+class C74 extends C73 {}
+class C75 extends C74 {}
+class C76 extends C75 {}
+class C77 extends C76 {}
+class C78 extends C77 {}
+class C79 extends C78 {}
+class C80 extends C79 {}
+class C81 extends C80 {}
+class C82 extends C81 {}
+class C83 extends C82 {}
+class C84 extends C83 {}
+class C85 extends C84 {}
+class C86 extends C85 {}
+class C87 extends C86 {}
+class C88 extends C87 {}
+class C89 extends C88 {}
+class C90 extends C89 {}
+class C91 extends C90 {}
+class C92 extends C91 {}
+class C93 extends C92 {}
+class C94 extends C93 {}
+class C95 extends C94 {}
+class C96 extends C95 {}
+class C97 extends C96 {}
+class C98 extends C97 {}
+class C99 extends C98 {}
+class C100 extends C99 {}
+class C101 extends C100 {}
+class C102 extends C101 {}
+class C103 extends C102 {}
+class C104 extends C103 {}
+class C105 extends C104 {}
+class C106 extends C105 {}
+class C107 extends C106 {}
+class C108 extends C107 {}
+class C109 extends C108 {}
+class C110 extends C109 {}
+class C111 extends C110 {}
+class C112 extends C111 {}
+class C113 extends C112 {}
+class C114 extends C113 {}
+class C115 extends C114 {}
+class C116 extends C115 {}
+class C117 extends C116 {}
+class C118 extends C117 {}
+class C119 extends C118 {}
+class C120 extends C119 {}
+class C121 extends C120 {}
+class C122 extends C121 {}
+class C123 extends C122 {}
+class C124 extends C123 {}
+class C125 extends C124 {}
+class C126 extends C125 {}
+class C127 extends C126 {}
+class C128 extends C127 {}
+class C129 extends C128 {}
+class C130 extends C129 {}
+class C131 extends C130 {}
+class C132 extends C131 {}
+class C133 extends C132 {}
+class C134 extends C133 {}
+class C135 extends C134 {}
+class C136 extends C135 {}
+class C137 extends C136 {}
+class C138 extends C137 {}
+class C139 extends C138 {}
+class C140 extends C139 {}
+class C141 extends C140 {}
+class C142 extends C141 {}
+class C143 extends C142 {}
+class C144 extends C143 {}
+class C145 extends C144 {}
+class C146 extends C145 {}
+class C147 extends C146 {}
+class C148 extends C147 {}
+class C149 extends C148 {}
+class C150 extends C149 {}
+class C151 extends C150 {}
+class C152 extends C151 {}
+class C153 extends C152 {}
+class C154 extends C153 {}
+class C155 extends C154 {}
+class C156 extends C155 {}
+class C157 extends C156 {}
+class C158 extends C157 {}
+class C159 extends C158 {}
+class C160 extends C159 {}
+class C161 extends C160 {}
+class C162 extends C161 {}
+class C163 extends C162 {}
+class C164 extends C163 {}
+class C165 extends C164 {}
+class C166 extends C165 {}
+class C167 extends C166 {}
+class C168 extends C167 {}
+class C169 extends C168 {}
+class C170 extends C169 {}
+class C171 extends C170 {}
+class C172 extends C171 {}
+class C173 extends C172 {}
+class C174 extends C173 {}
+class C175 extends C174 {}
+class C176 extends C175 {}
+class C177 extends C176 {}
+class C178 extends C177 {}
+class C179 extends C178 {}
+class C180 extends C179 {}
+class C181 extends C180 {}
+class C182 extends C181 {}
+class C183 extends C182 {}
+class C184 extends C183 {}
+class C185 extends C184 {}
+class C186 extends C185 {}
+class C187 extends C186 {}
+class C188 extends C187 {}
+class C189 extends C188 {}
+class C190 extends C189 {}
+class C191 extends C190 {}
+class C192 extends C191 {}
+class C193 extends C192 {}
+class C194 extends C193 {}
+class C195 extends C194 {}
+class C196 extends C195 {}
+class C197 extends C196 {}
+class C198 extends C197 {}
+class C199 extends C198 {}
+class C200 extends C199 {}
+class C201 extends C200 {}
+class C202 extends C201 {}
+class C203 extends C202 {}
+class C204 extends C203 {}
+class C205 extends C204 {}
+class C206 extends C205 {}
+class C207 extends C206 {}
+class C208 extends C207 {}
+class C209 extends C208 {}
+class C210 extends C209 {}
+class C211 extends C210 {}
+class C212 extends C211 {}
+class C213 extends C212 {}
+class C214 extends C213 {}
+class C215 extends C214 {}
+class C216 extends C215 {}
+class C217 extends C216 {}
+class C218 extends C217 {}
+class C219 extends C218 {}
+class C220 extends C219 {}
+class C221 extends C220 {}
+class C222 extends C221 {}
+class C223 extends C222 {}
+class C224 extends C223 {}
+class C225 extends C224 {}
+class C226 extends C225 {}
+class C227 extends C226 {}
+class C228 extends C227 {}
+class C229 extends C228 {}
+class C230 extends C229 {}
+class C231 extends C230 {}
+class C232 extends C231 {}
+class C233 extends C232 {}
+class C234 extends C233 {}
+class C235 extends C234 {}
+class C236 extends C235 {}
+class C237 extends C236 {}
+class C238 extends C237 {}
+class C239 extends C238 {}
+class C240 extends C239 {}
+class C241 extends C240 {}
+class C242 extends C241 {}
+class C243 extends C242 {}
+class C244 extends C243 {}
+class C245 extends C244 {}
+class C246 extends C245 {}
+class C247 extends C246 {}
+class C248 extends C247 {}
+class C249 extends C248 {}
+class C250 extends C249 {}
+class C251 extends C250 {}
+class C252 extends C251 {}
+class C253 extends C252 {}
+class C254 extends C253 {}
+class C255 extends C254 {}
+class C256 extends C255 {}
+class C257 extends C256 {}
+class C258 extends C257 {}
+class C259 extends C258 {}
+class C260 extends C259 {}
+class C261 extends C260 {}
+class C262 extends C261 {}
+class C263 extends C262 {}
+class C264 extends C263 {}
+class C265 extends C264 {}
+class C266 extends C265 {}
+class C267 extends C266 {}
+class C268 extends C267 {}
+class C269 extends C268 {}
+class C270 extends C269 {}
+class C271 extends C270 {}
+class C272 extends C271 {}
+class C273 extends C272 {}
+class C274 extends C273 {}
+class C275 extends C274 {}
+class C276 extends C275 {}
+class C277 extends C276 {}
+class C278 extends C277 {}
+class C279 extends C278 {}
+class C280 extends C279 {}
+class C281 extends C280 {}
+class C282 extends C281 {}
+class C283 extends C282 {}
+class C284 extends C283 {}
+class C285 extends C284 {}
+class C286 extends C285 {}
+class C287 extends C286 {}
+class C288 extends C287 {}
+class C289 extends C288 {}
+class C290 extends C289 {}
+class C291 extends C290 {}
+class C292 extends C291 {}
+class C293 extends C292 {}
+class C294 extends C293 {}
+class C295 extends C294 {}
+class C296 extends C295 {}
+class C297 extends C296 {}
+class C298 extends C297 {}
+class C299 extends C298 {}
+class C300 extends C299 {}
+class C301 extends C300 {}
+class C302 extends C301 {}
+class C303 extends C302 {}
+class C304 extends C303 {}
+class C305 extends C304 {}
+class C306 extends C305 {}
+class C307 extends C306 {}
+class C308 extends C307 {}
+class C309 extends C308 {}
+class C310 extends C309 {}
+class C311 extends C310 {}
+class C312 extends C311 {}
+class C313 extends C312 {}
+class C314 extends C313 {}
+class C315 extends C314 {}
+class C316 extends C315 {}
+class C317 extends C316 {}
+class C318 extends C317 {}
+class C319 extends C318 {}
+class C320 extends C319 {}
+class C321 extends C320 {}
+class C322 extends C321 {}
+class C323 extends C322 {}
+class C324 extends C323 {}
+class C325 extends C324 {}
+class C326 extends C325 {}
+class C327 extends C326 {}
+class C328 extends C327 {}
+class C329 extends C328 {}
+class C330 extends C329 {}
+class C331 extends C330 {}
+class C332 extends C331 {}
+class C333 extends C332 {}
+class C334 extends C333 {}
+class C335 extends C334 {}
+class C336 extends C335 {}
+class C337 extends C336 {}
+class C338 extends C337 {}
+class C339 extends C338 {}
+class C340 extends C339 {}
+class C341 extends C340 {}
+class C342 extends C341 {}
+class C343 extends C342 {}
+class C344 extends C343 {}
+class C345 extends C344 {}
+class C346 extends C345 {}
+class C347 extends C346 {}
+class C348 extends C347 {}
+class C349 extends C348 {}
+class C350 extends C349 {}
+class C351 extends C350 {}
+class C352 extends C351 {}
+class C353 extends C352 {}
+class C354 extends C353 {}
+class C355 extends C354 {}
+class C356 extends C355 {}
+class C357 extends C356 {}
+class C358 extends C357 {}
+class C359 extends C358 {}
+class C360 extends C359 {}
+class C361 extends C360 {}
+class C362 extends C361 {}
+class C363 extends C362 {}
+class C364 extends C363 {}
+class C365 extends C364 {}
+class C366 extends C365 {}
+class C367 extends C366 {}
+class C368 extends C367 {}
+class C369 extends C368 {}
+class C370 extends C369 {}
+class C371 extends C370 {}
+class C372 extends C371 {}
+class C373 extends C372 {}
+class C374 extends C373 {}
+class C375 extends C374 {}
+class C376 extends C375 {}
+class C377 extends C376 {}
+class C378 extends C377 {}
+class C379 extends C378 {}
+class C380 extends C379 {}
+class C381 extends C380 {}
+class C382 extends C381 {}
+class C383 extends C382 {}
+class C384 extends C383 {}
+class C385 extends C384 {}
+class C386 extends C385 {}
+class C387 extends C386 {}
+class C388 extends C387 {}
+class C389 extends C388 {}
+class C390 extends C389 {}
+class C391 extends C390 {}
+class C392 extends C391 {}
+class C393 extends C392 {}
+class C394 extends C393 {}
+class C395 extends C394 {}
+class C396 extends C395 {}
+class C397 extends C396 {}
+class C398 extends C397 {}
+class C399 extends C398 {}
+class C400 extends C399 {}
+class C401 extends C400 {}
+class C402 extends C401 {}
+class C403 extends C402 {}
+class C404 extends C403 {}
+class C405 extends C404 {}
+class C406 extends C405 {}
+class C407 extends C406 {}
+class C408 extends C407 {}
+class C409 extends C408 {}
+class C410 extends C409 {}
+class C411 extends C410 {}
+class C412 extends C411 {}
+class C413 extends C412 {}
+class C414 extends C413 {}
+class C415 extends C414 {}
+class C416 extends C415 {}
+class C417 extends C416 {}
+class C418 extends C417 {}
+class C419 extends C418 {}
+class C420 extends C419 {}
+class C421 extends C420 {}
+class C422 extends C421 {}
+class C423 extends C422 {}
+class C424 extends C423 {}
+class C425 extends C424 {}
+class C426 extends C425 {}
+class C427 extends C426 {}
+class C428 extends C427 {}
+class C429 extends C428 {}
+class C430 extends C429 {}
+class C431 extends C430 {}
+class C432 extends C431 {}
+class C433 extends C432 {}
+class C434 extends C433 {}
+class C435 extends C434 {}
+class C436 extends C435 {}
+class C437 extends C436 {}
+class C438 extends C437 {}
+class C439 extends C438 {}
+class C440 extends C439 {}
+class C441 extends C440 {}
+class C442 extends C441 {}
+class C443 extends C442 {}
+class C444 extends C443 {}
+class C445 extends C444 {}
+class C446 extends C445 {}
+class C447 extends C446 {}
+class C448 extends C447 {}
+class C449 extends C448 {}
+class C450 extends C449 {}
+class C451 extends C450 {}
+class C452 extends C451 {}
+class C453 extends C452 {}
+class C454 extends C453 {}
+class C455 extends C454 {}
+class C456 extends C455 {}
+class C457 extends C456 {}
+class C458 extends C457 {}
+class C459 extends C458 {}
+class C460 extends C459 {}
+class C461 extends C460 {}
+class C462 extends C461 {}
+class C463 extends C462 {}
+class C464 extends C463 {}
+class C465 extends C464 {}
+class C466 extends C465 {}
+class C467 extends C466 {}
+class C468 extends C467 {}
+class C469 extends C468 {}
+class C470 extends C469 {}
+class C471 extends C470 {}
+class C472 extends C471 {}
+class C473 extends C472 {}
+class C474 extends C473 {}
+class C475 extends C474 {}
+class C476 extends C475 {}
+class C477 extends C476 {}
+class C478 extends C477 {}
+class C479 extends C478 {}
+class C480 extends C479 {}
+class C481 extends C480 {}
+class C482 extends C481 {}
+class C483 extends C482 {}
+class C484 extends C483 {}
+class C485 extends C484 {}
+class C486 extends C485 {}
+class C487 extends C486 {}
+class C488 extends C487 {}
+class C489 extends C488 {}
+class C490 extends C489 {}
+class C491 extends C490 {}
+class C492 extends C491 {}
+class C493 extends C492 {}
+class C494 extends C493 {}
+class C495 extends C494 {}
+class C496 extends C495 {}
+class C497 extends C496 {}
+class C498 extends C497 {}
+class C499 extends C498 {}
+class C500 extends C499 {}
