Skip to content

unit AssertProvider

em.utils/AssertProvider.em
 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
package em.utils

from em.lang import AssertProviderI

import Error
import Logger

module AssertProvider: AssertProviderI

private:

    config assertMsgE: Logger.EventKind&
    config assertSiteE: Logger.EventKind&

end

def em$construct()
    assertMsgE = Logger.declareEventH("ASSERT: $F", "*--*")
    assertSiteE = Logger.declareEventH("ASSERT: $a, line %d", "*--*")
end

def enabled()
    return Logger.POLICY != Logger.Policy.NIL
end

def trigger(upath, line, msg, arg1, arg2)
    assertSiteE.log(<addr_t>upath, line)
    assertMsgE.log(<addr_t>msg, <addr_t>arg1, <addr_t>arg2) if msg
    Error.raise(Error.Kind.ASSERTION, 0, 0)
end