New-FLowChartGraph throw Object reference not set to an instance of an object.

[LaurentDardenne]

The following code based on a test of the switch statement raises an exception :

$sb={
    $grade = 92
    Switch ($Grade)
    {
        {$grade -ge 90} { "Grade A";Break}
        {$grade -ge 80} { "Grade B";Break}
        {$grade -ge 70} { "Grade C";Break}
        {$grade -ge 60} { "Grade D";Break}
        default { "Grade F" }
    }
}
$Result=Find-FLowChartNodes -ScriptBlock $Sb
New-FLowChartGraph  $Result > c:\temp\testIfWithSwitch.graph # <--------- BUG
C:\Tools\Graphviz\bin\dot -Tpng c:\temp\testIfWithSwitch.graph -o c:\temp\testIfWithSwitch.png
ii c:\temp\testIfWithSwitch.png

$stacktrace:

   at FlowChartCore.Graph.BreakBuilder.CreateSpecialEdge() in C:\Users\Laurent\Downloads\FlowChartCore\FlowChartCore-master\Code\Library\GraphBuilder\BreakBuilder.cs:line 59
   at FlowChartCore.Graph.BreakBuilder..ctor(BreakNode breaknode) in C:\Users\Laurent\Downloads\FlowChartCore\FlowChartCore-master\Code\Library\GraphBuilder\BreakBuilder.cs:line 22
   at FlowChartCore.BreakNode.GenerateGraph(Boolean recursive) in C:\Users\Laurent\Downloads\FlowChartCore\FlowChartCore-master\Code\Library\Nodes - Keywords\BreakNode.cs:line 41
   at FlowChartCore.SwitchCaseNode.GenerateGraph(Boolean recursive) in C:\Users\Laurent\Downloads\FlowChartCore\FlowChartCore-master\Code\Library\Nodes - Switch\SwitchCaseNode.cs:line 78
   at FlowChartCore.SwitchNode.GenerateGraph(Boolean recursive) in C:\Users\Laurent\Downloads\FlowChartCore\FlowChartCore-master\Code\Library\Nodes - Switch\SwitchNode.cs:line 66
   at FlowChartCore.Cmdlets.NewFlowChartGraph.ProcessRecord() in C:\Users\Laurent\Downloads\FlowChartCore\FlowChartCore-master\Code\Cmdlets\NewNodeGraph.cs:line 46
   at System.Management.Automation.CommandProcessor.ProcessRecord()

[LaurentDardenne]

Une autre construction dérivé, mais une autre exception :
New-FLowChartGraph: Index was out of range. Must be non-negative and less than the size of the collection. (Parameter 'index')

$sb={
   $grade = 92
   Switch ($Grade)
   {
       {$grade -ge 90} { "Grade A";Break}
       # {$grade -ge 80} { "Grade B";Break}
       # {$grade -ge 70} { "Grade C";Break}
       # {$grade -ge 60} { "Grade D";Break}
       # default { "Grade F" }
   }
}
$Result=Find-FLowChartNodes -ScriptBlock $Sb
New-FLowChartGraph  $Result > c:\temp\testIfWithSwitch.graph
C:\Tools\Graphviz\bin\dot -Tpng c:\temp\testIfWithSwitch.graph -o c:\temp\testIfWithSwitch.png
ii c:\temp\testIfWithSwitch.png

La suivante aboutie, mais la représentation est fausse il me semble:

$sb={
   $grade = 92
   Switch ($Grade)
   {
       {$grade -ge 90} { "Grade A";Break}
       # {$grade -ge 80} { "Grade B";Break}
       # {$grade -ge 70} { "Grade C";Break}
       # {$grade -ge 60} { "Grade D";Break}
        default { "Grade F" }
   }
   writelog "suite" #   !!!!!!!!  n'est pas considéré dans le graph  !!!!!!!!!!
}
del c:\temp\testIfWithSwitch.graphn, c:\temp\testIfWithSwitch.png -ea ignore
$Result=Find-FLowChartNodes -ScriptBlock $Sb
New-FLowChartGraph  $Result > c:\temp\testIfWithSwitch.graph
C:\Tools\Graphviz\bin\dot -Tpng c:\temp\testIfWithSwitch.graph -o c:\temp\testIfWithSwitch.png
ii c:\temp\testIfWithSwitch.png

[LxLeChat]

Super merci pour les exemple de code qui pose problème!
je sais que j'ai le problème dans un autre cas, je vais me pencher la dessus

Merci beaucoup pour les issues @LaurentDardenne !

[LxLeChat]

