/* Ċ Ġ* ĠCopyright Ġ 2 0 1 4 - 2 0 1 9 Ġ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 . Feedback Ċ import Ġjet brains . mps . logic . reactor . core . Composite Feedback Ċ Ċ /** Ċ Ġ* ĠCorre spon ds Ġto Ġthe Ġstatus Ġgiven Ġby Ġthe Ġmost Ġrecent Ġconstraint Ġactivation Ġor Ġpredicate Ġevaluation . Ċ Ġ* Ċ Ġ* ĠA Ġdis joint Ġunion Ġof Ġtypes : Ċ Ġ* Ġ ĠNORMAL Ġ- Ġthe Ġfeedback Ġis Ġneutral Ġor Ġthere Ġis Ġno Ġfeedback Ċ Ġ* Ġ ĠFAILED Ġ- Ġthe Ġfeedback Ġis Ġa Ġfailure Ċ Ġ* Ġ ĠAB ORT ED Ġ- Ġthe Ġfeedback Ġis Ġnegative , Ġbut Ġnot Ġa Ġfailure Ċ Ġ* Ċ Ġ*/ Ċ abstract Ġclass ĠFeedback Status ( val Ġfeedback Ġ: ĠFeedback ?) Ġ{ ĊĊĠĠĠ Ġabstract Ġval Ġoperational Ġ: ĠBoolean Ċ Ċ // ĠĠĠ Ġinline Ġfun Ġeval ( block : Ġ( Feedback Status ) Ġ-> ĠFeedback Status ): ĠFeedback Status Ġ= Ċ // ĠĠĠĠĠĠĠ Ġif Ġ( operation al ) Ġblock ( this ) Ġelse Ġthis ĊĠĠĠĠĊĠĠĠ Ġ/** ĠStop Ġwhat Ġis Ġbeing Ġdone Ġbecause Ġa Ġrequired Ġcondition Ġis Ġnot Ġsatisfied . Ġ*/ ĊĠĠĠ Ġopen Ġfun Ġabort ( details : ĠFeedback ) Ġ: ĠFeedback Status Ġ= Ġthrow ĠIllegalStateException () ĊĊĠĠĠ Ġ/** ĠFailure Ġoccurred Ġduring Ġprocessing . Ġ*/ ĊĠĠĠ Ġopen Ġfun Ġfail ( failure : ĠFeedback ) Ġ: ĠFeedback Status Ġ= Ġthrow ĠIllegalStateException () ĊĊĠĠĠ Ġ/** ĠProvide Ġdetailed Ġfeedback . Ġ*/ ĊĠĠĠ Ġopen Ġfun Ġreport ( details : ĠFeedback ) Ġ: ĠFeedback Status Ġ= Ġthrow ĠIllegalStateException () ĊĊĠĠĠ Ġ/** ĠMove Ġback Ġto Ġnormal . Ġ*/ ĊĠĠĠ Ġopen Ġfun Ġrecover () Ġ: ĠFeedback Status Ġ= Ġthrow ĠIllegalStateException () ĊĊĠĠĠ Ġclass ĠNORMAL ( feedback : ĠFeedback ? Ġ= Ġnull ) Ġ: ĠFeedback Status ( feedback ) Ġ{ ĊĠĠĠĠĠĠĠ Ġoverride Ġval Ġoperational Ġ= Ġtrue ĊĠĠĠĠĠĠĠ Ġoverride Ġfun Ġabort ( details : ĠFeedback ): ĠFeedback Status Ġ= ĠAB ORT ED ( this , Ġdetails ) ĊĠĠĠĠĠĠĠ Ġoverride Ġfun Ġfail ( failure : ĠFeedback ): ĠFeedback Status Ġ= ĠFAILED ( this , Ġfailure ) ĊĠĠĠĠĠĠĠ Ġoverride Ġfun Ġreport ( details : ĠFeedback ): ĠFeedback Status Ġ= ĠNORMAL ( compose ( this . feedback , Ġdetails )) ĊĠĠĠ Ġ} ĊĊĠĠĠ Ġclass ĠFAILED ( status : ĠFeedback Status , Ġval Ġfailure : ĠFeedback ) Ġ: ĠFeedback Status ( compose ( status . feedback , Ġfailure )) Ġ{ ĊĠĠĠĠĠĠĠ Ġoverride Ġval Ġoperational Ġ= Ġfalse ĊĠĠĠĠĠĠĠ Ġ/** ĠRe cover Ġafter Ġa Ġfailure Ġor Ġa Ġcancellation , Ġbring Ġthe Ġstatus Ġback Ġto Ġoperational . Ġ*/ ĊĠĠĠĠĠĠĠ Ġoverride Ġfun Ġrecover (): ĠFeedback Status Ġ= ĠNORMAL ( feedback ) ĊĠĠĠ Ġ} ĊĊĠĠĠ Ġclass ĠAB ORT ED ( status : ĠFeedback Status , Ġval Ġreason : ĠFeedback ) Ġ: ĠFeedback Status ( compose ( status . feedback , Ġreason )) Ġ{ ĊĠĠĠĠĠĠĠ Ġoverride Ġval Ġoperational Ġ= Ġfalse ĊĠĠĠĠĠĠĠ Ġoverride Ġfun Ġrecover (): ĠFeedback Status Ġ= ĠNORMAL ( Composite Feedback . drop Last ( feedback )) ĊĠĠĠ Ġ} Ċ } Ċ Ċ internal Ġfun Ġcompose ( left : ĠFeedback ?, Ġright : ĠFeedback ?) Ġ= ĠComposite Feedback . of ( left , Ġright ) Ċ Ċ data Ġclass ĠReport Message ( val Ġseverity : ĠSeverity , Ġval Ġmessage : ĠString ) Ċ Ċ enum Ġclass ĠSeverity ( val Ġlevel : ĠInt ) Ġ{ ĊĠĠĠ ĠINFO ( 0 ), ĊĠĠĠ ĠWARNING ( 1 ), ĊĠĠĠ ĠERROR ( 2 ), ĊĠĠĠ ĠFAT AL ( 3 ) Ċ } Ċ