Nemerle Documentation

Ensures_method_postaddMacro Members

Ensures_method_postaddMacro overview

Public Instance Constructors

Ensures_method_postaddMacro Constructor Initializes a new instance of the Ensures_method_postaddMacro class.

Public Instance Properties

IsInherited  
IsTailRecursionTransparent  
Keywords  
Usage  

Public Instance Methods

CallTransform  
Equals (inherited from Object)  
GetHashCode (inherited from Object)  
GetName  
GetNamespace  
GetType (inherited from Object)  
Run  
SyntaxExtension  
ToString (inherited from Object)  

See Also

Ensures_method_postaddMacro Class | Nemerle.Assertions Namespace