[927] | 1 | // Copyright 2012 Georg-August-Universität Göttingen, Germany
|
---|
| 2 | //
|
---|
| 3 | // Licensed under the Apache License, Version 2.0 (the "License");
|
---|
| 4 | // you may not use this file except in compliance with the License.
|
---|
| 5 | // You may obtain a copy of the License at
|
---|
| 6 | //
|
---|
| 7 | // http://www.apache.org/licenses/LICENSE-2.0
|
---|
| 8 | //
|
---|
| 9 | // Unless required by applicable law or agreed to in writing, software
|
---|
| 10 | // distributed under the License is distributed on an "AS IS" BASIS,
|
---|
| 11 | // WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
|
---|
| 12 | // See the License for the specific language governing permissions and
|
---|
| 13 | // limitations under the License.
|
---|
| 14 |
|
---|
[922] | 15 | package de.ugoe.cs.autoquest.ui.swt;
|
---|
[526] | 16 |
|
---|
[1236] | 17 | import java.util.LinkedList;
|
---|
| 18 |
|
---|
[526] | 19 | import org.eclipse.swt.SWT;
|
---|
| 20 | import org.eclipse.swt.widgets.Event;
|
---|
| 21 | import org.eclipse.swt.widgets.Listener;
|
---|
| 22 | import org.eclipse.swt.widgets.Text;
|
---|
| 23 | import org.eclipse.swt.widgets.Label;
|
---|
| 24 | import org.eclipse.swt.widgets.Composite;
|
---|
| 25 | import org.eclipse.swt.widgets.Button;
|
---|
| 26 | import org.eclipse.swt.layout.GridLayout;
|
---|
| 27 | import org.eclipse.swt.layout.GridData;
|
---|
| 28 | import org.eclipse.swt.custom.StyledText;
|
---|
| 29 | import org.eclipse.swt.events.SelectionAdapter;
|
---|
| 30 | import org.eclipse.swt.events.SelectionEvent;
|
---|
[1236] | 31 | import org.eclipse.swt.events.TraverseEvent;
|
---|
| 32 | import org.eclipse.swt.events.TraverseListener;
|
---|
[526] | 33 |
|
---|
| 34 | import org.eclipse.swt.events.KeyAdapter;
|
---|
| 35 | import org.eclipse.swt.events.KeyEvent;
|
---|
| 36 |
|
---|
[1243] | 37 | import de.ugoe.cs.util.FileTools;
|
---|
| 38 | import de.ugoe.cs.util.StringTools;
|
---|
[526] | 39 | import de.ugoe.cs.util.console.CommandExecuter;
|
---|
[1236] | 40 | import de.ugoe.cs.util.console.Console;
|
---|
[1243] | 41 | import de.ugoe.cs.util.console.GlobalDataContainer;
|
---|
[1236] | 42 | import de.ugoe.cs.util.console.listener.ICommandListener;
|
---|
[526] | 43 |
|
---|
| 44 | /**
|
---|
| 45 | * <p>
|
---|
[570] | 46 | * Implements the composite for the console tab in the applications main window.
|
---|
[526] | 47 | * </p>
|
---|
| 48 | *
|
---|
| 49 | * @author Steffen Herbold
|
---|
| 50 | * @version 1.0
|
---|
| 51 | */
|
---|
[1236] | 52 | public class ConsoleTabComposite extends Composite implements ICommandListener {
|
---|
[526] | 53 |
|
---|
[1236] | 54 | protected java.util.List<String> commandHistory = new LinkedList<String>();
|
---|
[2046] | 55 |
|
---|
| 56 | protected int commandHistoryIndex = 0;
|
---|
[1236] | 57 |
|
---|
[570] | 58 | protected Text textCommand;
|
---|
[526] | 59 |
|
---|
[570] | 60 | protected StyledText textConsoleOutput;
|
---|
[526] | 61 |
|
---|
[570] | 62 | /**
|
---|
| 63 | * Create the composite.
|
---|
| 64 | *
|
---|
| 65 | * @param parent
|
---|
| 66 | * @param style
|
---|
| 67 | */
|
---|
| 68 | public ConsoleTabComposite(Composite parent, int style) {
|
---|
| 69 | super(parent, style);
|
---|
| 70 | createContents();
|
---|
[1236] | 71 | Console.getInstance().registerCommandListener(this);
|
---|
[570] | 72 | }
|
---|
[526] | 73 |
|
---|
[1236] | 74 | @Override
|
---|
| 75 | public void commandNotification(String command) {
|
---|
| 76 | commandHistory.add(command);
|
---|
[2046] | 77 | commandHistoryIndex = commandHistory.size();
|
---|
[1236] | 78 | }
|
---|
| 79 |
|
---|
[570] | 80 | private void createContents() {
|
---|
| 81 | setLayout(new GridLayout(3, false));
|
---|
| 82 |
|
---|
| 83 | Label lblCommand = new Label(this, SWT.NONE);
|
---|
| 84 | lblCommand.setText("Command:");
|
---|
| 85 |
|
---|
| 86 | textCommand = new Text(this, SWT.BORDER);
|
---|
| 87 | textCommand.addKeyListener(new KeyAdapter() {
|
---|
| 88 | @Override
|
---|
| 89 | public void keyReleased(KeyEvent e) {
|
---|
| 90 | if (e.keyCode == SWT.CR) {
|
---|
| 91 | executeCommand();
|
---|
| 92 | }
|
---|
[1236] | 93 | else if (e.keyCode == SWT.TAB) {
|
---|
| 94 | autoCompleteCommand();
|
---|
| 95 | }
|
---|
| 96 | else if (e.keyCode == SWT.ARROW_UP) {
|
---|
| 97 | setToPreviousCommand();
|
---|
| 98 | }
|
---|
| 99 | else if (e.keyCode == SWT.ARROW_DOWN) {
|
---|
| 100 | setToNextCommand();
|
---|
| 101 | }
|
---|
[570] | 102 | }
|
---|
| 103 | });
|
---|
[1236] | 104 | textCommand.addTraverseListener(new TraverseListener() {
|
---|
| 105 | @Override
|
---|
| 106 | public void keyTraversed(TraverseEvent e) {
|
---|
| 107 | if ((e.detail == SWT.TRAVERSE_TAB_NEXT) || (e.detail == SWT.TRAVERSE_TAB_PREVIOUS))
|
---|
| 108 | {
|
---|
| 109 | e.doit = false;
|
---|
| 110 | }
|
---|
| 111 | }
|
---|
| 112 |
|
---|
| 113 | });
|
---|
| 114 |
|
---|
[570] | 115 | GridData gd_textCommand = new GridData(SWT.FILL, SWT.CENTER, true, false, 1, 1);
|
---|
| 116 | gd_textCommand.widthHint = 304;
|
---|
| 117 | textCommand.setLayoutData(gd_textCommand);
|
---|
| 118 | textCommand.setFocus();
|
---|
| 119 |
|
---|
| 120 | Button btnEnter = new Button(this, SWT.NONE);
|
---|
| 121 | btnEnter.addSelectionListener(new SelectionAdapter() {
|
---|
| 122 | @Override
|
---|
| 123 | public void widgetSelected(SelectionEvent e) {
|
---|
| 124 | executeCommand();
|
---|
| 125 | }
|
---|
| 126 | });
|
---|
| 127 | btnEnter.setText("Enter");
|
---|
| 128 |
|
---|
| 129 | textConsoleOutput =
|
---|
| 130 | new StyledText(this, SWT.BORDER | SWT.READ_ONLY | SWT.H_SCROLL | SWT.V_SCROLL |
|
---|
| 131 | SWT.CANCEL);
|
---|
| 132 | GridData gd_textConsoleOutput = new GridData(SWT.FILL, SWT.FILL, true, true, 3, 1);
|
---|
| 133 | gd_textConsoleOutput.heightHint = 102;
|
---|
| 134 | gd_textConsoleOutput.widthHint = 456;
|
---|
| 135 | textConsoleOutput.setLayoutData(gd_textConsoleOutput);
|
---|
| 136 | textConsoleOutput.addListener(SWT.Modify, new Listener() {
|
---|
| 137 | public void handleEvent(Event e) {
|
---|
| 138 | textConsoleOutput.setTopIndex(textConsoleOutput.getLineCount() - 1);
|
---|
| 139 | }
|
---|
| 140 | });
|
---|
| 141 |
|
---|
| 142 | }
|
---|
| 143 |
|
---|
| 144 | private void executeCommand() {
|
---|
| 145 | String command = textCommand.getText().trim();
|
---|
| 146 | CommandExecuter.getInstance().exec(command);
|
---|
| 147 | textCommand.setText("");
|
---|
| 148 | }
|
---|
| 149 |
|
---|
[1236] | 150 | private void autoCompleteCommand() {
|
---|
[1243] | 151 | String prefix = textCommand.getText();
|
---|
| 152 | int end = textCommand.getCaretPosition() - 1;
|
---|
| 153 | int start = 0;
|
---|
[1236] | 154 |
|
---|
[1243] | 155 | for (int i = end; i >= 0; i--) {
|
---|
| 156 | if (Character.isWhitespace(prefix.charAt(i))) {
|
---|
| 157 | start = i + 1;
|
---|
| 158 | break;
|
---|
| 159 | }
|
---|
| 160 | }
|
---|
| 161 |
|
---|
| 162 | String textPrefix = prefix.substring(0, start);
|
---|
| 163 | String textSuffix = prefix.substring(end + 1);
|
---|
| 164 | prefix = prefix.substring(start, end + 1);
|
---|
| 165 |
|
---|
| 166 | String completedPrefix = null;
|
---|
| 167 | if ("".equals(textCommand.getText().substring(0, start).trim())) {
|
---|
| 168 | // search for a command completion
|
---|
| 169 | completedPrefix = CommandExecuter.getInstance().autoCompleteCommand(prefix);
|
---|
| 170 | }
|
---|
| 171 | else {
|
---|
| 172 | // complete an object in the data store or a file name
|
---|
| 173 | completedPrefix = FileTools.autoCompletePath(prefix);
|
---|
| 174 |
|
---|
| 175 | if (prefix.equals(completedPrefix)) {
|
---|
| 176 | // file completion wasn't possible, so try to complete using data objects
|
---|
| 177 | String[] completions =
|
---|
| 178 | GlobalDataContainer.getInstance().getAllKeys().toArray(new String[0]);
|
---|
| 179 | completedPrefix = StringTools.autocomplete(prefix, completions);
|
---|
| 180 | }
|
---|
| 181 | }
|
---|
| 182 |
|
---|
| 183 | textCommand.setText(textPrefix + completedPrefix + textSuffix);
|
---|
| 184 | textCommand.setSelection(textPrefix.length() + completedPrefix.length());
|
---|
[1236] | 185 | }
|
---|
| 186 |
|
---|
| 187 | private void setToPreviousCommand() {
|
---|
[2046] | 188 | if (commandHistoryIndex > 0) {
|
---|
| 189 | commandHistoryIndex--;
|
---|
| 190 |
|
---|
| 191 | textCommand.setText(commandHistory.get(commandHistoryIndex));
|
---|
| 192 | textCommand.setSelection(commandHistory.get(commandHistoryIndex).length());
|
---|
[1236] | 193 | }
|
---|
| 194 | }
|
---|
| 195 |
|
---|
| 196 | private void setToNextCommand() {
|
---|
[2046] | 197 | if (commandHistoryIndex < (commandHistory.size() - 1)) {
|
---|
| 198 | commandHistoryIndex++;
|
---|
| 199 |
|
---|
| 200 | textCommand.setText(commandHistory.get(commandHistoryIndex));
|
---|
| 201 | textCommand.setSelection(commandHistory.get(commandHistoryIndex).length());
|
---|
[1236] | 202 | }
|
---|
| 203 | }
|
---|
| 204 |
|
---|
[570] | 205 | @Override
|
---|
| 206 | protected void checkSubclass() {
|
---|
| 207 | // Disable the check that prevents subclassing of SWT components
|
---|
| 208 | }
|
---|
| 209 |
|
---|
[526] | 210 | }
|
---|