Export (0) Print
Expand All
This topic has not yet been rated - Rate this topic

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



Did you find this helpful?
(1500 characters remaining)
Thank you for your feedback
Show:
© 2014 Microsoft. All rights reserved.