package Ġarrow . meta . plugins . analysis . ph ases . analysis . solver . ast . context . descriptors Ċ Ċ import Ġarrow . meta . plugins . analysis . ph ases . analysis . solver . ast . context . elements . Fq Name Ċ Ċ interface ĠAnnot ated Ġ{ ĊĠ Ġfun Ġannotations (): ĠAn notations ĊĊĠ Ġval Ġhas Pre Or Post Annotation : ĠBoolean ĊĠĠĠ Ġget () Ġ= ĊĠĠĠĠĠ Ġannotations (). run Ġ{ ĊĠĠĠĠĠĠĠ Ġhas Annotation ( Fq Name (" arrow . analysis . Pre ")) Ġ|| Ġhas Annotation ( Fq Name (" arrow . analysis . Post ")) ĊĠĠĠĠĠ Ġ} ĊĊĠ Ġval Ġhas Package With L aws Annotation : ĠBoolean ĊĠĠĠ Ġget () Ġ= Ġannotations (). has Annotation ( Fq Name (" arrow . analysis . Package sWith L aws ")) ĊĊĠ Ġval Ġpackage With L aws Annotation : ĠAnnotation Descriptor ? ĊĠĠĠ Ġget () Ġ= Ġannotations (). find Annotation ( Fq Name (" arrow . analysis . Package sWith L aws ")) ĊĊĠ Ġval Ġhas DoNot Look At Arguments Annotation : ĠBoolean ĊĠĠĠ Ġget () Ġ= Ġannotations (). has Annotation ( Fq Name (" arrow . analysis . DoNot Look At Arguments ")) Ċ } Ċ Ċ val ĠAnnot ated . has Inter esting Annotation : ĠBoolean ĊĠ Ġget () Ġ= Ġhas Pre Or Post Annotation Ġ|| Ġhas DoNot Look At Arguments Annotation Ċ