DoubleIndexList (R-GReQL)

DoubleIndexList stellt den Wurzelknoten für Indizes eines Arrays dar. Der Knoten wird in der Abbildung in blau dargestellt.

y <- array[1]; z <- otherarray[[2]]

Der Knoten ist Teil der GReQL-Grammatik für den StaticRChecker.

Beispiel

y <- array1

y <- array10,20,30