/* Ċ Ġ* ĠCopyright Ġ 2 0 1 0 - 2 0 1 6 ĠJetBrains Ġs . r . o . Ċ Ġ* Ċ Ġ* Ġ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 Ċ Ġ* Ċ Ġ* Ġhttp :// 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 Ġorg . jetbrains . kotlin . ir 2 cfg . builders Ċ Ċ import Ġorg . jetbrains . kotlin . ir . Ir Statement Ċ import Ġorg . jetbrains . kotlin . ir 2 cfg . graph . Control Flow Graph Ċ Ċ interface ĠControl Flow Graph Builder Ġ{ ĊĠĠĠ Ġ// ĠAdd Ġelement Ġto Ġthe Ġbuilder Ġpointer ĊĠĠĠ Ġfun Ġadd ( element : ĠIr Statement ) ĊĊĠĠĠ Ġ// ĠMove Ġbuilder Ġpointer Ġto Ġelement Ġwithout Ġchanging Ġgraph ĊĠĠĠ Ġfun Ġmove ( to : ĠIr Statement ) ĊĊĠĠĠ Ġ// ĠConnect Ġbuilder Ġpointer Ġwith Ġthe Ġgiven Ġelement Ġand Ġmove Ġpointer Ġto Ġthis Ġelement ĊĠĠĠ Ġfun Ġjump ( to : ĠIr Statement ) ĊĊĠĠĠ Ġ// ĠConnect Ġfrom Ġwith Ġto Ġand Ġmove Ġpointer Ġto Ġthe Ġdestination ĊĠĠĠ Ġfun Ġjump ( to : ĠIr Statement , Ġfrom : ĠIr Statement ) ĊĊĠĠĠ Ġ// ĠBuild ĠCFG Ġfrom Ġbuilder ĊĠĠĠ Ġfun Ġbuild (): ĠControl Flow Graph Ċ }