示例#1
0
文件: ValDoc.cs 项目: emtees/old-code
	public static void Main( string[] args ) {
	    try { 
		
		if( args.Length != 1 ) {
		    Console.Error.WriteLine("valdoc: wrong nr of arguments");
		    Console.Error.WriteLine("valdoc: usage: valdoc <xml file>");
		    Environment.Exit(1);
		}
	    
		Stream schemaStream = new MemoryStream( Encoding.UTF8.GetBytes( RelaxNgSchema.SCHEMA ) ); 
		xmlFile = args[0];

		XmlReader schema = new XmlTextReader( schemaStream );
		XmlReader document = new XmlTextReader( xmlFile );
	    
		XmlDocument doc = new XmlDocument ();
		XmlReader rvr = new RelaxngValidatingReader ( document, schema);
	    
		while( rvr.Read() );
		Console.WriteLine("valdoc: document {0} is VALID.", new FileInfo(xmlFile).Name );
		
	    } catch ( RngException ex ) {
		Console.Error.WriteLine("valdoc: document {0} is NOT VALID.",xmlFile);
		Console.Error.WriteLine( "valdoc: {0}" , ex.Message );
		Environment.Exit(1);
	    } catch ( Exception ex ) {
		Console.Error.WriteLine("valdoc: internal error");
		Console.Error.WriteLine("valdoc: {0}", ex.Message );
		Environment.Exit(1);
	    }
	}
        public bool Verify(string content, out TestResult result)
        {
            if (content == null)
            {
                throw new ArgumentNullException("content");
            }

            using (StringReader sr = new StringReader(content))
            {
                XmlTextReader xtrXml = new XmlTextReader(sr);

                using (RelaxngValidatingReader vr = new RelaxngValidatingReader(xtrXml, this.rngPattern))
                {
                    try
                    {
                        while (vr.Read())
                        {
                            // Ignore
                        }

                        result = new TestResult();
                        return true;
                    }
                    catch (RelaxngException rngex)
                    {
                        result = new TestResult() { LineNumberInError = vr.LineNumber, ErrorDetail = rngex.Message };
                    }

                    return false;
                }
            }
        }
		public static int sMain (string [] args)
		{
			if (args.Length < 1) {
				Console.WriteLine ("Usage: monodoc2wiki monodoc_xmlfile");
				return 1;
			}

			XmlDocument doc = new XmlDocument ();
#if VALIDATION
			XmlTextReader xr = new XmlTextReader (args [0]);
			RelaxngPattern rp = RncParser.ParseRnc (new StreamReader ("CLILibraryTypes.rnc"));
Console.Error.WriteLine ("**** READY ****");
rp.Compile ();
Console.Error.WriteLine ("**** DONE ****");
			RelaxngValidatingReader rvr = new RelaxngValidatingReader (xr, rp);
			doc.Load (rvr);
			rvr.Close ();
#else
			doc.Load (args [0]);
#endif
			Monodoc2Wiki instance = new Monodoc2Wiki ();
			string ret = instance.ProcessNode (doc.DocumentElement);

			Console.WriteLine (ret);

			return 0;
		}
	static void RunTest ()
	{
		foreach (DirectoryInfo di in new DirectoryInfo (@"relax-ng").GetDirectories ()) {
			XmlTextReader xtr = null;
			FileInfo fi = new FileInfo (di.FullName + "/i.rng");
			// Invalid grammar case:
			if (fi.Exists) {
				xtr = new XmlTextReader (fi.FullName);
				try {
					RelaxngPattern.Read (xtr).Compile ();
					Console.WriteLine ("Expected error: " + di.Name);
				} catch (RelaxngException ex) {
				} catch (XmlException ex) {
				} catch (ArgumentNullException ex) {
				} catch (UriFormatException ex) {
				} catch (Exception ex) {
					Console.WriteLine ("Unexpected error type : " + di.Name + " : " + ex.Message);
				} finally {
					xtr.Close ();
				}
				continue;
			}

			// Valid grammar case:
			xtr = new XmlTextReader (di.FullName + "/c.rng");
			RelaxngPattern p = null;
			try {
				p = RelaxngPattern.Read (xtr);
				p.Compile ();
				} catch (Exception ex) {
					Console.WriteLine ("Invalidated grammar: " + di.Name + " : " + ex.Message);
					continue;
			} finally {
				xtr.Close ();
			}


			// Instance validation
			foreach (FileInfo inst in di.GetFiles ("*.xml")) {
				try {
					RelaxngValidatingReader vr = new RelaxngValidatingReader (new XmlTextReader (inst.FullName), p);
					if (skip_error)
						vr.InvalidNodeFound += RelaxngValidatingReader.IgnoreError;
					while (!vr.EOF)
						vr.Read ();
					if (inst.Name.IndexOf ("i.") >= 0 && !skip_error)
						Console.WriteLine ("Incorrectly validated instance: " + di.Name + "/" + inst.Name);
				} catch (RelaxngException ex) {
					string path = di.Name + "/" + inst.Name;
					if (skip_error)
						Console.WriteLine ("Failed to skip error : " + path + ex.Message);
					if (inst.Name.IndexOf ("i.") >= 0)
						continue;
					Console.WriteLine ("Invalidated instance: " + path + " : " + ex.Message);
				}
			}
		}
	}
		public void ValidateRelaxngGrammar ()
		{
			// validate relaxng.rng with relaxng.rng
			RVR r = new RVR (
				new XmlTextReader ("Test/XmlFiles/relaxng.rng"),
				new XmlTextReader ("Test/XmlFiles/relaxng.rng"));
			while (!r.EOF)
				r.Read ();
		}
