protected void _computeTypes ( SarlAssertExpression object , ITypeComputationState state ) { state . withExpectation ( getTypeForName ( Boolean . class , state ) ) . computeTypes ( object . getCondition ( ) ) ; }
Compute the type of an assert expression .