de.uka.ilkd.key.java.abstraction

Interface Field

All Superinterfaces:

Member, ModelElement, NamedModelElement, ProgramModelElement, Variable

All Known Implementing Classes:

FieldSpecification, ImplicitFieldSpecification

public interface Field
extends Variable, Member

A program model element representing fields.

Author:

AL, RN The file has been modified by the KeY team.

Method Summary

Modifier and Type	Method and Description
String	getProgramName() returns the name of the field as used in programs.
IProgramVariable	getProgramVariable() returns the program variable associated with this field

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

getType, isFinal

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

getProgramVariable

IProgramVariable getProgramVariable()

returns the program variable associated with this field

Returns:

the program variable associated with this field

getProgramName

String getProgramName()

returns the name of the field as used in programs. In the logic each field has a unique name which is composed by the class name where it is declared and its source code name

Returns:

returns the name of the field as used in programs