/* Ċ Ġ* ĠCopyright Ġ 2 0 1 9 ĠThe ĠMath L ing ua ĠAuthors Ċ Ġ* Ċ Ġ* ĠLicensed Ġunder Ġthe ĠApache ĠLicense , ĠVersion Ġ 2 . 0 Ġ( the Ġ" License "); Ċ Ġ* Ġyou Ġmay Ġnot Ġuse Ġthis Ġfile Ġexcept Ġin Ġcompliance Ġwith Ġthe ĠLicense . Ċ Ġ* ĠYou Ġmay Ġobtain Ġa Ġcopy Ġof Ġthe ĠLicense Ġat Ċ Ġ* Ċ Ġ* ĠĠĠĠ Ġhttps :// www . apache . org / licenses / LICENSE - 2 . 0 Ċ Ġ* Ċ Ġ* ĠUnless Ġrequired Ġby Ġapplicable Ġlaw Ġor Ġagreed Ġto Ġin Ġwriting , Ġsoftware Ċ Ġ* Ġdistributed Ġunder Ġthe ĠLicense Ġis Ġdistributed Ġon Ġan Ġ" AS ĠIS " ĠBASIS , Ċ Ġ* ĠWITHOUT ĠWARRANTIES ĠOR ĠCONDITIONS ĠOF ĠANY ĠKIND , Ġeither Ġexpress Ġor Ġimplied . Ċ Ġ* ĠSee Ġthe ĠLicense Ġfor Ġthe Ġspecific Ġlanguage Ġgoverning Ġpermissions Ġand Ċ Ġ* Ġlimitations Ġunder Ġthe ĠLicense . Ċ Ġ*/ Ċ Ċ package Ġmath ling ua . math ling ua . transform Ċ Ċ import Ġassert k . assertThat Ċ import Ġassert k . assertions . isEqualTo Ċ import Ġmath ling ua . backend . transform . Signature Ċ import Ġmath ling ua . backend . transform . findAll Statement Signatures Ċ import Ġmath ling ua . frontend . Front End Ċ import Ġmath ling ua . frontend . support . Location Ċ import Ġmath ling ua . frontend . support . ParseError Ċ import Ġmath ling ua . frontend . support . Validation Failure Ċ import Ġmath ling ua . frontend . support . Validation Success Ċ import Ġmath ling ua . frontend . support . new Location Tracker Ċ import Ġorg . junit . jupiter . api . Test Ċ Ċ internal Ġclass ĠSignature Util Kt Test Ġ{ ĊĠĠĠ Ġ@ Test ĊĠĠĠ Ġfun ĠfindAll Statement Signatures Non G lu ed Test () Ġ{ ĊĠĠĠĠĠĠĠ Ġval Ġvalidation Ġ= ĊĠĠĠĠĠĠĠĠĠĠĠ ĠFront End . parse ( ĊĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠ Ġ"[ \\ xyz { x }] \ n Defines : Ġy \ n means : Ġ' something '\ n written : Ġ\" something \"\ n called : Ġ\" something \" ") ĊĠĠĠĠĠĠĠ Ġval Ġdoc Ġ= Ġ( validation Ġas ĠValidation Success ). value ĊĠĠĠĠĠĠĠ Ġval Ġdefines Ġ= Ġdoc . defines () ĊĠĠĠĠĠĠĠ ĠassertThat ( defines . size ). isEqualTo ( 1 ) ĊĠĠĠĠĠĠĠ Ġval Ġdef Ġ= Ġdefines [ 0 ] ĊĠĠĠĠĠĠĠ Ġval Ġstmt Ġ= Ġdef . id . to Statement () ĊĠĠĠĠĠĠĠ Ġval Ġsignatures Ġ= ĊĠĠĠĠĠĠĠĠĠĠĠ ĠfindAll Statement Signatures ( stmt , Ġignore L hs Equal Ġ= Ġfalse , Ġnew Location Tracker ()) ĊĠĠĠĠĠĠĠ ĠassertThat ( signatures ) ĊĠĠĠĠĠĠĠĠĠĠĠ Ġ. isEqualTo ( set Of ( Signature ( form Ġ= Ġ"\\ xyz ", Ġlocation Ġ= ĠLocation ( row Ġ= Ġ- 1 , Ġcolumn Ġ= Ġ- 1 )))) ĊĠĠĠ Ġ} ĊĊĠĠĠ Ġ@ Test ĊĠĠĠ Ġfun Ġstatement Signatures Not Allowed ToBe G lu ed Test () Ġ{ ĊĠĠĠĠĠĠĠ Ġval Ġvalidation Ġ= ĊĠĠĠĠĠĠĠĠĠĠĠ ĠFront End . parse ( ĊĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠ Ġ"[ \\ abc Ġ\\ xyz { x }] \ n Defines : Ġy \ n means : Ġ' something '\ n " Ġ+ ĊĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠ Ġ" written : Ġ\" something \"\ n called : Ġ\" something \" ") ĊĠĠĠĠĠĠĠ ĠassertThat ( validation Ġis ĠValidation Failure ) ĊĠĠĠĠĠĠĠ ĠassertThat (( validation Ġas ĠValidation Failure ). errors ) ĊĠĠĠĠĠĠĠĠĠĠĠ Ġ. isEqualTo ( ĊĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠ ĠlistOf ( ĊĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠ ĠParse Error ( ĊĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠ Ġmessage Ġ= Ġ" A Ġcommand Ġin Ġan Ġid Ġcannot Ġbe Ġof Ġthe Ġform Ġ\\ x Ġ\\ y Ġ... ", ĊĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠ Ġrow Ġ= Ġ 0 , ĊĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠ Ġcolumn Ġ= Ġ 0 ))) ĊĠĠĠ Ġ} ĊĊĠĠĠ Ġ@ Test ĊĠĠĠ Ġfun ĠfindAll Statement Signatures In fix Test () Ġ{ ĊĠĠĠĠĠĠĠ Ġval Ġvalidation Ġ= ĊĠĠĠĠĠĠĠĠĠĠĠ ĠFront End . parse ( ĊĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠ Ġ"[ x Ġ\\ abc / Ġy ]\ n Defines : Ġy \ n means : Ġ' something '\ n " Ġ+ ĊĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠ Ġ" written : Ġ\" something \"\ n called : Ġ\" something \" ") ĊĠĠĠĠĠĠĠ Ġval Ġdoc Ġ= Ġ( validation Ġas ĠValidation Success ). value ĊĠĠĠĠĠĠĠ Ġval Ġdefines Ġ= Ġdoc . defines () ĊĠĠĠĠĠĠĠ ĠassertThat ( defines . size ). isEqualTo ( 1 ) ĊĠĠĠĠĠĠĠ Ġval Ġdef Ġ= Ġdefines [ 0 ] ĊĠĠĠĠĠĠĠ Ġval Ġstmt Ġ= Ġdef . id . to Statement () ĊĠĠĠĠĠĠĠ Ġval Ġsignatures Ġ= ĊĠĠĠĠĠĠĠĠĠĠĠ ĠfindAll Statement Signatures ( stmt , Ġignore L hs Equal Ġ= Ġfalse , Ġnew Location Tracker ()) ĊĠĠĠĠĠĠĠ ĠassertThat ( signatures ) ĊĠĠĠĠĠĠĠĠĠĠĠ Ġ. isEqualTo ( set Of ( Signature ( form Ġ= Ġ"\\ abc ", Ġlocation Ġ= ĠLocation ( row Ġ= Ġ- 1 , Ġcolumn Ġ= Ġ- 1 )))) ĊĠĠĠ Ġ} Ċ } Ċ