/** * Return the local with the given name, or null if none. If multiple * locals have the given name, which is returned is undefined. */ public LocalVariable getLocalVariable(String name) { return (LocalVariable) getLocal(name); }
/** * Return the local with the given name, or null if none. If multiple * locals have the given name, which is returned is undefined. */ public LocalVariable getLocalVariable(String name) { return (LocalVariable) getLocal(name); }
/** * Return the local with the given locals index, or null if none. */ public LocalVariable getLocalVariable(int local) { return (LocalVariable) getLocal(local); }
/** * Return the local with the given locals index, or null if none. */ public LocalVariable getLocalVariable(int local) { return (LocalVariable) getLocal(local); }