/* Ċ Ġ* ĠCopyright Ġ 2 0 1 4 - 2 0 2 0 Ġ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 Ġjet brains . mps . logic . reactor . core . internal Ċ Ċ import Ġjet brains . mps . logic . reactor . core . Occurrence Ċ import Ġjet brains . mps . logic . reactor . evaluation . Rule Match Ċ import Ġjet brains . mps . logic . reactor . program . Incremental Contract Violation Exception Ċ import Ġjet brains . mps . logic . reactor . program . Incremental Spec Ċ import Ġjet brains . mps . logic . reactor . program . Rule Ċ Ċ @ Deprecated (" ob solete Ġclass ") Ċ interface ĠIn cr Spec Holder Ġ{ ĊĠĠĠ Ġval Ġis pec : ĠIncrement al Spec ĊĊĠĠĠ Ġval ĠOcc urrence . is Principal Ġget () Ġ= Ġis pec . is Principal ( this . constraint ()) ĊĊĠĠĠ Ġval ĠRule Match . is Principal Ġget () Ġ= Ġis pec . is Principal ( this . rule ()) ĊĠĠĠ Ġval ĠRule . is Principal Ġget () Ġ= Ġis pec . is Principal ( this ) ĊĊĠĠĠ Ġval ĠRule Match . is Weak Principal Ġget () Ġ= Ġis pec . is Weak Principal ( this . rule ()) ĊĠĠĠ Ġval ĠRule . is Weak Principal Ġget () Ġ= Ġis pec . is Weak Principal ( this ) Ċ Ċ } Ċ