示例#6
0
		public override XmlReader CreateValidator (XmlReader reader,
			XmlResolver resolver)
		{
			// XmlResolver is never used.
			RelaxngValidatingReader rvr = 
				new RelaxngValidatingReader (
					reader, pattern);
			rvr.ReportDetails = true;
			return rvr;
		}
		public void Bug463267 ()
		{
			var datatypeLibrary = SetupMyDataProvider ();
			XmlDocument xml = new XmlDocument ();
			xml.LoadXml ("<root> <v2>1</v2> <v1>mytype</v1> </root>");
			XmlDocument schemaXml = ReadDoc ("Test/XmlFiles/463267.rng");
			XmlReader reader = new RelaxngValidatingReader (new XmlNodeReader (xml), new XmlNodeReader (schemaXml), datatypeLibrary);
			while (reader.Read ())
				;
		}
示例#8
0
        public void ValidateRelaxngGrammar()
        {
            // validate relaxng.rng with relaxng.rng
            RVR r = new RVR(
                new XmlTextReader("Test/XmlFiles/relaxng.rng"),
                new XmlTextReader("Test/XmlFiles/relaxng.rng"));

            while (!r.EOF)
            {
                r.Read();
            }
        }
        public void ValidateRelaxngGrammar()
        {
            // validate relaxng.rng with relaxng.rng
            RVR r = new RVR(
                new XmlTextReader(TestResourceHelper.GetFullPathOfResource("Test/XmlFiles/relaxng.rng")),
                new XmlTextReader(TestResourceHelper.GetFullPathOfResource("Test/XmlFiles/relaxng.rng")));

            while (!r.EOF)
            {
                r.Read();
            }
        }
示例#10
0
		public override TestResult Run ()
		{
			RelaxngValidatingReader v = new RelaxngValidatingReader (
					new XmlTextReader (new StringReader (Validator.Text)),
					Validator.RelaxSchema);

			try {
				while (v.Read ()) { }
			} catch (RelaxngException e) {
				return new TestResult (Severity.Error, e.Message);
			}

			return new TestResult (Severity.Success);
		}
