24     private Type[] locals;  field in Frame
36     public Frame(int locals, int stack) {  in Frame()  argument
37         this.locals = new Type[locals];  in Frame()
48         return locals[index];  in getLocal()
58         locals[index] = type;  in setLocal()
108         return locals.length;  in localsLength()
151         Frame frame = new Frame(locals.length, stack.length);  in copy()
152         System.arraycopy(locals, 0, frame.locals, 0, locals.length);  in copy()
165         Frame frame = new Frame(locals.length, stack.length);  in copyStack()
212         for (int i = 0; i < locals.length; i++) {  in merge()
213             if (locals[i] != null) {  in merge()
214                 Type prev = locals[i];  in merge()
215                 Type merged = prev.merge(frame.locals[i]);  in merge()
217                 locals[i] = merged;  in merge()
221             } else if (frame.locals[i] != null) {  in merge()
222                 locals[i] = frame.locals[i];  in merge()
235         for (int i = 0; i < locals.length; i++) {  in toString()
236             buffer.append(locals[i] == null ? "empty" : locals[i].toString());  in toString()
237             if (i < locals.length - 1)  in toString()