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: package de.uka.ilkd.key.java.statement;
12:
13: import de.uka.ilkd.key.java.JavaNonTerminalProgramElement;
14: import de.uka.ilkd.key.java.PositionInfo;
15: import de.uka.ilkd.key.util.ExtList;
16:
17: /**
18: * Branch.
19: * @author <TT>AutoDoc</TT>
20: */
21:
22: public abstract class BranchImp extends JavaNonTerminalProgramElement
23: implements Branch {
24:
25: /**
26: * Constructor for the transformation of COMPOST ASTs to KeY.
27: * @param children the children of this AST element as KeY classes.
28: * May contain: Comments
29: */
30: public BranchImp(ExtList children) {
31: super (children);
32: }
33:
34: public BranchImp() {
35: super ();
36: }
37:
38: public BranchImp(ExtList children, PositionInfo pos) {
39: super(children, pos);
40: }
41:
42: }
|