de.uka.ilkd.key.java.abstraction

Interface Member

All Superinterfaces:

ModelElement, NamedModelElement, ProgramModelElement

All Known Subinterfaces:

ClassType, Constructor, Field, Method

All Known Implementing Classes:

ArrayDeclaration, ClassDeclaration, ConstructorDeclaration, DefaultConstructor, EnumClassDeclaration, FieldSpecification, ImplicitFieldSpecification, InterfaceDeclaration, MethodDeclaration, NullType, SuperArrayDeclaration, TypeDeclaration

public interface Member
extends ProgramModelElement

A program model element representing members.

Method Summary

Modifier and Type	Method and Description
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.

Methods inherited from interface de.uka.ilkd.key.java.abstraction.ProgramModelElement

getFullName

Methods inherited from interface de.uka.ilkd.key.java.NamedModelElement

getName

Method Detail

isFinal

boolean isFinal()

Checks if this member is final.

Returns:

true if this member is final, false otherwise.

isStatic

boolean isStatic()

Checks if this member is static. Returns true for Constructors.

Returns:

true if this member is static, false otherwise.

isPrivate

boolean isPrivate()

Checks if this member is private.

Returns:

true if this member is private, false otherwise.

isProtected

boolean isProtected()

Checks if this member is protected.

Returns:

true if this member is protected, false otherwise.

isPublic

boolean isPublic()

Checks if this member is public.

Returns:

true if this member is public, false otherwise.

isStrictFp

boolean isStrictFp()

Checks if this member is strictfp.

Returns:

true if this member is strictfp, false otherwise.