Next: Field access
Up: Applied occurrences of names
Previous: Qualified names
Applied occurrences of names[32]
:
ATTR Sym: int;
TREE SYMBOL QualInhName INHERITS PkgIdUseEnv, TypeDefUseId COMPUTE
SYNT.Sym=FullyQualifiedName(THIS.Ids);
END;
TREE SYMBOL InhBaseId INHERITS TypIdUseEnv END;
RULE: QualInhName ::= InhBaseId COMPUTE
QualInhName.Key=InhBaseId.TypKey;
QualInhName.TypScopeKey=
IF(NE(InhBaseId.TypKey,NoKey),TransDefer(InhBaseId.TypKey),
QualInhName.PkgKey);
END;
TREE SYMBOL InhQualId INHERITS TypQualIdUse COMPUTE
SYNT.TypBind=
BindingInScope(THIS.TypScope,THIS.Sym)
<- (INCLUDING TypAnyScope.TypGotVisibleKeysNest);
END;
RULE: QualInhName ::= QualInhName '.' InhQualId COMPUTE
QualInhName[1].Key=InhQualId.TypKey;
QualInhName[1].TypScopeKey=
IF(NE(InhQualId.TypKey,NoKey),TransDefer(InhQualId.TypKey),
QualInhName[1].PkgKey);
InhQualId.TypScopeKey=QualInhName[2].TypScopeKey;
END;
This macro is defined in definitions 21, 31, 32, 33, and 34.
This macro is invoked in definition 2.
2008-09-11