@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;
}
}
