Sobre asserções (assert) na linguagem de programação Java, analise as assertivas e assinale a alternativa que aponta a(s) correta(s).

I. Uma asserção é usada para verificar uma invariante, uma condição que deve ser sempre verdadeira está sendo executada desta maneira.

II. Tendo uma asserção constatada como falsa, então uma exceção será lançada.

III. A sintaxe de uma asserção é: assert expraval [: expr-detalhe]; - onde expr-aval é uma expressão boolean ou Boolean e expr-detalhe é uma expressão opcional que será passada para o construtor de AssertionError para ajudar a descrever oproblema.

IV. Asserções são normalmente usadas para assegurar que coisas que “não podem acontecer” sejam notificadas quando elas acontecem.