re2c::Warn Class Reference

#include <warn.h>

Public Types
enum	type_t {   W, CONDITION_ORDER, EMPTY_CHARACTER_CLASS, MATCH_EMPTY_STRING,   SWAPPED_RANGE, UNDEFINED_CONTROL_FLOW, UNREACHABLE_RULES, USELESS_ESCAPE,   TYPES }
enum	option_t { W, WNO, WERROR, WNOERROR }

Public Member Functions
	Warn ()
bool	error () const
void	set (type_t t, option_t o)
void	set_all ()
void	set_all_error ()
void	fail (type_t t, uint32_t line, const char *s)
void	condition_order (uint32_t line)
void	empty_class (uint32_t line)
void	match_empty_string (uint32_t line)
void	swapped_range (uint32_t line, uint32_t l, uint32_t u)
void	undefined_control_flow (uint32_t line, const std::string &cond, std::vector< way_t > &ways, bool overflow)
void	unreachable_rule (const std::string &cond, const rule_info_t &rule, const rules_t &rules)
void	useless_escape (uint32_t line, uint32_t col, char c)

Detailed Description

Definition at line 22 of file warn.h.

Member Enumeration Documentation

enum re2c::Warn::option_t

Enumerator
W
WNO
WERROR
WNOERROR

Definition at line 32 of file warn.h.

    {
        W,
        WNO,
        WERROR,
        WNOERROR
    };

enum re2c::Warn::type_t

Enumerator
W
CONDITION_ORDER
EMPTY_CHARACTER_CLASS
MATCH_EMPTY_STRING
SWAPPED_RANGE
UNDEFINED_CONTROL_FLOW
UNREACHABLE_RULES
USELESS_ESCAPE
TYPES

Definition at line 25 of file warn.h.

    {
#define W(x, y) x
        RE2C_WARNING_TYPES
#undef W
        TYPES // count
    };

Constructor & Destructor Documentation

re2c::Warn::Warn

(

)

Definition at line 24 of file warn.cc.

    : mask ()
    , error_accuml (false)
{
    for (uint32_t i = 0; i < TYPES; ++i)
    {
        mask[i] = SILENT;
    }
}

Member Function Documentation

void re2c::Warn::condition_order

(

uint32_t

line

)

Definition at line 86 of file warn.cc.

{
    if (mask[CONDITION_ORDER] & WARNING)
    {
        const bool e = mask[CONDITION_ORDER] & ERROR;
        error_accuml |= e;
        warning (names[CONDITION_ORDER], line, e,
            "looks like you use hardcoded numbers instead of autogenerated condition names: "
            "better add '/*!types:re2c*/' directive or '-t, --type-header' option "
            "and don't rely on fixed condition order.");
    }
}

Here is the call graph for this function:

Here is the caller graph for this function:

void re2c::Warn::empty_class

(

uint32_t

line

)

Definition at line 99 of file warn.cc.

{
    if (mask[EMPTY_CHARACTER_CLASS] & WARNING)
    {
        const bool e = mask[EMPTY_CHARACTER_CLASS] & ERROR;
        error_accuml |= e;
        warning (names[EMPTY_CHARACTER_CLASS], line, e, "empty character class");
    }
}

Here is the call graph for this function:

bool re2c::Warn::error

(

)

const

Definition at line 34 of file warn.cc.

{
    return error_accuml;
}

Here is the caller graph for this function:

void re2c::Warn::fail	(	type_t	t,
		uint32_t	line,
		const char *	s
	)

Definition at line 77 of file warn.cc.

{
    if (mask[t] & WARNING)
    {
        // -Werror has no effect
        warning (names[t], line, false, "%s", s);
    }
}

Here is the call graph for this function:

Here is the caller graph for this function:

void re2c::Warn::match_empty_string

(

uint32_t

line

)

Definition at line 109 of file warn.cc.

{
    if (mask[MATCH_EMPTY_STRING] & WARNING)
    {
        const bool e = mask[MATCH_EMPTY_STRING] & ERROR;
        error_accuml |= e;
        warning (names[MATCH_EMPTY_STRING], line, e, "rule matches empty string");
    }
}

Here is the call graph for this function:

Here is the caller graph for this function:

void re2c::Warn::set	(	type_t	t,
		option_t	o
	)

Definition at line 39 of file warn.cc.

