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.abstraction;
12:
13: /**
14: A program model element representing members.
15: */
16: public interface Member extends ProgramModelElement {
17:
18: /**
19: Checks if this member is final.
20: @return <CODE>true</CODE> if this member is final,
21: <CODE>false</CODE> otherwise.
22: */
23: boolean isFinal();
24:
25: /**
26: Checks if this member is static. Returns <CODE>true</CODE>
27: for {@link recoder.abstraction.Constructor}s.
28: @return <CODE>true</CODE> if this member is static,
29: <CODE>false</CODE> otherwise.
30: */
31: boolean isStatic();
32:
33: /**
34: Checks if this member is private.
35: @return <CODE>true</CODE> if this member is private,
36: <CODE>false</CODE> otherwise.
37: */
38: boolean isPrivate();
39:
40: /**
41: Checks if this member is protected.
42: @return <CODE>true</CODE> if this member is protected,
43: <CODE>false</CODE> otherwise.
44: */
45: boolean isProtected();
46:
47: /**
48: Checks if this member is public.
49: @return <CODE>true</CODE> if this member is public,
50: <CODE>false</CODE> otherwise.
51: */
52: boolean isPublic();
53:
54: /**
55: Checks if this member is strictfp.
56: @return <CODE>true</CODE> if this member is strictfp,
57: <CODE>false</CODE> otherwise.
58: */
59: boolean isStrictFp();
60: }
|