@ArrayNotEmpty() // Checks if given array is not empty.