{
    switch (o)
    {
        case W:
            mask[t] |= WARNING;
            break;
        case WNO:
            mask[t] &= ~WARNING;
            break;
        case WERROR:
            // unlike -Werror, -Werror-<warning> implies -W<warning>
            mask[t] |= (WARNING | ERROR);
            break;
        case WNOERROR:
            mask[t] &= ~ERROR;
            break;
    }
}

void re2c::Warn::set_all

(

)

Definition at line 59 of file warn.cc.

{
    for (uint32_t i = 0; i < TYPES; ++i)
    {
        mask[i] |= WARNING;
    }
}

void re2c::Warn::set_all_error

(

)

Definition at line 69 of file warn.cc.

{
    for (uint32_t i = 0; i < TYPES; ++i)
    {
        mask[i] |= ERROR;
    }
}

void re2c::Warn::swapped_range	(	uint32_t	line,
		uint32_t	l,
		uint32_t	u
	)

Definition at line 119 of file warn.cc.

{
    if (mask[SWAPPED_RANGE] & WARNING)
    {
        const bool e = mask[SWAPPED_RANGE] & ERROR;
        error_accuml |= e;
        warning (names[SWAPPED_RANGE], line, e, "range lower bound (0x%X) is greater than upper bound (0x%X), swapping", l, u);
    }
}

Here is the call graph for this function:

void re2c::Warn::undefined_control_flow	(	uint32_t	line,
		const std::string &	cond,
		std::vector< way_t > &	ways,
		bool	overflow
	)

Definition at line 129 of file warn.cc.

{
    if (mask[UNDEFINED_CONTROL_FLOW] & WARNING)
    {
        const bool e = mask[UNDEFINED_CONTROL_FLOW] & ERROR;
        error_accuml |= e;

        // report shorter patterns first
        std::sort (ways.begin (), ways.end (), cmp_ways);

        warning_start (line, e);
        fprintf (stderr, "control flow %sis undefined for strings that match ", incond (cond).c_str ());
        const size_t count = ways.size ();
        if (count == 1)
        {
            fprint_way (stderr, ways[0]);
        }
        else
        {
            for (size_t i = 0; i < count; ++i)
            {
                fprintf (stderr, "\n\t");
                fprint_way (stderr, ways[i]);
            }
            fprintf (stderr, "\n");
        }
        if (overflow)
        {
            fprintf (stderr, " ... and a few more");
        }
        fprintf (stderr, ", use default rule '*'");
        warning_end (names[UNDEFINED_CONTROL_FLOW], e);
    }
}

Here is the call graph for this function:

Here is the caller graph for this function:

void re2c::Warn::unreachable_rule	(	const std::string &	cond,
		const rule_info_t &	rule,
		const rules_t &	rules
	)

Definition at line 164 of file warn.cc.

{
    if (mask[UNREACHABLE_RULES] & WARNING)
    {
        const bool e = mask[UNREACHABLE_RULES] & ERROR;
        error_accuml |= e;
        warning_start (rule.line, e);
        fprintf (stderr, "unreachable rule %s", incond (cond).c_str ());
        const size_t shadows = rule.shadow.size ();
        if (shadows > 0)
        {
            const char * pl = shadows > 1
                ? "s"
                : "";
            std::set<rule_rank_t>::const_iterator i = rule.shadow.begin ();
            fprintf (stderr, "(shadowed by rule%s at line%s %u", pl, pl, rules.find (*i)->second.line);
            for (++i; i != rule.shadow.end (); ++i)
            {
                fprintf (stderr, ", %u", rules.find (*i)->second.line);
            }
            fprintf (stderr, ")");
        }
        warning_end (names[UNREACHABLE_RULES], e);
    }
}

Here is the call graph for this function:

Here is the caller graph for this function:

void re2c::Warn::useless_escape	(	uint32_t	line,
		uint32_t	col,
		char	c
	)

Definition at line 190 of file warn.cc.

{
    if (mask[USELESS_ESCAPE] & WARNING)
    {
        const bool e = mask[USELESS_ESCAPE] & ERROR;
        error_accuml |= e;
        warning (names[USELESS_ESCAPE], line, e, "column %u: escape has no effect: '\\%c'", col, c);
    }
}

Here is the call graph for this function:

---

The documentation for this class was generated from the following files:

• conf/warn.h
• conf/warn.cc