next up previous
Next: Method access Up: Applied occurrences of names Previous: Determining the meaning of

Field access

Applied occurrences of names[33]:

SYMBOL FieldIdUse INHERITS IdentOcc, FldQualIdUse COMPUTE
  SYNT.Key=THIS.FldKey;
END;

RULE: Expression ::= Expression '.' FieldIdUse COMPUTE
  FieldIdUse.MthScopeKey=Expression[2].Type;
END;

RULE: Expression ::= 'super' '.' FieldIdUse COMPUTE
  FieldIdUse.MthScopeKey=FinalType(INCLUDING TypeDeclaration.SuperType);
END;

RULE: Expression ::= Name $pTypeName '.' 'super' '.' FieldIdUse COMPUTE
  FieldIdUse.MthScopeKey=
    FinalType(GetSuperType(FinalType(pTypeName.Type),NoKey));
END;
This macro is defined in definitions 21, 31, 32, 33, and 34.
This macro is invoked in definition 2.



2008-09-11