@ file : Suppress (" JAVA _ MODULE _ DO ES _ NOT _ EXPORT _ PACKAGE ") Ċ Ċ package Ġarrow . meta . plugins . analysis . java . ast . descriptors Ċ Ċ 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 . descriptors . Callable Descriptor Ċ import Ġarrow . meta . plugins . analysis . ph ases . analysis . solver . ast . context . descriptors . Parameter Descriptor Ċ import Ġarrow . meta . plugins . analysis . ph ases . analysis . solver . ast . context . descriptors . Receiver Parameter Descriptor Ċ import Ġarrow . meta . plugins . analysis . ph ases . analysis . solver . ast . context . descriptors . Type Parameter Descriptor Ċ import Ġarrow . meta . plugins . analysis . ph ases . analysis . solver . ast . context . descriptors . Value Descriptor Ċ import Ġarrow . meta . plugins . analysis . ph ases . analysis . solver . ast . context . descriptors . Value Parameter Descriptor Ċ import Ġarrow . meta . plugins . analysis . ph ases . analysis . solver . ast . context . types . Type Ċ import Ġcom . sun . tools . javac . code . Symbol Ċ import Ġjavax . lang . model . element . Variable Element Ċ Ċ public Ġopen Ġclass ĠJava Value Descriptor ( ĊĠ Ġprivate Ġval Ġctx : ĠAnalysis Context , ĊĠ Ġprivate Ġval Ġimpl : ĠVariable Element Ċ ) Ġ: ĠValue Descriptor , ĠJava Member Descriptor ( ctx , Ġimpl ) Ġ{ ĊĊĠ Ġoverride Ġval Ġtype : ĠType ĊĠĠĠ Ġget () Ġ= ĊĠĠĠĠĠ Ġwhen Ġ( impl ) Ġ{ ĊĠĠĠĠĠĠĠ Ġis ĠSymbol Ġ-> Ġimpl . type . model ( ctx ) ĊĠĠĠĠĠĠĠ Ġelse Ġ-> Ġthrow ĠIllegalStateException (" this Ġelement Ġshould Ġbe Ġa Ġsymbol ") ĊĠĠĠĠĠ Ġ} ĊĠ Ġoverride Ġval Ġall Parameters : ĠList < Parameter Descriptor > Ġ= Ġempty List () ĊĠ Ġoverride Ġval Ġextension Receiver Parameter : ĠReceiver Parameter Descriptor ? Ġ= Ġnull ĊĠ Ġoverride Ġval Ġdispatch Receiver Parameter : ĠReceiver Parameter Descriptor ? Ġ= Ġnull ĊĠ Ġoverride Ġval Ġtype Parameters : ĠList < Type Parameter Descriptor > Ġ= Ġempty List () ĊĠ Ġoverride Ġval ĠreturnType : ĠType ? Ġ= Ġnull ĊĠ Ġoverride Ġval Ġvalue Parameters : ĠList < Value Parameter Descriptor > Ġ= Ġempty List () ĊĠ Ġoverride Ġval Ġoverridden Descriptors : ĠCollection < Callable Descriptor > Ġ= Ġempty List () Ċ } Ċ