}
}
DisplayDataSpec checkVarName(String varname, String attribute) throws ResultException{
DisplayDataSpec spec = displayData.get(varname);
if (spec == null){
ResultException ex = new ResultException();
ex.addError("Unknown varname for " + attribute + ": " + varname);
ex.result.lastResult().lineNumber(getLineNumber());
ex.result.lastResult().fileName(getFile());