package Ġio . gitlab . art urb os ch . de te kt . api Ċ Ċ /** Ċ Ġ* ĠAn Ġextension Ġwhich Ġallows Ġusers Ġto Ġvalidate Ġparts Ġof Ġthe Ġconfiguration . Ċ Ġ* Ċ Ġ* ĠRule Ġauthors Ġcan Ġvalidate Ġif Ġspecific Ġproperties Ġdo Ġappear Ġin Ġtheir Ġconfig Ċ Ġ* Ġor Ġif Ġtheir Ġvalue Ġlies Ġin Ġa Ġspecified Ġrange . Ċ Ġ*/ Ċ interface ĠConfig Validator Ġ: ĠExtension Ġ{ ĊĊĠĠĠ Ġ/** ĊĠĠĠĠ Ġ* ĠExec utes Ġqueries Ġon Ġgiven Ġconfig Ġand Ġreports Ġany Ġwarnings Ġor Ġerrors Ġvia Ġ[ Notification ] s . ĊĠĠĠĠ Ġ*/ ĊĠĠĠ Ġfun Ġvalidate ( config : ĠConfig ): ĠCollection < Notification > Ċ } Ċ