Assertion (software development): Difference between revisions

Content deleted Content added
m added clarifying connector
hatnoted to disambiguate SAML security assertions from the software concept of assertions
Line 1:
{{About|the computer programming concept|assertions in the context of the [[Security Assertion Markup Language]] (SAML) open standard|Security Assertion Markup Language#Assertions}}
 
In [[computer programming]], an '''assertion''' is a [[Statement (computer science)|statement]] that a [[Predicate (mathematical logic)|predicate]] ([[Boolean-valued function]], i.e. a true–false [[Expression (computer science)|expression]]) is expected to always be true at that point in the code. If an assertion evaluates to false at run time, an assertion failure results, which typically causes the program to [[Crash (computing)|crash]], or to throw an assertion [[exception handling|exception]].