What is the risk of disabling these checks?

On Friday, 3 February 2017 14:33:34 UTC+1, Bruno Salmon wrote:
>
> Thank you Thomas, <set-property name="jre.checks.checkLevel" 
> value="MINIMAL" /> in my gwt.xml file works :-)
>
> On Friday, 3 February 2017 13:47:57 UTC+1, Thomas Broyer wrote:
>>
>> This is 
>> https://github.com/gwtproject/gwt/blob/2.8.0/user/super/com/google/gwt/emul/javaemul/internal/InternalPreconditions.java
>> The javadoc and first few lines of the class tells it all (note that 
>> System.getProperty is the emulated one here, so the properties are from 
>> your gwt.xml files, not the JVM System properties when calling the GWT 
>> compiler)
>> FWIW, the properties (and their default value) are defined in 
>> https://github.com/gwtproject/gwt/blob/2.8.0/user/super/com/google/gwt/emul/Preconditions.gwt.xml
>>
>> On Friday, February 3, 2017 at 12:47:00 PM UTC+1, Bruno Salmon wrote:
>>>
>>> hi,
>>>
>>> I heard that the GWT 2.8 check system is strippable (source: 
>>> https://www.youtube.com/watch?v=P4VhPck5s_g&t=1337s).
>>>
>>> By defaut the check level would be normal, which means that the 
>>> generated js code will do all checks (such as collections bounds checks, 
>>> API usage checks, java type checks, ...). But if we are confident that the 
>>> application successfully passes all checks, it seems possible to reduce 
>>> that check level from normal to optimized or minimal and get a smaller and 
>>> faster compiled production code.
>>>
>>> I haven't found any documentation about this feature, not sure it is 
>>> actually documented.
>>>
>>> Does anybody know how to tell the GWT compiler to change that check 
>>> level?
>>>
>>

-- 
You received this message because you are subscribed to the Google Groups "GWT 
Users" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to [email protected].
To post to this group, send email to [email protected].
Visit this group at https://groups.google.com/group/google-web-toolkit.
For more options, visit https://groups.google.com/d/optout.

Reply via email to