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: * Stores a MarkedArea together with some status fields, which tell
20: * how it should get highlighted.
21: * No direct highlighting stuff in here, that's done in GFEditor2
22: * @author daniels
23: */
24: class MarkedAreaHighlightingStatus {
25: /**
26: * The MarkedArea, which contains the highlighting information
27: */
28: final MarkedArea ma;
29: /**
30: * whether this MarkedArea is a subnode of the currently focused node
31: */
32: final boolean focused;
33: /**
34: * whether this MarkedArea has (inherited) a GF constraint
35: */
36: final boolean incorrect;
37:
38: /**
39: * Initializes this immutable record class
40: * @param focused whether this MarkedArea is a subnode of the currently focused node
41: * @param incorrect whether this MarkedArea has (inherited) a GF constraint
42: * @param ma The MarkedArea, which contains the highlighting information
43: */
44: public MarkedAreaHighlightingStatus(boolean focused,
45: boolean incorrect, MarkedArea ma) {
46: this.focused = focused;
47: this.incorrect = incorrect;
48: this.ma = ma;
49: }
50: }
|