VSS Package Index  Abraxas VSS Home Table of Contents

Abraxas Software, Inc.

CodeCheck Voting System Standards Test Suite - v423e.c

v423e.c(1): /*
423e. Each module shall have a single entry point, and a single exit point, for
normal process flow. For library modules or languages such as the objectoriented
languages, the entry point is to the individual contained module or
method invoked. The single exit point is the point where control is returned.
At that point, the data that is expected as output must be appropriately set.
The exception for the exit point is where a problem is so severe that
execution cannot be resumed. In this case, the design must explicitly protect
all recorded votes and audit log information and must implement formal
exception handlers provided by the language; and
v423e.c(11): */
v423e.c(13): int Func1()

Function Name: Func1()

v423e.c(14): {
v423e.c(15): 	int dog = 0;
v423e.c(16): 	int clog = 0;
v423e.c(18): 	/* Do some stuff with dog and clog here	*/
Do some stuff with dog and clog here */
v423e.c(20): 	if( 0 < dog )	{
v423e.c(21): 		return dog;
v423e.c(22): 	}else if( 0 < clog )	{
v423e.c(23): 		exit(-1); 
v423e.c(24): 	}
v423e.c(25): } 	/* This is not allowed two return points	*/
//This also applies to exit() calls.
v423e.c(29): int vss_423e()

Function Name: vss_423e()

v423e.c(30): {
v423e.c(31): 	return;		// explicit return at end of function is ok, 
v423e.c(32): }

VSS Package Index  Abraxas VSS Home Table of Contents

CodeCheck Copyright (c) 1988-2006 by Abraxas Software Inc. (R). All rights reserved.