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: * Created on 07.12.2004
10: *
11: * TODO To change the template for this generated file go to
12: * Window - Preferences - Java - Code Style - Code Templates
13: */
14: package de.uka.ilkd.key.rule.export;
15:
16: import de.uka.ilkd.key.logic.Named;
17:
18: /**
19: * @author stenger
20: *
21: * This interface generalizes the concept of a named set of taclets,
22: * like a rule set, a .key file, etc.
23: */
24: public interface TacletContainer extends Named {
25: ListOfTacletModelInfo getTaclets();
26: }
|