Changeset 36478 in osm
- Timestamp:
- 2026-02-09T18:32:44+01:00 (13 hours ago)
- Location:
- applications/editors/josm/plugins/cadastre-fr/src/org/openstreetmap/josm/plugins/fr/cadastre/edigeo
- Files:
-
- 2 edited
-
EdigeoFile.java (modified) (3 diffs)
-
pci/EdigeoPciReader.java (modified) (2 diffs)
Legend:
- Unmodified
- Added
- Removed
-
applications/editors/josm/plugins/cadastre-fr/src/org/openstreetmap/josm/plugins/fr/cadastre/edigeo/EdigeoFile.java
r35676 r36478 92 92 93 93 protected final void safeGet(EdigeoRecord r, Consumer<String> callback) { 94 (lastReadString = callback).accept(r.length > 0 ? r.values.get(0) : null); 94 lastReadString = callback; 95 lastReadString.accept(r.length > 0 ? r.values.get(0) : null); 95 96 } 96 97 … … 120 121 String v = r.values.get(0); 121 122 Logging.info(msg + ": " + v); 122 (lastReadString = callback).accept(v); 123 lastReadString = callback; 124 lastReadString.accept(v); 123 125 } 124 126 } … … 148 150 String line; 149 151 while ((line = reader.readLine()) != null) { 150 if ( !line.isEmpty()) {152 if (line.length() >= 4) { 151 153 // Read record 152 154 EdigeoRecord r = new EdigeoRecord(line); -
applications/editors/josm/plugins/cadastre-fr/src/org/openstreetmap/josm/plugins/fr/cadastre/edigeo/pci/EdigeoPciReader.java
r36385 r36478 119 119 EdigeoFileVEC.addObjectPostProcessor("63", symbo, "man_made=water_well"); // Well 120 120 EdigeoFileVEC.addObjectPostProcessor("65", water, "leisure=swimming_pool;access=private"); // Swimming pool 121 EdigeoFileVEC.addObjectPostProcessor("66", water, "leisure=swimming_pool;access=private;note=IA"); // Swimming pool traced by AI 121 122 122 123 // Mapping TEX*_id => name (first step) … … 180 181 181 182 EdigeoFileVEC.addObjectPostProcessor((o, p) -> p.put("wall", "no"), build, "DUR_id", "02"); 183 EdigeoFileVEC.addObjectPostProcessor((o, p) -> p.put("note", "IA"), build, "DUR_id", "03"); 182 184 EdigeoFileVEC.addObjectPostProcessor((o, p) -> { 183 185 p.put("building", "yes");
Note:
See TracChangeset
for help on using the changeset viewer.
