예제 #1
0
 public static bool IsObjectInvariantMethod(this IMethodDeclaration methodDeclaration)
 {
     return(methodDeclaration.HasAttribute(typeof(ContractInvariantMethodAttribute)));
 }