IPSIS_C01.tcl
65 lines
| 2.2 KiB
| application/x-tcl
|
TclLexer
r2 | #!/usr/bin/tclsh | |||
# The destructor of a class should be virtual | ||||
proc createMachine {initState} { | ||||
set machine [dict create state $initState bracesCounter 0] | ||||
return $machine | ||||
} | ||||
foreach fileName [getSourceFileNames] { | ||||
set machines [list] | ||||
set prev1 "" | ||||
set prev2 "" | ||||
foreach token [getTokens $fileName 1 0 -1 -1 {class struct leftbrace rightbrace virtual compl identifier semicolon}] { | ||||
set type [lindex $token 3] | ||||
set line [lindex $token 1] | ||||
if {$type == "class" || $type == "struct"} { | ||||
lappend machines [createMachine "beforeLeftBrace"] | ||||
} | ||||
set machinesToKeep [list] | ||||
foreach m $machines { | ||||
set keepMachine 1 | ||||
dict with m { | ||||
if {$state == "beforeLeftBrace"} { | ||||
if {$type == "leftbrace"} { | ||||
set state "root" | ||||
} elseif {$type == "semicolon"} { | ||||
set keepMachine 0 | ||||
} | ||||
} elseif {$state == "root"} { | ||||
if {$prev2 != "virtual" && $prev1 == "compl" && $type == "identifier"} { | ||||
set dtorName [lindex $token 0] | ||||
report $fileName $line "The destructor ~${dtorName}() of the class should be virtual" | ||||
} | ||||
if {$type == "leftbrace"} { | ||||
incr bracesCounter | ||||
set state "consumeBraces" | ||||
} elseif {$type == "rightbrace"} { | ||||
set keepMachine 0 | ||||
} | ||||
} elseif {$state == "consumeBraces"} { | ||||
if {$type == "leftbrace"} { | ||||
incr bracesCounter | ||||
} elseif {$type == "rightbrace"} { | ||||
incr bracesCounter -1 | ||||
if {$bracesCounter == 0} { | ||||
set state "root" | ||||
} | ||||
} | ||||
} | ||||
} | ||||
if {$keepMachine} { | ||||
lappend machinesToKeep $m | ||||
} | ||||
} | ||||
set machines $machinesToKeep | ||||
set prev2 $prev1 | ||||
set prev1 $type | ||||
} | ||||
} | ||||