testsuite.h File Reference

Testing utility functions. More...

#include <stdbool.h>
#include <stdio.h>
#include <stdlib.h>
#include <stdint.h>
#include <assert.h>
#include <time.h>
#include <check.h>
#include "p1-lexer.h"
#include "p2-parser.h"

Go to the source code of this file.

Macros
#define	TEST_VALID(NAME, TEXT)
	Define a test case with a valid program. More...
#define	TEST_INVALID(NAME, TEXT)
	Define a test case with an invalid program. More...
#define	TEST_VALID_MAIN(NAME, TEXT)
	Define a test case with a valid main function. More...
#define	TEST_INVALID_MAIN(NAME, TEXT)
	Define a test case with an invalid main function. More...
#define	TEST_VALID_EXPR(NAME, TEXT)
	Define a test case with a valid main function returning an expression. More...
#define	TEST_INVALID_EXPR(NAME, TEXT)
	Define a test case with an invalid main function returning an expression. More...
#define	TEST_INT_LITERAL(NAME, TEXT, VALUE)
	Define a test case for an integer literal. More...
#define	TEST_STR_LITERAL(NAME, TEXT, VALUE)
	Define a test case for a string literal. More...
#define	TEST(NAME)   tcase_add_test (tc, NAME)
	Add a test to the test suite.

Functions
ASTNode *	run_parser (char *text)
	Run lexer and parser on given text. More...
bool	invalid_program (char *text)
	Run lexer and parser on given text and verify that it throws an exception. More...
bool	valid_program (char *text)
	Run lexer and parser on given text and verify that it returns an AST and does not throw an exception. More...

Detailed Description

Testing utility functions.

Macro Definition Documentation

TEST_INT_LITERAL

#define TEST_INT_LITERAL	(		NAME,
			TEXT,
			VALUE
	)

Value:

START_TEST (NAME) \
{ ASTNode* p = run_parser("def int main() { return " TEXT " ; }"); \
  int value = p->program.functions->head->funcdecl.body->block.statements->head->funcreturn.value->literal.integer; \
  ck_assert_int_eq(value, VALUE); } \
END_TEST

Define a test case for an integer literal.

TEST_INVALID

#define TEST_INVALID	(		NAME,
			TEXT
	)

Value:

START_TEST (NAME) \
{ ck_assert (invalid_program(TEXT)); } \
END_TEST

Define a test case with an invalid program.

TEST_INVALID_EXPR

#define TEST_INVALID_EXPR	(		NAME,
			TEXT
	)

Value:

START_TEST (NAME) \
{ ck_assert (invalid_program("def int main () { return " TEXT " ; }")); } \
END_TEST

Define a test case with an invalid main function returning an expression.

TEST_INVALID_MAIN

#define TEST_INVALID_MAIN	(		NAME,
			TEXT
	)

Value:

START_TEST (NAME) \
{ ck_assert (invalid_program("def int main () { " TEXT " }")); } \
END_TEST

Define a test case with an invalid main function.

TEST_STR_LITERAL

#define TEST_STR_LITERAL	(		NAME,
			TEXT,
			VALUE
	)

Value:

START_TEST (NAME) \
{ ASTNode* p = run_parser("def int main() { return " TEXT " ; }"); \
  char* value = p->program.functions->head->funcdecl.body->block.statements->head->funcreturn.value->literal.string; \
  ck_assert_str_eq(value, VALUE); } \
END_TEST

Define a test case for a string literal.

TEST_VALID

#define TEST_VALID	(		NAME,
			TEXT
	)

Value:

START_TEST (NAME) \
{ ck_assert (valid_program(TEXT)); } \
END_TEST

Define a test case with a valid program.

TEST_VALID_EXPR

#define TEST_VALID_EXPR	(		NAME,
			TEXT
	)

Value:

START_TEST (NAME) \
{ ck_assert (valid_program("def int main () { return " TEXT " ; }")); } \
END_TEST

Define a test case with a valid main function returning an expression.

TEST_VALID_MAIN

#define TEST_VALID_MAIN	(		NAME,
			TEXT
	)

Value:

START_TEST (NAME) \
{ ck_assert (valid_program("def int main () { " TEXT " }")); } \
END_TEST

Define a test case with a valid main function.

Function Documentation

invalid_program()

bool invalid_program

(

char *

text

)

Run lexer and parser on given text and verify that it throws an exception.

Parameters

text	Code to lex and parse

Returns

True if and only if the lexer or parser threw an exception

run_parser()

ASTNode* run_parser

(

char *

text

)

Run lexer and parser on given text.

The difference between this and the main parse() function is that this version catches exceptions and returns NULL instead of propogating the exception.

Parameters

text	Code to lex and parse

Returns

AST or NULL if there was an error

valid_program()

bool valid_program

(

char *

text

)

Run lexer and parser on given text and verify that it returns an AST and does not throw an exception.

Parameters

text	Code to lex and parse

Returns

True if and only if the text was lexed and parsed successfully