Normalement c'est fixé !
j'ai testé les 3 cas que tu m as présenté et tout semble OK.

[LaurentDardenne]

Ce cas n'est pas géré et déclenche la même exception :

$sb={
    $grade = 92
    if ($grade -ge 90) { "Grade A" }
    elseif ($grade -ge 80) { "Grade B"} #;Break}
    elseif ($grade -ge 70) { "Grade C"}
    elseif ($grade -ge 60) { "Grade D" }
    else { "Grade F"}
    writeLog "Suite"
    break
}
del c:\temp\testWithIF2.graph, c:\temp\testWithIF2.png -ea Ignore

Find-FLowChartNodes -ScriptBlock $Sb|New-FLowChartGraph 
#New-FLowChartGraph : La référence d'objet n'est pas définie à une instance d'un objet.
$stacktrace
<#
   à FlowChartCore.Graph.BreakBuilder.CreateSpecialEdge()
   à FlowChartCore.Graph.BreakBuilder..ctor(BreakNode breaknode)
   à FlowChartCore.BreakNode.GenerateGraph(Boolean recursive)
   à FlowChartCore.ElseIfNode.GenerateGraph(Boolean recursive)
   à FlowChartCore.IfNode.GenerateGraph(Boolean recursive)
   à FlowChartCore.Cmdlets.NewFlowChartGraph.ProcessRecord()
   à System.Management.Automation.CommandProcessor.ProcessRecord()
#>

La présence du break, peut importe sa position, déclenche l'exception.

En passant le libellé de fin devrait suivre le nom du paramètre :
-Scriptblock ->'end_of_scriptblock '
-path 'end_of_script'

[LaurentDardenne]

Du coup avec cette version on peut visualiser la comparaison entre les instructions If et Switch :

$sb={
    $grade = 92
    if ($grade -ge 90) { "Grade A" }
    elseif ($grade -ge 80) { "Grade B"} 
    elseif ($grade -ge 70) { "Grade C"}
    elseif ($grade -ge 60) { "Grade D" }
    else { "Grade F"}
    writeLog "Suite"
}
del c:\temp\testWithIF2.graph, c:\temp\testWithIF2.png -ea Ignore

Find-FLowChartNodes -ScriptBlock $Sb|New-FLowChartGraph |Set-Content c:\temp\testIF.graph
C:\Tools\Graphviz\bin\dot -Tpng c:\temp\testIf.graph -o c:\temp\testIf.png
ii c:\temp\testIf.png

$sb={
    $grade = 92
    Switch ($Grade)
    {
        {$grade -ge 90} { "Grade A"}
        {$grade -ge 80} { "Grade B"}
        {$grade -ge 70} { "Grade C"}
        {$grade -ge 60} { "Grade D"}
        default { "Grade F" }
    }
}
$Result=Find-FLowChartNodes -ScriptBlock $Sb
New-FLowChartGraph  $Result > c:\temp\testIfWithSwitch.graph
C:\Tools\Graphviz\bin\dot -Tpng c:\temp\testIfWithSwitch.graph -o c:\temp\testIfWithSwitch.png
ii c:\temp\testIfWithSwitch.png

Bien que le rendu soit différent, le 'fonctionnement' est identique.

[LxLeChat]

t as testé le break comme ça pour voir si ça balançait le même message d'erreur:

 Switch ($Grade)
    {
        {$grade -ge 90} { "Grade A";break}
        {$grade -ge 80} { "Grade B";break}
        {$grade -ge 70} { "Grade C";break}
        {$grade -ge 60} { "Grade D";break}
        default { "Grade F";break}
    }

je ne pense pas avoir gérer ce cas.
en gros je me suis basé la dessus: https://docs.microsoft.com/en-us/powershell/module/microsoft.powershell.core/about/about_break?view=powershell-7#do-not-use-break-outside-of-a-loop-switch-or-trap

je peux éventuellement le gérer si nécessaire, mais en gros ça fait quoi ? ça quitte ? un peu comme exit ou return ?

[LaurentDardenne]

Salut,

t as testé le break comme ça pour voir si ça balançait le même message d'erreur:

Oui, mais là il faut créer des fichiers de test pour vérifier les régressions, ça va vite avec ce genre d'outil.

Ce cas provoque une exception :

$sb={
    $grade = 92
    if ($grade -ge 90) { "Grade A" }
    elseif ($grade -ge 80) { "Grade B"} 
    elseif ($grade -ge 70) { "Grade C";break}
    elseif ($grade -ge 60) { "Grade D" }
    else { "Grade F"}
    writeLog "Suite"
}

