/** Constructs a JimpleLocal of the given name and type. */ public JimpleLocal(String name, Type type) { setName(name); setType(type); ArrayNumberer<Local> numberer = Scene.v().getLocalNumberer(); if (numberer != null) { numberer.add(this); } }
/** Constructs a JimpleLocal of the given name and type. */ public JimpleLocal(String name, Type type) { setName(name); setType(type); ArrayNumberer<Local> numberer = Scene.v().getLocalNumberer(); if (numberer != null) { numberer.add(this); } }