private Term parseCallOrRef(final String name) throws ParseException { final int tt; Term t1 = null; tt = tokenizer.next(); if (tt == '(') { Term[] args = parseArgumentList(); Function function = defaultNamespace.resolveFunction(name, args); if (function != null) { t1 = new Term.Call(function, args); } else { reportError("Undefined function '" + getFunctionCallString(name, args) + "'."); /*I18N*/ } } else { tokenizer.pushBack(); Symbol symbol = defaultNamespace.resolveSymbol(name); if (symbol != null) { t1 = new Term.Ref(symbol); } else { reportError("Undefined symbol '" + name + "'."); /*I18N*/ } } return t1; }