[mirror_edk2.git] / BaseTools / Source / Python / Ecc / c.py

## @file\r
# This file is used to be the c coding style checking of ECC tool\r
#\r
# Copyright (c) 2009 - 2010, Intel Corporation\r
# All rights reserved. This program and the accompanying materials\r
# are licensed and made available under the terms and conditions of the BSD License\r
# which accompanies this distribution.  The full text of the license may be found at\r
# http://opensource.org/licenses/bsd-license.php\r
#\r
# THE PROGRAM IS DISTRIBUTED UNDER THE BSD LICENSE ON AN "AS IS" BASIS,\r
# WITHOUT WARRANTIES OR REPRESENTATIONS OF ANY KIND, EITHER EXPRESS OR IMPLIED.\r
#\r
\r
import sys\r
import os\r
import re\r
import string\r
import CodeFragmentCollector\r
import FileProfile\r
from CommonDataClass import DataClass\r
import Database\r
from Common import EdkLogger\r
from EccToolError import *\r
import EccGlobalData\r
import MetaDataParser\r
\r
IncludeFileListDict = {}\r
AllIncludeFileListDict = {}\r
IncludePathListDict = {}\r
ComplexTypeDict = {}\r
SUDict = {}\r
IgnoredKeywordList = ['EFI_ERROR']\r
\r
def GetIgnoredDirListPattern():\r
    skipList = list(EccGlobalData.gConfig.SkipDirList) + ['.svn']\r
    DirString = string.join(skipList, '|')\r
    p = re.compile(r'.*[\\/](?:%s)[\\/]?.*' % DirString)\r
    return p\r
\r
def GetFuncDeclPattern():\r
    p = re.compile(r'(?:EFIAPI|EFI_BOOT_SERVICE|EFI_RUNTIME_SERVICE)?\s*[_\w]+\s*\(.*\)$', re.DOTALL)\r
    return p\r
\r
def GetArrayPattern():\r
    p = re.compile(r'[_\w]*\s*[\[.*\]]+')\r
    return p\r
\r
def GetTypedefFuncPointerPattern():\r
    p = re.compile('[_\w\s]*\([\w\s]*\*+\s*[_\w]+\s*\)\s*\(.*\)', re.DOTALL)\r
    return p\r
\r
def GetDB():\r
    return EccGlobalData.gDb\r
\r
def GetConfig():\r
    return EccGlobalData.gConfig\r
\r
def PrintErrorMsg(ErrorType, Msg, TableName, ItemId):\r
    Msg = Msg.replace('\n', '').replace('\r', '')\r
    MsgPartList = Msg.split()\r
    Msg = ''\r
    for Part in MsgPartList:\r
        Msg += Part\r
        Msg += ' '\r
    GetDB().TblReport.Insert(ErrorType, OtherMsg = Msg, BelongsToTable = TableName, BelongsToItem = ItemId)\r
\r
def GetIdType(Str):\r
    Type = DataClass.MODEL_UNKNOWN\r
    Str = Str.replace('#', '# ')\r
    List = Str.split()\r
    if List[1] == 'include':\r
        Type = DataClass.MODEL_IDENTIFIER_INCLUDE\r
    elif List[1] == 'define':\r
        Type = DataClass.MODEL_IDENTIFIER_MACRO_DEFINE\r
    elif List[1] == 'ifdef':\r
        Type = DataClass.MODEL_IDENTIFIER_MACRO_IFDEF\r
    elif List[1] == 'ifndef':\r
        Type = DataClass.MODEL_IDENTIFIER_MACRO_IFNDEF\r
    elif List[1] == 'endif':\r
        Type = DataClass.MODEL_IDENTIFIER_MACRO_ENDIF\r
    elif List[1] == 'pragma':\r
        Type = DataClass.MODEL_IDENTIFIER_MACRO_PROGMA\r
    else:\r
        Type = DataClass.MODEL_UNKNOWN\r
    return Type\r
\r
def SuOccurInTypedef (Su, TdList):\r
    for Td in TdList:\r
        if Su.StartPos[0] == Td.StartPos[0] and Su.EndPos[0] == Td.EndPos[0]:\r
            return True\r
    return False\r
\r
def GetIdentifierList():\r
    IdList = []\r
    for comment in FileProfile.CommentList:\r
        IdComment = DataClass.IdentifierClass(-1, '', '', '', comment.Content, DataClass.MODEL_IDENTIFIER_COMMENT, -1, -1, comment.StartPos[0],comment.StartPos[1],comment.EndPos[0],comment.EndPos[1])\r
        IdList.append(IdComment)\r
\r
    for pp in FileProfile.PPDirectiveList:\r
        Type = GetIdType(pp.Content)\r
        IdPP = DataClass.IdentifierClass(-1, '', '', '', pp.Content, Type, -1, -1, pp.StartPos[0],pp.StartPos[1],pp.EndPos[0],pp.EndPos[1])\r
        IdList.append(IdPP)\r
\r
    for pe in FileProfile.PredicateExpressionList:\r
        IdPE = DataClass.IdentifierClass(-1, '', '', '', pe.Content, DataClass.MODEL_IDENTIFIER_PREDICATE_EXPRESSION, -1, -1, pe.StartPos[0],pe.StartPos[1],pe.EndPos[0],pe.EndPos[1])\r
        IdList.append(IdPE)\r
\r
    FuncDeclPattern = GetFuncDeclPattern()\r
    ArrayPattern = GetArrayPattern()\r
    for var in FileProfile.VariableDeclarationList:\r
        DeclText = var.Declarator.lstrip()\r
        FuncPointerPattern = GetTypedefFuncPointerPattern()\r
        if FuncPointerPattern.match(DeclText):\r
            continue\r
        VarNameStartLine = var.NameStartPos[0]\r
        VarNameStartColumn = var.NameStartPos[1]\r
        FirstChar = DeclText[0]\r
        while not FirstChar.isalpha() and FirstChar != '_':\r
            if FirstChar == '*':\r
                var.Modifier += '*'\r
                VarNameStartColumn += 1\r
                DeclText = DeclText.lstrip('*')\r
            elif FirstChar == '\r':\r
                DeclText = DeclText.lstrip('\r\n').lstrip('\r')\r
                VarNameStartLine += 1\r
                VarNameStartColumn = 0\r
            elif FirstChar == '\n':\r
                DeclText = DeclText.lstrip('\n')\r
                VarNameStartLine += 1\r
                VarNameStartColumn = 0\r
            elif FirstChar == ' ':\r
                DeclText = DeclText.lstrip(' ')\r
                VarNameStartColumn += 1\r
            elif FirstChar == '\t':\r
                DeclText = DeclText.lstrip('\t')\r
                VarNameStartColumn += 8\r
            else:\r
                DeclText = DeclText[1:]\r
                VarNameStartColumn += 1\r
            FirstChar = DeclText[0]\r
\r
        var.Declarator = DeclText\r
        if FuncDeclPattern.match(var.Declarator):\r
            DeclSplitList = var.Declarator.split('(')\r
            FuncName = DeclSplitList[0].strip()\r
            FuncNamePartList = FuncName.split()\r
            if len(FuncNamePartList) > 1:\r
                FuncName = FuncNamePartList[-1].strip()\r
                NameStart = DeclSplitList[0].rfind(FuncName)\r
                var.Declarator = var.Declarator[NameStart:]\r
                if NameStart > 0:\r
                    var.Modifier += ' ' + DeclSplitList[0][0:NameStart]\r
                    Index = 0\r
                    PreChar = ''\r
                    while Index < NameStart:\r
                        FirstChar = DeclSplitList[0][Index]\r
                        if DeclSplitList[0][Index:].startswith('EFIAPI'):\r
                            Index += 6\r
                            VarNameStartColumn += 6\r
                            PreChar = ''\r
                            continue\r
                        elif FirstChar == '\r':\r
                            Index += 1\r
                            VarNameStartLine += 1\r
                            VarNameStartColumn = 0\r
                        elif FirstChar == '\n':\r
                            Index += 1\r
                            if PreChar != '\r':\r
                                VarNameStartLine += 1\r
                                VarNameStartColumn = 0\r
                        elif FirstChar == ' ':\r
                            Index += 1\r
                            VarNameStartColumn += 1\r
                        elif FirstChar == '\t':\r
                            Index += 1\r
                            VarNameStartColumn += 8\r
                        else:\r
                            Index += 1\r
                            VarNameStartColumn += 1\r
                        PreChar = FirstChar\r
            IdVar = DataClass.IdentifierClass(-1, var.Modifier, '', var.Declarator, FuncName, DataClass.MODEL_IDENTIFIER_FUNCTION_DECLARATION, -1, -1, var.StartPos[0], var.StartPos[1], VarNameStartLine, VarNameStartColumn)\r
            IdList.append(IdVar)\r
            continue\r
\r
        if var.Declarator.find('{') == -1:\r
            for decl in var.Declarator.split(','):\r
                DeclList = decl.split('=')\r
                Name = DeclList[0].strip()\r
                if ArrayPattern.match(Name):\r
                    LSBPos = var.Declarator.find('[')\r
                    var.Modifier += ' ' + Name[LSBPos:]\r
                    Name = Name[0:LSBPos]\r
\r
                IdVar = DataClass.IdentifierClass(-1, var.Modifier, '', Name, (len(DeclList) > 1 and [DeclList[1]]or [''])[0], DataClass.MODEL_IDENTIFIER_VARIABLE, -1, -1, var.StartPos[0],var.StartPos[1], VarNameStartLine, VarNameStartColumn)\r
                IdList.append(IdVar)\r
        else:\r
            DeclList = var.Declarator.split('=')\r
            Name = DeclList[0].strip()\r
            if ArrayPattern.match(Name):\r
                LSBPos = var.Declarator.find('[')\r
                var.Modifier += ' ' + Name[LSBPos:]\r
                Name = Name[0:LSBPos]\r
            IdVar = DataClass.IdentifierClass(-1, var.Modifier, '', Name, (len(DeclList) > 1 and [DeclList[1]]or [''])[0], DataClass.MODEL_IDENTIFIER_VARIABLE, -1, -1, var.StartPos[0],var.StartPos[1], VarNameStartLine, VarNameStartColumn)\r
            IdList.append(IdVar)\r
\r
    for enum in FileProfile.EnumerationDefinitionList:\r
        LBPos = enum.Content.find('{')\r
        RBPos = enum.Content.find('}')\r
        Name = enum.Content[4:LBPos].strip()\r
        Value = enum.Content[LBPos+1:RBPos]\r
        IdEnum = DataClass.IdentifierClass(-1, '', '', Name, Value, DataClass.MODEL_IDENTIFIER_ENUMERATE, -1, -1, enum.StartPos[0],enum.StartPos[1],enum.EndPos[0],enum.EndPos[1])\r
        IdList.append(IdEnum)\r
\r
    for su in FileProfile.StructUnionDefinitionList:\r
        if SuOccurInTypedef(su, FileProfile.TypedefDefinitionList):\r
            continue\r
        Type = DataClass.MODEL_IDENTIFIER_STRUCTURE\r
        SkipLen = 6\r
        if su.Content.startswith('union'):\r
            Type = DataClass.MODEL_IDENTIFIER_UNION\r
            SkipLen = 5\r
        LBPos = su.Content.find('{')\r
        RBPos = su.Content.find('}')\r
        if LBPos == -1 or RBPos == -1:\r
            Name = su.Content[SkipLen:].strip()\r
            Value = ''\r
        else:\r
            Name = su.Content[SkipLen:LBPos].strip()\r
            Value = su.Content[LBPos:RBPos+1]\r
        IdPE = DataClass.IdentifierClass(-1, '', '', Name, Value, Type, -1, -1, su.StartPos[0],su.StartPos[1],su.EndPos[0],su.EndPos[1])\r
        IdList.append(IdPE)\r
\r
    TdFuncPointerPattern = GetTypedefFuncPointerPattern()\r
    for td in FileProfile.TypedefDefinitionList:\r
        Modifier = ''\r
        Name = td.ToType\r
        Value = td.FromType\r
        if TdFuncPointerPattern.match(td.ToType):\r
            Modifier = td.FromType\r
            LBPos = td.ToType.find('(')\r
            TmpStr = td.ToType[LBPos+1:].strip()\r
            StarPos = TmpStr.find('*')\r
            if StarPos != -1:\r
                Modifier += ' ' + TmpStr[0:StarPos]\r
            while TmpStr[StarPos] == '*':\r
#                Modifier += ' ' + '*'\r
                StarPos += 1\r
            TmpStr = TmpStr[StarPos:].strip()\r
            RBPos = TmpStr.find(')')\r
            Name = TmpStr[0:RBPos]\r
            Value = 'FP' + TmpStr[RBPos + 1:]\r
        else:\r
            while Name.startswith('*'):\r
                Value += ' ' + '*'\r
                Name = Name.lstrip('*').strip()\r
\r
        if Name.find('[') != -1:\r
            LBPos = Name.find('[')\r
            RBPos = Name.rfind(']')\r
            Value += Name[LBPos : RBPos + 1]\r
            Name = Name[0 : LBPos]\r
\r
        IdTd = DataClass.IdentifierClass(-1, Modifier, '', Name, Value, DataClass.MODEL_IDENTIFIER_TYPEDEF, -1, -1, td.StartPos[0],td.StartPos[1],td.EndPos[0],td.EndPos[1])\r
        IdList.append(IdTd)\r
\r
    for funcCall in FileProfile.FunctionCallingList:\r
        IdFC = DataClass.IdentifierClass(-1, '', '', funcCall.FuncName, funcCall.ParamList, DataClass.MODEL_IDENTIFIER_FUNCTION_CALLING, -1, -1, funcCall.StartPos[0],funcCall.StartPos[1],funcCall.EndPos[0],funcCall.EndPos[1])\r
        IdList.append(IdFC)\r
    return IdList\r
\r
def StripNonAlnumChars(Str):\r
    StrippedStr = ''\r
    for Char in Str:\r
        if Char.isalnum():\r
            StrippedStr += Char\r
    return StrippedStr\r
\r
def GetParamList(FuncDeclarator, FuncNameLine = 0, FuncNameOffset = 0):\r
    FuncDeclarator = StripComments(FuncDeclarator)\r
    ParamIdList = []\r
    #DeclSplitList = FuncDeclarator.split('(')\r
    LBPos = FuncDeclarator.find('(')\r
    #if len(DeclSplitList) < 2:\r
    if LBPos == -1:\r
        return ParamIdList\r
    #FuncName = DeclSplitList[0]\r
    FuncName = FuncDeclarator[0:LBPos]\r
    #ParamStr = DeclSplitList[1].rstrip(')')\r
    ParamStr = FuncDeclarator[LBPos + 1:].rstrip(')')\r
    LineSkipped = 0\r
    OffsetSkipped = 0\r
    TailChar = FuncName[-1]\r
    while not TailChar.isalpha() and TailChar != '_':\r
\r
        if TailChar == '\n':\r
            FuncName = FuncName.rstrip('\r\n').rstrip('\n')\r
            LineSkipped += 1\r
            OffsetSkipped = 0\r
        elif TailChar == '\r':\r
            FuncName = FuncName.rstrip('\r')\r
            LineSkipped += 1\r
            OffsetSkipped = 0\r
        elif TailChar == ' ':\r
            FuncName = FuncName.rstrip(' ')\r
            OffsetSkipped += 1\r
        elif TailChar == '\t':\r
            FuncName = FuncName.rstrip('\t')\r
            OffsetSkipped += 8\r
        else:\r
            FuncName = FuncName[:-1]\r
        TailChar = FuncName[-1]\r
