Description

Configure the AST checker module.

Definition at line 41 of file cmdline.h.

Collaboration diagram for Rose::AST::cmdline::checker_t:

Public Types
enum	Mode { Mode::all, Mode::integrity, Mode::integrity_edges, Mode::integrity_declarations, Mode::integrity_symbols, Mode::integrity_types, Mode::consistency, unknown }
	Many different modes are available. More...

enum	Effect { Effect::none, Effect::summary, Effect::report, Effect::fail, unknown }
	One can select the effect if any defect is detected. More...

Public Member Functions
void	exec (SgProject *project) const

Static Public Member Functions
static Mode	__mode (std::string const &)

static Effect	__effect (std::string const &)

Public Attributes
bool	on {false}

std::vector< Mode >	modes {Mode::integrity}

Effect	effect {Effect::none}

std::string	log
	Filepath to write out the log (equivalent to report)

std::string	save
	Filepath (without extension) where to save both the AST and a JSON dump of the defects.

Member Enumeration Documentation

strong

Many different modes are available.

Enumerator
all	run all checkers
integrity	run all integrity checkers
integrity_edges	checks the edges of the AST for invalid pointers/nodes
integrity_declarations	checks each of the decalration subgraphs (1st-nondef / defn)
integrity_symbols	checks the symbols subgraph
integrity_types	checks the types subgraph
consistency	run all consistency checkers

Definition at line 43 of file cmdline.h.

strong

One can select the effect if any defect is detected.

Enumerator
none	NOP.
summary	Shows a summary on the standard output.
report	Shows a full report of all defects on the standard output.
fail	Calls ROSE_ABORT (after save/log if any)

Definition at line 54 of file cmdline.h.

The documentation for this struct was generated from the following file: