Return to assert.c CVS log

Up to [Research Unix] / researchv8dc / cmd / trace

Annotation of researchv8dc/cmd/trace/assert.c, revision 1.1

1.1     ! root        1: 
        !             2: require(TT, stuff, by, with, pr)
        !             3: {
        !             4:        if (assertbl != NONE)
        !             5:                assert(TT, stuff, by, with, pr);
        !             6:        if (errortbl != NONE)
        !             7:                errort(TT, stuff, by, with, pr);
        !             8: }
        !             9: 
        !            10: inscope(TT, stuff, by)
        !            11: { register int i;
        !            12: 
        !            13:        for (i = 0; i < tbl[assertbl].nrcols; i++)
        !            14:                if (TT == tbl[assertbl].coltyp[i]
        !            15:                &&  stuff == tbl[assertbl].colmap[i]
        !            16:                &&  by == tbl[assertbl].colorg[i])
        !            17:                        return 1;
        !            18: 
        !            19:        return 0;
        !            20: }
        !            21: 
        !            22: assert(TT, stuff, by, with, pr)
        !            23: { int h, i, j, x, frst;
        !            24: 
        !            25:        for (frst = 0; frst < tbl[assertbl].nrcols; frst++)
        !            26:                if (tbl[assertbl].coltyp[frst] == TT
        !            27:                &&  stuff == tbl[assertbl].colmap[frst]
        !            28:                &&  by == tbl[assertbl].colorg[frst])
        !            29:                        break;
        !            30: 
        !            31:        if (frst == tbl[assertbl].nrcols)
        !            32:                return;         /* not within assertion's scope */
        !            33: 
        !            34:        for (i = 0; i < tbl[assertbl].nrrows; i++)
        !            35:        {
        !            36:                if (globvars[i+abase] != 1)
        !            37:                        continue;
        !            38: 
        !            39:                for (j = frst; j < tbl[assertbl].nrcols; j++)
        !            40:                {
        !            41:                        if (TT == tbl[assertbl].coltyp[j]
        !            42:                        &&  stuff == tbl[assertbl].colmap[j]
        !            43:                        &&  by == tbl[assertbl].colorg[j])
        !            44:                        {
        !            45:                         if (tbl[assertbl].ptr[i][j].nrpils == 0)
        !            46:                                output("assertion violated: ", 2);
        !            47:                         else
        !            48:                         for (h = 0; h < tbl[assertbl].ptr[i][j].nrpils; h++)
        !            49:                         {      x = tbl[assertbl].ptr[i][j].one[h].transf;
        !            50:                                globvars[x+abase] = 2;
        !            51:                                globvars[i+abase] = 0;
        !            52:                         }
        !            53:                        }
        !            54:                }
        !            55:        }
        !            56:        for (i = abase; i < nrvars; i++)
        !            57:                if (globvars[i] == 2)
        !            58:                        globvars[i] = 1;
        !            59: }
        !            60: 
        !            61: assertholds()
        !            62: { int i;
        !            63:        if (assertbl == NONE)
        !            64:                return 1;
        !            65: 
        !            66:        for (i = abase; i < nrvars; i++)
        !            67:                if (globvars[i] && tbl[assertbl].endrow[i-abase])
        !            68:                        return 1;
        !            69:        return 0;
        !            70: }
        !            71: 
        !            72: errort(TT, stuff, by, with, pr)
        !            73: { int h, i, j, x, frst;
        !            74: 
        !            75:        for (frst = 0; frst < tbl[errortbl].nrcols; frst++)
        !            76:                if (tbl[errortbl].coltyp[frst] == TT
        !            77:                &&  stuff == tbl[errortbl].colmap[frst]
        !            78:                &&  by == tbl[errortbl].colorg[frst])
        !            79:                        break;
        !            80: 
        !            81:        if (frst == tbl[errortbl].nrcols)
        !            82:                return;         /* not within assertion's scope */
        !            83: 
        !            84:        for (i = 0; i < tbl[errortbl].nrrows; i++)
        !            85:        {
        !            86:                if (globvars[i+ebase] != 1)
        !            87:                        continue;
        !            88: 
        !            89:                for (j = frst; j < tbl[errortbl].nrcols; j++)
        !            90:                {
        !            91:                        if (TT == tbl[errortbl].coltyp[j]
        !            92:                        &&  stuff == tbl[errortbl].colmap[j]
        !            93:                        &&  by == tbl[errortbl].colorg[j])
        !            94:                        {
        !            95:                         if (tbl[errortbl].ptr[i][j].nrpils == 0)
        !            96:                                globvars[i+ebase] = 0;
        !            97:                         else
        !            98:                         for (h = 0; h < tbl[errortbl].ptr[i][j].nrpils; h++)
        !            99:                         {      x = tbl[errortbl].ptr[i][j].one[h].transf;
        !           100:                                globvars[x+ebase] = 2;
        !           101:                                globvars[i+ebase] = 0;
        !           102:                         }
        !           103:        }       }       }
        !           104:        for (i = ebase; i < nrvars; i++)
        !           105:                if (globvars[i] == 2)
        !           106:                {       globvars[i] = 1;
        !           107:                        if (tbl[errortbl].endrow[i-ebase])
        !           108:                                output("error matched: ", 2);
        !           109:                }
        !           110:        globvars[ebase] = 1;
        !           111: }
        !           112: 
        !           113: peekassert(ice)
        !           114:        struct FREEZE *ice;
        !           115: { register int i;
        !           116:   if (assertbl != NONE)
        !           117:        for (i = abase; i < nrvars; i++)
        !           118:                globvars[i] = ice->varsaved[i];
        !           119:   else if (errortbl != NONE)
        !           120:        for (i = ebase; i < nrvars; i++)
        !           121:                globvars[i] = ice->varsaved[i];
        !           122: }

This archive runs on limited infrastructure. Preserving old code on modern bandwidth. Automated agents are requested to crawl responsibly.