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: // This file is part of the RECODER library and protected by the LGPL.
12: package de.uka.ilkd.key.java.recoderext;
13:
14: import recoder.ProgramFactory;
15: import recoder.service.SourceInfo;
16: import de.uka.ilkd.key.util.KeYExceptionHandler;
17:
18: public class SchemaCrossReferenceServiceConfiguration extends
19: KeYCrossReferenceServiceConfiguration {
20:
21: public SchemaCrossReferenceServiceConfiguration(
22: KeYExceptionHandler keh) {
23: super (keh);
24: }
25:
26: /** we need another factory for some new program elements */
27: protected ProgramFactory makeProgramFactory() {
28: return SchemaJavaProgramFactory.getInstance();
29: }
30:
31: /**
32: The cross reference source info is a subclass of the source info,
33: so this class simply overrides the source info factory method.
34: */
35: protected SourceInfo makeSourceInfo() {
36: return new SchemaCrossReferenceSourceInfo(this);
37: }
38:
39: }
|