1 /*
2 * @(#)$Id: JdomInputDevicesElement.java 605 2008-11-10 22:20:28Z bsigner $
3 *
4 * Author : Michele Croci, mcroci@gmail.com
5 *
6 * Purpose : XML support for the <inputdevices> element.
7 *
8 * -----------------------------------------------------------------------
9 *
10 * Revision Information:
11 *
12 * Date Who Reason
13 *
14 * Jan 15, 2008 crocimi Initial Release
15 *
16 * -----------------------------------------------------------------------
17 *
18 * Copyright 1999-2007 ETH Zurich. All Rights Reserved.
19 *
20 * This software is the proprietary information of ETH Zurich.
21 * Use is subject to license terms.
22 *
23 */
24
25
26 package org.ximtec.igesture.geco.xml;
27
28 import java.util.List;
29
30 import org.jdom.Element;
31
32
33
34
35 /**
36 * XML support for the <inputdevices> element.
37 *
38 * @version 0.9, Jan 15, 2008
39 * @author Michele Croci, mcroci@gmail.com
40 */
41 public class JdomInputDevicesElement extends Element {
42
43 private static final String COMMAND = "inputdevices";
44
45
46 public JdomInputDevicesElement(List<String> devices, boolean[] arr) {
47 this(COMMAND);
48 for(int i=0; i<devices.size();i++){
49 this.addContent(new JdomDeviceElement(devices.get(i), arr[i]));
50 }
51 } // JdomConfigurationElement
52
53
54 public JdomInputDevicesElement(String name) {
55 super(name);
56 } // JdomConfigurationElement
57
58 }