search

lovubuntu / checker-framework

Automatically exported from code.google.com/p/checker-framework
0 stars 0 forks source link

Improve error message when user provides an incorrect -Aquals command-line argument #318

Closed GoogleCodeExporter closed 9 years ago

GoogleCodeExporter commented 9 years ago 
The error that a user reported at
https://groups.google.com/forum/#!topic/checker-framework-discuss/5EvB4tIwR2U
was the user's fault for providing an incorrect -Aquals command-line argument

Nonetheless, the Checker Framework's error message should have been clearer.  
The Checker Framework should be enhanced to give an early and specific error 
message (and not one referring to Checker Framework internals) when the user 
provides a wrong -Aquals command-line argument.

Original issue reported on code.google.com by mer...@cs.washington.edu on 16 Apr 2014 at 3:41

GoogleCodeExporter commented 9 years ago 
The specific error message that the user received was:

error: SourceChecker.typeProcess: unexpected Throwable (AssertionError) while 
processing encrypted\EncryptionDemo.java; message: 
QualifierHierarchy.leastUpperBounds: tried to determine LUB with empty sets!; 
invoke the compiler with -AprintErrorStack to see the stack trace.

Original comment by michael.ernst@gmail.com on 26 May 2014 at 3:31

GoogleCodeExporter commented 9 years ago 
See this commit: 
https://code.google.com/p/checker-framework/source/detail?r=136eb821630ceeebb7c5
accbda01c81ec999ad0a

Original comment by michael.ernst@gmail.com on 27 May 2014 at 1:12

GoogleCodeExporter commented 9 years ago

Original comment by jtha...@cs.washington.edu on 3 Jun 2014 at 12:47