01: // This file is part of KeY - Integrated Deductive Software Design
02: // Copyright (C) 2001-2007 Universitaet Karlsruhe, Germany
03: // Universitaet Koblenz-Landau, Germany
04: // Chalmers University of Technology, Sweden
05: //
06: // The KeY system is protected by the GNU General Public License.
07: // See LICENSE.TXT for details.
08: //
09: //
10: //
11: //
12:
13: /** @author Kristofer Johannisson */package de.uka.ilkd.key.casetool.together;
14:
15: import java.io.File;
16: import java.util.Arrays;
17: import java.util.TreeSet;
18: import java.util.logging.Logger;
19:
20: import de.uka.ilkd.key.ocl.gf.GFinterface;
21:
22: /** control object interfacing KeY with GF */
23: public class TogetherGFInterface extends GFinterface {
24:
25: public TogetherGFInterface() {
26: // set up logging
27: logger = Logger.getLogger("key.ocl.gf");
28: // Logger test = Logger.getRootLogger();
29: // test.error("GFinterface testing root logger...");
30:
31: // get the UML model
32:
33: projectRoot = UMLOCLTogetherModel.getTogetherProjectDir();
34: model = new UMLOCLTogetherModel();
35: modelInfoUmltypes = projectRoot + File.separator
36: + modelinfoUmltypesFilename;
37:
38: // set up the filter (list) for features inherited from the java class "Object"
39: String[] names = { "clone", "equals", "finalize", "getClass",
40: "hashCode", "notify", "notifyAll", "toString", "wait" };
41: fromObject = Arrays.asList(names);
42:
43: // set up list of types which should not be added to grammar even if
44: // they occur in Java/UML model
45: String[] types = { "OclType", "OclAny", "OclState",
46: "OclExpression", "Real", "Integer", "String",
47: "Boolean", "Bool", "boolean" }; // "Enumeration"
48: inOCL = Arrays.asList(types);
49:
50: unknownAdded = new TreeSet();
51: }
52:
53: }
|