bugLaTeX semantic checker - Bugs: bug #56657, Warn for cite in headings

 
 

You are not allowed to post comments on this tracker with your current authentication level.

bug #56657: Warn for cite in headings

Submitter:  J <s927589452>
Submitted:  Mon 22 Jul 2019 04:23:02 PM UTC
   
 
Category:  None Severity:  3 - Normal
Item Group:  None Status:  Fixed
Privacy:  Public Assigned to:  gvol
Open/Closed:  Closed

Thu 13 Oct 2022 01:37:32 AM UTC, comment #1: 

Thanks for writing this up and so sorry it took so long to get your change incorporated.  It may take a little longer for me to make a release and work it's way out through the distributions.

Ivan Andrus <gvol>
Group administrator
Mon 22 Jul 2019 04:23:02 PM UTC, original submission:  

reference
https://tex.stackexchange.com/questions/13945/cite-in-theorem-environment-argument

this seems to be a deeper "problem" in LaTeX, which could be warned for by matching for all double opened [ without an escaping {

did some tests here

https://regex101.com/r/yfOEx3/2

and wrote this
\[(?![^\]\[{}]*{(?# no {)(?![^\]\[{}]*}(?#or a pair of{})))[^\]]*\[

with these testcases

\begin{somethin}[\cite[1231]{adadsd}] #should warn
[dasd{dasda[ ads[ dasd ]]}] #should warn
adssd[ {}[]] #should warn
\begin{somethin}[\cite{adadsd}[1231]] #should warn
\begin{somethin}[{\cite{adadsd}[1231]}] #no warn
\begin{somethin}[{\cite{{adadsd}}[1231]}] #no warn
\begin{somethin}[{\cite{adadsd}[1231]}]  #no warn
\begin{somethin}[ ]{\cite{adadsd}[1231]} #no warn
\begin{somethin}[ ][{\cite{adadsd}[1231]}] #no warn
\begin{somethin[ ][\cite{adadsd}[1231]] #should warn
\begin{somethin}[{} ]{\cite{adadsd}[1231]} #no warn

J <s927589452>

 

(Note: upload size limit is set to 16384 kB, after insertion of the required escape characters.)

No files currently attached

 

Depends on the following items: None found

Items that depend on this one: None found

 

Carbon-Copy List
  • -email is unavailable- added by gvol (Updated the item)
  • -email is unavailable- added by s927589452 (Submitted the item)
  •  

    There are 0 votes so far. Votes easily highlight which items people would like to see resolved in priority, independently of the priority of the item set by tracker managers.

     

    Follow 4 latest changes.

    Date Changed by Updated Field Previous Value => Replaced by
    2022-10-13 gvol Open/ClosedOpen Closed
    2022-10-13 gvol StatusConfirmed Fixed
        Assigned toNone gvol
    2020-08-27 gvol StatusNone Confirmed

    Back to the top

    Powered by Savane 3.13-f8d8.
    Corresponding source code