package Ġuk . n hs . n hs x . covid 1 9 . android . app . test ordering . link test result Ċ Ċ import Ġuk . n hs . n hs x . covid 1 9 . android . app . remote . data . V iro logy Test Kit Type . LAB _ RESULT Ċ import Ġuk . n hs . n hs x . covid 1 9 . android . app . remote . data . V iro logy TestResult . POSITIVE Ċ import Ġuk . n hs . n hs x . covid 1 9 . android . app . state . Isolation Logical State Ċ import Ġuk . n hs . n hs x . covid 1 9 . android . app . state . Isolation Logical State . Index Info . Index Case Ċ import Ġuk . n hs . n hs x . covid 1 9 . android . app . state . Isolation Logical State . Po ss ibly Is ol ating Ċ import Ġuk . n hs . n hs x . covid 1 9 . android . app . state . Isolation StateMachine Ċ import Ġuk . n hs . n hs x . covid 1 9 . android . app . test ordering . Received TestResult Ċ import Ġuk . n hs . n hs x . covid 1 9 . android . app . test ordering . Re levant V iro logy TestResult Ċ import Ġjavax . inject . Inject Ċ Ċ class ĠLink TestResult On setDate Needed Checker Ġ@ Inject Ġconstructor ( ĊĠĠĠ Ġprivate Ġval Ġisolation StateMachine : ĠI sol ation StateMachine Ċ ) Ġ{ ĊĊĠĠĠ Ġfun Ġis Inter ested In As king For Sy mptoms On set Day ( test Result : ĠReceived TestResult ): ĠBoolean Ġ{ ĊĠĠĠĠĠĠĠ Ġval Ġcurrent State Ġ= Ġisolation StateMachine . read Logical State () ĊĠĠĠĠĠĠĠ Ġif Ġ( test Result . test Kit Type Ġ== ĠLAB _ RESULT Ġ&& Ġtest Result . test Result Ġ== ĠPOS ITIVE Ġ&& Ġ! test Result . requires Conf ir mat ory Test ) Ġ{ ĊĠĠĠĠĠĠĠĠĠĠĠ Ġval Ġconsidered Sy mptom atic Ġ= Ġcurrent State . is Consider ed Sy mptom atic () ĊĠĠĠĠĠĠĠĠĠĠĠ Ġreturn Ġ! consider ed Sy mptom atic Ġ&& Ġ! currentState . has Positive TestResult () ĊĠĠĠĠĠĠĠ Ġ} ĊĠĠĠĠĠĠĠ Ġreturn Ġfalse ĊĠĠĠ Ġ} ĊĊĠĠĠ Ġprivate Ġfun ĠI sol ation Logical State . is Consider ed Sy mptom atic (): ĠBoolean Ġ= ĊĠĠĠĠĠĠĠ Ġthis Ġis ĠPo ss ibly Is ol ating Ġ&& ĊĠĠĠĠĠĠĠĠĠĠĠ Ġindex Info Ġis ĠIndex Case Ġ&& ĊĠĠĠĠĠĠĠĠĠĠĠ Ġindex Info . is Self Assessment () Ġ&& ĊĠĠĠĠĠĠĠĠĠĠĠ Ġindex Info . test Result ?. test Result Ġ!= ĠRe levant V iro logy TestResult . NEGATIVE ĊĊĠĠĠ Ġprivate Ġfun ĠI sol ation Logical State . has Positive TestResult (): ĠBoolean Ġ= ĊĠĠĠĠĠĠĠ Ġthis Ġis ĠPo ss ibly Is ol ating Ġ&& ĊĠĠĠĠĠĠĠĠĠĠĠ Ġindex Info Ġ!= Ġnull Ġ&& ĊĠĠĠĠĠĠĠĠĠĠĠ Ġindex Info . test Result ?. test Result Ġ== ĠRe levant V iro logy TestResult . POSITIVE Ċ } Ċ