Was this page helpful?
Your feedback about this content is important. Let us know what you think.
Additional feedback?
1500 characters remaining
Export (0) Print
Expand All

Model Program Attributes

Model programs are created by using a set of custom attributes and predefined types that determine the interpretation in Spec Explorer of various programming elements. This section describes the attributes used in Model Programs.

In This Section

See Also

Other Resources

Spec Explorer Reference



Show:
© 2015 Microsoft