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.declaration.modifier;
12:
13: /**
14: * Private.
15: * @author <TT>AutoDoc</TT>
16: */
17:
18: public class Private extends VisibilityModifier {
19:
20: /**
21: * Private.
22: */
23:
24: public Private() {
25: }
26:
27: /**
28: * Private
29: * @param children list of children. May contain: Comments
30: */
31: public Private(de.uka.ilkd.key.util.ExtList children) {
32: super (children);
33: }
34:
35: /**
36: * Get symbol.
37: * @return the string.
38: */
39: protected String getSymbol() {
40: return "private";
41: }
42: }
|