lint-issues-en.xml 990 Bytes
Newer Older
Alexander Weigl's avatar
Alexander Weigl committed
1
2
<issues version="1.0" xmlns="http://formal.iti.kit.edu/lint-issues-1.0">
    <issue id="0" severity="info" rulename="empty_blocks">
Alexander Weigl's avatar
Alexander Weigl committed
3
        Empty blocks are useless!
Alexander Weigl's avatar
Alexander Weigl committed
4
5
6
7
8
9
10
11
12
13
14
15
16
17
    </issue>
    <issue id="1" severity="error" rulename="equal_script_names">
        The identifier of scripts need to be unique.
        %0$s clashes with %1$s.
    </issue>
    <issue id="2" severity="error" rulename="negated_match_with_using">

    </issue>

    <issue id="3" severity="warn" rulename="succ_same_block">
        Successive blocks have no effect!
    </issue>
    <issue id="4" severity="warn" rulename="FOREACH_AFTER_THEONLY"/>
    <issue id="5" severity="warn" rulename="THEONLY_AFTER_FOREACH"/>
Alexander Weigl's avatar
Alexander Weigl committed
18
19
20
21
22
23
24
25

    <issue id="7" severity="warn" rulename="REDECLARE_VARIABLE">

    </issue>
    <issue id="8" severity="warn" rulename="REDECLARE_VARIABLE_TYPE_MISMATCH"/>
    <issue id="9" severity="warn" rulename="VARIABLE_NOT_DECLARED"/>
    <issue id="10" severity="warn" rulename="VARIABLE_NOT_USED"/>

Alexander Weigl's avatar
Alexander Weigl committed
26
</issues>