/**
 * @name Test for array creations
 */

import csharp

from Assignment a, ArrayCreation e, ArrayInitializer i
where
  a.getLValue().(VariableAccess).getTarget().hasName("is2") and
  e = a.getRValue() and
  not e.isImplicitlyTyped() and
  i = e.getInitializer() and
  e.getNumberOfLengthArguments() = 2 and
  e.getLengthArgument(0).getValue() = "3" and
  e.getLengthArgument(1).getValue() = "2" and
  e.getArrayType().getDimension() = 1 and
  e.getArrayType().getRank() = 2 and
  e.getArrayType().getElementType() instanceof IntType and
  i.getNumberOfElements() = 3 and
  i.getElement(0).(ArrayInitializer).getNumberOfElements() = 2 and
  i.getElement(2).(ArrayInitializer).getElement(1).getValue() = "5"
select e, i