summaryrefslogtreecommitdiffstats
path: root/debian/uncrustify-trinity/uncrustify-trinity-0.76.0/src/parens.cpp
diff options
context:
space:
mode:
Diffstat (limited to 'debian/uncrustify-trinity/uncrustify-trinity-0.76.0/src/parens.cpp')
-rw-r--r--debian/uncrustify-trinity/uncrustify-trinity-0.76.0/src/parens.cpp349
1 files changed, 349 insertions, 0 deletions
diff --git a/debian/uncrustify-trinity/uncrustify-trinity-0.76.0/src/parens.cpp b/debian/uncrustify-trinity/uncrustify-trinity-0.76.0/src/parens.cpp
new file mode 100644
index 00000000..67d75a6e
--- /dev/null
+++ b/debian/uncrustify-trinity/uncrustify-trinity-0.76.0/src/parens.cpp
@@ -0,0 +1,349 @@
+/**
+ * @file parens.cpp
+ * Adds or removes parens.
+ *
+ * @author Ben Gardner
+ * @license GPL v2+
+ */
+
+#include "parens.h"
+
+#include "log_rules.h"
+
+using namespace uncrustify;
+
+
+//! Add an open parenthesis after first and add a close parenthesis before the last
+static void add_parens_between(Chunk *first, Chunk *last);
+
+
+/**
+ * Scans between two parens and adds additional parens if needed.
+ * This function is recursive. If it hits another open paren, it'll call itself
+ * with the new bounds.
+ *
+ * Adds optional parens in an IF or SWITCH conditional statement.
+ *
+ * This basically just checks for a CT_COMPARE that isn't surrounded by parens.
+ * The edges for the compare are the open, close and any CT_BOOL tokens.
+ *
+ * This only handles VERY simple patterns:
+ * (!a && b) => (!a && b) -- no change
+ * (a && b == 1) => (a && (b == 1))
+ * (a == 1 || b > 2) => ((a == 1) || (b > 2))
+ *
+ * FIXME: we really should bail if we transition between a preprocessor and
+ * a non-preprocessor
+ */
+static void check_bool_parens(Chunk *popen, Chunk *pclose, int nest);
+
+
+void do_parens()
+{
+ constexpr static auto LCURRENT = LPARADD;
+
+ LOG_FUNC_ENTRY();
+
+ log_rule_B("mod_full_paren_if_bool");
+
+ if (options::mod_full_paren_if_bool())
+ {
+ Chunk *pc = Chunk::GetHead();
+
+ while ( (pc = pc->GetNextNcNnl()) != nullptr
+ && pc->IsNotNullChunk())
+ {
+ if ( pc->IsNot(CT_SPAREN_OPEN)
+ || ( pc->GetParentType() != CT_IF
+ && pc->GetParentType() != CT_ELSEIF
+ && pc->GetParentType() != CT_SWITCH))
+ {
+ continue;
+ }
+ // Grab the close sparen
+ Chunk *pclose = pc->GetNextType(CT_SPAREN_CLOSE, pc->GetLevel(), E_Scope::PREPROC);
+
+ if (pclose->IsNotNullChunk())
+ {
+ check_bool_parens(pc, pclose, 0);
+ pc = pclose;
+ }
+ }
+ }
+} // do_parens
+
+
+void do_parens_assign() // Issue #3316
+{
+ constexpr static auto LCURRENT = LPARADD;
+
+ LOG_FUNC_ENTRY();
+
+ log_rule_B("mod_full_paren_assign_bool");
+
+ if (options::mod_full_paren_assign_bool())
+ {
+ Chunk *pc = Chunk::GetHead();
+
+ while ( (pc = pc->GetNextNcNnl()) != nullptr
+ && pc->IsNotNullChunk())
+ {
+ if (pc->Is(CT_ASSIGN))
+ {
+ LOG_FMT(LPARADD, "%s(%d): orig line is %zu, text is '%s', level is %zu\n",
+ __func__, __LINE__, pc->GetOrigLine(), pc->Text(), pc->GetLevel());
+ // look before for a open sparen
+ size_t check_level = pc->GetLevel();
+ Chunk *p = pc->GetPrevNc(E_Scope::PREPROC);
+
+ while (p->IsNotNullChunk())
+ {
+ LOG_FMT(LPARADD, "%s(%d): orig line is %zu, text is '%s', level is %zu, type is %s\n",
+ __func__, __LINE__, p->GetOrigLine(), p->Text(), p->GetLevel(), get_token_name(p->GetType()));
+
+ //log_pcf_flags(LPARADD, p->GetFlags());
+ if (p->TestFlags(PCF_STMT_START))
+ {
+ break;
+ }
+
+ if (p->Is(CT_PAREN_OPEN))
+ {
+ check_level--;
+ }
+
+ if (p->Is(CT_SPAREN_OPEN))
+ {
+ break;
+ }
+ p = p->GetPrevNc(E_Scope::PREPROC);
+
+ if (p->GetLevel() < check_level - 1)
+ {
+ break;
+ }
+ }
+ LOG_FMT(LPARADD, "%s(%d): orig line is %zu, text is '%s', level is %zu, type is %s\n",
+ __func__, __LINE__, p->GetOrigLine(), p->Text(), p->GetLevel(), get_token_name(p->GetType()));
+
+ if (p->GetParentType() == CT_WHILE)
+ {
+ continue;
+ }
+ // Grab the semicolon
+ Chunk *semicolon = pc->GetNextType(CT_SEMICOLON, pc->GetLevel(), E_Scope::PREPROC);
+
+ if (semicolon->IsNotNullChunk())
+ {
+ check_bool_parens(pc, semicolon, 0);
+ pc = semicolon;
+ }
+ }
+ }
+ }
+} // do_parens_assign
+
+
+void do_parens_return() // Issue #3316
+{
+ constexpr static auto LCURRENT = LPARADD;
+
+ LOG_FUNC_ENTRY();
+
+ log_rule_B("mod_full_paren_return_bool");
+
+ if (options::mod_full_paren_return_bool())
+ {
+ Chunk *pc = Chunk::GetHead();
+
+ while ( (pc = pc->GetNextNcNnl()) != nullptr
+ && pc->IsNotNullChunk())
+ {
+ if (pc->Is(CT_RETURN))
+ {
+ LOG_FMT(LPARADD, "%s(%d): orig line is %zu, text is '%s', level is %zu\n",
+ __func__, __LINE__, pc->GetOrigLine(), pc->Text(), pc->GetLevel());
+ // look before for a open sparen
+ size_t check_level = pc->GetLevel();
+ Chunk *p = pc->GetPrevNc(E_Scope::PREPROC);
+
+ while (p->IsNotNullChunk())
+ {
+ LOG_FMT(LPARADD, "%s(%d): orig line is %zu, text is '%s', level is %zu, type is %s\n",
+ __func__, __LINE__, p->GetOrigLine(), p->Text(), p->GetLevel(), get_token_name(p->GetType()));
+
+ //log_pcf_flags(LPARADD, p->GetFlags());
+ if (p->TestFlags(PCF_STMT_START))
+ {
+ break;
+ }
+
+ if (p->Is(CT_PAREN_OPEN))
+ {
+ check_level--;
+ }
+
+ if (p->Is(CT_SPAREN_OPEN))
+ {
+ break;
+ }
+ p = p->GetPrevNc(E_Scope::PREPROC);
+
+ if (p->GetLevel() < check_level - 1)
+ {
+ break;
+ }
+ }
+ LOG_FMT(LPARADD, "%s(%d): orig line is %zu, text is '%s', level is %zu, type is %s\n",
+ __func__, __LINE__, p->GetOrigLine(), p->Text(), p->GetLevel(), get_token_name(p->GetType()));
+
+ if (p->GetParentType() == CT_WHILE)
+ {
+ continue;
+ }
+ // Grab the semicolon
+ Chunk *semicolon = pc->GetNextType(CT_SEMICOLON, pc->GetLevel(), E_Scope::PREPROC);
+
+ if (semicolon->IsNotNullChunk())
+ {
+ check_bool_parens(pc, semicolon, 0);
+ pc = semicolon;
+ }
+ }
+ }
+ }
+} // do_parens_return
+
+
+static void add_parens_between(Chunk *first, Chunk *last)
+{
+ LOG_FUNC_ENTRY();
+
+ LOG_FMT(LPARADD, "%s(%d): line %zu, between '%s' [lvl is %zu] and '%s' [lvl is %zu]\n",
+ __func__, __LINE__, first->GetOrigLine(),
+ first->Text(), first->GetLevel(),
+ last->Text(), last->GetLevel());
+
+ // Don't do anything if we have a bad sequence, ie "&& )"
+ Chunk *first_n = first->GetNextNcNnl();
+
+ if (first_n == last)
+ {
+ return;
+ }
+ Chunk pc;
+
+ pc.SetType(CT_PAREN_OPEN);
+ pc.SetOrigLine(first_n->GetOrigLine());
+ pc.SetOrigCol(first_n->GetOrigCol());
+ pc.Str() = "(";
+ pc.SetFlags(first_n->GetFlags() & PCF_COPY_FLAGS);
+ pc.SetLevel(first_n->GetLevel());
+ pc.SetPpLevel(first_n->GetPpLevel());
+ pc.SetBraceLevel(first_n->GetBraceLevel());
+
+ pc.CopyAndAddBefore(first_n);
+
+ Chunk *last_p = last->GetPrevNcNnl(E_Scope::PREPROC);
+
+ pc.SetType(CT_PAREN_CLOSE);
+ pc.SetOrigLine(last_p->GetOrigLine());
+ pc.SetOrigCol(last_p->GetOrigCol());
+ pc.Str() = ")";
+ pc.SetFlags(last_p->GetFlags() & PCF_COPY_FLAGS);
+ pc.SetLevel(last_p->GetLevel());
+ pc.SetPpLevel(last_p->GetPpLevel());
+ pc.SetBraceLevel(last_p->GetBraceLevel());
+
+ pc.CopyAndAddAfter(last_p);
+
+ for (Chunk *tmp = first_n;
+ tmp != last_p;
+ tmp = tmp->GetNextNcNnl())
+ {
+ tmp->SetLevel(tmp->GetLevel() + 1);
+ }
+
+ last_p->SetLevel(last_p->GetLevel() + 1);
+} // add_parens_between
+
+
+static void check_bool_parens(Chunk *popen, Chunk *pclose, int nest)
+{
+ LOG_FUNC_ENTRY();
+
+ Chunk *ref = popen;
+ bool hit_compare = false;
+
+ LOG_FMT(LPARADD, "%s(%d): nest is %d, popen on line %zu, orig col is %zu, pclose on line %zu, orig col is %zu, level is %zu\n",
+ __func__, __LINE__, nest,
+ popen->GetOrigLine(), popen->GetOrigCol(),
+ pclose->GetOrigLine(), pclose->GetOrigCol(),
+ popen->GetLevel());
+
+ Chunk *pc = popen;
+
+ while ( (pc = pc->GetNextNcNnl()) != nullptr
+ && pc->IsNotNullChunk()
+ && pc != pclose)
+ {
+ if (pc->TestFlags(PCF_IN_PREPROC))
+ {
+ LOG_FMT(LPARADD2, " -- bail on PP %s [%s] at line %zu col %zu, level %zu\n",
+ get_token_name(pc->GetType()),
+ pc->Text(), pc->GetOrigLine(), pc->GetOrigCol(), pc->GetLevel());
+ return;
+ }
+
+ if ( pc->Is(CT_BOOL)
+ || pc->Is(CT_QUESTION)
+ || pc->Is(CT_COND_COLON)
+ || pc->Is(CT_COMMA))
+ {
+ LOG_FMT(LPARADD2, " -- %s [%s] at line %zu col %zu, level %zu\n",
+ get_token_name(pc->GetType()),
+ pc->Text(), pc->GetOrigLine(), pc->GetOrigCol(), pc->GetLevel());
+
+ if (hit_compare)
+ {
+ hit_compare = false;
+
+ if (!language_is_set(LANG_CS))
+ {
+ add_parens_between(ref, pc);
+ }
+ }
+ ref = pc;
+ }
+ else if (pc->Is(CT_COMPARE))
+ {
+ LOG_FMT(LPARADD2, " -- compare '%s' at line %zu, orig col is %zu, level is %zu\n",
+ pc->Text(), pc->GetOrigLine(), pc->GetOrigCol(), pc->GetLevel());
+ hit_compare = true;
+ }
+ else if (pc->IsParenOpen())
+ {
+ Chunk *next = pc->GetClosingParen();
+
+ if (next->IsNotNullChunk())
+ {
+ check_bool_parens(pc, next, nest + 1);
+ pc = next;
+ }
+ }
+ else if ( pc->Is(CT_BRACE_OPEN)
+ || pc->Is(CT_SQUARE_OPEN)
+ || pc->Is(CT_ANGLE_OPEN))
+ {
+ // Skip [], {}, and <>
+ pc = pc->GetClosingParen();
+ }
+ }
+
+ if ( hit_compare
+ && ref != popen
+ && !language_is_set(LANG_CS))
+ {
+ add_parens_between(ref, pclose);
+ }
+} // check_bool_parens
generated by cgit v1.2.1 (git 2.18.0) at 2024-12-23 08:13:26 +0000