C# (CSharp) CodeContractNullability.ExternalAnnotations ExternalAnnotationDocumentParser 예제들

예제 #1

파일: FolderExternalAnnotationsLoader.cs 프로젝트: tom-englert/ResharperCodeContractNullability

        private static ExternalAnnotationsCache ScanForMemberExternalAnnotations()
        {
            var result   = new ExternalAnnotationsMap();
            var parser   = new ExternalAnnotationDocumentParser();
            var recorder = new HighestLastWriteTimeUtcRecorder();

            foreach (string path in EnumerateAnnotationFiles())
            {
                recorder.VisitFile(path);

                using (StreamReader reader = File.OpenText(path))
                {
                    parser.ProcessDocument(reader, result);
                }
            }

            Compact(result);

            if (!result.Any())
            {
                throw GetErrorForMissingExternalAnnotations();
            }

            return(new ExternalAnnotationsCache(recorder.HighestLastWriteTimeUtc, result));
        }

예제 #2

파일: AssemblyExternalAnnotationsLoader.cs 프로젝트: imanushin/ResharperCodeContractNullability

        public static ExternalAnnotationsMap ParseFile([NotNull] string externalAnnotationsPath)
        {
            Guard.NotNull(externalAnnotationsPath, nameof(externalAnnotationsPath));

            using (TextReader reader = File.OpenText(externalAnnotationsPath))
            {
                var map = new ExternalAnnotationsMap();

                var parser = new ExternalAnnotationDocumentParser();
                parser.ProcessDocument(reader, map);

                return map;
            }
        }

예제 #3

        public static ExternalAnnotationsMap ParseFile([NotNull] string externalAnnotationsPath)
        {
            Guard.NotNull(externalAnnotationsPath, nameof(externalAnnotationsPath));

            using (TextReader reader = File.OpenText(externalAnnotationsPath))
            {
                var map = new ExternalAnnotationsMap();

                var parser = new ExternalAnnotationDocumentParser();
                parser.ProcessDocument(reader, map);

                return(map);
            }
        }

예제 #4

파일: FolderExternalAnnotationsLoader.cs 프로젝트: bkoelman/ResharperCodeContractNullability

        private static ExternalAnnotationsCache ScanForMemberExternalAnnotations()
        {
            var result = new ExternalAnnotationsMap();
            var parser = new ExternalAnnotationDocumentParser();
            var recorder = new HighestLastWriteTimeUtcRecorder();

            foreach (string path in EnumerateAnnotationFiles())
            {
                recorder.VisitFile(path);

                using (StreamReader reader = File.OpenText(path))
                {
                    parser.ProcessDocument(reader, result);
                }
            }

            Compact(result);

            if (!result.Any())
            {
                throw GetErrorForMissingExternalAnnotations();
            }

            return new ExternalAnnotationsCache(recorder.HighestLastWriteTimeUtc, result);
        }