IPSIS_S04_TYPEDEF.tcl
87 lines
| 2.9 KiB
| application/x-tcl
|
TclLexer
| r2 | #!/usr/bin/tclsh | |||
| # Naming conventions for typedefs | ||||
| set typedefRegex [getParameter "type-regex" {^[A-Z][A-Za-z1-9]*$}] | ||||
| proc createMachine {machineName initState} { | ||||
| set machine [dict create name $machineName state $initState identifier "" bracesCounter 0] | ||||
| return $machine | ||||
| } | ||||
| set tokenFilter { | ||||
| typedef | ||||
| leftbrace | ||||
| rightbrace | ||||
| semicolon | ||||
| identifier | ||||
| } | ||||
| foreach fileName [getSourceFileNames] { | ||||
| set machines [list] | ||||
| set lastIdentifier "" | ||||
| set lastIdentifier2 "" | ||||
| set prev1 "" | ||||
| set prev2 "" | ||||
| foreach token [getTokens $fileName 1 0 -1 -1 $tokenFilter] { | ||||
| set type [lindex $token 3] | ||||
| set line [lindex $token 1] | ||||
| # Retrieve identifier value | ||||
| if {$type == "identifier"} { | ||||
| set lastIdentifier2 $lastIdentifier | ||||
| set lastIdentifier [lindex $token 0] | ||||
| } | ||||
| # If the type is a typedef, start a typedef state machine | ||||
| if {$type == "typedef"} { | ||||
| lappend machines [createMachine "typedef" "waitingForIdentifier"] | ||||
| } | ||||
| set machinesToKeep [list] | ||||
| foreach m $machines { | ||||
| set keepMachine 1 | ||||
| dict with m { | ||||
| # typedef | ||||
| if {$name == "typedef"} { | ||||
| if {$state == "waitingForIdentifier"} { | ||||
| if {$type == "leftbrace"} { | ||||
| set state "consumeBraces" | ||||
| incr bracesCounter | ||||
| } elseif {$type == "semicolon"} { | ||||
| if {$prev1 == "identifier"} { | ||||
| # Check identifier | ||||
| if {![regexp $typedefRegex $lastIdentifier]} { | ||||
| report $fileName $line "The typedef names should match the following regex: $typedefRegex (found: $lastIdentifier)" | ||||
| } | ||||
| } else { | ||||
| # Typedef without identifier | ||||
| report $fileName $line "A typedef should have a name" | ||||
| } | ||||
| # End of the state machine | ||||
| set keepMachine 0 | ||||
| } | ||||
| } elseif {$state == "consumeBraces"} { | ||||
| if {$type == "leftbrace"} { | ||||
| incr bracesCounter | ||||
| } elseif {$type == "rightbrace"} { | ||||
| incr bracesCounter -1 | ||||
| if {$bracesCounter == 0} { | ||||
| set state "waitingForIdentifier" | ||||
| } | ||||
| } | ||||
| } | ||||
| } | ||||
| } | ||||
| if {$keepMachine} { | ||||
| lappend machinesToKeep $m | ||||
| } | ||||
| } | ||||
| set machines $machinesToKeep | ||||
| set prev2 $prev1 | ||||
| set prev1 $type | ||||
| } | ||||
| } | ||||
