Changeset 14441 in josm for trunk/src/org/openstreetmap/josm/data/preferences
- Timestamp:
- 2018-11-22T00:34:59+01:00 (5 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/data/preferences/PreferencesReader.java
r13901 r14441 26 26 import javax.xml.transform.stream.StreamSource; 27 27 import javax.xml.validation.Schema; 28 import javax.xml.validation.Validator;29 28 30 29 import org.openstreetmap.josm.io.CachedFile; … … 97 96 try (CachedFile cf = new CachedFile("resource://data/preferences.xsd"); InputStream xsdStream = cf.getInputStream()) { 98 97 Schema schema = XmlUtils.newXmlSchemaFactory().newSchema(new StreamSource(xsdStream)); 99 Validator validator = schema.newValidator(); 100 validator.validate(new StreamSource(in)); 98 XmlUtils.newSafeValidator(schema).validate(new StreamSource(in)); 101 99 } 102 100 }
Note:
See TracChangeset
for help on using the changeset viewer.