summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorAndrei Karas <akaras@inbox.ru>2014-11-09 15:31:38 +0300
committerAndrei Karas <akaras@inbox.ru>2014-11-10 02:25:11 +0300
commit49bb25a16d652dee43be5454b984134918200fe1 (patch)
tree606ecbe66689c6b8ba9846bb5d97176e1148e880
parent3742a813233edca6a59cc027209b8cd6bfd6b70b (diff)
downloadhercules-49bb25a16d652dee43be5454b984134918200fe1.tar.gz
hercules-49bb25a16d652dee43be5454b984134918200fe1.tar.bz2
hercules-49bb25a16d652dee43be5454b984134918200fe1.tar.xz
hercules-49bb25a16d652dee43be5454b984134918200fe1.zip
Add tool to validate interfaces usage.
-rwxr-xr-xtools/validateinterfaces.py162
1 files changed, 162 insertions, 0 deletions
diff --git a/tools/validateinterfaces.py b/tools/validateinterfaces.py
new file mode 100755
index 000000000..987c68ed0
--- /dev/null
+++ b/tools/validateinterfaces.py
@@ -0,0 +1,162 @@
+#! /usr/bin/env python
+# -*- coding: utf8 -*-
+#
+# Copyright (C) 2014 Andrei Karas (4144)
+
+import os
+import re
+from sets import Set
+
+interfaceRe = re.compile("struct (?P<name1>[a-z_]+)_interface (?P<name2>[a-z_]+)_s;")
+
+class Tracker:
+ pass
+
+def searchDefault(r, ifname):
+ defaultStr = "void {0}_defaults(void)".format(ifname);
+ for line in r:
+ if line.find(defaultStr) == 0:
+ return True
+ return False
+
+def searchStructStart(r, ifname):
+ for line in r:
+ if line.find("struct {0}_interface".format(ifname)) == 0:
+ return True
+ return False
+
+def readCFile(cFile):
+ methods = Set()
+ shortIfName = ""
+ with open(cFile, "r") as r:
+ for line in r:
+# print "cline1: " + line
+ m = interfaceRe.search(line)
+ if m != None and m.group("name1") == m.group("name2"):
+ # found C file with interface
+ ifname = m.group("name1")
+ if searchDefault(r, ifname) == False:
+ return (None, shortIfName, methods)
+ lineRe = re.compile("(?P<ifname>[a-z_]+)->(?P<method>[\w_]+) ")
+ for line in r:
+# print "cline2: " + line
+ test = line.strip()
+ if len(test) > 2 and test[0:2] == "//":
+ continue
+ if len(line) > 0 and line[0] == "}":
+ break
+ m = lineRe.search(line)
+ if m != None:
+ tmp = m.group("ifname")
+ if len(tmp) < 2 or tmp[0] != ifname[0]:
+ continue
+ if shortIfName == "":
+ shortIfName = m.group("ifname")
+# print "{2}: add {0}, from: {1}".format(m.group("method"), line, ifname)
+ methods.add(m.group("method"))
+ return (ifname, shortIfName, methods)
+ return (None, shortIfName, methods)
+
+def readHFile(hFile, ifname):
+ methods = Set()
+ with open(hFile, "r") as r:
+ if searchStructStart(r, ifname) == False:
+ return methods
+ lineRe = re.compile("[(][*](?P<method>[^)]+)[)]".format(ifname))
+ for line in r:
+# print "hline: " + line
+ test = line.strip()
+ if len(test) > 2 and test[0:2] == "//":
+ continue
+ if len(line) > 0 and line[0] == "}":
+ break
+ m = lineRe.search(line)
+ if m != None:
+# print "{2}: add {0}, from: {1}".format(m.group("method"), line, ifname)
+ methods.add(m.group("method"))
+ return methods
+
+def checkIfFile(tracker, cFile, hFile):
+ data = readCFile(cFile)
+ cMethods = data[2]
+ ifname = data[0]
+ shortIfName = data[1]
+ if len(cMethods) > 0:
+ hMethods = readHFile(hFile, ifname)
+ for method in hMethods:
+ tracker.arr[ifname + "_" + method] = list()
+ tracker.methods.add(ifname + "_" + method)
+ if method not in cMethods:
+ print "Missing initialisation in file {0}: {1}".format(cFile, method)
+# for method in cMethods:
+# if method not in hMethods:
+# print "Extra method in file {0}: {1}".format(cFile, method)
+
+def processIfDir(tracker, srcDir):
+ files = os.listdir(srcDir)
+ for file1 in files:
+ if file1[0] == '.' or file1 == "..":
+ continue
+ cPath = os.path.abspath(srcDir + os.path.sep + file1)
+ if not os.path.isfile(cPath):
+ processIfDir(tracker, cPath)
+ else:
+ if file1[-2:] == ".c":
+ file2 = file1[:-2] + ".h"
+ hPath = srcDir + os.path.sep + file2;
+ if os.path.exists(hPath) and os.path.isfile(hPath):
+ checkIfFile(tracker, cPath, hPath)
+
+
+def checkChr(ch):
+ if (ch >= "a" and ch <= "z") or ch == "_" or (ch >= "0" and ch <= "9" or ch == "\"" or ch == ">"):
+ return True
+ return False
+
+def checkFile(tracker, cFile):
+ print "Checking: " + cFile
+ with open(cFile, "r") as r:
+ for line in r:
+ for method in tracker.methods:
+ idx = line.find(method)
+ if idx > 0:
+ if idx + len(method) >= len(line):
+ continue
+ if checkChr(line[idx + len(method)]):
+ continue
+ if checkChr(line[idx - 1]):
+ continue
+ if line[-1] == "\n":
+ line = line[:-1]
+ tracker.arr[method].append(line)
+
+def processDir(tracker, srcDir):
+ files = os.listdir(srcDir)
+ for file1 in files:
+ if file1[0] == '.' or file1 == "..":
+ continue
+ cPath = os.path.abspath(srcDir + os.path.sep + file1)
+ if not os.path.isfile(cPath):
+ processDir(tracker, cPath)
+ elif file1[-2:] == ".c" or file1[-2:] == ".h":
+# elif file1[-2:] == ".c":
+ checkFile(tracker, cPath)
+
+def reportMethods(tracker):
+ print "\n"
+ for method in tracker.methods:
+ if len(tracker.arr[method]) > 2:
+ print method
+ for t in tracker.arr[method]:
+ print t
+ print "\n"
+
+
+tracker = Tracker()
+tracker.arr = dict()
+tracker.methods = Set()
+print "Checking initerfaces initialisation"
+processIfDir(tracker, "../src");
+print "Checking interfaces usage"
+processDir(tracker, "../src");
+reportMethods(tracker)