| de.uka.ilkd.key.java.abstraction.Member
| Method Summary | |
| boolean | isFinal()
Checks if this member is final. | | boolean | isPrivate()
Checks if this member is private. | | boolean | isProtected()
Checks if this member is protected. | | boolean | isPublic()
Checks if this member is public. | | boolean | isStatic()
Checks if this member is static. | | boolean | isStrictFp()
Checks if this member is strictfp. |
| isFinal | | boolean isFinal()(Code) | | Checks if this member is final.
true if this member is final,false otherwise. |
| isPrivate | | boolean isPrivate()(Code) | | Checks if this member is private.
true if this member is private,false otherwise. |
| isProtected | | boolean isProtected()(Code) | | Checks if this member is protected.
true if this member is protected,false otherwise. |
| isPublic | | boolean isPublic()(Code) | | Checks if this member is public.
true if this member is public,false otherwise. |
| isStatic | | boolean isStatic()(Code) | | Checks if this member is static. Returns true
for
recoder.abstraction.Constructor s.
true if this member is static,false otherwise. |
| isStrictFp | | boolean isStrictFp()(Code) | | Checks if this member is strictfp.
true if this member is strictfp,false otherwise. |
|
|