sink

fun sink(token: String, paramIndex: Int = 0, asil: ASIL? = null)

Declare a DSL sink function.

Parameters

token

Fully qualified function name (e.g. "ns::Class::WriteFoo(int)").

paramIndex

Zero-based index of the sink parameter (must be ≥0).

asil

ASIL override, or null to use defaultAsil.