Licence for Lacheck unclear, so removing from CVS
git-svn-id: https://svn.wxwidgets.org/svn/wx/wxWidgets/trunk@30714 c3d73ce0-8a6f-49c7-b76d-6d57e0e08775
This commit is contained in:
Julian Smart
parent
90d3f91a04
commit
2422dcbcb0
@ -1,86 +0,0 @@
|
||||
.TH "LaCheck" "1" "May 23, 1991"
|
||||
.SH NAME
|
||||
lacheck - A consistency checker for LaTeX documents.
|
||||
.SH SYNOPSIS
|
||||
.B "lacheck "
|
||||
.I "filename"
|
||||
[
|
||||
.I .tex
|
||||
]
|
||||
.SH DESCRIPTION
|
||||
lacheck is a general purpose consistency checker for LaTeX documents.
|
||||
It reads a LaTeX document and displays warning messages, if it finds
|
||||
bad sequences. It should be noted, that the badness is
|
||||
.I "very "
|
||||
subjective.
|
||||
.LP
|
||||
The things checked are:
|
||||
.LP
|
||||
Mismatched groups (braces), environments and math mode
|
||||
delimiters. When a mismatch is found, line numbers for
|
||||
.I "both"
|
||||
start and end of the mismatch is given. The error messages comes in
|
||||
pairs, one for the end match and one for the beginning, marked with
|
||||
\`<-\' and \`->\' respectively.
|
||||
.LP
|
||||
Bad spacing. This is: missing a \`\\ \' after an abbreviation, missing
|
||||
an \`\\@\' before a punctuation mark in a paragraph that is ended by an
|
||||
capital letter, double spaces like \` \~\', bad usage of ellipsis
|
||||
(like using ... instead of \\ldots, or using \\ldots where \\cdots
|
||||
should be used)
|
||||
.LP
|
||||
lacheck will read files that are input using \\input or \\include.
|
||||
Files with suffix \`.sty\' are omitted, as they probably will cause
|
||||
errors.
|
||||
.LP
|
||||
lacheck may be invoked from within Emacs(1) using compile:
|
||||
|
||||
To run:
|
||||
.B "M-x compile <ret>"
|
||||
, and then
|
||||
.B "C-x `"
|
||||
to parse the messages
|
||||
|
||||
.SH OUTPUT
|
||||
The output is UNIX-error like, and may be parsed using Emacs(1)
|
||||
compile mode. Here is a sample:
|
||||
|
||||
.PD 0
|
||||
lacheck compiler
|
||||
.TP
|
||||
"/usr/mef/compiler.tex", line 34: missing \`\\\\\\\\ \' after "etc."
|
||||
.TP
|
||||
"/usr/mef/compiler.tex", line 179: double space at " ~"
|
||||
.TP
|
||||
"/usr/mef/compiler.tex", line 186: <- unmatched "}"
|
||||
.TP
|
||||
"/usr/mef/compiler.tex", line 181: -> unmatched "$$"
|
||||
.PD 1
|
||||
.LP
|
||||
A control space \`\\ \' should be inserted at line 34, to prevent an
|
||||
end-of-sentence space.
|
||||
Also, at line 179, the first space of the sequence " ~" should
|
||||
probably be deleted.
|
||||
The last two lines is an example, where the user mistyped, and
|
||||
probably inserted an extra "}" somewhere.
|
||||
|
||||
.SH DIAGNOSTICS
|
||||
Some special cases should be explained. In cases where a sentence ends
|
||||
with something that lacheck thinks is an abbreviation an missing \`\\
|
||||
\' error may also occur, if the following sentence begins with a
|
||||
capital letter.
|
||||
.LP
|
||||
A mismatch error may cause more to follow, due to the chosen
|
||||
algorithm. In such cases just correct the
|
||||
.I "first"
|
||||
error and run lacheck again
|
||||
.LP
|
||||
Braces, environments and math mode must be balanced within a file.
|
||||
.SH SEE ALSO
|
||||
tex(1), Emacs(1), latex(1)
|
||||
.SH BUGS
|
||||
Lots... Ideas for improvements and bug reports are very welcome.
|
||||
Such should be
|
||||
directed to the author.
|
||||
.SH AUTHOR
|
||||
Kresten Krab Thorup, Email <krab@iesd.auc.dk>
|
||||
Binary file not shown.
@ -1,812 +0,0 @@
|
||||
/* -*- Mode: C -*-
|
||||
*
|
||||
* lacheck.lex - A consistency checker checker for LaTeX documents
|
||||
*
|
||||
* Copyright (C) 1991 Kresten Krab Thorup (krab@iesd.auc.dk).
|
||||
*
|
||||
* $Locker$
|
||||
* $Revision$
|
||||
* Author : Kresten Krab Thorup
|
||||
* Created On : Sun May 26 18:11:58 1991
|
||||
* Last Modified By: Kresten Krab Thorup
|
||||
* Last Modified On: Thu May 30 02:29:57 1991
|
||||
* Update Count : 16
|
||||
*
|
||||
* HISTORY
|
||||
* 30-May-1991 (Last Mod: Thu May 30 02:22:33 1991 #15) Kresten Krab Thorup
|
||||
* Added check for `$${punct}' and `{punct}$' constructions
|
||||
* 30-May-1991 (Last Mod: Wed May 29 10:31:35 1991 #6) Kresten Krab Thorup
|
||||
* Improved (dynamical) stack management from Andreas Stolcke ...
|
||||
* <stolcke@ICSI.Berkeley.EDU>
|
||||
* 26-May-1991 Kresten Krab Thorup
|
||||
* Initial distribution version.
|
||||
*/
|
||||
%{
|
||||
#include <stdio.h>
|
||||
#include <string.h>
|
||||
#include <sys/param.h>
|
||||
|
||||
extern char *realloc();
|
||||
|
||||
#ifdef NEED_STRSTR
|
||||
char *strstr();
|
||||
#endif
|
||||
|
||||
#define GROUP_STACK_SIZE 10
|
||||
#define INPUT_STACK_SIZE 10
|
||||
|
||||
#define PROGNAME "LaCheck"
|
||||
|
||||
/* macros */
|
||||
|
||||
#define CG_NAME gstack[gstackp-1].s_name
|
||||
#define CG_TYPE gstack[gstackp-1].s_type
|
||||
#define CG_LINE gstack[gstackp-1].s_line
|
||||
#define CG_FILE gstack[gstackp-1].s_file
|
||||
|
||||
char *bg_command();
|
||||
void pop();
|
||||
void push();
|
||||
void g_checkend();
|
||||
void e_checkend();
|
||||
void f_checkend();
|
||||
void input_file();
|
||||
void print_bad_match();
|
||||
int check_top_level_end();
|
||||
|
||||
/* global variables */
|
||||
|
||||
char returnval[100];
|
||||
int line_count = 1;
|
||||
int warn_count = 0;
|
||||
char *file_name;
|
||||
char verb_char;
|
||||
|
||||
/* the group stack */
|
||||
|
||||
typedef struct tex_group
|
||||
{
|
||||
unsigned char *s_name;
|
||||
int s_type;
|
||||
int s_line;
|
||||
char *s_file;
|
||||
} tex_group;
|
||||
|
||||
tex_group *gstack;
|
||||
int gstack_size = GROUP_STACK_SIZE;
|
||||
int gstackp = 0;
|
||||
|
||||
typedef struct input_
|
||||
{
|
||||
YY_BUFFER_STATE stream;
|
||||
char *name;
|
||||
int linenum;
|
||||
} input_;
|
||||
|
||||
input_ *istack;
|
||||
int istack_size = INPUT_STACK_SIZE;
|
||||
int istackp = 0;
|
||||
|
||||
int def_count = 0;
|
||||
|
||||
%}
|
||||
|
||||
%x B_ENVIRONMENT E_ENVIRONMENT VERBATIM INCLUDE MATH COMMENT VERB DEF
|
||||
%x AFTER_DISPLAY
|
||||
|
||||
b_group ("{"|\\bgroup)
|
||||
e_group ("}"|\\egroup)
|
||||
|
||||
b_math \\\(
|
||||
e_math \\\)
|
||||
math \$
|
||||
|
||||
b_display \\\[
|
||||
e_display \\\]
|
||||
display \$\$
|
||||
|
||||
non_par_ws ([ \t]+\n?[ \t]*|[ \t]*\n[ \t]*|[ \t]*\n?[ \t]+)
|
||||
|
||||
ws [ \n\t]
|
||||
space ({ws}|\~|\\space)
|
||||
hard_space (\~|\\space)
|
||||
|
||||
u_letter [A-ZFXE]
|
||||
l_letter [a-zfxe]
|
||||
punct [\!\.\?]
|
||||
atoz [a-zA-Z]
|
||||
letter (u_letter|l_letter)
|
||||
|
||||
c_bin ("-"|"+"|"\\cdot"|"\\oplus"|"\\otimes"|"\\times")
|
||||
l_bin (",")
|
||||
|
||||
general_abbrev {letter}+{punct}
|
||||
|
||||
non_abbrev {u_letter}{u_letter}+{punct}
|
||||
|
||||
font_spec (rm|bf|sl|it|tt|em|mediumseries|normalshape)
|
||||
|
||||
primitive \\(above|advance|catcode|chardef|closein|closeout|copy|count|countdef|cr|crcr|csname|delcode|dimendef|dimen|divide|expandafter|font|hskp|vskip|openout)
|
||||
|
||||
symbol ("$"("\\"{atoz}+|.)"$"|"\\#"|"\\$"|"\\%"|"\\ref")
|
||||
|
||||
%%
|
||||
|
||||
"\\\\" { ; }
|
||||
|
||||
<DEF,INITIAL>"\\\%" { ; }
|
||||
|
||||
<DEF,INITIAL>"%"[^\n]* { ; }
|
||||
|
||||
<DEF,INITIAL>\n { line_count++; }
|
||||
|
||||
<DEF,INITIAL>"\\\{" { ; }
|
||||
|
||||
<DEF,INITIAL>"\\\}" { ; }
|
||||
|
||||
"\\\$" { ; }
|
||||
|
||||
{b_group} { push( "{", 0, line_count);}
|
||||
|
||||
{e_group} { g_checkend(0); }
|
||||
|
||||
"\\"[exg]?def[^\{] BEGIN(DEF);
|
||||
|
||||
<DEF>{b_group} { ++def_count; }
|
||||
|
||||
<DEF>{e_group} { --def_count;
|
||||
if(def_count == 0)
|
||||
BEGIN(INITIAL); }
|
||||
|
||||
<DEF>. { ; }
|
||||
|
||||
{b_math} {
|
||||
if(CG_TYPE == 4 || CG_TYPE == 5)
|
||||
print_bad_match(yytext,4);
|
||||
else
|
||||
{
|
||||
push( yytext, 4, line_count);
|
||||
}}
|
||||
|
||||
{e_math} { g_checkend(4); }
|
||||
|
||||
{b_display} {
|
||||
if(CG_TYPE == 4 || CG_TYPE == 5)
|
||||
print_bad_match(yytext,5);
|
||||
else
|
||||
{
|
||||
push( yytext, 5, line_count);
|
||||
}}
|
||||
|
||||
|
||||
{e_display} { g_checkend(5);
|
||||
BEGIN(AFTER_DISPLAY);}
|
||||
|
||||
<AFTER_DISPLAY>{punct} {
|
||||
|
||||
printf( "\"%s\", line %d: puctation mark \"%s\" should be placed before end of displaymath\n",
|
||||
file_name, line_count, yytext);
|
||||
++warn_count ;
|
||||
|
||||
BEGIN(INITIAL); }
|
||||
|
||||
<AFTER_DISPLAY>. { BEGIN(INITIAL); }
|
||||
|
||||
<AFTER_DISPLAY>\n { ++line_count;
|
||||
BEGIN(INITIAL); }
|
||||
|
||||
{punct}/("\$"|"\\)") { if (CG_TYPE == 4)
|
||||
{
|
||||
printf( "\"%s\", line %d: puctation mark \"%s\" should be placed after end of math mode\n",
|
||||
file_name, line_count, yytext);
|
||||
++warn_count ;
|
||||
}}
|
||||
|
||||
{math} {
|
||||
|
||||
if(CG_TYPE == 5)
|
||||
print_bad_match(yytext, 4);
|
||||
else
|
||||
|
||||
if(CG_TYPE == 4)
|
||||
{
|
||||
e_checkend(4, yytext);
|
||||
}
|
||||
else
|
||||
{
|
||||
push( yytext, 4, line_count);
|
||||
}}
|
||||
|
||||
|
||||
{display} {
|
||||
|
||||
if(CG_TYPE == 4)
|
||||
print_bad_match(yytext,5);
|
||||
else
|
||||
|
||||
if(CG_TYPE == 5)
|
||||
{
|
||||
e_checkend(5, yytext);
|
||||
BEGIN(AFTER_DISPLAY);
|
||||
}
|
||||
else
|
||||
{
|
||||
push( yytext, 5, line_count);
|
||||
}}
|
||||
|
||||
\\begingroup/[^a-zA-Z] {
|
||||
{
|
||||
push((unsigned char *)"\\begingroup", 1, line_count);
|
||||
}}
|
||||
|
||||
|
||||
\\endgroup/[^a-zA-Z] {
|
||||
{
|
||||
g_checkend(1);
|
||||
}}
|
||||
|
||||
|
||||
\\begin[ \t]*"{" { BEGIN(B_ENVIRONMENT); }
|
||||
|
||||
\\begin[ \t]*/\n {
|
||||
{
|
||||
|
||||
printf("\"%s\", line %i: {argument} missing for \\begin\n",
|
||||
file_name, line_count) ;
|
||||
++warn_count;
|
||||
}}
|
||||
|
||||
<B_ENVIRONMENT>[^\}\n]+ {
|
||||
{
|
||||
if (strcmp( yytext, "verbatim" ) == 0 )
|
||||
{
|
||||
input();
|
||||
BEGIN(VERBATIM);
|
||||
}
|
||||
else
|
||||
{
|
||||
push(yytext, 2, line_count);
|
||||
input();
|
||||
BEGIN(INITIAL);
|
||||
}
|
||||
}}
|
||||
|
||||
<VERBATIM>\\end[ \t]*\{verbatim\} { BEGIN(INITIAL); }
|
||||
|
||||
<VERBATIM>. { ; }
|
||||
|
||||
<VERBATIM>\n { ++line_count; }
|
||||
|
||||
|
||||
\\verb. {
|
||||
sscanf (yytext, "\\verb%c", &verb_char );
|
||||
BEGIN(VERB);
|
||||
}
|
||||
|
||||
<VERB>. {
|
||||
if ( *yytext == verb_char )
|
||||
BEGIN(INITIAL);
|
||||
if ( *yytext == '\n' )
|
||||
++line_count;
|
||||
}
|
||||
|
||||
|
||||
\\end[ \t]*"{" { BEGIN(E_ENVIRONMENT); }
|
||||
|
||||
\\end[ \t]*/\n {
|
||||
{
|
||||
printf("\"%s\", line %i: {argument} missing for \\end\n",
|
||||
file_name, line_count) ;
|
||||
++warn_count;
|
||||
}}
|
||||
|
||||
|
||||
<E_ENVIRONMENT>[^\}\n]+ {
|
||||
{
|
||||
e_checkend(2, yytext);
|
||||
input();
|
||||
|
||||
BEGIN(INITIAL);
|
||||
}}
|
||||
|
||||
|
||||
{ws}([a-zfxe]".")*[a-zA-ZfxeFXE]*[a-zfxe]"."/{non_par_ws}+[a-zfxe] {
|
||||
{
|
||||
if ( *yytext == '\n' )
|
||||
++line_count;
|
||||
|
||||
printf( "\"%s\", line %d: missing `\\ ' after \"%s\"\n",
|
||||
file_name, line_count, ++yytext);
|
||||
++warn_count ;
|
||||
}}
|
||||
|
||||
([a-zfxe]".")*[a-zA-ZfxeFXE]*[a-zfxe]"."/{non_par_ws}+[a-zfxe] {
|
||||
{
|
||||
printf( "\"%s\", line %d: missing `\\ ' after \"%s\"\n",
|
||||
file_name, line_count, yytext);
|
||||
++warn_count ;
|
||||
}}
|
||||
|
||||
{ws}{non_abbrev}/{non_par_ws}{u_letter} {
|
||||
{
|
||||
if ( *yytext == '\n' )
|
||||
++line_count;
|
||||
printf("\"%s\", line %d: missing `\\\@' before punctation mark in \"%s\"\n",
|
||||
file_name, line_count, ++yytext);
|
||||
++warn_count ;
|
||||
}}
|
||||
|
||||
{non_abbrev}/{non_par_ws}{u_letter} {
|
||||
{
|
||||
printf("\"%s\", line %d: missing `\\\@' before `.' in \"%s\"\n",
|
||||
file_name, line_count, yytext);
|
||||
++warn_count ;
|
||||
}}
|
||||
|
||||
({hard_space}{space}|{space}{hard_space}) {
|
||||
|
||||
printf("\"%s\", line %d: double space at \"%s\"\n",
|
||||
file_name, line_count, yytext);
|
||||
++warn_count;
|
||||
}
|
||||
|
||||
{c_bin}{ws}?(\\(\.|\,|\;|\:))*{ws}?\\ldots{ws}?(\\(\.|\,|\;|\:))*{ws}?{c_bin} {
|
||||
printf("\"%s\", line %d: \\ldots should be \\cdots in \"%s\"\n",
|
||||
file_name, line_count, yytext);
|
||||
++warn_count;
|
||||
}
|
||||
|
||||
[^\\]{l_bin}{ws}?(\\(\.|\,|\;|\:))*{ws}?\\cdots{ws}?(\\(\.|\,|\;|\:))*{ws}?[^\\]{l_bin} {
|
||||
printf("\"%s\", line %d: \\cdots should be \\ldots in \"%s\"\n",
|
||||
file_name, line_count, yytext);
|
||||
++warn_count;
|
||||
}
|
||||
|
||||
{c_bin}{ws}?(\\(\.|\,|\;|\:))*{ws}?"."+{ws}?(\\(\.|\,|\;|\:))*{ws}?{c_bin} {
|
||||
printf("\"%s\", line %d: Dots should be \\cdots in \"%s\"\n",
|
||||
file_name, line_count, yytext);
|
||||
++warn_count;
|
||||
}
|
||||
|
||||
[^\\]{l_bin}{ws}?(\\(\.|\,|\;|\:))*{ws}?"."+{ws}?(\\(\.|\,|\;|\:))*{ws}?[^\\]{l_bin} {
|
||||
printf("\"%s\", line %d: Dots should be \\ldots in \"%s\"\n",
|
||||
file_name, line_count, yytext);
|
||||
++warn_count;
|
||||
}
|
||||
|
||||
|
||||
\.\.\. {
|
||||
printf("\"%s\", line %d: Dots should be ellipsis \"%s\"\n",
|
||||
file_name, line_count, yytext);
|
||||
++warn_count;
|
||||
}
|
||||
|
||||
/*
|
||||
*
|
||||
* The `~' one is not too good, perhaps it shoud be an option.
|
||||
*
|
||||
*/
|
||||
/*
|
||||
{l_letter}" "{symbol} {
|
||||
|
||||
printf("\"%s\", line %d: perhaps you should insert a `~' before%s\n",
|
||||
file_name, line_count, ++yytext);
|
||||
}
|
||||
*/
|
||||
|
||||
/*
|
||||
{primitive}/[^a-zA-Z] {
|
||||
{
|
||||
printf("\"%s\", line %d: Don't use \"%s\" in LaTeX documents\n",
|
||||
file_name, line_count, yytext);
|
||||
++warn_count ;
|
||||
}}
|
||||
*/
|
||||
|
||||
\\{font_spec}/[ \t]*"{" {
|
||||
{
|
||||
printf("\"%s\", line %d: Fontspecifiers don't take arguments. \"%s\"\n",
|
||||
file_name, line_count, yytext);
|
||||
++warn_count;
|
||||
/* (void) input(); */
|
||||
}}
|
||||
|
||||
|
||||
\\([a-zA-Z\@]+\@[a-zA-Z\@]*|[a-zA-Z\@]*\@[a-zA-Z\@]+) {
|
||||
{
|
||||
printf("\"%s\", line %d: Do not use @ in LaTeX macro names. \"%s\"\n",
|
||||
file_name, line_count, yytext);
|
||||
++warn_count;
|
||||
}}
|
||||
|
||||
|
||||
"%" { BEGIN(COMMENT); }
|
||||
|
||||
<COMMENT>\n { BEGIN(INITIAL); ++line_count; }
|
||||
|
||||
<COMMENT>. { ; }
|
||||
|
||||
|
||||
\\(input|include)([ \t]|"{") { BEGIN(INCLUDE); }
|
||||
|
||||
<INCLUDE>[^\}\n]+ {
|
||||
{
|
||||
if ( strstr(yytext,"\.sty") == NULL )
|
||||
{
|
||||
input_file(yytext);
|
||||
}
|
||||
else
|
||||
{
|
||||
printf("\"%s\", line %d: Style file \`%s\' omitted.\n",
|
||||
file_name,
|
||||
line_count,
|
||||
yytext);
|
||||
input();
|
||||
}
|
||||
BEGIN(INITIAL);
|
||||
}}
|
||||
|
||||
<<EOF>> {
|
||||
if (--istackp < 0)
|
||||
yyterminate();
|
||||
|
||||
else
|
||||
{
|
||||
fclose(yyin);
|
||||
f_checkend(file_name);
|
||||
yy_switch_to_buffer(istack[istackp].stream);
|
||||
free(file_name);
|
||||
line_count = istack[istackp].linenum;
|
||||
file_name = istack[istackp].name;
|
||||
input();
|
||||
BEGIN(INITIAL);
|
||||
}
|
||||
|
||||
}
|
||||
|
||||
|
||||
. { ; }
|
||||
%%
|
||||
int main( argc, argv )
|
||||
int argc;
|
||||
char *argv[];
|
||||
{
|
||||
/* allocate initial stacks */
|
||||
gstack = (tex_group *)malloc(gstack_size * sizeof(tex_group));
|
||||
istack = (input_ *)malloc(istack_size * sizeof(input_));
|
||||
if ( gstack == NULL || istack == NULL ) {
|
||||
fprintf(stderr, "%s: not enough memory for stacks\n", PROGNAME);
|
||||
exit(3);
|
||||
}
|
||||
|
||||
if(argc > 1)
|
||||
{
|
||||
if ( (file_name = malloc(strlen(argv[1]) + 5)) == NULL ) {
|
||||
fprintf(stderr, "%s: out of memory\n", PROGNAME);
|
||||
exit(3);
|
||||
}
|
||||
|
||||
strcpy(file_name, argv[1]);
|
||||
|
||||
if ((yyin = fopen( file_name, "r")) != NULL )
|
||||
{
|
||||
push(file_name, 3, 1);
|
||||
yylex();
|
||||
f_checkend(file_name);
|
||||
}
|
||||
else {
|
||||
strcat(file_name, ".tex" );
|
||||
if ((yyin = fopen( file_name, "r")) != NULL )
|
||||
{
|
||||
push(file_name, 3, 1);
|
||||
yylex();
|
||||
f_checkend(file_name);
|
||||
}
|
||||
else
|
||||
fprintf(stderr,
|
||||
"%s: Could not open : %s\n",PROGNAME, argv[1]);
|
||||
}
|
||||
}
|
||||
else
|
||||
{
|
||||
printf("\n* %s *\n\n",PROGNAME);
|
||||
printf("\t...a consistency checker for LaTeX documents.\n\n");
|
||||
|
||||
printf("Usage:\n\tlacheck filename[.tex] <return>\n\n\n");
|
||||
|
||||
printf("\tFrom within Emacs:\n\n\t");
|
||||
printf("M-x compile <return>\n\tlacheck filename[.tex] <return>");
|
||||
printf("\n\n\tUse C-x ` to step through the messages.\n\n");
|
||||
printf("\n\tThe found context is displayed in \"double quotes\"\n\n");
|
||||
printf("Remark:\n\tAll messages are only warnings!\n\n");
|
||||
printf("\tYour document may be right though LaCheck tells\n");
|
||||
printf("\tsomthing else.\n\n");
|
||||
}
|
||||
return(0);
|
||||
}
|
||||
|
||||
#ifdef NEED_STRSTR
|
||||
char *
|
||||
strstr(string, substring)
|
||||
register char *string; /* String to search. */
|
||||
char *substring; /* Substring to try to find in string. */
|
||||
{
|
||||
register char *a, *b;
|
||||
|
||||
/* First scan quickly through the two strings looking for a
|
||||
* single-character match. When it's found, then compare the
|
||||
* rest of the substring.
|
||||
*/
|
||||
|
||||
b = substring;
|
||||
if (*b == 0) {
|
||||
return string;
|
||||
}
|
||||
for ( ; *string != 0; string += 1) {
|
||||
if (*string != *b) {
|
||||
continue;
|
||||
}
|
||||
a = string;
|
||||
while (1) {
|
||||
if (*b == 0) {
|
||||
return string;
|
||||
}
|
||||
if (*a++ != *b++) {
|
||||
break;
|
||||
}
|
||||
}
|
||||
b = substring;
|
||||
}
|
||||
return (char *) 0;
|
||||
}
|
||||
#endif /* NEED_STRSTR */
|
||||
|
||||
void push(p_name, p_type, p_line)
|
||||
unsigned char *p_name;
|
||||
int p_type;
|
||||
int p_line;
|
||||
{
|
||||
if ( gstackp == gstack_size ) { /* extend stack */
|
||||
gstack_size *= 2;
|
||||
gstack = (tex_group *)realloc(gstack, gstack_size * sizeof(tex_group));
|
||||
if ( gstack == NULL ) {
|
||||
fprintf(stderr, "%s: stack out of memory", PROGNAME);
|
||||
exit(3);
|
||||
}
|
||||
}
|
||||
|
||||
if ( (gstack[gstackp].s_name =
|
||||
(unsigned char *)malloc(strlen(p_name) + 1)) == NULL ||
|
||||
(gstack[gstackp].s_file =
|
||||
(char *)malloc(strlen(file_name) + 1)) == NULL ) {
|
||||
fprintf(stderr, "%s: out of memory\n", PROGNAME);
|
||||
exit(3);
|
||||
}
|
||||
|
||||
strcpy(gstack[gstackp].s_name,p_name);
|
||||
gstack[gstackp].s_type = p_type;
|
||||
gstack[gstackp].s_line = p_line;
|
||||
strcpy(gstack[gstackp].s_file,file_name);
|
||||
++gstackp;
|
||||
|
||||
}
|
||||
|
||||
void input_file(file_nam)
|
||||
char *file_nam;
|
||||
{
|
||||
char *tmp_file_name;
|
||||
FILE *tmp_yyin;
|
||||
|
||||
if ( (tmp_file_name = malloc(strlen(file_nam) + 5)) == NULL ) {
|
||||
fprintf(stderr, "%s: out of memory\n", PROGNAME);
|
||||
exit(3);
|
||||
}
|
||||
strcpy(tmp_file_name,file_nam);
|
||||
|
||||
if (istackp == istack_size) { /* extend stack */
|
||||
istack_size *= 2;
|
||||
istack = (input_ *)realloc(istack, istack_size * sizeof(input_));
|
||||
if ( istack == NULL ) {
|
||||
fprintf(stderr, "%s: \\input stack out of memory\n", PROGNAME);
|
||||
exit(3);
|
||||
}
|
||||
}
|
||||
|
||||
istack[istackp].stream = YY_CURRENT_BUFFER;
|
||||
istack[istackp].linenum = line_count;
|
||||
istack[istackp].name = file_name;
|
||||
++istackp;
|
||||
|
||||
if ((tmp_yyin = fopen( file_nam, "r")) != NULL )
|
||||
{
|
||||
yyin = tmp_yyin;
|
||||
yy_switch_to_buffer(yy_create_buffer(yyin,YY_BUF_SIZE));
|
||||
file_name = tmp_file_name;
|
||||
push(file_name, 3, 1);
|
||||
line_count = 1;
|
||||
}
|
||||
else {
|
||||
(void) strcat(tmp_file_name, ".tex");
|
||||
if ((tmp_yyin = fopen( tmp_file_name , "r")) != NULL )
|
||||
{
|
||||
yyin = tmp_yyin;
|
||||
yy_switch_to_buffer(yy_create_buffer(yyin,YY_BUF_SIZE));
|
||||
file_name = tmp_file_name;
|
||||
push(file_name, 3, 1);
|
||||
line_count = 1;
|
||||
}
|
||||
else
|
||||
{
|
||||
--istackp;
|
||||
fclose(tmp_yyin);
|
||||
free(tmp_file_name);
|
||||
printf("\"%s\", line %d: Could not open \"%s\"\n",
|
||||
file_name,
|
||||
line_count,
|
||||
file_nam);
|
||||
input();
|
||||
}
|
||||
}
|
||||
}
|
||||
|
||||
void pop()
|
||||
{
|
||||
if ( gstackp == 0 )
|
||||
{
|
||||
fprintf(stderr, "%s: Stack underflow\n", PROGNAME);
|
||||
exit(4);
|
||||
}
|
||||
--gstackp;
|
||||
|
||||
free(gstack[gstackp].s_name);
|
||||
free(gstack[gstackp].s_file);
|
||||
}
|
||||
|
||||
char *bg_command(name)
|
||||
char *name;
|
||||
{
|
||||
|
||||
switch (CG_TYPE) {
|
||||
|
||||
case 2:
|
||||
(void) strcpy( returnval, "\\begin\{" );
|
||||
(void) strcat( returnval, (char *) name);
|
||||
(void) strcat( returnval, "}" );
|
||||
break;
|
||||
|
||||
case 3:
|
||||
(void) strcpy( returnval, "beginning of file " );
|
||||
(void) strcat( returnval, (char *) name);
|
||||
break;
|
||||
|
||||
case 4:
|
||||
(void) strcpy( returnval, "math begin " );
|
||||
(void) strcat( returnval, (char *) name);
|
||||
break;
|
||||
|
||||
case 5:
|
||||
(void) strcpy( returnval, "display math begin " );
|
||||
(void) strcat( returnval, (char *) name);
|
||||
break;
|
||||
|
||||
default:
|
||||
(void) strcpy( returnval, name );
|
||||
|
||||
}
|
||||
|
||||
return ((char *)returnval);
|
||||
}
|
||||
|
||||
char *eg_command(name,type)
|
||||
int type;
|
||||
char *name;
|
||||
{
|
||||
|
||||
switch (type) {
|
||||
|
||||
case 2:
|
||||
(void) strcpy( returnval, "\\end{" );
|
||||
(void) strcat( returnval, (char *) name);
|
||||
(void) strcat( returnval, "}" );
|
||||
break;
|
||||
|
||||
case 3:
|
||||
(void) strcpy( returnval, "end of file " );
|
||||
(void) strcat( returnval, (char *) name);
|
||||
break;
|
||||
|
||||
case 4:
|
||||
(void) strcpy( returnval, "math end " );
|
||||
(void) strcat( returnval, (char *) name);
|
||||
break;
|
||||
|
||||
case 5:
|
||||
(void) strcpy( returnval, "display math end " );
|
||||
(void) strcat( returnval, (char *) name);
|
||||
break;
|
||||
|
||||
default:
|
||||
(void) strcpy( returnval, name );
|
||||
break;
|
||||
}
|
||||
|
||||
return ((char *)returnval);
|
||||
}
|
||||
|
||||
|
||||
void g_checkend(n)
|
||||
int n;
|
||||
{
|
||||
if ( check_top_level_end(yytext,n) == 1 )
|
||||
if ( CG_TYPE != n )
|
||||
print_bad_match(yytext,n);
|
||||
else
|
||||
pop();
|
||||
}
|
||||
|
||||
void e_checkend(n, name)
|
||||
int n;
|
||||
char *name;
|
||||
{
|
||||
if ( check_top_level_end(name,n) == 1 )
|
||||
{
|
||||
if ( CG_TYPE != n || strcmp( CG_NAME, name ) != 0 )
|
||||
print_bad_match(name,n);
|
||||
|
||||
pop();
|
||||
|
||||
}
|
||||
}
|
||||
|
||||
void f_checkend(name)
|
||||
char *name;
|
||||
{
|
||||
if ( check_top_level_end(name,3) == 1 )
|
||||
{
|
||||
if ( CG_TYPE != 3 || strcmp( CG_NAME, name ) != 0 )
|
||||
|
||||
while( CG_TYPE != 3 )
|
||||
{
|
||||
print_bad_match(name,3);
|
||||
pop();
|
||||
}
|
||||
|
||||
pop();
|
||||
}
|
||||
}
|
||||
|
||||
void print_bad_match(end_command,type)
|
||||
char *end_command;
|
||||
int type;
|
||||
{
|
||||
printf("\"%s\", line %i: <- unmatched \"%s\"\n",
|
||||
file_name,
|
||||
line_count,
|
||||
eg_command( end_command , type) ) ;
|
||||
|
||||
printf("\"%s\", line %i: -> unmatched \"%s\"\n",
|
||||
CG_FILE,
|
||||
CG_LINE,
|
||||
bg_command( CG_NAME ) ) ;
|
||||
warn_count += 2;
|
||||
}
|
||||
|
||||
int check_top_level_end(end_command,type)
|
||||
char *end_command;
|
||||
int type;
|
||||
{
|
||||
if ( gstackp == 0 )
|
||||
{
|
||||
printf("\"%s\", line %i: \"%s\" found at top level\n",
|
||||
file_name,
|
||||
line_count,
|
||||
eg_command( end_command, type )) ;
|
||||
++warn_count;
|
||||
return(0);
|
||||
}
|
||||
else
|
||||
return(1);
|
||||
}
|
||||
|
||||
|
||||
|
||||
@ -1,9 +0,0 @@
|
||||
To compile, do as folows:
|
||||
|
||||
flex -8 lacheck.lex
|
||||
cc lex.yy.c -ll -O -o lacheck
|
||||
|
||||
This should make a executable file called lacheck.
|
||||
Further documentation is in the manualpage.
|
||||
|
||||
/Kresten
|
||||
@ -1,136 +0,0 @@
|
||||
|
||||
|
||||
LaCheck(1) Unix Programmer's Manual LaCheck(1)
|
||||
|
||||
|
||||
NAME
|
||||
lacheck - A consistency checker for LaTeX documents.
|
||||
|
||||
SYNOPSIS
|
||||
lacheck filename [ .tex ]
|
||||
-------- ---
|
||||
|
||||
DESCRIPTION
|
||||
lacheck is a general purpose consistency checker for LaTeX documents. It
|
||||
reads a LaTeX document and displays warning messages, if it finds bad
|
||||
sequences. It should be noted, that the badness is very subjective.
|
||||
----
|
||||
|
||||
The things checked are:
|
||||
|
||||
Mismatched groups (braces), environments and math mode delimiters. When
|
||||
a mismatch is found, line numbers for both start and end of the mismatch
|
||||
----
|
||||
is given. The error messages comes in pairs, one for the end match and
|
||||
one for the beginning, marked with `<-' and `->' respectively.
|
||||
|
||||
Bad spacing. This is: missing a `\ ' after an abbreviation, missing an
|
||||
`\@' before a punctuation mark in a paragraph that is ended by an capital
|
||||
letter, double spaces like ` \~', bad usage of ellipsis (like using ...
|
||||
instead of \ldots, or using \ldots where \cdots should be used)
|
||||
|
||||
lacheck will read files that are input using \input or \include. Files
|
||||
with suffix `.sty' are omitted, as they probably will cause errors.
|
||||
|
||||
lacheck may be invoked from within Emacs(1) using compile:
|
||||
|
||||
To run: M-x compile <ret> , and then C-x ` to parse the messages
|
||||
|
||||
|
||||
OUTPUT
|
||||
The output is UNIX-error like, and may be parsed using Emacs(1) compile
|
||||
mode. Here is a sample:
|
||||
|
||||
lacheck compiler
|
||||
"/usr/mef/compiler.tex", line 34: missing `\\\\ ' after "etc."
|
||||
"/usr/mef/compiler.tex", line 179: double space at " ~"
|
||||
"/usr/mef/compiler.tex", line 186: <- unmatched "}"
|
||||
"/usr/mef/compiler.tex", line 181: -> unmatched "$$"
|
||||
|
||||
A control space `\ ' should be inserted at line 34, to prevent an end-of-
|
||||
sentence space. Also, at line 179, the first space of the sequence " ~"
|
||||
should probably be deleted. The last two lines is an example, where the
|
||||
user mistyped, and probably inserted an extra "}" somewhere.
|
||||
|
||||
|
||||
DIAGNOSTICS
|
||||
Some special cases should be explained. In cases where a sentence ends
|
||||
with something that lacheck thinks is an abbreviation an missing `\ '
|
||||
error may also occur, if the following sentence begins with a capital
|
||||
letter.
|
||||
|
||||
A mismatch error may cause more to follow, due to the chosen algorithm.
|
||||
In such cases just correct the first error and run lacheck again
|
||||
-----
|
||||
|
||||
|
||||
|
||||
May 23, 1991 1
|
||||
|
||||
|
||||
|
||||
|
||||
LaCheck(1) Unix Programmer's Manual LaCheck(1)
|
||||
|
||||
|
||||
Braces, environments and math mode must be balanced within a file.
|
||||
|
||||
SEE ALSO
|
||||
tex(1), Emacs(1), latex(1)
|
||||
|
||||
BUGS
|
||||
Lots... Ideas for improvements and bug reports are very welcome. Such
|
||||
should be directed to the author.
|
||||
|
||||
AUTHOR
|
||||
Kresten Krab Thorup, Email <krab@iesd.auc.dk>
|
||||
|
||||
|
||||
|
||||
|
||||
|
||||
|
||||
|
||||
|
||||
|
||||
|
||||
|
||||
|
||||
|
||||
|
||||
|
||||
|
||||
|
||||
|
||||
|
||||
|
||||
|
||||
|
||||
|
||||
|
||||
|
||||
|
||||
|
||||
|
||||
|
||||
|
||||
|
||||
|
||||
|
||||
|
||||
|
||||
|
||||
|
||||
|
||||
|
||||
|
||||
|
||||
|
||||
|
||||
|
||||
|
||||
|
||||
|
||||
May 23, 1991 2
|
||||
|
||||
|
||||
Loading…
Reference in New Issue
Block a user