blob: cb472deedbcf2d52588ea6ae7403bac65a8f4520 (
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
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
|
<?xml version="1.0" encoding="UTF-8"?>
<feature
id="org.eclipse.objectteams.otdt"
label="%featureName"
version="0.7.0.qualifier"
provider-name="%providerName"
plugin="org.eclipse.objectteams.otdt"
image="OTDT-110.png">
<description url="http://www.eclipse.org/objectteams">
This Eclipse Plug-In feature supports development with Object Teams
and the OT/J programming language (see http://www.eclipse.org/objectteams).
It extends all of the Eclipse Java development tools
to support development with Object Teams
throughout all views and development activities.
</description>
<copyright>
The software "Object Teams Development Tooling" (OTDT) is a result of
the joint project TOPPrax and has been developed in collaboration between the
Fraunhofer Institut für Rechnerarchitektur und Softwaretechnik (FIRST)
and the Technische Unversität Berlin.
The software consists of three distinguishable parts:
- A compiler for OT/J (Compiler),
- A graphical user interface (GUI) and
- A runtime environment for OT/J (Runtime).
The copyright is held by the Technische Universität (Compiler and Runtime)
and by the Fraunhofer Gesellschaft, München, Deutschland,
for its Fraunhofer Institut für Rechnerarchitektur und Softwaretechnik
(FIRST) (Compiler and GUI) and others.
This software is based on Eclipse and the Java Development Tooling
(JDT) of which it contains parts.
Authors:
Andreas Kaiser
Carsten Pfeiffer
Christine Hering
Christine Hundt
Gregor Brcan
Jan Wloka
Jaroslav Svacina
Joachim Hänsel
Johannes Gebauer
Jürgen Widiker
Karsten Meier
Marco Mosconi
Markus Witte
Michael Krüger
Ralf Anklam
Sascha Kolewa
Stephan Herrmann
Project Leader:
Stephan Herrmann
</copyright>
<license url="%licenseURL">
%license
</license>
<url>
<update label="Object Teams Updates" url="http://www.eclipse.org/downloads/objectteams/otdt-updates-0.7"/>
<discovery label="Object Teams Updates" url="http://www.eclipse.org/downloads/objectteams/otdt-updates-0.7"/>
</url>
<includes
id="org.eclipse.objectteams.otdt.core.patch"
version="0.7.0.qualifier"/>
<requires>
<import plugin="org.eclipse.core.resources"/>
<import plugin="org.eclipse.core.runtime"/>
<import plugin="org.eclipse.core.filesystem"/>
<import plugin="org.eclipse.text"/>
<import plugin="org.eclipse.jdt.launching"/>
<import plugin="org.eclipse.debug.core"/>
<import plugin="org.eclipse.update.core"/>
</requires>
<plugin
id="org.eclipse.objectteams.otdt"
download-size="189"
install-size="228"
version="0.7.0"/>
<plugin
id="org.eclipse.objectteams.otdt.debug"
download-size="39"
install-size="39"
version="0.7.0"
unpack="false"/>
<plugin
id="org.eclipse.objectteams.otdt.debug.ui"
download-size="84"
install-size="84"
version="0.7.0"
unpack="false"/>
<plugin
id="org.eclipse.objectteams.otdt.ui"
download-size="285"
install-size="285"
version="0.7.0"
unpack="false"/>
<plugin
id="org.eclipse.objectteams.otdt.ui.help"
download-size="778"
install-size="3180"
version="0.7.0"/>
<!--plugin
id="org.eclipse.objectteams.otdt.metrics"
download-size="123"
install-size="123"
version="0.7.0.qualifier"
unpack="false"/-->
<plugin
id="org.eclipse.objectteams.otdt.jdt.ui"
download-size="427"
install-size="427"
version="0.7.0"
unpack="false"/>
<plugin
id="org.eclipse.objectteams.otdt.compiler.adaptor"
download-size="146"
install-size="146"
version="0.7.0"
unpack="false"/>
<plugin
id="org.eclipse.objectteams.otdt.debug.adaptor"
download-size="10"
install-size="10"
version="0.7.0"
unpack="false"/>
<plugin
id="org.eclipse.objectteams.otdt.pde.ui"
download-size="16"
install-size="16"
version="0.7.0"
unpack="false"/>
<plugin
id="org.eclipse.objectteams.otdt.refactoring"
download-size="77"
install-size="77"
version="0.7.0"
unpack="false"/>
<plugin
id="org.eclipse.objectteams.otdt.samples"
download-size="398"
install-size="752"
version="0.7.0"/>
<plugin
id="org.eclipse.objectteams.otdt.apt"
download-size="15"
install-size="15"
version="0.7.0"
unpack="false"/>
</feature>
|