File Source: Active.java
/*
P/P * Method: com.dmdirc.commandparser.commands.global.Active__static_init
*/
1 /*
2 * Copyright (c) 2006-2009 Chris Smith, Shane Mc Cormack, Gregory Holmes
3 *
4 * Permission is hereby granted, free of charge, to any person obtaining a copy
5 * of this software and associated documentation files (the "Software"), to deal
6 * in the Software without restriction, including without limitation the rights
7 * to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
8 * copies of the Software, and to permit persons to whom the Software is
9 * furnished to do so, subject to the following conditions:
10 *
11 * The above copyright notice and this permission notice shall be included in
12 * all copies or substantial portions of the Software.
13 *
14 * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
15 * IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
16 * FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
17 * AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
18 * LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
19 * OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
20 * SOFTWARE.
21 */
22
23 package com.dmdirc.commandparser.commands.global;
24
25 import com.dmdirc.Main;
26 import com.dmdirc.commandparser.CommandArguments;
27 import com.dmdirc.commandparser.CommandManager;
28 import com.dmdirc.commandparser.commands.GlobalCommand;
29 import com.dmdirc.commandparser.commands.IntelligentCommand;
30 import com.dmdirc.ui.input.AdditionalTabTargets;
31 import com.dmdirc.ui.input.TabCompleter;
32 import com.dmdirc.ui.interfaces.InputWindow;
33
34 import java.util.List;
35
36 /**
37 * The Active command issues a command to the active window.
38 * @author chris
39 */
40 public final class Active extends GlobalCommand implements IntelligentCommand {
41
42 /**
43 * Creates a new instance of Active.
44 */
45 public Active() {
/*
P/P * Method: void com.dmdirc.commandparser.commands.global.Active()
*
* Preconditions:
* init'ed(com/dmdirc/commandparser/CommandManager.commandChar)
*/
46 super();
47
48 CommandManager.registerCommand(this);
49 }
50
51 /** {@inheritDoc} */
52 @Override
53 public void execute(final InputWindow origin, final boolean isSilent,
54 final CommandArguments args) {
/*
P/P * Method: void execute(InputWindow, bool, CommandArguments)
*
* Preconditions:
* args != null
* init'ed(args.words)
* (soft) args.line != null
* (soft) init'ed(com/dmdirc/commandparser/CommandManager.commandChar)
* (soft) init'ed(com/dmdirc/commandparser/CommandManager.silenceChar)
*
* Presumptions:
* com.dmdirc.Main:getUI(...)@57 != null
* com.dmdirc.ui.interfaces.InputWindow:getCommandParser(...).commands@60 != null
* com.dmdirc.ui.interfaces.InputWindow:getCommandParser(...).history@60 != null
* com.dmdirc.ui.interfaces.InputWindow:getCommandParser(...)@60 != null
*
* Postconditions:
* args.words != null
* init'ed(java.lang.String:split(...)._tainted)
* java.lang.String:split(...)._tainted == 0
* init'ed(java.lang.String:split(...).length)
*
* Test Vectors:
* com.dmdirc.ui.interfaces.UIController:getActiveWindow(...)@57: Addr_Set{null}, Inverse{null}
*/
55 final String command = args.getArgumentsAsString();
56
57 final InputWindow window = (InputWindow) Main.getUI().getActiveWindow();
58
59 if (window != null) {
60 window.getCommandParser().parseCommand(window, command);
61 }
62 }
63
64
65 /** {@inheritDoc} */
66 @Override
67 public String getName() {
/*
P/P * Method: String getName()
*
* Postconditions:
* return_value == &"active"
*/
68 return "active";
69 }
70
71 /** {@inheritDoc} */
72 @Override
73 public boolean showInHelp() {
/*
P/P * Method: bool showInHelp()
*
* Postconditions:
* return_value == 1
*/
74 return true;
75 }
76
77 /** {@inheritDoc} */
78 @Override
79 public String getHelp() {
/*
P/P * Method: String getHelp()
*
* Postconditions:
* return_value == &"active <command> - executes the command as though it had been typed in the active window"
*/
80 return "active <command> - executes the command as though it had been" +
81 " typed in the active window";
82 }
83
84 /** {@inheritDoc} */
85 @Override
86 public AdditionalTabTargets getSuggestions(final int arg, final List<String> previousArgs) {
/*
P/P * Method: AdditionalTabTargets getSuggestions(int, List)
*
* Postconditions:
* init'ed(return_value)
*/
87 return TabCompleter.getIntelligentResults(arg, previousArgs, 0);
88 }
89
90 }
SofCheck Inspector Build Version : 2.17854
| Active.java |
2009-Jun-25 01:54:24 |
| Active.class |
2009-Sep-02 17:04:16 |