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 <- array[[1]]

y <- array[[10,20,30]]