public void repaint() { modelVars.clear(); String[] keyArr = inputValues.keySet().toArray(new String[0]); Arrays.sort(keyArr); for (String var : keyArr) { modelVars.addElement(var + " = " + inputValues.get(var).toString()); } String[] keyArr2 = executer.getValues().keySet().toArray(new String[0]); Arrays.sort(keyArr2); for (String var : keyArr2) { modelVars.addElement(var); } ui.jListSrc.repaint(); ui.jListVariables.repaint(); if (curInstruction < instructions.length) { ui.jListSrc.setSelectedIndex(curInstruction); } else { ui.jListSrc.clearSelection(); } } }
MultivectorWithValues v = executer.getValues().get(varName); if (v.isMultivector()) { int bladeCount = v.getEntries().length;