Introduction to Compiler Construction in a Java World

Type Checking 157

// Then analyze the arguments , collecting

// their types ( in Class form ) as argTypes

argTypes = new Type [ a r guments . size ()];

for ( int i = 0; i < a r g u m e nts . size (); i ++) {

arguments . set(i , ( JExpr e s s ion ) argume n t s . get( i ). analyze (

context ));

argTypes [ i] = a r g uments . get ( i ). type ();

}

// Where are we now ? ( For access )

Type t h isType = (( JTypeDecl ) context . cla s s Conte x t

. d e f i nition ()). thisType ();

// Then analyze the t a rget

if ( target == null ) {

// Implied this ( or , implied type for statics )

if (! context . meth o d Conte x t (). i s S t a t i c ()) {

target = new JThis