示例#11
0
		/// <summary>
		/// Get the first validation error for the given XML document, converting an error in
		/// xmlns (namespace) attribute to a version problem, since that's where the version
		/// number is set.  Returns null if there are no errors.
		/// </summary>
		/// <param name="documentReader"></param>
		/// <returns>string describing first validation error, or null if there are none</returns>
		static public string GetAnyValidationErrors(XmlTextReader documentReader)
		{
			using (Stream stream = Assembly.GetExecutingAssembly().GetManifestResourceStream("SIL.OxesIO.oxes.rng"))
			using (XmlTextReader rngReader = new XmlTextReader(stream))
			using (RelaxngValidatingReader reader = new RelaxngValidatingReader(documentReader, rngReader))
			{
				//RelaxngValidatingReader reader = new RelaxngValidatingReader(documentReader,
				//    new XmlTextReader(Assembly.GetExecutingAssembly().GetManifestResourceStream("SIL.OxesIO.oxes.rng")));
				reader.ReportDetails = true;
				string lastGuy = "oxes";
				try
				{
					while (!reader.EOF)
					{
						//Debug.WriteLine(reader.Value);
						reader.Read();
						lastGuy = reader.Name;
					}
				}
				catch (Exception e)
				{
					string xmlns = null;
					if (reader.Name == "oxes")
						xmlns = reader.GetAttribute("xmlns");
					else if (reader.Name == "xmlns" && (lastGuy == "oxes" || lastGuy == ""))
						xmlns = reader.Value;
					if (String.IsNullOrEmpty(xmlns))
					{
						return String.Format(OxesIOStrings.ksErrorNear, e.Message, lastGuy, reader.Name, reader.Value);
					}
					else
					{
						string sVersion;
						int idx = xmlns.IndexOf("version_");
						if (idx >= 0)
							sVersion = xmlns.Substring(idx + 8);
						else
							sVersion = xmlns;
						return String.Format(OxesIOStrings.ksWrongVersion, sVersion, OxesVersion);
					}
				}
				return null;
			}
		}
示例#12
0
 public static string GetFirstValidationError(string rngFile, string document)
 {
     RelaxngValidatingReader reader = new RelaxngValidatingReader(
         new XmlTextReader(document), new XmlTextReader(rngFile));
     reader.ReportDetails = true;
     string lastGuy = "";
     try
     {
         while (!reader.EOF)
         {
             reader.Read();
             lastGuy = reader.Name;
         }
     }
     catch (Exception e)
     {
         return String.Format("{0}\r\nError near: {1} {2} '{3}'",
             e.Message, lastGuy, reader.Name, reader.Value);
     }
     return null;
 }
示例#13
0
        // --- Methods ---
        public ScriptManifestValidationResult Validate(string path) {
            try {
                XmlTextReader xmlReader = new XmlTextReader(path);
                RelaxngValidatingReader validator;

                using(Stream resourceStream
                    = Plug.New("resource://mindtouch.deki.script.check/MindTouch.Deki.Script.ExtensionManifest.rnc").Get().ToStream()) {
                    using(TextReader source = new StreamReader(resourceStream)) {
                        RncParser parser = new RncParser(new NameTable());
                        RelaxngPattern pattern = parser.Parse(source);
                        validator = new RelaxngValidatingReader(xmlReader, pattern);
                    }
                }
                while(validator.Read()) {
                    // do nothing, errors will be reported through exceptions
                }
            } catch(Exception e) {
                return new ScriptManifestValidationResult(true, e.Message);
            }

            return new ScriptManifestValidationResult();
        }
