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

• Rule Attribute

• State Attributes

• TypeBinding Attribute

• ModelingAssembly Attribute

• NativeType Attribute

• Probe Attribute

• Feature Attribute

• Mode Sets

• Parameter Domains

See Also

Other Resources

Spec Explorer Reference