\r
    OffsetSkipped += 1 #skip '('\r
\r
    for p in ParamStr.split(','):\r
        ListP = p.split()\r
        if len(ListP) == 0:\r
            continue\r
        ParamName = ListP[-1]\r
        DeclText = ParamName.strip()\r
        RightSpacePos = p.rfind(ParamName)\r
        ParamModifier = p[0:RightSpacePos]\r
        if ParamName == 'OPTIONAL':\r
            if ParamModifier == '':\r
                ParamModifier += ' ' + 'OPTIONAL'\r
                DeclText = ''\r
            else:\r
                ParamName = ListP[-2]\r
                DeclText = ParamName.strip()\r
                RightSpacePos = p.rfind(ParamName)\r
                ParamModifier = p[0:RightSpacePos]\r
                ParamModifier += 'OPTIONAL'\r
        while DeclText.startswith('*'):\r
            ParamModifier += ' ' + '*'\r
            DeclText = DeclText.lstrip('*').strip()\r
        ParamName = DeclText\r
        # ignore array length if exists.\r
        LBIndex = ParamName.find('[')\r
        if LBIndex != -1:\r
            ParamName = ParamName[0:LBIndex]\r
\r
        Start = RightSpacePos\r
        Index = 0\r
        PreChar = ''\r
        while Index < Start:\r
            FirstChar = p[Index]\r
\r
            if FirstChar == '\r':\r
                Index += 1\r
                LineSkipped += 1\r
                OffsetSkipped = 0\r
            elif FirstChar == '\n':\r
                Index += 1\r
                if PreChar != '\r':\r
                    LineSkipped += 1\r
                    OffsetSkipped = 0\r
            elif FirstChar == ' ':\r
                Index += 1\r
                OffsetSkipped += 1\r
            elif FirstChar == '\t':\r
                Index += 1\r
                OffsetSkipped += 8\r
            else:\r
                Index += 1\r
                OffsetSkipped += 1\r
            PreChar = FirstChar\r
\r
        ParamBeginLine = FuncNameLine + LineSkipped\r
        ParamBeginOffset = FuncNameOffset + OffsetSkipped\r
\r
        Index = Start + len(ParamName)\r
        PreChar = ''\r
        while Index < len(p):\r
            FirstChar = p[Index]\r
\r
            if FirstChar == '\r':\r
                Index += 1\r
                LineSkipped += 1\r
                OffsetSkipped = 0\r
            elif FirstChar == '\n':\r
                Index += 1\r
                if PreChar != '\r':\r
                    LineSkipped += 1\r
                    OffsetSkipped = 0\r
            elif FirstChar == ' ':\r
                Index += 1\r
                OffsetSkipped += 1\r
            elif FirstChar == '\t':\r
                Index += 1\r
                OffsetSkipped += 8\r
            else:\r
                Index += 1\r
                OffsetSkipped += 1\r
            PreChar = FirstChar\r
\r
        ParamEndLine = FuncNameLine + LineSkipped\r
        ParamEndOffset = FuncNameOffset + OffsetSkipped\r
        if ParamName != '...':\r
            ParamName = StripNonAlnumChars(ParamName)\r
        IdParam = DataClass.IdentifierClass(-1, ParamModifier, '', ParamName, '', DataClass.MODEL_IDENTIFIER_PARAMETER, -1, -1, ParamBeginLine, ParamBeginOffset, ParamEndLine, ParamEndOffset)\r
        ParamIdList.append(IdParam)\r
\r
        OffsetSkipped += 1 #skip ','\r
\r
    return ParamIdList\r
\r
def GetFunctionList():\r
    FuncObjList = []\r
    for FuncDef in FileProfile.FunctionDefinitionList:\r
        ParamIdList = []\r
        DeclText = FuncDef.Declarator.lstrip()\r
        FuncNameStartLine = FuncDef.NamePos[0]\r
        FuncNameStartColumn = FuncDef.NamePos[1]\r
        FirstChar = DeclText[0]\r
        while not FirstChar.isalpha() and FirstChar != '_':\r
            if FirstChar == '*':\r
                FuncDef.Modifier += '*'\r
                FuncNameStartColumn += 1\r
                DeclText = DeclText.lstrip('*')\r
            elif FirstChar == '\r':\r
                DeclText = DeclText.lstrip('\r\n').lstrip('\r')\r
                FuncNameStartLine += 1\r
                FuncNameStartColumn = 0\r
            elif FirstChar == '\n':\r
                DeclText = DeclText.lstrip('\n')\r
                FuncNameStartLine += 1\r
                FuncNameStartColumn = 0\r
            elif FirstChar == ' ':\r
                DeclText = DeclText.lstrip(' ')\r
                FuncNameStartColumn += 1\r
            elif FirstChar == '\t':\r
                DeclText = DeclText.lstrip('\t')\r
                FuncNameStartColumn += 8\r
            else:\r
                DeclText = DeclText[1:]\r
                FuncNameStartColumn += 1\r
            FirstChar = DeclText[0]\r
\r
        FuncDef.Declarator = DeclText\r
        DeclSplitList = FuncDef.Declarator.split('(')\r
        if len(DeclSplitList) < 2:\r
            continue\r
\r
        FuncName = DeclSplitList[0]\r
        FuncNamePartList = FuncName.split()\r
        if len(FuncNamePartList) > 1:\r
            FuncName = FuncNamePartList[-1]\r
            NameStart = DeclSplitList[0].rfind(FuncName)\r
            if NameStart > 0:\r
                FuncDef.Modifier += ' ' + DeclSplitList[0][0:NameStart]\r
                Index = 0\r
                PreChar = ''\r
                while Index < NameStart:\r
                    FirstChar = DeclSplitList[0][Index]\r
                    if DeclSplitList[0][Index:].startswith('EFIAPI'):\r
                        Index += 6\r
                        FuncNameStartColumn += 6\r
                        PreChar = ''\r
                        continue\r
                    elif FirstChar == '\r':\r
                        Index += 1\r
                        FuncNameStartLine += 1\r
                        FuncNameStartColumn = 0\r
                    elif FirstChar == '\n':\r
                        Index += 1\r
                        if PreChar != '\r':\r
                            FuncNameStartLine += 1\r
                            FuncNameStartColumn = 0\r
                    elif FirstChar == ' ':\r
                        Index += 1\r
                        FuncNameStartColumn += 1\r
                    elif FirstChar == '\t':\r
                        Index += 1\r
                        FuncNameStartColumn += 8\r
                    else:\r
                        Index += 1\r
                        FuncNameStartColumn += 1\r
                    PreChar = FirstChar\r
\r
        FuncObj = DataClass.FunctionClass(-1, FuncDef.Declarator, FuncDef.Modifier, FuncName.strip(), '', FuncDef.StartPos[0],FuncDef.StartPos[1],FuncDef.EndPos[0],FuncDef.EndPos[1], FuncDef.LeftBracePos[0], FuncDef.LeftBracePos[1], -1, ParamIdList, [], FuncNameStartLine, FuncNameStartColumn)\r
        FuncObjList.append(FuncObj)\r
\r
    return FuncObjList\r
\r
def GetFileModificationTimeFromDB(FullFileName):\r
    TimeValue = 0.0\r
    Db = GetDB()\r
    SqlStatement = """ select TimeStamp\r
                       from File\r
                       where FullPath = \'%s\'\r
                   """ % (FullFileName)\r
    ResultSet = Db.TblFile.Exec(SqlStatement)\r
    for Result in ResultSet:\r
        TimeValue = Result[0]\r
    return TimeValue\r
\r
def CollectSourceCodeDataIntoDB(RootDir):\r
    FileObjList = []\r
    tuple = os.walk(RootDir)\r
    IgnoredPattern = GetIgnoredDirListPattern()\r
    ParseErrorFileList = []\r
\r
    for dirpath, dirnames, filenames in tuple:\r
        if IgnoredPattern.match(dirpath.upper()):\r
            continue\r
\r
        for Dir in dirnames:\r
            Dirname = os.path.join(dirpath, Dir)\r
            if os.path.islink(Dirname):\r
                Dirname = os.path.realpath(Dirname)\r
                if os.path.isdir(Dirname):\r
                    # symlinks to directories are treated as directories\r
                    dirnames.remove(Dir)\r
                    dirnames.append(Dirname)\r
\r
        for f in filenames:\r
            FullName = os.path.normpath(os.path.join(dirpath, f))\r
            if os.path.splitext(f)[1] in ('.h', '.c'):\r
                EdkLogger.info("Parsing " + FullName)\r
                model = f.endswith('c') and DataClass.MODEL_FILE_C or DataClass.MODEL_FILE_H\r
                collector = CodeFragmentCollector.CodeFragmentCollector(FullName)\r
                try:\r
                    collector.ParseFile()\r
                except UnicodeError:\r
                    ParseErrorFileList.append(FullName)\r
                    collector.CleanFileProfileBuffer()\r
                    collector.ParseFileWithClearedPPDirective()\r
#                collector.PrintFragments()\r
                BaseName = os.path.basename(f)\r
                DirName = os.path.dirname(FullName)\r
                Ext = os.path.splitext(f)[1].lstrip('.')\r
                ModifiedTime = os.path.getmtime(FullName)\r
                FileObj = DataClass.FileClass(-1, BaseName, Ext, DirName, FullName, model, ModifiedTime, GetFunctionList(), GetIdentifierList(), [])\r
                FileObjList.append(FileObj)\r
                collector.CleanFileProfileBuffer()\r
\r
    if len(ParseErrorFileList) > 0:\r
        EdkLogger.info("Found unrecoverable error during parsing:\n\t%s\n" % "\n\t".join(ParseErrorFileList))\r
\r
    Db = GetDB()\r
    for file in FileObjList:\r
        Db.InsertOneFile(file)\r
\r
    Db.UpdateIdentifierBelongsToFunction()\r
\r
def GetTableID(FullFileName, ErrorMsgList = None):\r
    if ErrorMsgList == None:\r
        ErrorMsgList = []\r
\r
    Db = GetDB()\r
    SqlStatement = """ select ID\r
                       from File\r
                       where FullPath like '%s'\r
                   """ % FullFileName\r
\r
    ResultSet = Db.TblFile.Exec(SqlStatement)\r
\r
    FileID = -1\r
    for Result in ResultSet:\r
        if FileID != -1:\r
            ErrorMsgList.append('Duplicate file ID found in DB for file %s' % FullFileName)\r
            return -2\r
        FileID = Result[0]\r
    if FileID == -1:\r
        ErrorMsgList.append('NO file ID found in DB for file %s' % FullFileName)\r
        return -1\r
    return FileID\r
\r
def GetIncludeFileList(FullFileName):\r
    IFList = IncludeFileListDict.get(FullFileName)\r
    if IFList != None:\r
        return IFList\r
\r
    FileID = GetTableID(FullFileName)\r
    if FileID < 0:\r
        return []\r
\r
    Db = GetDB()\r
    FileTable = 'Identifier' + str(FileID)\r
    SqlStatement = """ select Value\r
                       from %s\r
                       where Model = %d\r
                   """ % (FileTable, DataClass.MODEL_IDENTIFIER_INCLUDE)\r
    ResultSet = Db.TblFile.Exec(SqlStatement)\r
    IncludeFileListDict[FullFileName] = ResultSet\r
    return ResultSet\r
\r
def GetFullPathOfIncludeFile(Str, IncludePathList):\r
    for IncludePath in IncludePathList:\r
        FullPath = os.path.join(IncludePath, Str)\r
        FullPath = os.path.normpath(FullPath)\r
        if os.path.exists(FullPath):\r
            return FullPath\r
    return None\r
\r
def GetAllIncludeFiles(FullFileName):\r
    if AllIncludeFileListDict.get(FullFileName) != None:\r
        return AllIncludeFileListDict.get(FullFileName)\r
\r
    FileDirName = os.path.dirname(FullFileName)\r
    IncludePathList = IncludePathListDict.get(FileDirName)\r
    if IncludePathList == None:\r
        IncludePathList = MetaDataParser.GetIncludeListOfFile(EccGlobalData.gWorkspace, FullFileName, GetDB())\r
        if FileDirName not in IncludePathList:\r
            IncludePathList.insert(0, FileDirName)\r
        IncludePathListDict[FileDirName] = IncludePathList\r
    IncludeFileQueue = []\r
    for IncludeFile in GetIncludeFileList(FullFileName):\r
        FileName = IncludeFile[0].lstrip('#').strip()\r
        FileName = FileName.lstrip('include').strip()\r
        FileName = FileName.strip('\"')\r
        FileName = FileName.lstrip('<').rstrip('>').strip()\r
        FullPath = GetFullPathOfIncludeFile(FileName, IncludePathList)\r
        if FullPath != None:\r
            IncludeFileQueue.append(FullPath)\r
\r
    i = 0\r
    while i < len(IncludeFileQueue):\r
        for IncludeFile in GetIncludeFileList(IncludeFileQueue[i]):\r
            FileName = IncludeFile[0].lstrip('#').strip()\r
            FileName = FileName.lstrip('include').strip()\r
            FileName = FileName.strip('\"')\r
            FileName = FileName.lstrip('<').rstrip('>').strip()\r
            FullPath = GetFullPathOfIncludeFile(FileName, IncludePathList)\r
            if FullPath != None and FullPath not in IncludeFileQueue:\r
                IncludeFileQueue.insert(i + 1, FullPath)\r
        i += 1\r
\r
    AllIncludeFileListDict[FullFileName] = IncludeFileQueue\r
    return IncludeFileQueue\r
\r
def GetPredicateListFromPredicateExpStr(PES):\r
\r
    PredicateList = []\r
    i = 0\r
    PredicateBegin = 0\r
    #PredicateEnd = 0\r
    LogicOpPos = -1\r
    p = GetFuncDeclPattern()\r
    while i < len(PES) - 1:\r
        if (PES[i].isalnum() or PES[i] == '_' or PES[i] == '*') and LogicOpPos > PredicateBegin:\r
            PredicateBegin = i\r
        if (PES[i] == '&' and PES[i+1] == '&') or (PES[i] == '|' and PES[i+1] == '|'):\r
            LogicOpPos = i\r
            Exp = PES[PredicateBegin:i].strip()\r
            # Exp may contain '.' or '->'\r
            TmpExp = Exp.replace('.', '').replace('->', '')\r
            if p.match(TmpExp):\r
                PredicateList.append(Exp)\r
            else:\r
                PredicateList.append(Exp.rstrip(';').rstrip(')').strip())\r
        i += 1\r
\r
    if PredicateBegin > LogicOpPos:\r
        while PredicateBegin < len(PES):\r
            if PES[PredicateBegin].isalnum() or PES[PredicateBegin] == '_' or PES[PredicateBegin] == '*':\r
                break\r
            PredicateBegin += 1\r
        Exp = PES[PredicateBegin:len(PES)].strip()\r
        # Exp may contain '.' or '->'\r
        TmpExp = Exp.replace('.', '').replace('->', '')\r
        if p.match(TmpExp):\r
            PredicateList.append(Exp)\r
        else:\r
            PredicateList.append(Exp.rstrip(';').rstrip(')').strip())\r
    return PredicateList\r
\r
def GetCNameList(Lvalue, StarList = []):\r
    Lvalue += ' '\r
    i = 0\r
    SearchBegin = 0\r
    VarStart = -1\r
    VarEnd = -1\r
    VarList = []\r
