nitc :: MContract :: adapt_msignature
m_signature
to the contractIf m_signature == null
return a new MSignature
else it calls a specific adapt method see adapt_specific_msignature
# Adapt the `m_signature` to the contract
# If `m_signature == null` return a new `MSignature` else it calls a specific adapt method see `adapt_specific_msignature`
private fun adapt_msignature(m_signature: nullable MSignature): MSignature
do
if m_signature == null then return new MSignature(new Array[MParameter])
return adapt_specific_msignature(m_signature)
end
src/contracts.nit:298,2--304,4