//private static MethodDeclarationSyntax FindObjectInvariantMethod(SemanticModel sm, ClassDeclarationSyntax classnode) private static MethodDeclarationSyntax FindObjectInvariantMethod(SemanticModel sm, TypeDeclarationSyntax classnode) { #region CodeContracts Contract.Requires(sm != null); Contract.Requires(classnode != null); #endregion CodeContracts var finder = new ObjectInvariantMethodFinder(sm); finder.Visit((SyntaxNode)classnode); return(finder.theinvariantmethod); }
//private static MethodDeclarationSyntax FindObjectInvariantMethod(SemanticModel sm, ClassDeclarationSyntax classnode) private static MethodDeclarationSyntax FindObjectInvariantMethod(SemanticModel sm, TypeDeclarationSyntax classnode) { #region CodeContracts Contract.Requires(sm != null); Contract.Requires(classnode != null); #endregion CodeContracts var finder = new ObjectInvariantMethodFinder(sm); finder.Visit((SyntaxNode) classnode); return finder.theinvariantmethod; }