de.uka.ilkd.key.java.abstraction

Interface Variable

All Superinterfaces:

ModelElement, NamedModelElement, ProgramModelElement

All Known Subinterfaces:

Field

All Known Implementing Classes:

FieldSpecification, ImplicitFieldSpecification, VariableSpecification

public interface Variable
extends ProgramModelElement

A program model element representing variables.

Author:

AL, RN

Method Summary

Modifier and Type	Method and Description
Type	getType() Returns the type of this variable.
boolean	isFinal() Checks if this variable is final.

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 variable is final.

Returns:

true if this variable is final, false otherwise.

getType

Type getType()

Returns the type of this variable.

Returns:

the type of this variable.