// ĠWITH _ RUNTIME Ċ // ĠTEST ĠPROCESS OR : ĠValidate Processor Ċ // ĠEXPECT ED : Ċ // ĠError In Member Ġinvalid Ċ // Ġgood Prop Ġvalid Ċ // Ġerror Fun Ġinvalid Ċ // ĠGood Class Ġvalid Ċ // ĠC Ġvalid Ċ // ĠBad Java Class Ġinvalid Ċ // ĠError Annotation Type Ġinvalid Ċ // ĠEND Ċ // ĠFILE : Ġa . kt Ċ annotation Ġclass ĠAnno ( val Ġi : ĠInt ) Ċ Ċ @ Anno ( 1 ) Ċ class ĠError In Member Ġ: ĠC Ġ{ ĊĠĠĠ Ġval Ġgood Prop : ĠInt ĊĠĠĠ Ġfun Ġerror Fun (): ĠNon Exist Type Ġ{ ĊĊĠĠĠ Ġ} Ċ } Ċ Ċ @ Non Exist Annotation Ċ class ĠError Annotation Type Ġ{ Ċ } Ċ Ċ @ Anno ( 1 ) Ċ open Ġclass ĠGood Class Ġ{ ĊĠĠĠ Ġval Ġa : ĠInt ĊĊĠĠĠ Ġfun Ġfoo (): ĠInt Ġ= Ġ 1 Ċ } Ċ Ċ // ĠFILE : ĠC . java Ċ Ċ public Ġclass ĠC Ġextends ĠGood Class Ġ{} Ċ Ċ class ĠBad Java Class Ġextends ĠNon Exist Type Ġ{ Ċ Ċ }