Syntax Checker: work() function

void work(void)

{

SPDI_MESSAGE msg;

if(SPDI_GetMessage(&msg) != SPDI_SUCCESS)

SPDI_ErrorMessage("work():SPDI_GetMessage() Failed!"); return;

if(process_type == SPDI_WORKER_PROCESS) /* Worker Case */

{

if(msg.type != SPDI_CHECKER_MSG)

SPDI_ErrorMessage("Expecting %d message, received %d message", SPDI_CHECKER_MSG, msg.type);

else

internal_object_test(msg.u.type.checker.object, msg.u.type.checker.level, msg.u.type.checker.path,

SE_TRUE);

}

else /* Manager Case */

{

int idx;

object_counts.error_count += msg.u.type.object_counts.error_count; object_counts.object_count += msg.u.type.object_counts.object_count;

for(idx = 0; idx < SE_NUM_TOKENS; idx++)

object_counts.object_array[idx] += msg.u.type.object_counts.object_array[idx];

}

SPDI_FreeMessage(&msg);

}