public String getSymbol(String symbolName) { return symbols.get(symbolName); }
public ScenarioTable getScenario(String scenarioName) { return scenarios.get(scenarioName); }
private void replaceExceptionWithExceptionLink(String resultKey) { Object result = instructionResults.get(resultKey); if (result instanceof String) replaceIfUnignoredException(resultKey, (String) result); }