/* * Copyright 2008 Google Inc. * * Licensed under the Apache License, Version 2.0 (the "License"); you may not * use this file except in compliance with the License. You may obtain a copy of * the License at * * http://www.apache.org/licenses/LICENSE-2.0 * * Unless required by applicable law or agreed to in writing, software * distributed under the License is distributed on an "AS IS" BASIS, WITHOUT * WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. See the * License for the specific language governing permissions and limitations under * the License. */ package com.google.gwt.dev.util.arg; /** * Option to set whether to use a GUI logger instead of stdout. */ public interface OptionGuiLogger { /** * Returns true if a GUI logger should be used. */ boolean isUseGuiLogger(); /** * Sets whether or not to use a GUI logger. */ void setUseGuiLogger(boolean useGuiLogger); }