LocalDefinitionAttributeKey

An object to use as a key in an AttributeSet, where the value is a DefinitionAndUsesInDocument. This is applied to the StyledDocument for the span of a token that is a declaration of some local. The DefinitionAndUsesInDocument contains navigation information for both this definition and all uses.