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(12): 

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(17): 
v423e.c(18): 	/* Do some stuff with dog and clog here	*/
Do some stuff with dog and clog here	*/ 
v423e.c(19): 
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	*/

v423e.c(26): 

//This also applies to exit() calls.

v423e.c(28): 

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.