blob: ecf3ec139574c8eef8c72238229c6b170e8b6d75 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
|
/*******************************************************************************
* Copyright (c) 2012 Tilera Corporation and others.
* All rights reserved. This program and the accompanying materials
* are made available under the terms of the Eclipse Public License v1.0
* which accompanies this distribution, and is available at
* http://www.eclipse.org/legal/epl-v10.html
*
* Contributors:
* William R. Swanson (Tilera Corporation)
*******************************************************************************/
package org.eclipse.cdt.visualizer.ui.util;
// ---------------------------------------------------------------------------
// Event
// ---------------------------------------------------------------------------
/**
* Base class for events
*/
public class Event
{
// --- event types ---
/** Event type constant */
public static final int UNDEFINED = 0;
// --- members ---
/** Source of the event */
protected Object m_source = null;
/** Type of event */
protected int m_type = UNDEFINED;
// --- constructors/destructors ---
/** Constructor */
public Event(Object source) {
this(source, UNDEFINED);
}
/** Constructor */
public Event(Object source, int type) {
m_source = source;
m_type = type;
}
/** Dispose method */
public void dispose() {
m_source = null;
}
// --- Object methods ---
/** Returns string representation of event */
public String toString() {
StringBuffer result = new StringBuffer();
result.append(getClass().getSimpleName());
result.append("[");
if (m_type != UNDEFINED) {
result.append(typeToString(m_type));
}
result.append("]");
return result.toString();
}
/** Converts event type to string */
public String typeToString(int type) {
String result = "";
switch (type) {
case UNDEFINED:
result = "UNDEFINED"; break;
default:
result = "OTHER(" + type +")";
break;
}
return result;
}
// --- accessors ---
/** Gets source of the event */
public Object getSource() {
return m_source;
}
/**
* Gets type of event
*/
public int getType() {
return m_type;
}
/**
* Returns true if event has specified type.
*/
public boolean isType(int type) {
return (m_type == type);
}
}
|