Skip to content

Commit 600a633

Browse files
committed
minor fixes
1 parent 74c5838 commit 600a633

3 files changed

Lines changed: 346 additions & 2 deletions

File tree

jdk_11_maven/em/external/rest/http-patch-spring/pom.xml

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -30,7 +30,7 @@
3030
<transformer
3131
implementation="org.apache.maven.plugins.shade.resource.ManifestResourceTransformer">
3232
<manifestEntries>
33-
<Main-Class>em.external.com.pfa.app.ExternalEvoMasterController
33+
<Main-Class>em.external.http.patch.spring.ExternalEvoMasterController
3434
</Main-Class>
3535
<Premain-Class>org.evomaster.client.java.instrumentation.InstrumentingAgent
3636
</Premain-Class>

jdk_8_maven/em/external/rest/swagger-petstore/pom.xml

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -39,7 +39,7 @@
3939
<transformer
4040
implementation="org.apache.maven.plugins.shade.resource.ManifestResourceTransformer">
4141
<manifestEntries>
42-
<Main-Class>em.external.spring.batch.rest.ExternalEvoMasterController
42+
<Main-Class>em.external.swagger.petstore.ExternalEvoMasterController
4343
</Main-Class>
4444
<Premain-Class>org.evomaster.client.java.instrumentation.InstrumentingAgent
4545
</Premain-Class>
Lines changed: 344 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,344 @@
1+
{
2+
"openapi": "3.0.1",
3+
"info": {
4+
"title": "OpenAPI definition",
5+
"version": "v0"
6+
},
7+
"servers": [
8+
{
9+
"url": "http://localhost:8080",
10+
"description": "Generated server url"
11+
}
12+
],
13+
"paths": {
14+
"/contacts/{id}": {
15+
"get": {
16+
"tags": [
17+
"contact-controller"
18+
],
19+
"operationId": "findContact",
20+
"parameters": [
21+
{
22+
"name": "id",
23+
"in": "path",
24+
"required": true,
25+
"schema": {
26+
"type": "integer",
27+
"format": "int64"
28+
}
29+
}
30+
],
31+
"responses": {
32+
"200": {
33+
"description": "OK",
34+
"content": {
35+
"application/json": {
36+
"schema": {
37+
"$ref": "#/components/schemas/ContactResourceOutput"
38+
}
39+
}
40+
}
41+
}
42+
}
43+
},
44+
"put": {
45+
"tags": [
46+
"contact-controller"
47+
],
48+
"operationId": "updateContact",
49+
"parameters": [
50+
{
51+
"name": "id",
52+
"in": "path",
53+
"required": true,
54+
"schema": {
55+
"type": "integer",
56+
"format": "int64"
57+
}
58+
}
59+
],
60+
"requestBody": {
61+
"content": {
62+
"application/json": {
63+
"schema": {
64+
"$ref": "#/components/schemas/ContactResourceInput"
65+
}
66+
}
67+
},
68+
"required": true
69+
},
70+
"responses": {
71+
"200": {
72+
"description": "OK"
73+
}
74+
}
75+
},
76+
"delete": {
77+
"tags": [
78+
"contact-controller"
79+
],
80+
"operationId": "deleteContact",
81+
"parameters": [
82+
{
83+
"name": "id",
84+
"in": "path",
85+
"required": true,
86+
"schema": {
87+
"type": "integer",
88+
"format": "int64"
89+
}
90+
}
91+
],
92+
"responses": {
93+
"200": {
94+
"description": "OK"
95+
}
96+
}
97+
},
98+
"patch": {
99+
"tags": [
100+
"contact-controller"
101+
],
102+
"operationId": "updateContact_2_1",
103+
"parameters": [
104+
{
105+
"name": "id",
106+
"in": "path",
107+
"required": true,
108+
"schema": {
109+
"type": "integer",
110+
"format": "int64"
111+
}
112+
}
113+
],
114+
"requestBody": {
115+
"content": {
116+
"application/merge-patch+json": {
117+
"schema": {
118+
"type": "object"
119+
}
120+
},
121+
"application/json-patch+json": {
122+
"schema": {
123+
"type": "object"
124+
}
125+
}
126+
},
127+
"required": true
128+
},
129+
"responses": {
130+
"200": {
131+
"description": "OK"
132+
}
133+
}
134+
}
135+
},
136+
"/contacts": {
137+
"get": {
138+
"tags": [
139+
"contact-controller"
140+
],
141+
"operationId": "findContacts",
142+
"responses": {
143+
"200": {
144+
"description": "OK",
145+
"content": {
146+
"application/json": {
147+
"schema": {
148+
"type": "array",
149+
"items": {
150+
"$ref": "#/components/schemas/ContactResourceOutput"
151+
}
152+
}
153+
}
154+
}
155+
}
156+
}
157+
},
158+
"post": {
159+
"tags": [
160+
"contact-controller"
161+
],
162+
"operationId": "updateContact_1",
163+
"requestBody": {
164+
"content": {
165+
"application/json": {
166+
"schema": {
167+
"$ref": "#/components/schemas/ContactResourceInput"
168+
}
169+
}
170+
},
171+
"required": true
172+
},
173+
"responses": {
174+
"200": {
175+
"description": "OK"
176+
}
177+
}
178+
}
179+
}
180+
},
181+
"components": {
182+
"schemas": {
183+
"ContactResourceInput": {
184+
"required": [
185+
"name"
186+
],
187+
"type": "object",
188+
"properties": {
189+
"name": {
190+
"type": "string"
191+
},
192+
"birthday": {
193+
"type": "string",
194+
"format": "date"
195+
},
196+
"work": {
197+
"$ref": "#/components/schemas/WorkResourceInput"
198+
},
199+
"phones": {
200+
"type": "array",
201+
"items": {
202+
"$ref": "#/components/schemas/PhoneResourceInput"
203+
}
204+
},
205+
"emails": {
206+
"type": "array",
207+
"items": {
208+
"$ref": "#/components/schemas/EmailResourceInput"
209+
}
210+
},
211+
"groups": {
212+
"type": "array",
213+
"items": {
214+
"type": "string"
215+
}
216+
},
217+
"favorite": {
218+
"type": "boolean"
219+
},
220+
"notes": {
221+
"type": "string"
222+
}
223+
}
224+
},
225+
"EmailResourceInput": {
226+
"type": "object",
227+
"properties": {
228+
"email": {
229+
"type": "string"
230+
},
231+
"type": {
232+
"type": "string"
233+
}
234+
}
235+
},
236+
"PhoneResourceInput": {
237+
"type": "object",
238+
"properties": {
239+
"phone": {
240+
"type": "string"
241+
},
242+
"type": {
243+
"type": "string"
244+
}
245+
}
246+
},
247+
"WorkResourceInput": {
248+
"type": "object",
249+
"properties": {
250+
"title": {
251+
"type": "string"
252+
},
253+
"company": {
254+
"type": "string"
255+
}
256+
}
257+
},
258+
"ContactResourceOutput": {
259+
"type": "object",
260+
"properties": {
261+
"id": {
262+
"type": "integer",
263+
"format": "int64"
264+
},
265+
"name": {
266+
"type": "string"
267+
},
268+
"birthday": {
269+
"type": "string",
270+
"format": "date"
271+
},
272+
"work": {
273+
"$ref": "#/components/schemas/WorkResourceOutput"
274+
},
275+
"phones": {
276+
"type": "array",
277+
"items": {
278+
"$ref": "#/components/schemas/PhoneResourceOutput"
279+
}
280+
},
281+
"emails": {
282+
"type": "array",
283+
"items": {
284+
"$ref": "#/components/schemas/EmailResourceOutput"
285+
}
286+
},
287+
"groups": {
288+
"type": "array",
289+
"items": {
290+
"type": "string"
291+
}
292+
},
293+
"favorite": {
294+
"type": "boolean"
295+
},
296+
"notes": {
297+
"type": "string"
298+
},
299+
"createdDateTime": {
300+
"type": "string",
301+
"format": "date-time"
302+
},
303+
"lastModifiedDateTime": {
304+
"type": "string",
305+
"format": "date-time"
306+
}
307+
}
308+
},
309+
"EmailResourceOutput": {
310+
"type": "object",
311+
"properties": {
312+
"email": {
313+
"type": "string"
314+
},
315+
"type": {
316+
"type": "string"
317+
}
318+
}
319+
},
320+
"PhoneResourceOutput": {
321+
"type": "object",
322+
"properties": {
323+
"phone": {
324+
"type": "string"
325+
},
326+
"type": {
327+
"type": "string"
328+
}
329+
}
330+
},
331+
"WorkResourceOutput": {
332+
"type": "object",
333+
"properties": {
334+
"title": {
335+
"type": "string"
336+
},
337+
"company": {
338+
"type": "string"
339+
}
340+
}
341+
}
342+
}
343+
}
344+
}

0 commit comments

Comments
 (0)