package Ġorg . lm . resolve Ċ Ċ class ĠL m Module Resolve Test Ġ: ĠL m Resolve TestBase () Ġ{ ĊĊĠĠĠ Ġfun Ġ` test Ġmodules Ġand Ġimports Ġ 1 `() Ġ= Ġcheck By Code (""" ĊĠĠĠĠĠĠĠ Ġdef Ġc Ġ= Ġ 4 ĊĠĠĠĠĠĠĠ Ġmodule ĠA Ġ{ ĊĠĠĠĠĠĠĠĠĠĠĠ Ġimport ĠB ĊĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠ Ġ# ^ ĊĠĠĠĠĠĠĠĠĠĠĠ Ġdef Ġa Ġ= Ġ( b Ġ+ Ġc ) ĊĠĠĠĠĠĠĠ Ġ} ĊĠĠĠĠĠĠĠ Ġmodule ĠB Ġ{ ĊĠĠĠĠĠĠĠĠĠĠĠĠĠ Ġ# X ĊĠĠĠĠĠĠĠĠĠĠĠ Ġimport ĠC ĊĠĠĠĠĠĠĠĠĠĠĠ Ġdef Ġb Ġ= Ġ 0 ĊĠĠĠĠĠĠĠ Ġ} ĊĠĠĠĠĠĠĠ Ġmodule ĠC Ġ{ ĊĠĠĠĠĠĠĠĠĠĠĠ Ġdef Ġb Ġ= Ġ 1 ĊĠĠĠĠĠĠĠĠĠĠĠ Ġdef Ġc Ġ= Ġb ĊĠĠĠĠĠĠĠ Ġ} ĊĠĠĠ Ġ"" ") ĊĊĠĠĠ Ġfun Ġ` test Ġmodules Ġand Ġimports Ġ 2 `() Ġ= Ġcheck By Code (""" ĊĠĠĠĠĠĠĠ Ġdef Ġc Ġ= Ġ 4 ĊĠĠĠĠĠĠĠ Ġmodule ĠA Ġ{ ĊĠĠĠĠĠĠĠĠĠĠĠ Ġimport ĠB ĊĠĠĠĠĠĠĠĠĠĠĠ Ġdef Ġa Ġ= Ġ( b Ġ+ Ġc ) ĊĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠ Ġ# ^ ĊĠĠĠĠĠĠĠ Ġ} ĊĠĠĠĠĠĠĠ Ġmodule ĠB Ġ{ ĊĠĠĠĠĠĠĠĠĠĠĠ Ġimport ĠC ĊĠĠĠĠĠĠĠĠĠĠĠ Ġdef Ġb Ġ= Ġ 0 ĊĠĠĠĠĠĠĠĠĠĠĠĠĠĠ Ġ# X ĊĠĠĠĠĠĠĠ Ġ} ĊĠĠĠĠĠĠĠ Ġmodule ĠC Ġ{ ĊĠĠĠĠĠĠĠĠĠĠĠ Ġdef Ġb Ġ= Ġ 1 ĊĠĠĠĠĠĠĠĠĠĠĠ Ġdef Ġc Ġ= Ġb ĊĠĠĠĠĠĠĠ Ġ} ĊĠĠĠ Ġ"" ") ĊĊĠĠĠ Ġfun Ġ` test Ġmodules Ġand Ġimports Ġ 3 `() Ġ= Ġcheck By Code (""" ĊĠĠĠĠĠĠĠ Ġdef Ġc Ġ= Ġ 4 ĊĠĠĠĠĠĠĠĠĠĠ Ġ# X ĊĠĠĠĠĠĠĠ Ġmodule ĠA Ġ{ ĊĠĠĠĠĠĠĠĠĠĠĠ Ġimport ĠB ĊĠĠĠĠĠĠĠĠĠĠĠ Ġdef Ġa Ġ= Ġ( b Ġ+ Ġc ) ĊĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠ Ġ# ^ ĊĠĠĠĠĠĠĠ Ġ} ĊĠĠĠĠĠĠĠ Ġmodule ĠB Ġ{ ĊĠĠĠĠĠĠĠĠĠĠĠ Ġimport ĠC ĊĠĠĠĠĠĠĠĠĠĠĠ Ġdef Ġb Ġ= Ġ 0 ĊĠĠĠĠĠĠĠ Ġ} ĊĠĠĠĠĠĠĠ Ġmodule ĠC Ġ{ ĊĠĠĠĠĠĠĠĠĠĠĠ Ġdef Ġb Ġ= Ġ 1 ĊĠĠĠĠĠĠĠĠĠĠĠ Ġdef Ġc Ġ= Ġb ĊĠĠĠĠĠĠĠ Ġ} ĊĠĠĠ Ġ"" ") ĊĊĠĠĠ Ġfun Ġ` test Ġmodules Ġand Ġimports Ġ 4 `() Ġ= Ġcheck By Code (""" ĊĠĠĠĠĠĠĠ Ġdef Ġc Ġ= Ġ 4 ĊĠĠĠĠĠĠĠ Ġmodule ĠA Ġ{ ĊĠĠĠĠĠĠĠĠĠĠĠ Ġimport ĠB ĊĠĠĠĠĠĠĠĠĠĠĠ Ġdef Ġa Ġ= Ġ( b Ġ+ Ġc ) ĊĠĠĠĠĠĠĠ Ġ} ĊĠĠĠĠĠĠĠ Ġmodule ĠB Ġ{ ĊĠĠĠĠĠĠĠĠĠĠĠ Ġimport ĠC ĊĠĠĠĠĠĠĠĠĠĠĠ Ġdef Ġb Ġ= Ġ 0 ĊĠĠĠĠĠĠĠ Ġ} ĊĠĠĠĠĠĠĠ Ġmodule ĠC Ġ{ ĊĠĠĠĠĠĠĠĠĠĠĠ Ġdef Ġb Ġ= Ġ 1 ĊĠĠĠĠĠĠĠĠĠĠĠĠĠĠ Ġ# X ĊĠĠĠĠĠĠĠĠĠĠĠ Ġdef Ġc Ġ= Ġb ĊĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠ Ġ# ^ ĊĠĠĠĠĠĠĠ Ġ} ĊĠĠĠ Ġ"" ") ĊĊĠĠĠ Ġfun Ġ` test Ġparent Ġvs Ġimport `() Ġ= Ġcheck By Code (""" ĊĠĠĠĠĠĠĠ Ġdef Ġa Ġ= Ġ 1 ĊĠĠĠĠĠĠĠ Ġmodule ĠA Ġ{ ĊĠĠĠĠĠĠĠĠĠĠĠ Ġdef Ġa Ġ= Ġ 2 ĊĠĠĠĠĠĠĠĠĠĠĠĠĠĠ Ġ# X ĊĠĠĠĠĠĠĠĠĠĠĠ Ġdef Ġb Ġ= Ġ 3 ĊĠĠĠĠĠĠĠ Ġ} ĊĠĠĠĠĠĠĠ Ġmodule ĠC Ġ{ ĊĠĠĠĠĠĠĠĠĠĠĠ Ġimport ĠA ĊĠĠĠĠĠĠĠĠĠĠĠ Ġdef Ġb Ġ= Ġa ĊĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠ Ġ# ^ ĊĠĠĠĠĠĠĠĠĠĠĠ Ġdef Ġc Ġ= Ġb ĊĠĠĠĠĠĠĠ Ġ} ĊĠĠĠ Ġ"" ") ĊĊĠĠĠ Ġfun Ġ` test Ġparent Ġof Ġimport `() Ġ= Ġcheck By Code (""" ĊĠĠĠĠĠĠĠ Ġdef Ġa Ġ= Ġ 1 ĊĠĠĠĠĠĠĠ Ġmodule ĠB Ġ{ Ġ} ĊĠĠĠĠĠĠĠ Ġmodule ĠC Ġ{ ĊĠĠĠĠĠĠĠĠĠĠĠ Ġdef Ġa Ġ= Ġ 2 ĊĠĠĠĠĠĠĠĠĠĠĠĠĠĠ Ġ# X ĊĠĠĠĠĠĠĠĠĠĠĠ Ġmodule ĠD Ġ{ ĊĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠ Ġimport ĠB ĊĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠ Ġdef Ġe Ġ= Ġa ĊĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠ Ġ# ^ ĊĠĠĠĠĠĠĠĠĠĠĠ Ġ} ĊĠĠĠĠĠĠĠ Ġ} ĊĠĠĠ Ġ"" ") ĊĊĠĠĠ Ġfun Ġ` test Ġself Ġimport `() Ġ= Ġcheck By Code (""" ĊĠĠĠĠĠĠĠ Ġmodule ĠA Ġ{ ĊĠĠĠĠĠĠĠĠĠĠĠ Ġmodule ĠA Ġ{ ĊĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠ Ġdef Ġa Ġ= Ġ 1 ĊĠĠĠĠĠĠĠĠĠĠĠ Ġ} ĊĠĠĠĠĠĠĠ Ġ} ĊĠĠĠĠĠĠĠ Ġimport ĠA ĊĠĠĠĠĠĠĠ Ġdef Ġb Ġ= Ġa ĊĠĠĠĠĠĠĠĠĠĠĠĠĠĠ Ġ# ^ Ġun resolved ĊĠĠĠ Ġ"" ") ĊĊĠĠĠ Ġfun Ġ` test Ġan omal ous Ġresolution Ġ 1 `() Ġ= Ġcheck By Code (""" ĊĠĠĠĠĠĠĠ Ġmodule ĠA Ġ{ ĊĠĠĠĠĠĠĠĠĠĠĠ Ġmodule ĠB Ġ{ ĊĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠ Ġdef Ġx Ġ= Ġ 1 ĊĠĠĠĠĠĠĠĠĠĠĠ Ġ} ĊĠĠĠĠĠĠĠ Ġ} ĊĠĠĠĠĠĠĠ Ġmodule ĠB Ġ{ ĊĠĠĠĠĠĠĠĠĠĠĠ Ġmodule ĠA Ġ{ ĊĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠ Ġdef Ġy Ġ= Ġ 2 ĊĠĠĠĠĠĠĠĠĠĠĠ Ġ} ĊĠĠĠĠĠĠĠ Ġ} ĊĠĠĠĠĠĠĠ Ġmodule ĠC Ġ{ ĊĠĠĠĠĠĠĠĠĠĠĠ Ġimport ĠA ĊĠĠĠĠĠĠĠĠĠĠĠ Ġimport ĠB ĊĠĠĠĠĠĠĠĠĠĠĠ Ġdef Ġz Ġ= Ġ( x Ġ+ Ġy ) ĊĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠ Ġ# ^ Ġun resolved ĊĠĠĠĠĠĠĠ Ġ} ĊĠĠĠ Ġ"" ") ĊĊĠĠĠ Ġfun Ġ` test Ġan omal ous Ġresolution Ġ 2 `() Ġ= Ġcheck By Code (""" ĊĠĠĠĠĠĠĠ Ġmodule ĠA Ġ{ ĊĠĠĠĠĠĠĠĠĠĠĠ Ġmodule ĠB Ġ{ ĊĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠ Ġdef Ġx Ġ= Ġ 1 ĊĠĠĠĠĠĠĠĠĠĠĠ Ġ} ĊĠĠĠĠĠĠĠ Ġ} ĊĠĠĠĠĠĠĠ Ġmodule ĠB Ġ{ ĊĠĠĠĠĠĠĠĠĠĠĠ Ġmodule ĠA Ġ{ ĊĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠ Ġdef Ġy Ġ= Ġ 2 ĊĠĠĠĠĠĠĠĠĠĠĠ Ġ} ĊĠĠĠĠĠĠĠ Ġ} ĊĠĠĠĠĠĠĠ Ġmodule ĠC Ġ{ ĊĠĠĠĠĠĠĠĠĠĠĠ Ġimport ĠA ĊĠĠĠĠĠĠĠĠĠĠĠ Ġimport ĠB ĊĠĠĠĠĠĠĠĠĠĠĠ Ġdef Ġz Ġ= Ġ( x Ġ+ Ġy ) ĊĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠ Ġ# ^ Ġun resolved ĊĠĠĠĠĠĠĠ Ġ} ĊĠĠĠ Ġ"" ") ĊĊĠĠĠ Ġfun Ġ` test Ġinclude Ġ 1 `() Ġ= Ġcheck By Code (""" ĊĠĠĠĠĠĠĠ Ġmodule ĠA Ġ{ ĊĠĠĠĠĠĠĠĠĠĠĠĠĠ Ġ# X ĊĠĠĠĠĠĠĠĠĠĠĠ Ġdef Ġx Ġ= Ġ 3 ĊĠĠĠĠĠĠĠ Ġ} ĊĠĠĠĠĠĠĠ Ġmodule ĠB Ġ{ ĊĠĠĠĠĠĠĠĠĠĠĠ Ġinclude ĠA ĊĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠ Ġ# ^ ĊĠĠĠĠĠĠĠĠĠĠĠ Ġdef Ġx Ġ= Ġ 6 ĊĠĠĠĠĠĠĠĠĠĠĠ Ġdef Ġz Ġ= Ġx ĊĠĠĠĠĠĠĠ Ġ} ĊĠĠĠ Ġ"" ") ĊĊĠĠĠ Ġfun Ġ` test Ġinclude Ġ 2 `() Ġ= Ġcheck By Code (""" ĊĠĠĠĠĠĠĠ Ġmodule ĠA Ġ{ ĊĠĠĠĠĠĠĠĠĠĠĠ Ġdef Ġx Ġ= Ġ 3 ĊĠĠĠĠĠĠĠ Ġ} ĊĠĠĠĠĠĠĠ Ġmodule ĠB Ġ{ ĊĠĠĠĠĠĠĠĠĠĠĠ Ġinclude ĠA ĊĠĠĠĠĠĠĠĠĠĠĠ Ġdef Ġx Ġ= Ġ 6 ĊĠĠĠĠĠĠĠĠĠĠĠĠĠĠ Ġ# X ĊĠĠĠĠĠĠĠĠĠĠĠ Ġdef Ġz Ġ= Ġx ĊĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠ Ġ# ^ ĊĠĠĠĠĠĠĠ Ġ} ĊĠĠĠ Ġ"" ") Ċ } Ċ