C# (CSharp) ObjectInvariantMethodAdder 예제들

예제 #1

        //private static MethodDeclarationSyntax AddObjectInvariantMethod(ClassDeclarationSyntax class_to_add_to)
        private static MethodDeclarationSyntax AddObjectInvariantMethod(TypeDeclarationSyntax class_to_add_to)
        {
            Contract.Ensures(Contract.Result <MethodDeclarationSyntax>() != null);

            var oima = new ObjectInvariantMethodAdder();
            //var newclass = oima.Visit(class_to_add_to) as ClassDeclarationSyntax;
            var newclass = oima.Visit(class_to_add_to) as TypeDeclarationSyntax;

            return(oima.invariantmethod);
        }

예제 #2

파일: ObjectInvariantHelpers.cs 프로젝트: scottcarr/ccbot

 //private static MethodDeclarationSyntax AddObjectInvariantMethod(ClassDeclarationSyntax class_to_add_to)
 private static MethodDeclarationSyntax AddObjectInvariantMethod(TypeDeclarationSyntax class_to_add_to)
 {
   Contract.Ensures(Contract.Result<MethodDeclarationSyntax>() != null);
   
   var oima = new ObjectInvariantMethodAdder();
   //var newclass = oima.Visit(class_to_add_to) as ClassDeclarationSyntax;
   var newclass = oima.Visit(class_to_add_to) as TypeDeclarationSyntax;
   return oima.invariantmethod;
 }