The AssertInline and AssertNoInline assertions are flags at a call site which instructs Polaris to either inline the code in the subroutine at that place, or not. The Polaris switch settings tell Polaris how to interpret any INLINE or NOINLINE directives which it finds in a source file.
The CSRD directive forms of the AssertInline and AssertNoInline assertions are:
CSRD$ INLINE CSRD$ NOINLINE
An example of its usage is as follows:
CSRD$ INLINE
call addup (a, b, c)