Code

Add checks to annotation getters.#5052

Code

Merged

fruffy merged 3 commits intomainp4lang/p4c:mainfrom fruffy/annotation_error_messagesp4lang/p4c:fruffy/annotation_error_messagesCopy head branch name to clipboardDec 12, 2024

+50-9

Commits

Commits on Dec 11, 2024

• Add annotation error messages.

  Show description for 30ff78d
  fruffy

  committed
  30ff78d

• Check for KVAnnotation instead of deferring to annotationKind().

  Show description for 2fb857e
  fruffy

  committed
  2fb857e

• Use try-catch instead of BUG_CHECK.

  Show description for 8390080
  fruffy

  committed
  8390080