Skip to content

Package: TableControl

TableControl

Coverage

1: /*******************************************************************************
2: * Copyright (c) 2011-2016 EclipseSource Muenchen GmbH and others.
3: *
4: * All rights reserved. This program and the accompanying materials
5: * are made available under the terms of the Eclipse Public License 2.0
6: * which accompanies this distribution, and is available at
7: * https://www.eclipse.org/legal/epl-2.0/
8: *
9: * SPDX-License-Identifier: EPL-2.0
10: *
11: * Contributors:
12: * jonas - initial API and implementation
13: ******************************************************************************/
14: package org.eclipse.emfforms.spi.swt.table;
15:
16: /**
17: * @author jonas
18: *
19: */
20: public interface TableControl {
21:
22:         /**
23:          * Returns <code>true</code> if the widget has been disposed,
24:          * and <code>false</code> otherwise.
25:          *
26:          * @return <code>true</code> when the widget is disposed and <code>false</code> otherwise
27:          */
28:         boolean isDisposed();
29:
30:         /**
31:          * Returns the height of the area which would be used to
32:          * display <em>one</em> of the items in the receiver.
33:          *
34:          * @return the height of one item
35:          */
36:         int getItemHeight();
37:
38:         /**
39:          * Returns the number of items contained in the receiver.
40:          *
41:          * @return the number of items
42:          * @since 1.12
43:          */
44:         int getItemCount();
45:
46:         /**
47:          * Returns <code>true</code> if the receiver's header is visible,
48:          * and <code>false</code> otherwise.
49:          *
50:          * @return the receiver's header's visibility state
51:          */
52:         boolean getHeaderVisible();
53:
54:         /**
55:          * Returns the height of the receiver's header.
56:          *
57:          * @return the height of the header
58:          */
59:         int getHeaderHeight();
60:
61: }