de.uka.ilkd.key.java.abstraction

Interface Method

All Superinterfaces:

ClassTypeContainer, Member, ModelElement, NamedModelElement, ProgramModelElement

All Known Subinterfaces:

Constructor

All Known Implementing Classes:

ConstructorDeclaration, DefaultConstructor, MethodDeclaration

public interface Method
extends Member, ClassTypeContainer

A program model element representing methods.

Method Summary

Modifier and Type	Method and Description
boolean	isAbstract() Checks if this member is abstract.
boolean	isNative() Checks if this method is native.
boolean	isSynchronized() Checks if this method is synchronized.

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

isFinal, isPrivate, isProtected, isPublic, isStatic, isStrictFp

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

isAbstract

boolean isAbstract()

Checks if this member is abstract. A constructor will report false.

Returns:

true if this member is abstract, false otherwise.

See Also:

Constructor

isNative

boolean isNative()

Checks if this method is native. A constructor will report false.

Returns:

true if this method is native, false otherwise.

See Also:

Constructor

isSynchronized

boolean isSynchronized()

Checks if this method is synchronized. A constructor will report false.

Returns:

true if this method is synchronized, false otherwise.

See Also:

Constructor