mirror of
https://github.com/servalproject/serval-dna.git
synced 2024-12-30 09:58:55 +00:00
81 lines
2.1 KiB
C
81 lines
2.1 KiB
C
/*
|
|
Serval DNA source code checker
|
|
Copyright 2013 Serval Project Inc.
|
|
|
|
This program is free software; you can redistribute it and/or
|
|
modify it under the terms of the GNU General Public License
|
|
as published by the Free Software Foundation; either version 2
|
|
of the License, or (at your option) any later version.
|
|
|
|
This program is distributed in the hope that it will be useful,
|
|
but WITHOUT ANY WARRANTY; without even the implied warranty of
|
|
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
|
|
GNU General Public License for more details.
|
|
|
|
You should have received a copy of the GNU General Public License
|
|
along with this program; if not, write to the Free Software
|
|
Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, USA.
|
|
*/
|
|
|
|
#include <stdio.h>
|
|
#include <string.h>
|
|
|
|
int line_count=0;
|
|
char *filename=NULL;
|
|
|
|
int dofile(char *file)
|
|
{
|
|
FILE *f=fopen(file,"r");
|
|
char line[1024];
|
|
if (filename) free(filename);
|
|
filename=strdup(file);
|
|
line_count=0;
|
|
|
|
int depth=0;
|
|
int inoutActive=0;
|
|
int savedActive=0;
|
|
int commentMode=0;
|
|
int quoteMode=0;
|
|
|
|
line[0]=0; fgets(line,1024,f);
|
|
while(line[0]) {
|
|
line_count++;
|
|
int i;
|
|
for(i=0;i<strlen(line);i++) {
|
|
if (!strncmp(&line[i],"//",2)) break;
|
|
if (!strncmp(&line[i],"/*",2)) commentMode=1;
|
|
if (!strncmp(&line[i],"*/",2)) commentMode=0;
|
|
if (!strncmp(&line[i],"\"",1)) quoteMode^=1;
|
|
if (commentMode||quoteMode) continue;
|
|
if (line[i]=='{') depth++;
|
|
if (line[i]=='}') {
|
|
if (depth>0) depth--;
|
|
if (!depth) {
|
|
if (inoutActive)
|
|
fprintf(stderr,"%s:%d:Leaving function without OUT() or RETURN?\n",
|
|
filename,line_count);
|
|
inoutActive=0;
|
|
savedActive=0;
|
|
} else inoutActive=savedActive;
|
|
}
|
|
if (!strncmp(&line[i],"IN()",4)) { inoutActive=1; savedActive=1; }
|
|
if (!strncmp(&line[i],"OUT()",5)) inoutActive=0;
|
|
if (inoutActive&&
|
|
(!strncmp(&line[i],"return",6)))
|
|
{
|
|
fprintf(stderr,
|
|
"%s:%d:Called return instead of RETURN in function with IN()\n",
|
|
filename,line_count);
|
|
}
|
|
}
|
|
|
|
line[0]=0; fgets(line,1024,f);
|
|
}
|
|
}
|
|
|
|
int main(int argc,char **argv)
|
|
{
|
|
int i;
|
|
for(i=1;i<argc;i++) dofile(argv[i]);
|
|
}
|