Ejemplos de Mono.CodeContracts.Rewrite ConditionTextExtractor en C# (CSharp)

Ejemplo n.º 1

Archivo: TransformContractsVisitor.cs Proyecto: 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());
        }

Ejemplo n.º 2

Archivo: TransformContractsVisitor.cs Proyecto: 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 ();
		}