01: //Copyright (c) Hans-Joachim Daniels 2005
02: //
03: //This program is free software; you can redistribute it and/or modify
04: //it under the terms of the GNU General Public License as published by
05: //the Free Software Foundation; either version 2 of the License, or
06: //(at your option) any later version.
07: //
08: //This program is distributed in the hope that it will be useful,
09: //but WITHOUT ANY WARRANTY; without even the implied warranty of
10: //MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
11: //GNU General Public License for more details.
12: //
13: //You can either finde the file LICENSE or LICENSE.TXT in the source
14: //distribution or in the .jar file of this application
15:
16: package de.uka.ilkd.key.ocl.gf;
17:
18: /**
19: * GF sends the new menu as XML.
20: * After this has been parsed by GfCapsule, it is sent in this representation
21: * to GFEditor2.
22: * @author daniels
23: *
24: */
25: class NewCategoryMenuResult {
26: /**
27: * The actual entries of the newMenu
28: */
29: final String[] menuContent;
30: /**
31: * The languages, that GF sent
32: */
33: final String[] languages;
34: /**
35: * the constituents of the import path?
36: */
37: final String[] paths;
38: /**
39: * the name of the abstract grammar, also called topic
40: */
41: final String grammarName;
42:
43: /**
44: * Just sets the attributes of this class
45: * @param grammarName the name of the abstract grammar, also called topic
46: * @param menuContent The actual entries of the newMenu
47: * @param languages The languages, that GF sent
48: * @param paths the constituents of the import path?
49: */
50: public NewCategoryMenuResult(String grammarName,
51: String[] menuContent, String[] languages, String paths[]) {
52: this.grammarName = grammarName;
53: this.menuContent = menuContent;
54: this.languages = languages;
55: this.paths = paths;
56: }
57:
58: }
|