public static bool IsObjectInvariantMethod(this IMethodDeclaration methodDeclaration) { return(methodDeclaration.HasAttribute(typeof(ContractInvariantMethodAttribute))); }
public static bool IsObjectInvariantMethod(this IMethodDeclaration methodDeclaration) { return(methodDeclaration.HasAttribute(typeof(ContractInvariantMethodAttribute))); }