docletoptionfile.java

来自「linux下建立JAVA虚拟机的源码KAFFE」· Java 代码 · 共 61 行

JAVA
61
字号
/* gnu.classpath.tools.doclets.DocletOptionFile   Copyright (C) 2004 Free Software Foundation, Inc.This file is part of GNU Classpath.GNU Classpath is free software; you can redistribute it and/or modifyit under the terms of the GNU General Public License as published bythe Free Software Foundation; either version 2, or (at your option)any later version. GNU Classpath is distributed in the hope that it will be useful, butWITHOUT ANY WARRANTY; without even the implied warranty ofMERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNUGeneral Public License for more details.You should have received a copy of the GNU General Public Licensealong with GNU Classpath; see the file COPYING.  If not, write to theFree Software Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA02111-1307 USA. */package gnu.classpath.tools.doclets;import java.io.File;/** *  Processes a doclet option whose value denotes an existing or *  non-existing file in the local file system. */public class DocletOptionFile   extends DocletOption{   private File value;   public DocletOptionFile(String optionName)   {      this(optionName, null);   }   public DocletOptionFile(String optionName, File defaultFile)   {      super(optionName);      this.value = defaultFile;   }   public File getValue()   {      return this.value;   }   public int getLength()   {      return 2;   }   public boolean set(String[] optionArr)   {      this.value = new File(optionArr[1]);      return true;   }}

⌨️ 快捷键说明

复制代码Ctrl + C
搜索代码Ctrl + F
全屏模式F11
增大字号Ctrl + =
减小字号Ctrl + -
显示快捷键?