ROSE  0.11.96.11
Classes | Enumerations
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

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.