//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;
}