Et celui-ci:

$sb={
    $grade = 92
    if ($grade -ge 90) { "Grade A" }
    elseif ($grade -ge 80) { "Grade B"} #;Break}
    elseif ($grade -ge 70) { "Grade C"}
    elseif ($grade -ge 60) { "Grade D" }
    else { "Grade F"}
    writeLog "Suite"
    break
}

ça quitte ? un peu comme exit ou return ?

Si tu parles bien de l'instruction Break ( j'ai un doute désolé) ?

je peux éventuellement le gérer si nécessaire,

Ici il peut y avoir 5 ou 6 constructions, avec ou sans sens, mais si le langage les permet, on peut les retrouver dans du code à la six-quatre-deux.
Ce n'est pas nécessaire, mais il est possible de le rencontrer, C'est un choix à faire.

[LxLeChat]

bon faut que je regarde ces cas .. je crois que je vais écrire des tests ça sera moins relou ...
un fichier contenant n scripblock, et un bon vieux tests pester dans une boucle qui ne doit pas throw ..

concernant le break ...le code de m... bah je vois 2 possibilités,

• la plus simple (je pense) ajouter le code nécessaire qui va générer le graph dans ce genre de cas, à savoir on quitte
• la plus complexe, quand le break n'est pas au "bon endroit" je le considère comme une instruction qui fait partie d'un code block

[LaurentDardenne]

bon faut que je regarde ces cas .. je crois que je vais écrire des tests ça sera moins relou ...

:-)

un fichier contenant n scriptblock, et un bon vieux tests pester dans une boucle qui ne doit pas throw ..

hum, tu peux vite te retrouver avec un paquet de code illisible et pour un cas précis tout exécuter et devoir aller chercher l'info.
Et tu as l'approche laborieuse où tu vas passer bcp de temps à écrire des tests.

* la plus simple (je pense) ajouter le code nécessaire qui va générer le graph dans ce genre de cas, à savoir on quitte

Tu veux dire on ajoute un noeud 'Break' ou on quitte l'analyse ?

* la plus complexe, quand le `break` n'est pas au "bon endroit" je le considère comme une instruction qui fait partie d'un code block

Si l'AST indique que la construction d'un break est syntaxiquement correct, il est au 'bon endroit'. Ce serait à PSSA de dire là c'est du code en vrac, ce que n'est pas ton soft.
Pour moi ce type de soft prend du code en entrée puis le transforme en graphe, que son rendu soit illisible/incohérent ce n'est pas le sujet. Avec n'importe quoi en entrée on a tjr n'importe quoi en sortie. On ne fait pas de l'alchimie :-)

Ces exemples sont bien évidement du n'importe quoi, mais ton soft ne devrait pas terminer sur une exception.
Le rendu peut être faux ou incomplet, à partir de là tu pourras dire "ça je gère pas, ceci est pour la version 7", voir placer un label "t'as qu'a le faire", etc

Je peux prendre un peu de temps pour étudier comment automatiser et structurer ce type de test.

[LxLeChat]

(note to self!) pour les break .. j'ai un fix, mais vu que pour moi ce genre de cas ... n'existait pas .. je n'ai jamais pensé à passer le root dans le constructeur des keywords break, return, exit ... du coup va falloir que je repasse sur chacun!

le fix ne fonctionne pas, car je ne troue pas l index du noeud, quand le type break est de niveau 0, car le root n'est pas présent .. !

[LxLeChat]

$sb={
    $grade = 92
    if ($grade -ge 90) { "Grade A" }
    elseif ($grade -ge 80) { "Grade B"} 
    elseif ($grade -ge 70) { "Grade C";break}
    elseif ($grade -ge 60) { "Grade D" }
    else { "Grade F"}
    writeLog "Suite"
}

et celui la:

$sb={
    $grade = 92
    if ($grade -ge 90) { "Grade A" }
    elseif ($grade -ge 80) { "Grade B"} #;Break}
    elseif ($grade -ge 70) { "Grade C"}
    elseif ($grade -ge 60) { "Grade D" }
    else { "Grade F"}
    writeLog "Suite"
    break
}

Modif faite pour Breajk. J'ai prépa le terrain pour ce que j'appelle les "keywords" continue, exit, return ... parce t as raison PS ne l interdit pas, j'aurai juste a implémenter les correction de la generation du graph pour ceux la

[LaurentDardenne]

Les images que tu as intégrées proviennent de la dernière version ?
J'ai une exception pour les deux (j'ai recompilé) :/