// CS 2310 Execise 5 
// Chapter 12
// Header file safeArray.h

const int MAX_SIZE = 200;

class IntArray
{
public:
	int ValueAt( /* in */ int i) const;
		// Precondition:
		//		i is assigned
		// Postcondition:
		//		IF i >= 0 && i < declared size of array
		//			Function value == value of array element
		//								at index i
		//		ELSE
		//			Program has halted with error message

	void Store( /* in */ int val,
				/* in */ int i);
		// Precondition:
		//		val and i are assigned
		//	Postcondition:
		//		IF i >= 0 && i < declared size of array
		//			val is stored in array element i
		//		ELSE
		//			Program has halted with error message

	IntArray();
		//	Postcondition:
		//			Array created with all array elements == 0
		
private:
	int arr[MAX_SIZE];
};