| de.uka.ilkd.key.java.abstraction.Field
All known Subclasses: de.uka.ilkd.key.java.declaration.FieldSpecification,
| Field | | public interface Field extends Variable,Member(Code) | | A program model element representing fields.
author:
AL
author:
RN
author:
The file has been modified by the KeY team. |
| getProgramName | | String getProgramName()(Code) | | 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 the name of the field as used in programs |
| getProgramVariable | | IProgramVariable getProgramVariable()(Code) | | returns the program variable associated with this field
the program variable associated with this field |
|
|