public ITokenStream AttributesTokenStream(QualifiedModuleName module) { return(_state.GetAttributesTokenStream(module)); }