📄 streammapsource.java
字号:
/* * Created on Aug 25, 2004 * */package org.placelab.mapper.loader;import java.io.BufferedReader;import java.io.IOException;import java.io.InputStream;import java.io.InputStreamReader;import java.util.Enumeration;import org.placelab.core.Coordinate;/** * */public abstract class StreamMapSource implements MapSource { protected String name; protected boolean enabled; protected StreamMapSource(String name, boolean enabled) { this.name = name; this.enabled = enabled; } public String getName() { return name; } public boolean isDefault() { return enabled; } public abstract Enumeration query(Coordinate one, Coordinate two); protected Enumeration queryImpl(InputStream stream) { return new StreamIterator(stream); } protected class StreamIterator implements Enumeration { protected BufferedReader reader; protected String nextLine; public StreamIterator(InputStream stream) { reader = new BufferedReader(new InputStreamReader(stream)); nextLine = getNext(); } protected String getNext() { try { return reader.readLine(); } catch (IOException e) { return null; } } public boolean hasMoreElements() { return nextLine != null; } public Object nextElement() { String line = nextLine; nextLine = getNext(); return line; } public void remove() { throw new UnsupportedOperationException("Does not support remove"); } }}
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -