violation.h File Reference

#include <stdio.h>
#include <candl/dependence.h>
#include <candl/matrix.h>

Include dependency graph for violation.h:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes
struct	candlviolation
Typedefs
typedef struct candlviolation	CandlViolation
Functions
void	candl_violation_print_structure (FILE *, CandlViolation *, int)
void	candl_violation_print (FILE *, CandlViolation *)
void	candl_violation_pprint (FILE *, CandlViolation *)
void	candl_violation_view (CandlViolation *)
void	candl_violation_free (CandlViolation *)
CandlViolation *	candl_violation_malloc ()
void	candl_violation_add (CandlViolation **, CandlViolation **, CandlViolation *)
CandlViolation *	candl_violation (CandlProgram *, CandlDependence *, CandlOptions *)

---

Typedef Documentation

typedef struct candlviolation CandlViolation

---

Function Documentation

CandlViolation* candl_violation	(	CandlProgram *	,
		CandlDependence *	,
		CandlOptions *
	)

void candl_violation_add	(	CandlViolation **	,
		CandlViolation **	,
		CandlViolation *
	)

Referenced by candl_violation().

void candl_violation_free

(

CandlViolation *

)

References candl_matrix_free(), candlviolation::domain, and candlviolation::next.

Referenced by main().

CandlViolation* candl_violation_malloc

(

)

candl_violation_malloc function: This function allocates the memory space for a CandlViolation structure and sets its fields with default values. Then it returns a pointer to the allocated space.

• 07/12/2005: first version.

References CANDL_UNSET, candlviolation::dependence, candlviolation::dimension, candlviolation::domain, and candlviolation::next.

Referenced by candl_violation().

void candl_violation_pprint	(	FILE *	,
		CandlViolation *
	)

References CANDL_RAR, CANDL_RAW, CANDL_RELEASE, CANDL_UNSET, CANDL_VERSION, CANDL_WAR, CANDL_WAW, candlviolation::dependence, candldependence::depth, candlviolation::dimension, candlstatement::label, candlviolation::next, candldependence::ref_source, candldependence::ref_target, candldependence::source, candldependence::target, and candldependence::type.

Referenced by candl_violation_view(), and main().

void candl_violation_print	(	FILE *	,
		CandlViolation *
	)

References candl_violation_print_structure().

Referenced by main().

void candl_violation_print_structure	(	FILE *	,
		CandlViolation *	,
		int
	)

void candl_violation_view

(

CandlViolation *

)

References CANDL_TEMP_OUTPUT, and candl_violation_pprint().

Referenced by main().