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: import java.util.Vector;
19:
20: /**
21: * Encapsulates the <gfedit> XML tree from GF.
22: * @author hdaniels
23: */
24: class GfeditResult {
25: /**
26: * The fully parsed <hmsg> subtree
27: */
28: final Hmsg hmsg;
29: /**
30: * A Vector of StringTuple where first is the command for GF
31: * and second is the show text
32: */
33: final Vector gfCommands;
34: /**
35: * The tree from GF isn't XML anyway, so here it is in all its raw glory
36: */
37: final String treeString;
38: /**
39: * if GF had something extra to tell, it can be found here
40: */
41: final String message;
42: /**
43: * The XML for the linearizations in all languages
44: */
45: final String linearizations;
46:
47: /**
48: * A simple setter constructor
49: * @param gfCommands A Vector of StringTuple where first is the command for GF
50: * and second is the show text
51: * @param hmsg The fully parsed <hmsg> subtree
52: * @param linearizations The XML for the linearizations in all languages
53: * @param message the GF message
54: * @param treeString The tree from GF
55: */
56: public GfeditResult(Vector gfCommands, Hmsg hmsg,
57: String linearizations, String message, String treeString) {
58: this.gfCommands = gfCommands;
59: this.hmsg = hmsg;
60: this.linearizations = linearizations;
61: this.message = message;
62: this.treeString = treeString;
63: }
64: }
|