C# (CSharp) Mono.CodeContracts.Rewrite ConditionTextExtractor 예제들

예제 #1

파일: TransformContractsVisitor.cs 프로젝트: pmq20/mono_forked

        private string GetConditionString(Expr e)
        {
            var vSource = new SourcePositionVisitor(this.instructionLookup);

            vSource.Visit(e);
            var extractor = new ConditionTextExtractor(vSource.SourceCodeFileName, vSource.StartPosition, vSource.EndPosition);

            return(extractor.GetConditionText());
        }

예제 #2

파일: TransformContractsVisitor.cs 프로젝트: afaerber/mono

		private string GetConditionString (Expr e)
		{
			var vSource = new SourcePositionVisitor (this.instructionLookup);
			vSource.Visit (e);
			var extractor = new ConditionTextExtractor (vSource.SourceCodeFileName, vSource.StartPosition, vSource.EndPosition);
			return extractor.GetConditionText ();
		}