示例#14
0
        static void ValidateRelaxng(RelaxngPattern p, string [] args)
        {
            p.Compile();

            if (args.Length < 2)
            {
                return;
            }

            for (int i = 2; i < args.Length; i++)
            {
                XmlTextReader           xtr = new XmlTextReader(args [i]);
                RelaxngValidatingReader vr  =
                    new RelaxngValidatingReader(xtr, p);
                if (Environment.GetEnvironmentVariable("MONO_XMLTOOL_ERROR_DETAILS") == "yes")
                {
                    vr.ReportDetails = true;
                }
                else
                {
                    vr.InvalidNodeFound += delegate(XmlReader source, string message)
                    {
                        IXmlLineInfo li = source as IXmlLineInfo;
                        Console.WriteLine("ERROR: {0} (at {1} line {2} column {3})",
                                          message,
                                          source.BaseURI,
                                          li != null && li.HasLineInfo() ? li.LineNumber : 0,
                                          li != null && li.HasLineInfo() ? li.LinePosition : 0);
                        return(true);
                    }
                };

                while (!vr.EOF)
                {
                    vr.Read();
                }
            }
        }
示例#15
0
文件: xmltool.cs 项目: nobled/mono
		static void ValidateRelaxng (RelaxngPattern p, string [] args)
		{
			p.Compile ();

			if (args.Length < 2)
				return;

			for (int i = 2; i < args.Length; i++) {
				XmlTextReader xtr = new XmlTextReader (args [i]);
				RelaxngValidatingReader vr = 
					new RelaxngValidatingReader (xtr, p);
				if (Environment.GetEnvironmentVariable ("MONO_XMLTOOL_ERROR_DETAILS") == "yes")
					vr.ReportDetails = true;
				else
					vr.InvalidNodeFound += delegate (XmlReader source, string message) {
						IXmlLineInfo li = source as IXmlLineInfo;
						Console.WriteLine ("ERROR: {0} (at {1} line {2} column {3})",
							message,
							source.BaseURI,
							li != null && li.HasLineInfo () ? li.LineNumber : 0,
							li != null && li.HasLineInfo () ? li.LinePosition : 0);
						return true;
					};

				while (!vr.EOF)
					vr.Read ();
			}
		}
示例#16
0
		///<summary>
		/// Validate the LIFT file contained in the XmlTextReader.  Progress reporting is
		/// supported.
		///</summary>
		static private string GetSchemaValidationErrors(string path,IValidationProgress progress)
		{
			using (XmlTextReader documentReader = new XmlTextReader(path))
			{
				progress.Status = "Checking for Schema errors...";
				var resourceStream = typeof (LiftMultiText).Assembly.GetManifestResourceStream("Palaso.Lift.Validation.lift.rng");
				if (resourceStream == null)
					throw new Exception();
				RelaxngValidatingReader reader = new RelaxngValidatingReader(
					documentReader, new XmlTextReader(resourceStream));
				reader.ReportDetails = true;
				string lastGuy = "lift";
				int line = 0;
				int step = 0;
				if (progress != null)
				{
					try
					{
						if (documentReader.BaseURI != null)
						{
							string sFilePath = documentReader.BaseURI.Replace("file://", "");
							if (sFilePath.StartsWith("/"))
							{
								// On Microsoft Windows, the BaseURI may be "file:///C:/foo/bar.lift"
								if (sFilePath.Length > 3 &&
									Char.IsLetter(sFilePath[1]) && sFilePath[2] == ':' && sFilePath[3] == '/')
								{
									sFilePath = sFilePath.Substring(1);
								}
							}
							System.IO.FileInfo fi = new System.IO.FileInfo(sFilePath);
							// Unfortunately, XmlTextReader gives access to only line numbers,
							// not actual file positions while reading.  A check of 8 Flex
							// generated LIFT files showed a range of 43.9 - 52.1 chars per
							// line.  The biatah sample distributed with WeSay has an average
							// of only 23.1 chars per line.  We'll compromise by guessing 33.
							// The alternative is to read the entire file to get the actual
							// line count.
							int maxline = (int) (fi.Length/33);
							if (maxline < 8)
								progress.MaxRange = 8;
							else if (maxline < 100)
								progress.MaxRange = maxline;
							else
								progress.MaxRange = 100;
							step = (maxline + 99)/100;
						}
						if (step <= 0)
							step = 1;
					}
					catch
					{
						step = 100;
					}
				}
				try
				{
					while (!reader.EOF)
					{
						// Debug.WriteLine(reader.v
						reader.Read();
						lastGuy = reader.Name;
						if (progress != null && reader.LineNumber != line)
						{
							line = reader.LineNumber;
							if (line%step == 0)
								progress.Step(1);
						}
					}
				}
				catch (Exception e)
				{
					if (reader.Name == "version" && (lastGuy == "lift" || lastGuy == ""))
					{
						return String.Format(
							"This file claims to be version {0} of LIFT, but this version of the program uses version {1}",
							reader.Value, LiftVersion);
					}
					string m = string.Format("{0}\r\nError near: {1} {2} '{3}'", e.Message, lastGuy, reader.Name, reader.Value);
					return m;
				}
				return null;
			}
		}
