📄 expandservice.java_
字号:
package org.wfp.vam.intermap.services.map;import org.jdom.*;import jeeves.interfaces.*;import jeeves.server.*;import jeeves.server.context.*;import org.wfp.vam.intermap.kernel.map.*;//=============================================================================/** main.result service. shows search results */public class ExpandService implements Service{ public void init(String appPath, ServiceConfig config) throws Exception {} //-------------------------------------------------------------------------- //--- //--- Service //--- //-------------------------------------------------------------------------- public Element exec(Element params, ServiceContext context) throws Exception { int id = Integer.parseInt(params.getChildText("collapse")); // Get the MapMerger object from the user session MapMerger mm = MapUtil.getMapMerger(context); MapUtil.setActiveLayer(params, mm); MapUtil.setVisibleLayers(params, mm); MapUtil.setTransparency(params, mm); mm.expandService(id); return null; } }//=============================================================================
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -