首页>
外国专利>
VARIABLE-ACCESS-CONSISTENCY REVIEW DEVICE, VARIABLE-ACCESS-CONSISTENCY REVIEW METHOD, AND VARIABLE-ACCESS-CONSISTENCY REVIEW PROGRAM
VARIABLE-ACCESS-CONSISTENCY REVIEW DEVICE, VARIABLE-ACCESS-CONSISTENCY REVIEW METHOD, AND VARIABLE-ACCESS-CONSISTENCY REVIEW PROGRAM
展开▼
机译:可变访问一致性检查设备,可变访问一致性检查方法和可变访问一致性检查程序
展开▼
页面导航
摘要
著录项
相似文献
摘要
This access-consistency review device: identifies a branching block, which comprises a group of statements in which one of a plurality of branches is selectively executed on the basis of a prescribed condition, and detects a variable that is written to within said branching block (S01); detects the number of possible branches within the branching block and the number of branches in which the aforementioned variable is written to (S04); determines whether or not the number of possible branches within the branching block is equal to the number of branches in which the aforementioned variable is written to (S06); and, if it is determined that the number of possible branches within the branching block is not equal to the number of branches in which the variable is written to, outputs the variable and/or the branching block (D07).
展开▼