Document! X 2017
In This Topic
    CodeContractKind Metadata Element
    In This Topic
    Description
    Outputs the kind of the current Code Contract (invariant, requires, ensures, ensuresOnThrow, pure).

     

     

    © 2018 Innovasys. All Rights Reserved.

    Send comments on this topic.