\r
    while SearchBegin < len(Lvalue):\r
        while i < len(Lvalue):\r
            if Lvalue[i].isalnum() or Lvalue[i] == '_':\r
                if VarStart == -1:\r
                    VarStart = i\r
                VarEnd = i\r
                i += 1\r
            elif VarEnd != -1:\r
                VarList.append(Lvalue[VarStart:VarEnd+1])\r
                i += 1\r
                break\r
            else:\r
                if VarStart == -1 and Lvalue[i] == '*':\r
                    StarList.append('*')\r
                i += 1\r
        if VarEnd == -1:\r
            break\r
\r
\r
        DotIndex = Lvalue[VarEnd:].find('.')\r
        ArrowIndex = Lvalue[VarEnd:].find('->')\r
        if DotIndex == -1 and ArrowIndex == -1:\r
            break\r
        elif DotIndex == -1 and ArrowIndex != -1:\r
            SearchBegin = VarEnd + ArrowIndex\r
        elif ArrowIndex == -1 and DotIndex != -1:\r
            SearchBegin = VarEnd + DotIndex\r
        else:\r
            SearchBegin = VarEnd + ((DotIndex < ArrowIndex) and DotIndex or ArrowIndex)\r
\r
        i = SearchBegin\r
        VarStart = -1\r
        VarEnd = -1\r
\r
    return VarList\r
\r
def SplitPredicateByOp(Str, Op, IsFuncCalling = False):\r
\r
    Name = Str.strip()\r
    Value = None\r
\r
    if IsFuncCalling:\r
        Index = 0\r
        LBFound = False\r
        UnmatchedLBCount = 0\r
        while Index < len(Str):\r
            while not LBFound and Str[Index] != '_' and not Str[Index].isalnum():\r
                Index += 1\r
\r
            while not LBFound and (Str[Index].isalnum() or Str[Index] == '_'):\r
                Index += 1\r
            # maybe type-cast at the begining, skip it.\r
            RemainingStr = Str[Index:].lstrip()\r
            if RemainingStr.startswith(')') and not LBFound:\r
                Index += 1\r
                continue\r
\r
            if RemainingStr.startswith('(') and not LBFound:\r
                LBFound = True\r
\r
            if Str[Index] == '(':\r
                UnmatchedLBCount += 1\r
                Index += 1\r
                continue\r
\r
            if Str[Index] == ')':\r
                UnmatchedLBCount -= 1\r
                Index += 1\r
                if UnmatchedLBCount == 0:\r
                    break\r
                continue\r
\r
            Index += 1\r
\r
        if UnmatchedLBCount > 0:\r
            return [Name]\r
\r
        IndexInRemainingStr = Str[Index:].find(Op)\r
        if IndexInRemainingStr == -1:\r
            return [Name]\r
\r
        Name = Str[0:Index + IndexInRemainingStr].strip()\r
        Value = Str[Index+IndexInRemainingStr+len(Op):].strip().strip(')')\r
        return [Name, Value]\r
\r
    TmpStr = Str.rstrip(';').rstrip(')')\r
    while True:\r
        Index = TmpStr.rfind(Op)\r
        if Index == -1:\r
            return [Name]\r
\r
        if Str[Index - 1].isalnum() or Str[Index - 1].isspace() or Str[Index - 1] == ')':\r
            Name = Str[0:Index].strip()\r
            Value = Str[Index + len(Op):].strip()\r
            return [Name, Value]\r
\r
        TmpStr = Str[0:Index - 1]\r
\r
def SplitPredicateStr(Str):\r
\r
    Str = Str.lstrip('(')\r
    IsFuncCalling = False\r
    p = GetFuncDeclPattern()\r
    TmpStr = Str.replace('.', '').replace('->', '')\r
    if p.match(TmpStr):\r
        IsFuncCalling = True\r
\r
    PredPartList = SplitPredicateByOp(Str, '==', IsFuncCalling)\r
    if len(PredPartList) > 1:\r
        return [PredPartList, '==']\r
\r
    PredPartList = SplitPredicateByOp(Str, '!=', IsFuncCalling)\r
    if len(PredPartList) > 1:\r
        return [PredPartList, '!=']\r
\r
    PredPartList = SplitPredicateByOp(Str, '>=', IsFuncCalling)\r
    if len(PredPartList) > 1:\r
        return [PredPartList, '>=']\r
\r
    PredPartList = SplitPredicateByOp(Str, '<=', IsFuncCalling)\r
    if len(PredPartList) > 1:\r
        return [PredPartList, '<=']\r
\r
    PredPartList = SplitPredicateByOp(Str, '>', IsFuncCalling)\r
    if len(PredPartList) > 1:\r
        return [PredPartList, '>']\r
\r
    PredPartList = SplitPredicateByOp(Str, '<', IsFuncCalling)\r
    if len(PredPartList) > 1:\r
        return [PredPartList, '<']\r
\r
    return [[Str, None], None]\r
\r
def GetFuncContainsPE(ExpLine, ResultSet):\r
    for Result in ResultSet:\r
        if Result[0] < ExpLine and Result[1] > ExpLine:\r
            return Result\r
    return None\r
\r
def PatternInModifier(Modifier, SubStr):\r
    PartList = Modifier.split()\r
    for Part in PartList:\r
        if Part == SubStr:\r
            return True\r
    return False\r
\r
def GetDataTypeFromModifier(ModifierStr):\r
    MList = ModifierStr.split()\r
    for M in MList:\r
        if M in EccGlobalData.gConfig.ModifierList:\r
            MList.remove(M)\r
        # remove array sufix\r
        if M.startswith('['):\r
            MList.remove(M)\r
\r
    ReturnType = ''\r
    for M in MList:\r
        ReturnType += M + ' '\r
\r
    ReturnType = ReturnType.strip()\r
    if len(ReturnType) == 0:\r
        ReturnType = 'VOID'\r
    return ReturnType\r
\r
def DiffModifier(Str1, Str2):\r
    PartList1 = Str1.split()\r
    PartList2 = Str2.split()\r
    if PartList1 == PartList2:\r
        return False\r
    else:\r
        return True\r
\r
def GetTypedefDict(FullFileName):\r
\r
    Dict = ComplexTypeDict.get(FullFileName)\r
    if Dict != None:\r
        return Dict\r
\r
    FileID = GetTableID(FullFileName)\r
    FileTable = 'Identifier' + str(FileID)\r
    Db = GetDB()\r
    SqlStatement = """ select Modifier, Name, Value, ID\r
                       from %s\r
                       where Model = %d\r
                   """ % (FileTable, DataClass.MODEL_IDENTIFIER_TYPEDEF)\r
    ResultSet = Db.TblFile.Exec(SqlStatement)\r
\r
    Dict = {}\r
    for Result in ResultSet:\r
        if len(Result[0]) == 0:\r
            Dict[Result[1]] = Result[2]\r
\r
    IncludeFileList = GetAllIncludeFiles(FullFileName)\r
    for F in IncludeFileList:\r
        FileID = GetTableID(F)\r
        if FileID < 0:\r
            continue\r
\r
        FileTable = 'Identifier' + str(FileID)\r
        SqlStatement = """ select Modifier, Name, Value, ID\r
                       from %s\r
                       where Model = %d\r
                   """ % (FileTable, DataClass.MODEL_IDENTIFIER_TYPEDEF)\r
        ResultSet = Db.TblFile.Exec(SqlStatement)\r
\r
        for Result in ResultSet:\r
            if not Result[2].startswith('FP ('):\r
                Dict[Result[1]] = Result[2]\r
            else:\r
                if len(Result[0]) == 0:\r
                    Dict[Result[1]] = 'VOID'\r
                else:\r
                    Dict[Result[1]] = GetDataTypeFromModifier(Result[0])\r
\r
    ComplexTypeDict[FullFileName] = Dict\r
    return Dict\r
\r
def GetSUDict(FullFileName):\r
\r
    Dict = SUDict.get(FullFileName)\r
    if Dict != None:\r
        return Dict\r
\r
    FileID = GetTableID(FullFileName)\r
    FileTable = 'Identifier' + str(FileID)\r
    Db = GetDB()\r
    SqlStatement = """ select Name, Value, ID\r
                       from %s\r
                       where Model = %d or Model = %d\r
                   """ % (FileTable, DataClass.MODEL_IDENTIFIER_STRUCTURE, DataClass.MODEL_IDENTIFIER_UNION)\r
    ResultSet = Db.TblFile.Exec(SqlStatement)\r
\r
    Dict = {}\r
    for Result in ResultSet:\r
        if len(Result[1]) > 0:\r
            Dict[Result[0]] = Result[1]\r
\r
    IncludeFileList = GetAllIncludeFiles(FullFileName)\r
    for F in IncludeFileList:\r
        FileID = GetTableID(F)\r
        if FileID < 0:\r
            continue\r
\r
        FileTable = 'Identifier' + str(FileID)\r
        SqlStatement = """ select Name, Value, ID\r
                       from %s\r
                       where Model = %d or Model = %d\r
                   """ % (FileTable, DataClass.MODEL_IDENTIFIER_STRUCTURE, DataClass.MODEL_IDENTIFIER_UNION)\r
        ResultSet = Db.TblFile.Exec(SqlStatement)\r
\r
        for Result in ResultSet:\r
            if len(Result[1]) > 0:\r
                Dict[Result[0]] = Result[1]\r
\r
    SUDict[FullFileName] = Dict\r
    return Dict\r
\r
def StripComments(Str):\r
    Str += '   '\r
    ListFromStr = list(Str)\r
\r
    InComment = False\r
    DoubleSlashComment = False\r
    Index = 0\r
    while Index < len(ListFromStr):\r
        # meet new line, then no longer in a comment for //\r
        if ListFromStr[Index] == '\n':\r
            if InComment and DoubleSlashComment:\r
                InComment = False\r
                DoubleSlashComment = False\r
            Index += 1\r
        # check for */ comment end\r
        elif InComment and not DoubleSlashComment and ListFromStr[Index] == '*' and ListFromStr[Index+1] == '/':\r
            ListFromStr[Index] = ' '\r
            Index += 1\r
            ListFromStr[Index] = ' '\r
            Index += 1\r
            InComment = False\r
        # set comments to spaces\r
        elif InComment:\r
            ListFromStr[Index] = ' '\r
            Index += 1\r
        # check for // comment\r
        elif ListFromStr[Index] == '/' and ListFromStr[Index+1] == '/' and ListFromStr[Index+2] != '\n':\r
            InComment = True\r
            DoubleSlashComment = True\r
\r
        # check for /* comment start\r
        elif ListFromStr[Index] == '/' and ListFromStr[Index+1] == '*':\r
            ListFromStr[Index] = ' '\r
            Index += 1\r
            ListFromStr[Index] = ' '\r
            Index += 1\r
            InComment = True\r
        else:\r
            Index += 1\r
\r
    # restore from List to String\r
    Str = "".join(ListFromStr)\r
    Str = Str.rstrip(' ')\r
\r
    return Str\r
\r
def GetFinalTypeValue(Type, FieldName, TypedefDict, SUDict):\r
    Value = TypedefDict.get(Type)\r
    if Value == None:\r
        Value = SUDict.get(Type)\r
    if Value == None:\r
        return None\r
\r
    LBPos = Value.find('{')\r
    while LBPos == -1:\r
        FTList = Value.split()\r
        for FT in FTList:\r
            if FT not in ('struct', 'union'):\r
                Value = TypedefDict.get(FT)\r
                if Value == None:\r
                    Value = SUDict.get(FT)\r
                break\r
\r
        if Value == None:\r
            return None\r
\r
        LBPos = Value.find('{')\r
\r
#    RBPos = Value.find('}')\r
    Fields = Value[LBPos + 1:]\r
    Fields = StripComments(Fields)\r
    FieldsList = Fields.split(';')\r
    for Field in FieldsList:\r
        Field = Field.strip()\r
        Index = Field.rfind(FieldName)\r
        if Index < 1:\r
            continue\r
        if not Field[Index - 1].isalnum():\r
            if Index + len(FieldName) == len(Field):\r
                Type = GetDataTypeFromModifier(Field[0:Index])\r
                return Type.strip()\r
            else:\r
            # For the condition that the field in struct is an array with [] sufixes...\r
                if not Field[Index + len(FieldName)].isalnum():\r
                    Type = GetDataTypeFromModifier(Field[0:Index])\r
                    return Type.strip()\r
\r
    return None\r
\r
def GetRealType(Type, TypedefDict, TargetType = None):\r
    if TargetType != None and Type == TargetType:\r
            return Type\r
    while TypedefDict.get(Type):\r
        Type = TypedefDict.get(Type)\r
        if TargetType != None and Type == TargetType:\r
            return Type\r
    return Type\r
\r
def GetTypeInfo(RefList, Modifier, FullFileName, TargetType = None):\r
    TypedefDict = GetTypedefDict(FullFileName)\r
    SUDict = GetSUDict(FullFileName)\r
    Type = GetDataTypeFromModifier(Modifier).replace('*', '').strip()\r
\r
    Type = Type.split()[-1]\r
    Index = 0\r
    while Index < len(RefList):\r
        FieldName = RefList[Index]\r
        FromType = GetFinalTypeValue(Type, FieldName, TypedefDict, SUDict)\r
        if FromType == None:\r
            return None\r
        # we want to determine the exact type.\r
        if TargetType != None:\r
            Type = FromType.split()[0]\r
        # we only want to check if it is a pointer\r
        else:\r
            Type = FromType\r
            if Type.find('*') != -1 and Index == len(RefList)-1:\r
                return Type\r
            Type = FromType.split()[0]\r
\r
        Index += 1\r
\r
    Type = GetRealType(Type, TypedefDict, TargetType)\r
\r
    return Type\r
\r
def GetVarInfo(PredVarList, FuncRecord, FullFileName, IsFuncCall = False, TargetType = None, StarList = None):\r
\r
    PredVar = PredVarList[0]\r
    FileID = GetTableID(FullFileName)\r
\r
    Db = GetDB()\r
    FileTable = 'Identifier' + str(FileID)\r
    # search variable in include files\r
\r
    # it is a function call, search function declarations and definitions\r
    if IsFuncCall:\r
        SqlStatement = """ select Modifier, ID\r
                       from %s\r
                       where Model = %d and Value = \'%s\'\r
                   """ % (FileTable, DataClass.MODEL_IDENTIFIER_FUNCTION_DECLARATION, PredVar)\r
        ResultSet = Db.TblFile.Exec(SqlStatement)\r
\r
        for Result in ResultSet:\r
            Type = GetDataTypeFromModifier(Result[0]).split()[-1]\r
            TypedefDict = GetTypedefDict(FullFileName)\r
            Type = GetRealType(Type, TypedefDict, TargetType)\r
            return Type\r
\r
        IncludeFileList = GetAllIncludeFiles(FullFileName)\r
        for F in IncludeFileList:\r
            FileID = GetTableID(F)\r
            if FileID < 0:\r
                continue\r
\r
            FileTable = 'Identifier' + str(FileID)\r
            SqlStatement = """ select Modifier, ID\r
                           from %s\r
                           where Model = %d and Value = \'%s\'\r
                       """ % (FileTable, DataClass.MODEL_IDENTIFIER_FUNCTION_DECLARATION, PredVar)\r
            ResultSet = Db.TblFile.Exec(SqlStatement)\r
\r
            for Result in ResultSet:\r
                Type = GetDataTypeFromModifier(Result[0]).split()[-1]\r
                TypedefDict = GetTypedefDict(FullFileName)\r
                Type = GetRealType(Type, TypedefDict, TargetType)\r
                return Type\r
\r
        FileID = GetTableID(FullFileName)\r
        SqlStatement = """ select Modifier, ID\r
                       from Function\r
                       where BelongsToFile = %d and Name = \'%s\'\r
                   """ % (FileID, PredVar)\r
        ResultSet = Db.TblFile.Exec(SqlStatement)\r
\r
        for Result in ResultSet:\r
            Type = GetDataTypeFromModifier(Result[0]).split()[-1]\r
            TypedefDict = GetTypedefDict(FullFileName)\r
            Type = GetRealType(Type, TypedefDict, TargetType)\r
            return Type\r
\r
        for F in IncludeFileList:\r
            FileID = GetTableID(F)\r
            if FileID < 0:\r
                continue\r
\r
            FileTable = 'Identifier' + str(FileID)\r
            SqlStatement = """ select Modifier, ID\r
                           from Function\r
                           where BelongsToFile = %d and Name = \'%s\'\r
                       """ % (FileID, PredVar)\r
            ResultSet = Db.TblFile.Exec(SqlStatement)\r
\r
            for Result in ResultSet:\r
                Type = GetDataTypeFromModifier(Result[0]).split()[-1]\r
                TypedefDict = GetTypedefDict(FullFileName)\r
                Type = GetRealType(Type, TypedefDict, TargetType)\r
                return Type\r
\r
        return None\r
\r
    # really variable, search local variable first\r
    SqlStatement = """ select Modifier, ID\r
                       from %s\r
                       where Model = %d and Name = \'%s\' and StartLine >= %d and StartLine <= %d\r
                   """ % (FileTable, DataClass.MODEL_IDENTIFIER_VARIABLE, PredVar, FuncRecord[0], FuncRecord[1])\r
    ResultSet = Db.TblFile.Exec(SqlStatement)\r
    VarFound = False\r
    for Result in ResultSet:\r
        if len(PredVarList) > 1:\r
            Type = GetTypeInfo(PredVarList[1:], Result[0], FullFileName, TargetType)\r
            return Type\r
        else:\r
#            Type = GetDataTypeFromModifier(Result[0]).split()[-1]\r
            TypeList = GetDataTypeFromModifier(Result[0]).split()\r
            Type = TypeList[-1]\r
            if len(TypeList) > 1 and StarList != None:\r
                for Star in StarList:\r
                    Type = Type.strip()\r
                    Type = Type.rstrip(Star)\r
                # Get real type after de-reference pointers.\r
                if len(Type.strip()) == 0:\r
                    Type = TypeList[-2]\r
            TypedefDict = GetTypedefDict(FullFileName)\r
            Type = GetRealType(Type, TypedefDict, TargetType)\r
            return Type\r
\r
    # search function parameters second\r
    ParamList = GetParamList(FuncRecord[2])\r
    for Param in ParamList:\r
        if Param.Name.strip() == PredVar:\r
            if len(PredVarList) > 1:\r
                Type = GetTypeInfo(PredVarList[1:], Param.Modifier, FullFileName, TargetType)\r
                return Type\r
            else:\r
                TypeList = GetDataTypeFromModifier(Param.Modifier).split()\r
                Type = TypeList[-1]\r
                if len(TypeList) > 1 and StarList != None:\r
                    for Star in StarList:\r
                        Type = Type.strip()\r
                        Type = Type.rstrip(Star)\r
                    # Get real type after de-reference pointers.\r
                    if len(Type.strip()) == 0:\r
                        Type = TypeList[-2]\r
                TypedefDict = GetTypedefDict(FullFileName)\r
                Type = GetRealType(Type, TypedefDict, TargetType)\r
                return Type\r
\r
    # search global variable next\r
    SqlStatement = """ select Modifier, ID\r
           from %s\r
           where Model = %d and Name = \'%s\' and BelongsToFunction = -1\r
       """ % (FileTable, DataClass.MODEL_IDENTIFIER_VARIABLE, PredVar)\r
    ResultSet = Db.TblFile.Exec(SqlStatement)\r
\r
    for Result in ResultSet:\r
        if len(PredVarList) > 1:\r
            Type = GetTypeInfo(PredVarList[1:], Result[0], FullFileName, TargetType)\r
            return Type\r
        else:\r
            TypeList = GetDataTypeFromModifier(Result[0]).split()\r
            Type = TypeList[-1]\r
            if len(TypeList) > 1 and StarList != None:\r
                for Star in StarList:\r
                    Type = Type.strip()\r
                    Type = Type.rstrip(Star)\r
                # Get real type after de-reference pointers.\r
                if len(Type.strip()) == 0:\r
                    Type = TypeList[-2]\r
            TypedefDict = GetTypedefDict(FullFileName)\r
            Type = GetRealType(Type, TypedefDict, TargetType)\r
            return Type\r
\r
    IncludeFileList = GetAllIncludeFiles(FullFileName)\r
    for F in IncludeFileList:\r
        FileID = GetTableID(F)\r
        if FileID < 0:\r
            continue\r
\r
        FileTable = 'Identifier' + str(FileID)\r
        SqlStatement = """ select Modifier, ID\r
                       from %s\r
                       where Model = %d and BelongsToFunction = -1 and Name = \'%s\'\r
                   """ % (FileTable, DataClass.MODEL_IDENTIFIER_VARIABLE, PredVar)\r
        ResultSet = Db.TblFile.Exec(SqlStatement)\r
\r
        for Result in ResultSet:\r
            if len(PredVarList) > 1:\r
                Type = GetTypeInfo(PredVarList[1:], Result[0], FullFileName, TargetType)\r
                return Type\r
            else:\r
                TypeList = GetDataTypeFromModifier(Result[0]).split()\r
                Type = TypeList[-1]\r
                if len(TypeList) > 1 and StarList != None:\r
                    for Star in StarList:\r
                        Type = Type.strip()\r
                        Type = Type.rstrip(Star)\r
                    # Get real type after de-reference pointers.\r
                    if len(Type.strip()) == 0:\r
                        Type = TypeList[-2]\r
                TypedefDict = GetTypedefDict(FullFileName)\r
                Type = GetRealType(Type, TypedefDict, TargetType)\r
                return Type\r
\r
def GetTypeFromArray(Type, Var):\r
    Count = Var.count('[')\r
\r
    while Count > 0:\r
        Type = Type.strip()\r
        Type = Type.rstrip('*')\r
        Count = Count - 1\r
\r
    return Type\r
\r
def CheckFuncLayoutReturnType(FullFileName):\r
    ErrorMsgList = []\r
\r
    FileID = GetTableID(FullFileName, ErrorMsgList)\r
    if FileID < 0:\r
        return ErrorMsgList\r
\r
    Db = GetDB()\r
    FileTable = 'Identifier' + str(FileID)\r
    SqlStatement = """ select Modifier, ID, StartLine, StartColumn, EndLine, Value\r
                       from %s\r
                       where Model = %d\r
                   """ % (FileTable, DataClass.MODEL_IDENTIFIER_FUNCTION_DECLARATION)\r
    ResultSet = Db.TblFile.Exec(SqlStatement)\r
    for Result in ResultSet:\r
        ReturnType = GetDataTypeFromModifier(Result[0])\r
        TypeStart = ReturnType.split()[0]\r
        FuncName = Result[5]\r
        if EccGlobalData.gException.IsException(ERROR_C_FUNCTION_LAYOUT_CHECK_RETURN_TYPE, FuncName):\r
            continue\r
        Index = Result[0].find(TypeStart)\r
        if Index != 0 or Result[3] != 0:\r
            PrintErrorMsg(ERROR_C_FUNCTION_LAYOUT_CHECK_RETURN_TYPE, '[%s] Return Type should appear at the start of line' % FuncName, FileTable, Result[1])\r
\r
        if Result[2] == Result[4]:\r
            PrintErrorMsg(ERROR_C_FUNCTION_LAYOUT_CHECK_RETURN_TYPE, '[%s] Return Type should appear on its own line' % FuncName, FileTable, Result[1])\r
\r
    SqlStatement = """ select Modifier, ID, StartLine, StartColumn, FunNameStartLine, Name\r
                       from Function\r
                       where BelongsToFile = %d\r
                   """ % (FileID)\r
    ResultSet = Db.TblFile.Exec(SqlStatement)\r
    for Result in ResultSet:\r
        ReturnType = GetDataTypeFromModifier(Result[0])\r
        TypeStart = ReturnType.split()[0]\r
        FuncName = Result[5]\r
        if EccGlobalData.gException.IsException(ERROR_C_FUNCTION_LAYOUT_CHECK_RETURN_TYPE, FuncName):\r
            continue\r
        Index = Result[0].find(ReturnType)\r
        if Index != 0 or Result[3] != 0:\r
            PrintErrorMsg(ERROR_C_FUNCTION_LAYOUT_CHECK_RETURN_TYPE, '[%s] Return Type should appear at the start of line' % FuncName, 'Function', Result[1])\r
\r
        if Result[2] == Result[4]:\r
            PrintErrorMsg(ERROR_C_FUNCTION_LAYOUT_CHECK_RETURN_TYPE, '[%s] Return Type should appear on its own line' % FuncName, 'Function', Result[1])\r
\r
def CheckFuncLayoutModifier(FullFileName):\r
    ErrorMsgList = []\r
\r
    FileID = GetTableID(FullFileName, ErrorMsgList)\r
    if FileID < 0:\r
        return ErrorMsgList\r
\r
    Db = GetDB()\r
    FileTable = 'Identifier' + str(FileID)\r
    SqlStatement = """ select Modifier, ID\r
                       from %s\r
                       where Model = %d\r
                   """ % (FileTable, DataClass.MODEL_IDENTIFIER_FUNCTION_DECLARATION)\r
    ResultSet = Db.TblFile.Exec(SqlStatement)\r
    for Result in ResultSet:\r
        ReturnType = GetDataTypeFromModifier(Result[0])\r
        TypeStart = ReturnType.split()[0]\r
#        if len(ReturnType) == 0:\r
#            continue\r
        Index = Result[0].find(TypeStart)\r
        if Index != 0:\r
            PrintErrorMsg(ERROR_C_FUNCTION_LAYOUT_CHECK_OPTIONAL_FUNCTIONAL_MODIFIER, '', FileTable, Result[1])\r
\r
    SqlStatement = """ select Modifier, ID\r
                       from Function\r
                       where BelongsToFile = %d\r
                   """ % (FileID)\r
    ResultSet = Db.TblFile.Exec(SqlStatement)\r
    for Result in ResultSet:\r
        ReturnType = GetDataTypeFromModifier(Result[0])\r
        TypeStart = ReturnType.split()[0]\r
#        if len(ReturnType) == 0:\r
#            continue\r
        Index = Result[0].find(TypeStart)\r
        if Index != 0:\r
            PrintErrorMsg(ERROR_C_FUNCTION_LAYOUT_CHECK_OPTIONAL_FUNCTIONAL_MODIFIER, '', 'Function', Result[1])\r
\r
def CheckFuncLayoutName(FullFileName):\r
    ErrorMsgList = []\r
    # Parameter variable format pattern.\r
    Pattern = re.compile(r'^[A-Z]+\S*[a-z]\S*$')\r
    ParamIgnoreList = ('VOID', '...')\r
    FileID = GetTableID(FullFileName, ErrorMsgList)\r
    if FileID < 0:\r
        return ErrorMsgList\r
\r
    Db = GetDB()\r
    FileTable = 'Identifier' + str(FileID)\r
    SqlStatement = """ select Name, ID, EndColumn, Value\r
                       from %s\r
                       where Model = %d\r
                   """ % (FileTable, DataClass.MODEL_IDENTIFIER_FUNCTION_DECLARATION)\r
    ResultSet = Db.TblFile.Exec(SqlStatement)\r
    for Result in ResultSet:\r
        FuncName = Result[3]\r
        if EccGlobalData.gException.IsException(ERROR_C_FUNCTION_LAYOUT_CHECK_FUNCTION_NAME, FuncName):\r
            continue\r
        if Result[2] != 0:\r
            PrintErrorMsg(ERROR_C_FUNCTION_LAYOUT_CHECK_FUNCTION_NAME, 'Function name [%s] should appear at the start of a line' % FuncName, FileTable, Result[1])\r
        ParamList = GetParamList(Result[0])\r
        if len(ParamList) == 0:\r
            continue\r
        StartLine = 0\r
        for Param in ParamList:\r
            if Param.StartLine <= StartLine:\r
                PrintErrorMsg(ERROR_C_FUNCTION_LAYOUT_CHECK_FUNCTION_NAME, 'Parameter %s should be in its own line.' % Param.Name, FileTable, Result[1])\r
            if Param.StartLine - StartLine > 1:\r
                PrintErrorMsg(ERROR_C_FUNCTION_LAYOUT_CHECK_FUNCTION_NAME, 'Empty line appears before Parameter %s.' % Param.Name, FileTable, Result[1])\r
            if not Pattern.match(Param.Name) and not Param.Name in ParamIgnoreList and not EccGlobalData.gException.IsException(ERROR_NAMING_CONVENTION_CHECK_VARIABLE_NAME, Param.Name):\r
                PrintErrorMsg(ERROR_NAMING_CONVENTION_CHECK_VARIABLE_NAME, 'Parameter [%s] NOT follow naming convention.' % Param.Name, FileTable, Result[1])\r
            StartLine = Param.StartLine\r
\r
        if not Result[0].endswith('\n  )') and not Result[0].endswith('\r  )'):\r
            PrintErrorMsg(ERROR_C_FUNCTION_LAYOUT_CHECK_FUNCTION_NAME, '\')\' should be on a new line and indented two spaces', FileTable, Result[1])\r
\r
    SqlStatement = """ select Modifier, ID, FunNameStartColumn, Name\r
                       from Function\r
                       where BelongsToFile = %d\r
                   """ % (FileID)\r
    ResultSet = Db.TblFile.Exec(SqlStatement)\r
    for Result in ResultSet:\r
        FuncName = Result[3]\r
        if EccGlobalData.gException.IsException(ERROR_C_FUNCTION_LAYOUT_CHECK_FUNCTION_NAME, FuncName):\r
            continue\r
        if Result[2] != 0:\r
            PrintErrorMsg(ERROR_C_FUNCTION_LAYOUT_CHECK_FUNCTION_NAME, 'Function name [%s] should appear at the start of a line' % FuncName, 'Function', Result[1])\r
        ParamList = GetParamList(Result[0])\r
        if len(ParamList) == 0:\r
            continue\r
        StartLine = 0\r
        for Param in ParamList:\r
            if Param.StartLine <= StartLine:\r
                PrintErrorMsg(ERROR_C_FUNCTION_LAYOUT_CHECK_FUNCTION_NAME, 'Parameter %s should be in its own line.' % Param.Name, 'Function', Result[1])\r
            if Param.StartLine - StartLine > 1:\r
                PrintErrorMsg(ERROR_C_FUNCTION_LAYOUT_CHECK_FUNCTION_NAME, 'Empty line appears before Parameter %s.' % Param.Name, 'Function', Result[1])\r
            if not Pattern.match(Param.Name) and not Param.Name in ParamIgnoreList and not EccGlobalData.gException.IsException(ERROR_NAMING_CONVENTION_CHECK_VARIABLE_NAME, Param.Name):\r
                PrintErrorMsg(ERROR_NAMING_CONVENTION_CHECK_VARIABLE_NAME, 'Parameter [%s] NOT follow naming convention.' % Param.Name, FileTable, Result[1])\r
            StartLine = Param.StartLine\r
        if not Result[0].endswith('\n  )') and not Result[0].endswith('\r  )'):\r
            PrintErrorMsg(ERROR_C_FUNCTION_LAYOUT_CHECK_FUNCTION_NAME, '\')\' should be on a new line and indented two spaces', 'Function', Result[1])\r
