Rose::AST::Defects Namespace Reference

Description

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 class	Kind {   any ,   integrity_edges ,   integrity_declarations ,   integrity_symbols ,   integrity_types }
	List of the supported kind of defects. Kind::any. More...

Enumeration Type Documentation

Kind

enum class 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 27 of file Defect.h.