示例#17
0
		void Run (string [] args)
		{
			if (args.Length < 2) {
				Console.WriteLine ("specify arguments: path_to_ldml_files config_file");
				return;
			}
			string dirname = args [0];
			string configFileName = args [1];
			string config = null;
			using (StreamReader sr = new StreamReader (configFileName)) {
				config = sr.ReadToEnd ();
			}
			foreach (string configLine in config.Split ('\n')) {
				int idx = configLine.IndexOf ('#');
				string line = idx < 0 ? configLine : configLine.Substring (0, idx);
				if (line.StartsWith ("ignore: "))
					ignoredFiles.Add (line.Substring (8).Trim ());
			}

			XmlTextReader rng = new XmlTextReader ("ldml-limited.rng");
			RelaxngPattern p = RelaxngPattern.Read (rng);
			rng.Close ();

			foreach (FileInfo fi in new DirectoryInfo (dirname).GetFiles ("*.xml")) {
				if (ignoredFiles.Contains (fi.Name))
					continue; // skip
				XmlTextReader inst = null;
				try {
					inst = new XmlTextReader (fi.FullName);
					inst.XmlResolver = null;
					RelaxngValidatingReader rvr = new 
						RelaxngValidatingReader (inst, p);
					rvr.ReportDetails = true;
					XmlDocument doc = new XmlDocument ();
					doc.XmlResolver = null;
					doc.Load (rvr);
					TailoringStore ts = ProcessLdml (doc);
					if (ts != null)
						tailorings.Add (ts);
				} finally {
					if (inst != null)
						inst.Close ();
				}
			}

			tailorings.Sort (TailoringStoreComparer.Instance);

			using (TextWriter tw = new StreamWriter ("create-tailoring.out", false, System.Text.Encoding.UTF8)) {
				Serialize (tw);
			}
		}
示例#18
0
		public void SimpleDefaultNamespace ()
		{
			var g = RncParser.ParseRnc (new StringReader ("element e { empty }"));
			var x = XmlReader.Create (new StringReader ("<e/>"));
			var r = new RelaxngValidatingReader (x, g); 
			try {
				while (!r.EOF)
					r.Read ();
			} finally {
				r.Close ();
			}
		}
示例#19
0
		public void InheritDefaultNamespace ()
		{
			RelaxngPattern g = Compile ("Test/XmlFiles/include-default-namespace.rnc");
			XmlReader xtr = new XmlTextReader ("Test/XmlFiles/include-default-namespace.xml");
			RelaxngValidatingReader r = new RelaxngValidatingReader (xtr, g);
			try {
				while (!r.EOF)
					r.Read ();
			} finally {
				r.Close ();
			}
		}
		private void SetupReaderFromUrl (string instanceUrl, string grammarUrl)
		{
			reader = new RelaxngValidatingReader (
				new XmlTextReader (instanceUrl),
				new XmlTextReader (grammarUrl));
		}
		private void SetupReader (string instance, string grammar)
		{
			reader = new RelaxngValidatingReader (
				new XmlTextReader (new StringReader (instance)),
				new XmlTextReader (new StringReader (grammar)));
		}