\r
def CheckFuncLayoutPrototype(FullFileName):\r
    ErrorMsgList = []\r
\r
    FileID = GetTableID(FullFileName, ErrorMsgList)\r
    if FileID < 0:\r
        return ErrorMsgList\r
\r
    FileTable = 'Identifier' + str(FileID)\r
    Db = GetDB()\r
    SqlStatement = """ select Modifier, Header, Name, ID\r
                       from Function\r
                       where BelongsToFile = %d\r
                   """ % (FileID)\r
    ResultSet = Db.TblFile.Exec(SqlStatement)\r
    if len(ResultSet) == 0:\r
        return ErrorMsgList\r
\r
    FuncDefList = []\r
    for Result in ResultSet:\r
        FuncDefList.append(Result)\r
\r
    SqlStatement = """ select Modifier, Name, ID\r
                       from %s\r
                       where Model = %d\r
                   """ % (FileTable, DataClass.MODEL_IDENTIFIER_FUNCTION_DECLARATION)\r
    ResultSet = Db.TblFile.Exec(SqlStatement)\r
    FuncDeclList = []\r
    for Result in ResultSet:\r
        FuncDeclList.append(Result)\r
\r
    UndeclFuncList = []\r
    for FuncDef in FuncDefList:\r
        FuncName = FuncDef[2].strip()\r
        FuncModifier = FuncDef[0]\r
        FuncDefHeader = FuncDef[1]\r
        for FuncDecl in FuncDeclList:\r
            LBPos = FuncDecl[1].find('(')\r
            DeclName = FuncDecl[1][0:LBPos].strip()\r
            DeclModifier = FuncDecl[0]\r
            if DeclName == FuncName:\r
                if DiffModifier(FuncModifier, DeclModifier) and not EccGlobalData.gException.IsException(ERROR_C_FUNCTION_LAYOUT_CHECK_FUNCTION_PROTO_TYPE, FuncName):\r
                    PrintErrorMsg(ERROR_C_FUNCTION_LAYOUT_CHECK_FUNCTION_PROTO_TYPE, 'Function [%s] modifier different with prototype.' % FuncName, 'Function', FuncDef[3])\r
                ParamListOfDef = GetParamList(FuncDefHeader)\r
                ParamListOfDecl = GetParamList(FuncDecl[1])\r
                if len(ParamListOfDef) != len(ParamListOfDecl) and not EccGlobalData.gException.IsException(ERROR_C_FUNCTION_LAYOUT_CHECK_FUNCTION_PROTO_TYPE_2, FuncName):\r
                    PrintErrorMsg(ERROR_C_FUNCTION_LAYOUT_CHECK_FUNCTION_PROTO_TYPE_2, 'Parameter number different in function [%s].' % FuncName, 'Function', FuncDef[3])\r
                    break\r
\r
                Index = 0\r
                while Index < len(ParamListOfDef):\r
                    if DiffModifier(ParamListOfDef[Index].Modifier, ParamListOfDecl[Index].Modifier) and not EccGlobalData.gException.IsException(ERROR_C_FUNCTION_LAYOUT_CHECK_FUNCTION_PROTO_TYPE_3, FuncName):\r
                        PrintErrorMsg(ERROR_C_FUNCTION_LAYOUT_CHECK_FUNCTION_PROTO_TYPE_3, 'Parameter %s has different modifier with prototype in function [%s].' % (ParamListOfDef[Index].Name, FuncName), 'Function', FuncDef[3])\r
                    Index += 1\r
                break\r
        else:\r
            UndeclFuncList.append(FuncDef)\r
\r
    IncludeFileList = GetAllIncludeFiles(FullFileName)\r
    FuncDeclList = []\r
    for F in IncludeFileList:\r
        FileID = GetTableID(F, ErrorMsgList)\r
        if FileID < 0:\r
            continue\r
\r
        FileTable = 'Identifier' + str(FileID)\r
        SqlStatement = """ select Modifier, Name, ID\r
                       from %s\r
                       where Model = %d\r
                   """ % (FileTable, DataClass.MODEL_IDENTIFIER_FUNCTION_DECLARATION)\r
        ResultSet = Db.TblFile.Exec(SqlStatement)\r
\r
        for Result in ResultSet:\r
            FuncDeclList.append(Result)\r
\r
    for FuncDef in UndeclFuncList:\r
        FuncName = FuncDef[2].strip()\r
        FuncModifier = FuncDef[0]\r
        FuncDefHeader = FuncDef[1]\r
        for FuncDecl in FuncDeclList:\r
            LBPos = FuncDecl[1].find('(')\r
            DeclName = FuncDecl[1][0:LBPos].strip()\r
            DeclModifier = FuncDecl[0]\r
            if DeclName == FuncName:\r
                if DiffModifier(FuncModifier, DeclModifier) and not EccGlobalData.gException.IsException(ERROR_C_FUNCTION_LAYOUT_CHECK_FUNCTION_PROTO_TYPE, FuncName):\r
                    PrintErrorMsg(ERROR_C_FUNCTION_LAYOUT_CHECK_FUNCTION_PROTO_TYPE, 'Function [%s] modifier different with prototype.' % FuncName, 'Function', FuncDef[3])\r
                ParamListOfDef = GetParamList(FuncDefHeader)\r
                ParamListOfDecl = GetParamList(FuncDecl[1])\r
                if len(ParamListOfDef) != len(ParamListOfDecl) and not EccGlobalData.gException.IsException(ERROR_C_FUNCTION_LAYOUT_CHECK_FUNCTION_PROTO_TYPE_2, FuncName):\r
                    PrintErrorMsg(ERROR_C_FUNCTION_LAYOUT_CHECK_FUNCTION_PROTO_TYPE_2, 'Parameter number different in function [%s].' % FuncName, 'Function', FuncDef[3])\r
                    break\r
\r
                Index = 0\r
                while Index < len(ParamListOfDef):\r
                    if DiffModifier(ParamListOfDef[Index].Modifier, ParamListOfDecl[Index].Modifier) and not EccGlobalData.gException.IsException(ERROR_C_FUNCTION_LAYOUT_CHECK_FUNCTION_PROTO_TYPE_3, FuncName):\r
                        PrintErrorMsg(ERROR_C_FUNCTION_LAYOUT_CHECK_FUNCTION_PROTO_TYPE_3, 'Parameter %s has different modifier with prototype in function [%s].' % (ParamListOfDef[Index].Name, FuncName), 'Function', FuncDef[3])\r
                    Index += 1\r
                break\r
\r
def CheckFuncLayoutBody(FullFileName):\r
    ErrorMsgList = []\r
\r
    FileID = GetTableID(FullFileName, ErrorMsgList)\r
    if FileID < 0:\r
        return ErrorMsgList\r
\r
    FileTable = 'Identifier' + str(FileID)\r
    Db = GetDB()\r
    SqlStatement = """ select BodyStartColumn, EndColumn, ID\r
                       from Function\r
                       where BelongsToFile = %d\r
                   """ % (FileID)\r
    ResultSet = Db.TblFile.Exec(SqlStatement)\r
    if len(ResultSet) == 0:\r
        return ErrorMsgList\r
    for Result in ResultSet:\r
        if Result[0] != 0:\r
            PrintErrorMsg(ERROR_C_FUNCTION_LAYOUT_CHECK_FUNCTION_BODY, 'open brace should be at the very beginning of a line.', 'Function', Result[2])\r
        if Result[1] != 0:\r
            PrintErrorMsg(ERROR_C_FUNCTION_LAYOUT_CHECK_FUNCTION_BODY, 'close brace should be at the very beginning of a line.', 'Function', Result[2])\r
\r
def CheckFuncLayoutLocalVariable(FullFileName):\r
    ErrorMsgList = []\r
\r
    FileID = GetTableID(FullFileName, ErrorMsgList)\r
    if FileID < 0:\r
        return ErrorMsgList\r
\r
    Db = GetDB()\r
    FileTable = 'Identifier' + str(FileID)\r
    SqlStatement = """ select ID\r
                       from Function\r
                       where BelongsToFile = %d\r
                   """ % (FileID)\r
    ResultSet = Db.TblFile.Exec(SqlStatement)\r
    if len(ResultSet) == 0:\r
        return ErrorMsgList\r
    FL = []\r
    for Result in ResultSet:\r
        FL.append(Result)\r
\r
    for F in FL:\r
        SqlStatement = """ select Name, Value, ID\r
                       from %s\r
                       where Model = %d and BelongsToFunction = %d\r
                   """ % (FileTable, DataClass.MODEL_IDENTIFIER_VARIABLE, F[0])\r
        ResultSet = Db.TblFile.Exec(SqlStatement)\r
        if len(ResultSet) == 0:\r
            continue\r
\r
        for Result in ResultSet:\r
            if len(Result[1]) > 0:\r
                PrintErrorMsg(ERROR_C_FUNCTION_LAYOUT_CHECK_NO_INIT_OF_VARIABLE, 'Variable Name: %s' % Result[0], FileTable, Result[2])\r
\r
def CheckMemberVariableFormat(Name, Value, FileTable, TdId, ModelId):\r
    ErrMsgList = []\r
    # Member variable format pattern.\r
    Pattern = re.compile(r'^[A-Z]+\S*[a-z]\S*$')\r
\r
    LBPos = Value.find('{')\r
    RBPos = Value.rfind('}')\r
    if LBPos == -1 or RBPos == -1:\r
        return ErrMsgList\r
\r
    Fields = Value[LBPos + 1 : RBPos]\r
    Fields = StripComments(Fields).strip()\r
    NestPos = Fields.find ('struct')\r
    if NestPos != -1 and (NestPos + len('struct') < len(Fields)):\r
        if not Fields[NestPos + len('struct') + 1].isalnum():\r
            if not EccGlobalData.gException.IsException(ERROR_DECLARATION_DATA_TYPE_CHECK_NESTED_STRUCTURE, Name):\r
                PrintErrorMsg(ERROR_DECLARATION_DATA_TYPE_CHECK_NESTED_STRUCTURE, 'Nested struct in [%s].' % (Name), FileTable, TdId)\r
            return ErrMsgList\r
    NestPos = Fields.find ('union')\r
    if NestPos != -1 and (NestPos + len('union') < len(Fields)):\r
        if not Fields[NestPos + len('union') + 1].isalnum():\r
            if not EccGlobalData.gException.IsException(ERROR_DECLARATION_DATA_TYPE_CHECK_NESTED_STRUCTURE, Name):\r
                PrintErrorMsg(ERROR_DECLARATION_DATA_TYPE_CHECK_NESTED_STRUCTURE, 'Nested union in [%s].' % (Name), FileTable, TdId)\r
            return ErrMsgList\r
    NestPos = Fields.find ('enum')\r
    if NestPos != -1 and (NestPos + len('enum') < len(Fields)):\r
        if not Fields[NestPos + len('enum') + 1].isalnum():\r
            if not EccGlobalData.gException.IsException(ERROR_DECLARATION_DATA_TYPE_CHECK_NESTED_STRUCTURE, Name):\r
                PrintErrorMsg(ERROR_DECLARATION_DATA_TYPE_CHECK_NESTED_STRUCTURE, 'Nested enum in [%s].' % (Name), FileTable, TdId)\r
            return ErrMsgList\r
\r
    if ModelId == DataClass.MODEL_IDENTIFIER_ENUMERATE:\r
        FieldsList = Fields.split(',')\r
        # deal with enum is pre-assigned a value by function call ( , , , ...)\r
        QuoteCount = 0\r
        Index = 0\r
        RemoveCurrentElement = False\r
        while Index < len(FieldsList):\r
            Field = FieldsList[Index]\r
\r
            if Field.find('(') != -1:\r
                QuoteCount += 1\r
                RemoveCurrentElement = True\r
                Index += 1\r
                continue\r
\r
            if Field.find(')') != -1 and QuoteCount > 0:\r
                QuoteCount -= 1\r
\r
            if RemoveCurrentElement:\r
                FieldsList.remove(Field)\r
                if QuoteCount == 0:\r
                    RemoveCurrentElement = False\r
                continue\r
\r
            if QuoteCount == 0:\r
                RemoveCurrentElement = False\r
\r
            Index += 1\r
    else:\r
        FieldsList = Fields.split(';')\r
\r
    for Field in FieldsList:\r
        Field = Field.strip()\r
        if Field == '':\r
            continue\r
        # For the condition that the field in struct is an array with [] sufixes...\r
        if Field[-1] == ']':\r
            LBPos = Field.find('[')\r
            Field = Field[0:LBPos]\r
        # For the condition that bit field ": Number"\r
        if Field.find(':') != -1:\r
            ColonPos = Field.find(':')\r
            Field = Field[0:ColonPos]\r
\r
        Field = Field.strip()\r
        if Field == '':\r
            continue\r
        # Enum could directly assign value to variable\r
        Field = Field.split('=')[0].strip()\r
        TokenList = Field.split()\r
        # Remove pointers before variable\r
        if not Pattern.match(TokenList[-1].lstrip('*')):\r
            ErrMsgList.append(TokenList[-1].lstrip('*'))\r
\r
    return ErrMsgList\r
\r
def CheckDeclTypedefFormat(FullFileName, ModelId):\r
    ErrorMsgList = []\r
\r
    FileID = GetTableID(FullFileName, ErrorMsgList)\r
    if FileID < 0:\r
        return ErrorMsgList\r
\r
    Db = GetDB()\r
    FileTable = 'Identifier' + str(FileID)\r
    SqlStatement = """ select Name, StartLine, EndLine, ID, Value\r
                       from %s\r
                       where Model = %d\r
                   """ % (FileTable, ModelId)\r
    ResultSet = Db.TblFile.Exec(SqlStatement)\r
    ResultList = []\r
    for Result in ResultSet:\r
        ResultList.append(Result)\r
\r
    ErrorType = ERROR_DECLARATION_DATA_TYPE_CHECK_ALL\r
    if ModelId == DataClass.MODEL_IDENTIFIER_STRUCTURE:\r
        ErrorType = ERROR_DECLARATION_DATA_TYPE_CHECK_STRUCTURE_DECLARATION\r
    elif ModelId == DataClass.MODEL_IDENTIFIER_ENUMERATE:\r
        ErrorType = ERROR_DECLARATION_DATA_TYPE_CHECK_ENUMERATED_TYPE\r
    elif ModelId == DataClass.MODEL_IDENTIFIER_UNION:\r
        ErrorType = ERROR_DECLARATION_DATA_TYPE_CHECK_UNION_TYPE\r
