(keyword: string, position: SourcePosition)
| 890 | } |
| 891 | |
| 892 | private createDirectiveId(keyword: string, position: SourcePosition): string { |
| 893 | const seed = `${keyword}:${position.line}:${position.column}`; |
| 894 | return createHash("sha256").update(seed).digest("hex").slice(0, 16); |
| 895 | } |
| 896 | |
| 897 | private verifyAttributes( |
| 898 | keyword: Keyword, |