@ file : Suppress (" JAVA _ MODULE _ DO ES _ NOT _ EXPORT _ PACKAGE ") Ċ Ċ package Ġarrow . meta . plugins . analysis . java . ast . elements Ċ Ċ import Ġarrow . meta . plugins . analysis . java . Analysis Context Ċ import Ġarrow . meta . plugins . analysis . java . ast . model Ċ import Ġarrow . meta . plugins . analysis . ph ases . analysis . solver . ast . context . elements . Expression Ċ import Ġarrow . meta . plugins . analysis . ph ases . analysis . solver . ast . context . elements . Is Expression Ċ import Ġarrow . meta . plugins . analysis . ph ases . analysis . solver . ast . context . elements . Simple Name Expression Ċ import Ġarrow . meta . plugins . analysis . ph ases . analysis . solver . ast . context . elements . Type Reference Ċ import Ġcom . sun . source . tree . InstanceOf Tree Ċ Ċ /* Ġmissing Ċ public Ġclass ĠJava Type Cast ( private Ġval Ġctx : ĠAnalysis Context , Ġprivate Ġval Ġimpl : ĠType Cast Tree ) ĊĠ Ġ: Ġ{ Ċ Ċ } Ċ */ Ċ Ċ public Ġclass ĠJava InstanceOf ( private Ġval Ġctx : ĠAnalysis Context , Ġprivate Ġval Ġimpl : ĠInstance Of Tree ) Ġ: ĊĠ ĠIs Expression , ĠJava Element ( ctx , Ġimpl ) Ġ{ ĊĠ Ġoverride Ġval Ġleft Hand Side : ĠExpression ĊĠĠĠ Ġget () Ġ= Ġimpl . expression . model ( ctx ) ĊĠ Ġoverride Ġval Ġtype Reference : ĠType Reference ? ĊĠĠĠ Ġget () Ġ= ĠJava Type Reference ( ctx , Ġimpl . type ) ĊĠ Ġoverride Ġval Ġoperation Reference : ĠSimple Name Expression ĊĠĠĠ Ġget () Ġ= ĠJava Fake Reference (" instance of ", Ġthis ) ĊĊĠ Ġ// ĠJava Ġdoes Ġnot Ġhave Ġneg ated Ġinstanceof ĊĠ Ġoverride Ġval Ġis Neg ated : ĠBoolean Ġ= Ġfalse Ċ } Ċ