\r
    SqlStatement = """ select Modifier, Name, Value, StartLine, EndLine, ID\r
                       from %s\r
                       where Model = %d\r
                   """ % (FileTable, DataClass.MODEL_IDENTIFIER_TYPEDEF)\r
    TdSet = Db.TblFile.Exec(SqlStatement)\r
    TdList = []\r
    for Td in TdSet:\r
        TdList.append(Td)\r
    # Check member variable name format that from typedefs of ONLY this file.\r
    for Td in TdList:\r
        Name = Td[1].strip()\r
        Value = Td[2].strip()\r
        if Value.startswith('enum'):\r
            ValueModelId = DataClass.MODEL_IDENTIFIER_ENUMERATE\r
        elif Value.startswith('struct'):\r
            ValueModelId = DataClass.MODEL_IDENTIFIER_STRUCTURE\r
        elif Value.startswith('union'):\r
            ValueModelId = DataClass.MODEL_IDENTIFIER_UNION\r
        else:\r
            continue\r
\r
        if ValueModelId != ModelId:\r
            continue\r
        # Check member variable format.\r
        ErrMsgList = CheckMemberVariableFormat(Name, Value, FileTable, Td[5], ModelId)\r
        for ErrMsg in ErrMsgList:\r
            if EccGlobalData.gException.IsException(ERROR_NAMING_CONVENTION_CHECK_VARIABLE_NAME, Name+'.'+ErrMsg):\r
                continue\r
            PrintErrorMsg(ERROR_NAMING_CONVENTION_CHECK_VARIABLE_NAME, 'Member variable [%s] NOT follow naming convention.' % (Name+'.'+ErrMsg), FileTable, Td[5])\r
\r
    # First check in current file to see whether struct/union/enum is typedef-ed.\r
    UntypedefedList = []\r
    for Result in ResultList:\r
        # Check member variable format.\r
        Name = Result[0].strip()\r
        Value = Result[4].strip()\r
        if Value.startswith('enum'):\r
            ValueModelId = DataClass.MODEL_IDENTIFIER_ENUMERATE\r
        elif Value.startswith('struct'):\r
            ValueModelId = DataClass.MODEL_IDENTIFIER_STRUCTURE\r
        elif Value.startswith('union'):\r
            ValueModelId = DataClass.MODEL_IDENTIFIER_UNION\r
        else:\r
            continue\r
\r
        if ValueModelId != ModelId:\r
            continue\r
        ErrMsgList = CheckMemberVariableFormat(Name, Value, FileTable, Result[3], ModelId)\r
        for ErrMsg in ErrMsgList:\r
            if EccGlobalData.gException.IsException(ERROR_NAMING_CONVENTION_CHECK_VARIABLE_NAME, Result[0]+'.'+ErrMsg):\r
                continue\r
            PrintErrorMsg(ERROR_NAMING_CONVENTION_CHECK_VARIABLE_NAME, 'Member variable [%s] NOT follow naming convention.' % (Result[0]+'.'+ErrMsg), FileTable, Result[3])\r
        # Check whether it is typedefed.\r
        Found = False\r
        for Td in TdList:\r
            # skip function pointer\r
            if len(Td[0]) > 0:\r
                continue\r
            if Result[1] >= Td[3] and Td[4] >= Result[2]:\r
                Found = True\r
                if not Td[1].isupper():\r
                    PrintErrorMsg(ErrorType, 'Typedef should be UPPER case', FileTable, Td[5])\r
            if Result[0] in Td[2].split():\r
                Found = True\r
                if not Td[1].isupper():\r
                    PrintErrorMsg(ErrorType, 'Typedef should be UPPER case', FileTable, Td[5])\r
            if Found:\r
                break\r
\r
        if not Found:\r
            UntypedefedList.append(Result)\r
            continue\r
\r
    if len(UntypedefedList) == 0:\r
        return\r
\r
    IncludeFileList = GetAllIncludeFiles(FullFileName)\r
    TdList = []\r
    for F in IncludeFileList:\r
        FileID = GetTableID(F, ErrorMsgList)\r
        if FileID < 0:\r
            continue\r
\r
        IncludeFileTable = 'Identifier' + str(FileID)\r
        SqlStatement = """ select Modifier, Name, Value, StartLine, EndLine, ID\r
                       from %s\r
                       where Model = %d\r
                   """ % (IncludeFileTable, DataClass.MODEL_IDENTIFIER_TYPEDEF)\r
        ResultSet = Db.TblFile.Exec(SqlStatement)\r
        TdList.extend(ResultSet)\r
\r
    for Result in UntypedefedList:\r
\r
        # Check whether it is typedefed.\r
        Found = False\r
        for Td in TdList:\r
\r
            if len(Td[0]) > 0:\r
                continue\r
            if Result[1] >= Td[3] and Td[4] >= Result[2]:\r
                Found = True\r
                if not Td[1].isupper():\r
                    PrintErrorMsg(ErrorType, 'Typedef should be UPPER case', FileTable, Td[5])\r
            if Result[0] in Td[2].split():\r
                Found = True\r
                if not Td[1].isupper():\r
                    PrintErrorMsg(ErrorType, 'Typedef should be UPPER case', FileTable, Td[5])\r
            if Found:\r
                break\r
\r
        if not Found:\r
            PrintErrorMsg(ErrorType, 'No Typedef for %s' % Result[0], FileTable, Result[3])\r
            continue\r
\r
def CheckDeclStructTypedef(FullFileName):\r
    CheckDeclTypedefFormat(FullFileName, DataClass.MODEL_IDENTIFIER_STRUCTURE)\r
\r
def CheckDeclEnumTypedef(FullFileName):\r
    CheckDeclTypedefFormat(FullFileName, DataClass.MODEL_IDENTIFIER_ENUMERATE)\r
\r
def CheckDeclUnionTypedef(FullFileName):\r
    CheckDeclTypedefFormat(FullFileName, DataClass.MODEL_IDENTIFIER_UNION)\r
\r
def CheckDeclArgModifier(FullFileName):\r
    ErrorMsgList = []\r
\r
    FileID = GetTableID(FullFileName, ErrorMsgList)\r
    if FileID < 0:\r
        return ErrorMsgList\r
\r
    Db = GetDB()\r
    FileTable = 'Identifier' + str(FileID)\r
    SqlStatement = """ select Modifier, Name, ID\r
                       from %s\r
                       where Model = %d\r
                   """ % (FileTable, DataClass.MODEL_IDENTIFIER_VARIABLE)\r
    ResultSet = Db.TblFile.Exec(SqlStatement)\r
    ModifierTuple = ('IN', 'OUT', 'OPTIONAL', 'UNALIGNED')\r
    MAX_MODIFIER_LENGTH = 100\r
    for Result in ResultSet:\r
        for Modifier in ModifierTuple:\r
            if PatternInModifier(Result[0], Modifier) and len(Result[0]) < MAX_MODIFIER_LENGTH:\r
                PrintErrorMsg(ERROR_DECLARATION_DATA_TYPE_CHECK_IN_OUT_MODIFIER, 'Variable Modifier %s' % Result[0], FileTable, Result[2])\r
                break\r
\r
    SqlStatement = """ select Modifier, Name, ID\r
                       from %s\r
                       where Model = %d\r
                   """ % (FileTable, DataClass.MODEL_IDENTIFIER_FUNCTION_DECLARATION)\r
    ResultSet = Db.TblFile.Exec(SqlStatement)\r
    for Result in ResultSet:\r
        for Modifier in ModifierTuple:\r
            if PatternInModifier(Result[0], Modifier):\r
                PrintErrorMsg(ERROR_DECLARATION_DATA_TYPE_CHECK_IN_OUT_MODIFIER, 'Return Type Modifier %s' % Result[0], FileTable, Result[2])\r
                break\r
\r
    SqlStatement = """ select Modifier, Header, ID\r
                       from Function\r
                       where BelongsToFile = %d\r
                   """ % (FileID)\r
    ResultSet = Db.TblFile.Exec(SqlStatement)\r
    for Result in ResultSet:\r
        for Modifier in ModifierTuple:\r
            if PatternInModifier(Result[0], Modifier):\r
                PrintErrorMsg(ERROR_DECLARATION_DATA_TYPE_CHECK_IN_OUT_MODIFIER, 'Return Type Modifier %s' % Result[0], FileTable, Result[2])\r
                break\r
\r
def CheckDeclNoUseCType(FullFileName):\r
    ErrorMsgList = []\r
\r
    FileID = GetTableID(FullFileName, ErrorMsgList)\r
    if FileID < 0:\r
        return ErrorMsgList\r
\r
    Db = GetDB()\r
    FileTable = 'Identifier' + str(FileID)\r
    SqlStatement = """ select Modifier, Name, ID\r
                       from %s\r
                       where Model = %d\r
                   """ % (FileTable, DataClass.MODEL_IDENTIFIER_VARIABLE)\r
    ResultSet = Db.TblFile.Exec(SqlStatement)\r
    CTypeTuple = ('int', 'unsigned', 'char', 'void', 'static', 'long')\r
    for Result in ResultSet:\r
        for Type in CTypeTuple:\r
            if PatternInModifier(Result[0], Type):\r
                PrintErrorMsg(ERROR_DECLARATION_DATA_TYPE_CHECK_NO_USE_C_TYPE, 'Variable type %s' % Type, FileTable, Result[2])\r
                break\r
\r
    SqlStatement = """ select Modifier, Name, ID, Value\r
                       from %s\r
                       where Model = %d\r
                   """ % (FileTable, DataClass.MODEL_IDENTIFIER_FUNCTION_DECLARATION)\r
    ResultSet = Db.TblFile.Exec(SqlStatement)\r
    for Result in ResultSet:\r
        ParamList = GetParamList(Result[1])\r
        FuncName = Result[3]\r
        if EccGlobalData.gException.IsException(ERROR_DECLARATION_DATA_TYPE_CHECK_NO_USE_C_TYPE, FuncName):\r
            continue\r
        for Type in CTypeTuple:\r
            if PatternInModifier(Result[0], Type):\r
                PrintErrorMsg(ERROR_DECLARATION_DATA_TYPE_CHECK_NO_USE_C_TYPE, '%s Return type %s' % (FuncName, Result[0]), FileTable, Result[2])\r
\r
            for Param in ParamList:\r
                if PatternInModifier(Param.Modifier, Type):\r
                    PrintErrorMsg(ERROR_DECLARATION_DATA_TYPE_CHECK_NO_USE_C_TYPE, 'Parameter %s' % Param.Name, FileTable, Result[2])\r
\r
    SqlStatement = """ select Modifier, Header, ID, Name\r
                       from Function\r
                       where BelongsToFile = %d\r
                   """ % (FileID)\r
    ResultSet = Db.TblFile.Exec(SqlStatement)\r
    for Result in ResultSet:\r
        ParamList = GetParamList(Result[1])\r
        FuncName = Result[3]\r
        if EccGlobalData.gException.IsException(ERROR_DECLARATION_DATA_TYPE_CHECK_NO_USE_C_TYPE, FuncName):\r
            continue\r
        for Type in CTypeTuple:\r
            if PatternInModifier(Result[0], Type):\r
                PrintErrorMsg(ERROR_DECLARATION_DATA_TYPE_CHECK_NO_USE_C_TYPE, '[%s] Return type %s' % (FuncName, Result[0]), FileTable, Result[2])\r
\r
            for Param in ParamList:\r
                if PatternInModifier(Param.Modifier, Type):\r
                    PrintErrorMsg(ERROR_DECLARATION_DATA_TYPE_CHECK_NO_USE_C_TYPE, 'Parameter %s' % Param.Name, FileTable, Result[2])\r
\r
\r
def CheckPointerNullComparison(FullFileName):\r
    ErrorMsgList = []\r
\r
    FileID = GetTableID(FullFileName, ErrorMsgList)\r
    if FileID < 0:\r
        return ErrorMsgList\r
\r
    # cache the found function return type to accelerate later checking in this file.\r
    FuncReturnTypeDict = {}\r
\r
    Db = GetDB()\r
    FileTable = 'Identifier' + str(FileID)\r
    SqlStatement = """ select Value, StartLine, ID\r
                       from %s\r
                       where Model = %d\r
                   """ % (FileTable, DataClass.MODEL_IDENTIFIER_PREDICATE_EXPRESSION)\r
    ResultSet = Db.TblFile.Exec(SqlStatement)\r
    if len(ResultSet) == 0:\r
        return\r
    PSL = []\r
    for Result in ResultSet:\r
        PSL.append([Result[0], Result[1], Result[2]])\r
\r
    SqlStatement = """ select BodyStartLine, EndLine, Header, Modifier, ID\r
                       from Function\r
                       where BelongsToFile = %d\r
                   """ % (FileID)\r
    ResultSet = Db.TblFile.Exec(SqlStatement)\r
    FL = []\r
    for Result in ResultSet:\r
        FL.append([Result[0], Result[1], Result[2], Result[3], Result[4]])\r
\r
    p = GetFuncDeclPattern()\r
    for Str in PSL:\r
        FuncRecord = GetFuncContainsPE(Str[1], FL)\r
        if FuncRecord == None:\r
            continue\r
\r
        for Exp in GetPredicateListFromPredicateExpStr(Str[0]):\r
            PredInfo = SplitPredicateStr(Exp)\r
            if PredInfo[1] == None:\r
                PredVarStr = PredInfo[0][0].strip()\r
                IsFuncCall = False\r
                SearchInCache = False\r
                # PredVarStr may contain '.' or '->'\r
                TmpStr = PredVarStr.replace('.', '').replace('->', '')\r
                if p.match(TmpStr):\r
                    PredVarStr = PredVarStr[0:PredVarStr.find('(')]\r
                    SearchInCache = True\r
                    # Only direct function call using IsFuncCall branch. Multi-level ref. function call is considered a variable.\r
                    if TmpStr.startswith(PredVarStr):\r
                        IsFuncCall = True\r
\r
                if PredVarStr.strip() in IgnoredKeywordList:\r
                    continue\r
                StarList = []\r
                PredVarList = GetCNameList(PredVarStr, StarList)\r
                # No variable found, maybe value first? like (0 == VarName)\r
                if len(PredVarList) == 0:\r
                    continue\r
                if SearchInCache:\r
                    Type = FuncReturnTypeDict.get(PredVarStr)\r
                    if Type != None:\r
                        if Type.find('*') != -1:\r
                            PrintErrorMsg(ERROR_PREDICATE_EXPRESSION_CHECK_COMPARISON_NULL_TYPE, 'Predicate Expression: %s' % Exp, FileTable, Str[2])\r
                        continue\r
\r
                    if PredVarStr in FuncReturnTypeDict:\r
                        continue\r
\r
                Type = GetVarInfo(PredVarList, FuncRecord, FullFileName, IsFuncCall, None, StarList)\r
                if SearchInCache:\r
                    FuncReturnTypeDict[PredVarStr] = Type\r
                if Type == None:\r
                    continue\r
                Type = GetTypeFromArray(Type, PredVarStr)\r
                if Type.find('*') != -1:\r
                    PrintErrorMsg(ERROR_PREDICATE_EXPRESSION_CHECK_COMPARISON_NULL_TYPE, 'Predicate Expression: %s' % Exp, FileTable, Str[2])\r
\r
def CheckNonBooleanValueComparison(FullFileName):\r
    ErrorMsgList = []\r
\r
    FileID = GetTableID(FullFileName, ErrorMsgList)\r
    if FileID < 0:\r
        return ErrorMsgList\r
\r
    # cache the found function return type to accelerate later checking in this file.\r
    FuncReturnTypeDict = {}\r
\r
    Db = GetDB()\r
    FileTable = 'Identifier' + str(FileID)\r
    SqlStatement = """ select Value, StartLine, ID\r
                       from %s\r
                       where Model = %d\r
                   """ % (FileTable, DataClass.MODEL_IDENTIFIER_PREDICATE_EXPRESSION)\r
    ResultSet = Db.TblFile.Exec(SqlStatement)\r
    if len(ResultSet) == 0:\r
        return\r
    PSL = []\r
    for Result in ResultSet:\r
        PSL.append([Result[0], Result[1], Result[2]])\r
\r
    SqlStatement = """ select BodyStartLine, EndLine, Header, Modifier, ID\r
                       from Function\r
                       where BelongsToFile = %d\r
                   """ % (FileID)\r
    ResultSet = Db.TblFile.Exec(SqlStatement)\r
    FL = []\r
    for Result in ResultSet:\r
        FL.append([Result[0], Result[1], Result[2], Result[3], Result[4]])\r
\r
    p = GetFuncDeclPattern()\r
    for Str in PSL:\r
        FuncRecord = GetFuncContainsPE(Str[1], FL)\r
        if FuncRecord == None:\r
            continue\r
\r
        for Exp in GetPredicateListFromPredicateExpStr(Str[0]):\r
#            if p.match(Exp):\r
#                continue\r
            PredInfo = SplitPredicateStr(Exp)\r
            if PredInfo[1] == None:\r
                PredVarStr = PredInfo[0][0].strip()\r
                IsFuncCall = False\r
                SearchInCache = False\r
                # PredVarStr may contain '.' or '->'\r
                TmpStr = PredVarStr.replace('.', '').replace('->', '')\r
                if p.match(TmpStr):\r
                    PredVarStr = PredVarStr[0:PredVarStr.find('(')]\r
                    SearchInCache = True\r
                    # Only direct function call using IsFuncCall branch. Multi-level ref. function call is considered a variable.\r
                    if TmpStr.startswith(PredVarStr):\r
                        IsFuncCall = True\r
\r
                if PredVarStr.strip() in IgnoredKeywordList:\r
                    continue\r
                StarList = []\r
                PredVarList = GetCNameList(PredVarStr, StarList)\r
                # No variable found, maybe value first? like (0 == VarName)\r
                if len(PredVarList) == 0:\r
                    continue\r
\r
                if SearchInCache:\r
                    Type = FuncReturnTypeDict.get(PredVarStr)\r
                    if Type != None:\r
                        if Type.find('BOOLEAN') == -1:\r
                            PrintErrorMsg(ERROR_PREDICATE_EXPRESSION_CHECK_NO_BOOLEAN_OPERATOR, 'Predicate Expression: %s' % Exp, FileTable, Str[2])\r
                        continue\r
\r
                    if PredVarStr in FuncReturnTypeDict:\r
                        continue\r
\r
                Type = GetVarInfo(PredVarList, FuncRecord, FullFileName, IsFuncCall, 'BOOLEAN', StarList)\r
                if SearchInCache:\r
                    FuncReturnTypeDict[PredVarStr] = Type\r
                if Type == None:\r
                    continue\r
                if Type.find('BOOLEAN') == -1:\r
                    PrintErrorMsg(ERROR_PREDICATE_EXPRESSION_CHECK_NO_BOOLEAN_OPERATOR, 'Predicate Expression: %s' % Exp, FileTable, Str[2])\r
\r
\r
def CheckBooleanValueComparison(FullFileName):\r
    ErrorMsgList = []\r
\r
    FileID = GetTableID(FullFileName, ErrorMsgList)\r
    if FileID < 0:\r
        return ErrorMsgList\r
\r
    # cache the found function return type to accelerate later checking in this file.\r
    FuncReturnTypeDict = {}\r
\r
    Db = GetDB()\r
    FileTable = 'Identifier' + str(FileID)\r
    SqlStatement = """ select Value, StartLine, ID\r
                       from %s\r
                       where Model = %d\r
                   """ % (FileTable, DataClass.MODEL_IDENTIFIER_PREDICATE_EXPRESSION)\r
    ResultSet = Db.TblFile.Exec(SqlStatement)\r
    if len(ResultSet) == 0:\r
        return\r
    PSL = []\r
    for Result in ResultSet:\r
        PSL.append([Result[0], Result[1], Result[2]])\r
\r
    SqlStatement = """ select BodyStartLine, EndLine, Header, Modifier, ID\r
                       from Function\r
                       where BelongsToFile = %d\r
                   """ % (FileID)\r
    ResultSet = Db.TblFile.Exec(SqlStatement)\r
    FL = []\r
    for Result in ResultSet:\r
        FL.append([Result[0], Result[1], Result[2], Result[3], Result[4]])\r
\r
    p = GetFuncDeclPattern()\r
    for Str in PSL:\r
        FuncRecord = GetFuncContainsPE(Str[1], FL)\r
        if FuncRecord == None:\r
            continue\r
\r
        for Exp in GetPredicateListFromPredicateExpStr(Str[0]):\r
            PredInfo = SplitPredicateStr(Exp)\r
            if PredInfo[1] in ('==', '!=') and PredInfo[0][1] in ('TRUE', 'FALSE'):\r
                PredVarStr = PredInfo[0][0].strip()\r
                IsFuncCall = False\r
                SearchInCache = False\r
                # PredVarStr may contain '.' or '->'\r
                TmpStr = PredVarStr.replace('.', '').replace('->', '')\r
                if p.match(TmpStr):\r
                    PredVarStr = PredVarStr[0:PredVarStr.find('(')]\r
                    SearchInCache = True\r
                    # Only direct function call using IsFuncCall branch. Multi-level ref. function call is considered a variable.\r
                    if TmpStr.startswith(PredVarStr):\r
                        IsFuncCall = True\r
\r
                if PredVarStr.strip() in IgnoredKeywordList:\r
                    continue\r
                StarList = []\r
                PredVarList = GetCNameList(PredVarStr, StarList)\r
                # No variable found, maybe value first? like (0 == VarName)\r
                if len(PredVarList) == 0:\r
                    continue\r
\r
                if SearchInCache:\r
                    Type = FuncReturnTypeDict.get(PredVarStr)\r
                    if Type != None:\r
                        if Type.find('BOOLEAN') != -1:\r
                            PrintErrorMsg(ERROR_PREDICATE_EXPRESSION_CHECK_BOOLEAN_VALUE, 'Predicate Expression: %s' % Exp, FileTable, Str[2])\r
                        continue\r
\r
                    if PredVarStr in FuncReturnTypeDict:\r
                        continue\r
\r
                Type = GetVarInfo(PredVarList, FuncRecord, FullFileName, IsFuncCall, 'BOOLEAN', StarList)\r
                if SearchInCache:\r
                    FuncReturnTypeDict[PredVarStr] = Type\r
                if Type == None:\r
                    continue\r
                if Type.find('BOOLEAN') != -1:\r
                    PrintErrorMsg(ERROR_PREDICATE_EXPRESSION_CHECK_BOOLEAN_VALUE, 'Predicate Expression: %s' % Exp, FileTable, Str[2])\r
\r
\r
def CheckHeaderFileData(FullFileName):\r
    ErrorMsgList = []\r
\r
    FileID = GetTableID(FullFileName, ErrorMsgList)\r
    if FileID < 0:\r
        return ErrorMsgList\r
\r
    Db = GetDB()\r
    FileTable = 'Identifier' + str(FileID)\r
    SqlStatement = """ select ID, Modifier\r
                       from %s\r
                       where Model = %d\r
                   """ % (FileTable, DataClass.MODEL_IDENTIFIER_VARIABLE)\r
    ResultSet = Db.TblFile.Exec(SqlStatement)\r
    for Result in ResultSet:\r
        if not Result[1].startswith('extern'):\r
            PrintErrorMsg(ERROR_INCLUDE_FILE_CHECK_DATA, 'Variable definition appears in header file', FileTable, Result[0])\r
\r
    SqlStatement = """ select ID\r
                       from Function\r
                       where BelongsToFile = %d\r
                   """ % FileID\r
    ResultSet = Db.TblFile.Exec(SqlStatement)\r
    for Result in ResultSet:\r
        PrintErrorMsg(ERROR_INCLUDE_FILE_CHECK_DATA, 'Function definition appears in header file', 'Function', Result[0])\r
\r
    return ErrorMsgList\r
\r
def CheckHeaderFileIfndef(FullFileName):\r
    ErrorMsgList = []\r
\r
    FileID = GetTableID(FullFileName, ErrorMsgList)\r
    if FileID < 0:\r
        return ErrorMsgList\r
\r
    Db = GetDB()\r
    FileTable = 'Identifier' + str(FileID)\r
    SqlStatement = """ select Value, StartLine\r
                       from %s\r
                       where Model = %d order by StartLine\r
                   """ % (FileTable, DataClass.MODEL_IDENTIFIER_MACRO_IFNDEF)\r
    ResultSet = Db.TblFile.Exec(SqlStatement)\r
    if len(ResultSet) == 0:\r
        PrintErrorMsg(ERROR_INCLUDE_FILE_CHECK_IFNDEF_STATEMENT_1, '', 'File', FileID)\r
        return ErrorMsgList\r
    for Result in ResultSet:\r
        SqlStatement = """ select Value, EndLine\r
                       from %s\r
                       where EndLine < %d\r
                   """ % (FileTable, Result[1])\r
        ResultSet = Db.TblFile.Exec(SqlStatement)\r
        for Result in ResultSet:\r
            if not Result[0].startswith('/*') and not Result[0].startswith('//'):\r
                PrintErrorMsg(ERROR_INCLUDE_FILE_CHECK_IFNDEF_STATEMENT_2, '', 'File', FileID)\r
        break\r
\r
    SqlStatement = """ select Value\r
                       from %s\r
                       where StartLine > (select max(EndLine) from %s where Model = %d)\r
                   """ % (FileTable, FileTable, DataClass.MODEL_IDENTIFIER_MACRO_ENDIF)\r
    ResultSet = Db.TblFile.Exec(SqlStatement)\r
    for Result in ResultSet:\r
        if not Result[0].startswith('/*') and not Result[0].startswith('//'):\r
            PrintErrorMsg(ERROR_INCLUDE_FILE_CHECK_IFNDEF_STATEMENT_3, '', 'File', FileID)\r
    return ErrorMsgList\r
\r
def CheckDoxygenCommand(FullFileName):\r
    ErrorMsgList = []\r
\r
    FileID = GetTableID(FullFileName, ErrorMsgList)\r
    if FileID < 0:\r
        return ErrorMsgList\r
\r
    Db = GetDB()\r
    FileTable = 'Identifier' + str(FileID)\r
    SqlStatement = """ select Value, ID\r
                       from %s\r
                       where Model = %d or Model = %d\r
                   """ % (FileTable, DataClass.MODEL_IDENTIFIER_COMMENT, DataClass.MODEL_IDENTIFIER_FUNCTION_HEADER)\r
    ResultSet = Db.TblFile.Exec(SqlStatement)\r
    DoxygenCommandList = ['bug', 'todo', 'example', 'file', 'attention', 'param', 'post', 'pre', 'retval', 'return', 'sa', 'since', 'test', 'note', 'par']\r
    for Result in ResultSet:\r
        CommentStr = Result[0]\r
        CommentPartList = CommentStr.split()\r
        for Part in CommentPartList:\r
            if Part.upper() == 'BUGBUG':\r
                PrintErrorMsg(ERROR_DOXYGEN_CHECK_COMMAND, 'Bug should be marked with doxygen tag @bug', FileTable, Result[1])\r
            if Part.upper() == 'TODO':\r
                PrintErrorMsg(ERROR_DOXYGEN_CHECK_COMMAND, 'ToDo should be marked with doxygen tag @todo', FileTable, Result[1])\r
            if Part.startswith('@'):\r
                if EccGlobalData.gException.IsException(ERROR_DOXYGEN_CHECK_COMMAND, Part):\r
                    continue\r
                if Part.lstrip('@').isalpha():\r
                    if Part.lstrip('@') not in DoxygenCommandList:\r
                        PrintErrorMsg(ERROR_DOXYGEN_CHECK_COMMAND, 'Unknown doxygen command %s' % Part, FileTable, Result[1])\r
                else:\r
                    Index = Part.find('[')\r
                    if Index == -1:\r
                        PrintErrorMsg(ERROR_DOXYGEN_CHECK_COMMAND, 'Unknown doxygen command %s' % Part, FileTable, Result[1])\r
                    RealCmd = Part[1:Index]\r
                    if RealCmd not in DoxygenCommandList:\r
                        PrintErrorMsg(ERROR_DOXYGEN_CHECK_COMMAND, 'Unknown doxygen command %s' % Part, FileTable, Result[1])\r
\r
\r
def CheckDoxygenTripleForwardSlash(FullFileName):\r
    ErrorMsgList = []\r
\r
    FileID = GetTableID(FullFileName, ErrorMsgList)\r
    if FileID < 0:\r
        return ErrorMsgList\r
\r
    Db = GetDB()\r
\r
    SqlStatement = """ select ID, BodyStartLine, BodyStartColumn, EndLine, EndColumn\r
                       from Function\r
                       where BelongsToFile = %d\r
                   """ % (FileID)\r
    ResultSet = Db.TblFile.Exec(SqlStatement)\r
    if len(ResultSet) == 0:\r
        return\r
\r
    FuncDefSet = []\r
    for Result in ResultSet:\r
        FuncDefSet.append(Result)\r
\r
\r
    FileTable = 'Identifier' + str(FileID)\r
    SqlStatement = """ select Value, ID, StartLine, StartColumn, EndLine, EndColumn\r
                       from %s\r
                       where Model = %d\r
\r
                   """ % (FileTable, DataClass.MODEL_IDENTIFIER_COMMENT)\r
    ResultSet = Db.TblFile.Exec(SqlStatement)\r
    CommentSet = []\r
    try:\r
        for Result in ResultSet:\r
            CommentSet.append(Result)\r
    except:\r
        print 'Unrecognized chars in comment of file %s', FullFileName\r
\r
\r
    for Result in CommentSet:\r
        CommentStr = Result[0]\r
        StartLine = Result[2]\r
        StartColumn = Result[3]\r
        EndLine = Result[4]\r
        EndColumn = Result[5]\r
        if not CommentStr.startswith('///<'):\r
            continue\r
\r
        Found = False\r
        for FuncDef in FuncDefSet:\r
            if StartLine == FuncDef[1] and StartColumn > FuncDef[2] and EndLine == FuncDef[3] and EndColumn < FuncDef[4]:\r
                Found = True\r
                break\r
            if StartLine > FuncDef[1] and EndLine < FuncDef[3]:\r
                Found = True\r
                break\r
            if StartLine == FuncDef[1] and StartColumn > FuncDef[2] and EndLine < FuncDef[3]:\r
                Found = True\r
                break\r
            if StartLine > FuncDef[1] and EndLine == FuncDef[3] and EndColumn < FuncDef[4]:\r
                Found = True\r
                break\r
        if Found:\r
            PrintErrorMsg(ERROR_DOXYGEN_CHECK_COMMENT_FORMAT, '', FileTable, Result[1])\r
\r
\r
def CheckFileHeaderDoxygenComments(FullFileName):\r
    ErrorMsgList = []\r
\r
    FileID = GetTableID(FullFileName, ErrorMsgList)\r
    if FileID < 0:\r
        return ErrorMsgList\r
\r
    Db = GetDB()\r
    FileTable = 'Identifier' + str(FileID)\r
    SqlStatement = """ select Value, ID\r
                       from %s\r
                       where Model = %d and StartLine = 1 and StartColumn = 0\r
                   """ % (FileTable, DataClass.MODEL_IDENTIFIER_COMMENT)\r
    ResultSet = Db.TblFile.Exec(SqlStatement)\r
    if len(ResultSet) == 0:\r
        PrintErrorMsg(ERROR_HEADER_CHECK_FILE, 'No Comment appear at the very beginning of file.', 'File', FileID)\r
        return ErrorMsgList\r
