📄 filemapsource.java
字号:
/* * Created on Aug 25, 2004 * */package org.placelab.mapper.loader;import java.io.File;import java.io.FileInputStream;import java.io.FileNotFoundException;import java.util.Enumeration;import org.placelab.core.Coordinate;/** * */public class FileMapSource extends StreamMapSource { private FileInputStream stream; public FileMapSource(String path) throws FileNotFoundException { super("File: " + new File(path).getName(), false); stream = new FileInputStream(path); } public boolean isDefault() { return stream != null; } public Enumeration query(Coordinate one, Coordinate two) { // XXX: is not selective based on coordinates return stream == null ? null : new StreamIterator(stream); } }
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -