return super.toString() + ":" + procedure.name;
}
@Override
public Object report(Context context) throws LogoException {
Activation newActivation =
new Activation(procedure, context.activation, context.ip);
for (int i = 0; i < (procedure.args.size() - procedure.localsCount); i++) {
newActivation.args[i] = args[i].report(context);
}
Object result = context.callReporterProcedure(newActivation);
if (result == null) {