@Override public Object getFullName(Env env) { if (parameterList == null || parameterList.size() == 0) return selector.getSymbolString(); else { String s = selector.getSymbolString(); int size = parameterList.size(); if (size > 0) s = s + " "; for (ParameterDec p : parameterList) { if (p.getType(env) == null) { s = s + NameServer.dynName; } else { s = s + p.getType(env).getFullName(env); } if (--size > 0) s = s + ", "; } return s; } }