\r
    for Result in ResultSet:\r
        CommentStr = Result[0]\r
        if not CommentStr.startswith('/** @file'):\r
            PrintErrorMsg(ERROR_DOXYGEN_CHECK_FILE_HEADER, 'File header comment should begin with ""/** @file""', FileTable, Result[1])\r
        if not CommentStr.endswith('**/'):\r
            PrintErrorMsg(ERROR_HEADER_CHECK_FILE, 'File header comment should end with **/', FileTable, Result[1])\r
        if CommentStr.find('.') == -1:\r
            PrintErrorMsg(ERROR_DOXYGEN_CHECK_COMMENT_DESCRIPTION, 'Comment description should end with period \'.\'', FileTable, Result[1])\r
\r
def CheckFuncHeaderDoxygenComments(FullFileName):\r
    ErrorMsgList = []\r
\r
    FileID = GetTableID(FullFileName, ErrorMsgList)\r
    if FileID < 0:\r
        return ErrorMsgList\r
\r
    Db = GetDB()\r
    FileTable = 'Identifier' + str(FileID)\r
    SqlStatement = """ select Value, StartLine, EndLine, ID\r
                       from %s\r
                       where Model = %d\r
                   """ % (FileTable, DataClass.MODEL_IDENTIFIER_COMMENT)\r
\r
    ResultSet = Db.TblFile.Exec(SqlStatement)\r
    CommentSet = []\r
    try:\r
        for Result in ResultSet:\r
            CommentSet.append(Result)\r
    except:\r
        print 'Unrecognized chars in comment of file %s', FullFileName\r
\r
    # Func Decl check\r
    SqlStatement = """ select Modifier, Name, StartLine, ID, Value\r
                       from %s\r
                       where Model = %d\r
                   """ % (FileTable, DataClass.MODEL_IDENTIFIER_FUNCTION_DECLARATION)\r
    ResultSet = Db.TblFile.Exec(SqlStatement)\r
    for Result in ResultSet:\r
        FuncName = Result[4]\r
        FunctionHeaderComment = CheckCommentImmediatelyPrecedeFunctionHeader(Result[1], Result[2], CommentSet)\r
        if FunctionHeaderComment:\r
            CheckFunctionHeaderConsistentWithDoxygenComment(Result[0], Result[1], Result[2], FunctionHeaderComment[0], FunctionHeaderComment[1], ErrorMsgList, FunctionHeaderComment[3], FileTable)\r
        else:\r
            if EccGlobalData.gException.IsException(ERROR_HEADER_CHECK_FUNCTION, FuncName):\r
                continue\r
            ErrorMsgList.append('Line %d :Function %s has NO comment immediately preceding it.' % (Result[2], Result[1]))\r
            PrintErrorMsg(ERROR_HEADER_CHECK_FUNCTION, 'Function [%s] has NO comment immediately preceding it.' % (FuncName), FileTable, Result[3])\r
\r
    # Func Def check\r
    SqlStatement = """ select Value, StartLine, EndLine, ID\r
                       from %s\r
                       where Model = %d\r
                   """ % (FileTable, DataClass.MODEL_IDENTIFIER_FUNCTION_HEADER)\r
\r
    ResultSet = Db.TblFile.Exec(SqlStatement)\r
    CommentSet = []\r
    try:\r
        for Result in ResultSet:\r
            CommentSet.append(Result)\r
    except:\r
        print 'Unrecognized chars in comment of file %s', FullFileName\r
\r
    SqlStatement = """ select Modifier, Header, StartLine, ID, Name\r
                       from Function\r
                       where BelongsToFile = %d\r
                   """ % (FileID)\r
    ResultSet = Db.TblFile.Exec(SqlStatement)\r
    for Result in ResultSet:\r
        FuncName = Result[4]\r
        FunctionHeaderComment = CheckCommentImmediatelyPrecedeFunctionHeader(Result[1], Result[2], CommentSet)\r
        if FunctionHeaderComment:\r
            CheckFunctionHeaderConsistentWithDoxygenComment(Result[0], Result[1], Result[2], FunctionHeaderComment[0], FunctionHeaderComment[1], ErrorMsgList, FunctionHeaderComment[3], FileTable)\r
        else:\r
            if EccGlobalData.gException.IsException(ERROR_HEADER_CHECK_FUNCTION, FuncName):\r
                continue\r
            ErrorMsgList.append('Line %d :Function [%s] has NO comment immediately preceding it.' % (Result[2], Result[1]))\r
            PrintErrorMsg(ERROR_HEADER_CHECK_FUNCTION, 'Function [%s] has NO comment immediately preceding it.' % (FuncName), 'Function', Result[3])\r
    return ErrorMsgList\r
\r
def CheckCommentImmediatelyPrecedeFunctionHeader(FuncName, FuncStartLine, CommentSet):\r
\r
    for Comment in CommentSet:\r
        if Comment[2] == FuncStartLine - 1:\r
            return Comment\r
    return None\r
\r
def GetDoxygenStrFromComment(Str):\r
    DoxygenStrList = []\r
    ParamTagList = Str.split('@param')\r
    if len(ParamTagList) > 1:\r
        i = 1\r
        while i < len(ParamTagList):\r
            DoxygenStrList.append('@param' + ParamTagList[i])\r
            i += 1\r
\r
    Str = ParamTagList[0]\r
\r
    RetvalTagList = ParamTagList[-1].split('@retval')\r
    if len(RetvalTagList) > 1:\r
        if len(ParamTagList) > 1:\r
            DoxygenStrList[-1] = '@param' + RetvalTagList[0]\r
        i = 1\r
        while i < len(RetvalTagList):\r
            DoxygenStrList.append('@retval' + RetvalTagList[i])\r
            i += 1\r
\r
    ReturnTagList = RetvalTagList[-1].split('@return')\r
    if len(ReturnTagList) > 1:\r
        if len(RetvalTagList) > 1:\r
            DoxygenStrList[-1] = '@retval' + ReturnTagList[0]\r
        elif len(ParamTagList) > 1:\r
            DoxygenStrList[-1] = '@param' + ReturnTagList[0]\r
        i = 1\r
        while i < len(ReturnTagList):\r
            DoxygenStrList.append('@return' + ReturnTagList[i])\r
            i += 1\r
\r
    if len(DoxygenStrList) > 0:\r
        DoxygenStrList[-1] = DoxygenStrList[-1].rstrip('--*/')\r
\r
    return DoxygenStrList\r
\r
def CheckGeneralDoxygenCommentLayout(Str, StartLine, ErrorMsgList, CommentId = -1, TableName = ''):\r
    #/** --*/ @retval after @param\r
    if not Str.startswith('/**'):\r
        ErrorMsgList.append('Line %d : Comment does NOT have prefix /** ' % StartLine)\r
        PrintErrorMsg(ERROR_DOXYGEN_CHECK_FUNCTION_HEADER, 'Comment does NOT have prefix /** ', TableName, CommentId)\r
    if not Str.endswith('**/'):\r
        ErrorMsgList.append('Line %d : Comment does NOT have tail **/ ' % StartLine)\r
        PrintErrorMsg(ERROR_DOXYGEN_CHECK_FUNCTION_HEADER, 'Comment does NOT have tail **/ ', TableName, CommentId)\r
    FirstRetvalIndex = Str.find('@retval')\r
    LastParamIndex = Str.rfind('@param')\r
    if (FirstRetvalIndex > 0) and (LastParamIndex > 0) and (FirstRetvalIndex < LastParamIndex):\r
        ErrorMsgList.append('Line %d : @retval appear before @param ' % StartLine)\r
        PrintErrorMsg(ERROR_DOXYGEN_CHECK_FUNCTION_HEADER, 'in Comment, @retval appear before @param  ', TableName, CommentId)\r
\r
def CheckFunctionHeaderConsistentWithDoxygenComment(FuncModifier, FuncHeader, FuncStartLine, CommentStr, CommentStartLine, ErrorMsgList, CommentId = -1, TableName = ''):\r
\r
    ParamList = GetParamList(FuncHeader)\r
    CheckGeneralDoxygenCommentLayout(CommentStr, CommentStartLine, ErrorMsgList, CommentId, TableName)\r
    DescriptionStr = CommentStr\r
    DoxygenStrList = GetDoxygenStrFromComment(DescriptionStr)\r
    if DescriptionStr.find('.') == -1:\r
        PrintErrorMsg(ERROR_DOXYGEN_CHECK_COMMENT_DESCRIPTION, 'Comment description should end with period \'.\'', TableName, CommentId)\r
    DoxygenTagNumber = len(DoxygenStrList)\r
    ParamNumber = len(ParamList)\r
    for Param in ParamList:\r
        if Param.Name.upper() == 'VOID' and ParamNumber == 1:\r
            ParamNumber -= 1\r
    Index = 0\r
    if ParamNumber > 0 and DoxygenTagNumber > 0:\r
        while Index < ParamNumber and Index < DoxygenTagNumber:\r
            ParamModifier = ParamList[Index].Modifier\r
            ParamName = ParamList[Index].Name.strip()\r
            Tag = DoxygenStrList[Index].strip(' ')\r
            if (not Tag[-1] == ('\n')) and (not Tag[-1] == ('\r')):\r
                ErrorMsgList.append('Line %d : in Comment, \"%s\" does NOT end with new line ' % (CommentStartLine, Tag.replace('\n', '').replace('\r', '')))\r
                PrintErrorMsg(ERROR_HEADER_CHECK_FUNCTION, 'in Comment, \"%s\" does NOT end with new line ' % (Tag.replace('\n', '').replace('\r', '')), TableName, CommentId)\r
            TagPartList = Tag.split()\r
            if len(TagPartList) < 2:\r
                ErrorMsgList.append('Line %d : in Comment, \"%s\" does NOT contain doxygen contents ' % (CommentStartLine, Tag.replace('\n', '').replace('\r', '')))\r
                PrintErrorMsg(ERROR_DOXYGEN_CHECK_FUNCTION_HEADER, 'in Comment, \"%s\" does NOT contain doxygen contents ' % (Tag.replace('\n', '').replace('\r', '')), TableName, CommentId)\r
                Index += 1\r
                continue\r
            LBPos = Tag.find('[')\r
            RBPos = Tag.find(']')\r
            ParamToLBContent = Tag[len('@param'):LBPos].strip()\r
            if LBPos > 0 and len(ParamToLBContent)==0 and RBPos > LBPos:\r
                InOutStr = ''\r
                ModifierPartList = ParamModifier.split()\r
                for Part in ModifierPartList:\r
                    if Part.strip() == 'IN':\r
                        InOutStr += 'in'\r
                    if Part.strip() == 'OUT':\r
                        if InOutStr != '':\r
                            InOutStr += ', out'\r
                        else:\r
                            InOutStr = 'out'\r
\r
                if InOutStr != '':\r
                    if Tag.find('['+InOutStr+']') == -1:\r
                        ErrorMsgList.append('Line %d : in Comment, \"%s\" does NOT have %s ' % (CommentStartLine, (TagPartList[0] + ' ' +TagPartList[1]).replace('\n', '').replace('\r', ''), '['+InOutStr+']'))\r
                        PrintErrorMsg(ERROR_DOXYGEN_CHECK_FUNCTION_HEADER, 'in Comment, \"%s\" does NOT have %s ' % ((TagPartList[0] + ' ' +TagPartList[1]).replace('\n', '').replace('\r', ''), '['+InOutStr+']'), TableName, CommentId)\r
            if Tag.find(ParamName) == -1 and ParamName != 'VOID' and ParamName != 'void':\r
                ErrorMsgList.append('Line %d : in Comment, \"%s\" does NOT consistent with parameter name %s ' % (CommentStartLine, (TagPartList[0] + ' ' +TagPartList[1]).replace('\n', '').replace('\r', ''), ParamName))\r
                PrintErrorMsg(ERROR_DOXYGEN_CHECK_FUNCTION_HEADER, 'in Comment, \"%s\" does NOT consistent with parameter name %s ' % ((TagPartList[0] + ' ' +TagPartList[1]).replace('\n', '').replace('\r', ''), ParamName), TableName, CommentId)\r
            Index += 1\r
\r
        if Index < ParamNumber:\r
            ErrorMsgList.append('Line %d : Number of doxygen tags in comment less than number of function parameters' % CommentStartLine)\r
            PrintErrorMsg(ERROR_DOXYGEN_CHECK_FUNCTION_HEADER, 'Number of doxygen tags in comment less than number of function parameters ', TableName, CommentId)\r
        # VOID return type, NOT VOID*. VOID* should be matched with a doxygen tag.\r
        if (FuncModifier.find('VOID') != -1 or FuncModifier.find('void') != -1) and FuncModifier.find('*') == -1:\r
\r
            # assume we allow a return description tag for void func. return. that's why 'DoxygenTagNumber - 1' is used instead of 'DoxygenTagNumber'\r
            if Index < DoxygenTagNumber - 1 or (Index < DoxygenTagNumber and DoxygenStrList[Index].startswith('@retval')):\r
                ErrorMsgList.append('Line %d : VOID return type need NO doxygen tags in comment' % CommentStartLine)\r
                PrintErrorMsg(ERROR_DOXYGEN_CHECK_FUNCTION_HEADER, 'VOID return type need no doxygen tags in comment ', TableName, CommentId)\r
        else:\r
            if Index < DoxygenTagNumber and not DoxygenStrList[Index].startswith('@retval') and not DoxygenStrList[Index].startswith('@return'):\r
                ErrorMsgList.append('Line %d : Number of @param doxygen tags in comment does NOT match number of function parameters' % CommentStartLine)\r
                PrintErrorMsg(ERROR_DOXYGEN_CHECK_FUNCTION_HEADER, 'Number of @param doxygen tags in comment does NOT match number of function parameters ', TableName, CommentId)\r
    else:\r
        if ParamNumber == 0 and DoxygenTagNumber != 0 and ((FuncModifier.find('VOID') != -1 or FuncModifier.find('void') != -1) and FuncModifier.find('*') == -1):\r
            ErrorMsgList.append('Line %d : VOID return type need NO doxygen tags in comment' % CommentStartLine)\r
            PrintErrorMsg(ERROR_DOXYGEN_CHECK_FUNCTION_HEADER, 'VOID return type need NO doxygen tags in comment ', TableName, CommentId)\r
        if ParamNumber != 0 and DoxygenTagNumber == 0:\r
            ErrorMsgList.append('Line %d : No doxygen tags in comment' % CommentStartLine)\r
            PrintErrorMsg(ERROR_DOXYGEN_CHECK_FUNCTION_HEADER, 'No doxygen tags in comment ', TableName, CommentId)\r
\r
if __name__ == '__main__':\r
\r
#    EdkLogger.Initialize()\r
#    EdkLogger.SetLevel(EdkLogger.QUIET)\r
#    CollectSourceCodeDataIntoDB(sys.argv[1])\r
    MsgList = CheckFuncHeaderDoxygenComments('C:\\Combo\\R9\\LakeportX64Dev\\FlashDevicePkg\\Library\\SpiFlashChipM25P64\\SpiFlashChipM25P64.c')\r
    for Msg in MsgList:\r
        print Msg\r
    print 'Done!'\r