[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. |
---|
[835] | 14 | |
---|
[922] | 15 | package de.ugoe.cs.autoquest.plugin.jfc.guimodel; |
---|
[573] | 16 | |
---|
[922] | 17 | import de.ugoe.cs.autoquest.eventcore.guimodel.IMenu; |
---|
[573] | 18 | |
---|
| 19 | /** |
---|
[835] | 20 | * <p> |
---|
| 21 | * Class that represents menus in JFC GUIs. |
---|
| 22 | * </p> |
---|
[573] | 23 | * |
---|
[835] | 24 | * @version 1.0 |
---|
| 25 | * @author Patrick Harms |
---|
[573] | 26 | */ |
---|
| 27 | public class JFCMenu extends JFCGUIElement implements IMenu { |
---|
| 28 | |
---|
[835] | 29 | /** |
---|
| 30 | * <p> |
---|
| 31 | * Id for object serialization. |
---|
| 32 | * </p> |
---|
| 33 | */ |
---|
[573] | 34 | private static final long serialVersionUID = 1L; |
---|
| 35 | |
---|
| 36 | /** |
---|
[835] | 37 | * <p> |
---|
| 38 | * Constructor. Creates a new JFCMenu. |
---|
| 39 | * </p> |
---|
[573] | 40 | * |
---|
[835] | 41 | * @param specification |
---|
| 42 | * specification of created GUI element |
---|
| 43 | * @param parent |
---|
| 44 | * parent of the created GUI element; null means that the element is a top-level |
---|
| 45 | * window |
---|
[573] | 46 | */ |
---|
[605] | 47 | public JFCMenu(JFCGUIElementSpec specification, JFCGUIElement parent) { |
---|
| 48 | super(specification, parent); |
---|
[573] | 49 | } |
---|
| 50 | |
---|
[835] | 51 | /* |
---|
| 52 | * (non-Javadoc) |
---|
| 53 | * |
---|
[922] | 54 | * @see de.ugoe.cs.autoquest.plugin.jfc.guimodel.JFCGUIElement#getElementDescriptor() |
---|
[835] | 55 | */ |
---|
[573] | 56 | @Override |
---|
[606] | 57 | protected String getElementDescriptor() { |
---|
| 58 | return "Menu"; |
---|
[573] | 59 | } |
---|
| 60 | |
---|
| 61 | } |
---|