Rose::AST::Defects Namespace Reference

Description

Mechanism to describe defect in the AST.

How to record a defect: Defect::record<Defects::Kind::my_defect_kind>(my_descriptor_arguments); Examples: Defect::record<Defects::Kind::integrity_edges>(source, target, label, traversed, container, expected, found, IntegrityEdgeDefect::Reason::incompatible); Defect::record<IntegrityEdgeDefect>(source, target, label, traversed, container, expected, found, IntegrityEdgeDefect::Reason::incompatible);

Classes
struct	defect_t
	The generic defect descriptor. More...
struct	defect_t< Kind::any >
	Defect descriptor specialization for the default kind "any". More...
struct	defect_t< Kind::integrity_edges >
	Specialization of the defect_t template for the case of an edge integrity defect. More...

Enumerations
enum	Kind {   Kind::any,   Kind::integrity_edges,   Kind::integrity_declarations,   Kind::integrity_symbols,   Kind::integrity_types }
	List of the supported kind of defects. Kind::any. More...

Enumeration Type Documentation

Kind

enum Rose::AST::Defects::Kind

strong

List of the supported kind of defects. Kind::any.

Enumerator
any	base kind for any defect
integrity_edges	Edges integrity: for any node in the memory pool, check that all edges point to valid nodes.
integrity_declarations	Declarations integrity:
integrity_symbols	Symbols integrity:
integrity_types	Types integrity:

Definition at line 19 of file Defect.h.