[Checkers] Exception in checker's API

[Artemus Harper]

I just found out this only happens if I put UniqueList as the first source
file in the compilation list. If I do ListTest followed by UniqueList it
works fine.

On Thu, Sep 4, 2008 at 1:12 PM, Artemus Harper <subanark at gmail.com> wrote:

> Its attached
>
>
> On Thu, Sep 4, 2008 at 12:50 PM, Mahmood Ali <mahmood at mit.edu> wrote:
>
>> Greetings Artemus,
>>
>> Unfortunately, I cannot replicate your finding when only using the
>> provided snippets.  Can you please send me your UniqueList code?
>>
>> Regards,
>> Mahmood
>>
>>
>> On Sep 4, 2008, at 3:10 PM, Artemus Harper wrote:
>>
>>  I am getting an illegal argument: LOCAL_VARIABLE in
>>> TypeFromElement.annotate method which is invoked as a result of calling
>>> AnnotatedTypeFactory.methodFromUse.
>>> Part of the processed file:
>>>        @Unique("{T}") UniqueList<String> list = new UniqueList<String>();
>>>        @Unique String s1 = new String("s1");
>>>        list.add( (@Unique String) s1); //<--- this line
>>>
>>> where list.add is:
>>>    public synchronized void add(@Unique("T") T item) @NoEscape
>>>    {
>>>        ensureCapasity(size + 1);
>>>        items.set(size++, (@Unique("T") T) item);
>>>    }
>>>
>>> I only get this error when I invoke add from a different source file.
>>>
>>> Stack trace:
>>> Caused by: java.lang.IllegalArgumentException: illegal argument:
>>> LOCAL_VARIABLE
>>>    at checkers.types.TypeFromElement.annotate(TypeFromElement.java:98)
>>>    at
>>> checkers.types.AnnotatedTypeFactory.fromElement(AnnotatedTypeFactory.java:248)
>>>    at
>>> checkers.types.AnnotatedTypeFactory.getAnnotatedType(AnnotatedTypeFactory.java:146)
>>>    at
>>> checkers.types.AnnotatedTypes.asMemberOfImpl(AnnotatedTypes.java:272)
>>>    at checkers.types.AnnotatedTypes.asMemberOf(AnnotatedTypes.java:239)
>>>    at
>>> checkers.types.TypeFromTree$TypeFromExpression.visitIdentifier(TypeFromTree.java:154)
>>>    at
>>> checkers.types.TypeFromTree$TypeFromExpression.visitIdentifier(TypeFromTree.java:58)
>>>    at com.sun.tools.javac.tree.JCTree$JCIdent.accept(JCTree.java:1698)
>>>    at
>>> com.sun.source.util.SimpleTreeVisitor.visit(SimpleTreeVisitor.java:52)
>>>    at
>>> checkers.types.AnnotatedTypeFactory.fromTreeWithVisitor(AnnotatedTypeFactory.java:355)
>>>    at
>>> checkers.types.AnnotatedTypeFactory.fromExpression(AnnotatedTypeFactory.java:306)
>>>    at
>>> checkers.types.AnnotatedTypeFactory.getAnnotatedType(AnnotatedTypeFactory.java:193)
>>>    at
>>> checkers.types.AnnotatedTypeFactory.getAnnotatedType(AnnotatedTypeFactory.java:735)
>>>    at
>>> checkers.types.AnnotatedTypeFactory.getReceiver(AnnotatedTypeFactory.java:601)
>>>    at
>>> checkers.escape.EscapeAnnotatedTypeFactory.methodFromUse(EscapeAnnotatedTypeFactory.java:199)
>>> <-- I get this error even when I don't override this method
>>>    at
>>> checkers.basetype.BaseTypeVisitor.visitMethodInvocation(BaseTypeVisitor.java:266)
>>>    at
>>> com.sun.tools.javac.tree.JCTree$JCMethodInvocation.accept(JCTree.java:1312)
>>>    at com.sun.source.util.TreePathScanner.scan(TreePathScanner.java:67)
>>>    at checkers.basetype.BaseTypeVisitor.scan(BaseTypeVisitor.java:110)
>>>    at
>>> com.sun.source.util.TreeScanner.visitExpressionStatement(TreeScanner.java:239)
>>>    at
>>> com.sun.tools.javac.tree.JCTree$JCExpressionStatement.accept(JCTree.java:1152)
>>>    at com.sun.source.util.TreePathScanner.scan(TreePathScanner.java:67)
>>>    at checkers.basetype.BaseTypeVisitor.scan(BaseTypeVisitor.java:110)
>>>    at com.sun.source.util.TreeScanner.scanAndReduce(TreeScanner.java:80)
>>>    at com.sun.source.util.TreeScanner.scan(TreeScanner.java:90)
>>>    at com.sun.source.util.TreeScanner.visitBlock(TreeScanner.java:159)
>>>    at com.sun.tools.javac.tree.JCTree$JCBlock.accept(JCTree.java:778)
>>>    at com.sun.source.util.TreePathScanner.scan(TreePathScanner.java:67)
>>>    at checkers.basetype.BaseTypeVisitor.scan(BaseTypeVisitor.java:110)
>>>    at com.sun.source.util.TreeScanner.scanAndReduce(TreeScanner.java:80)
>>>    at com.sun.source.util.TreeScanner.visitMethod(TreeScanner.java:143)
>>>    at
>>> checkers.basetype.BaseTypeVisitor.visitMethod(BaseTypeVisitor.java:184)
>>>    at
>>> com.sun.tools.javac.tree.JCTree$JCMethodDecl.accept(JCTree.java:678)
>>>    at com.sun.source.util.TreePathScanner.scan(TreePathScanner.java:67)
>>>    at checkers.basetype.BaseTypeVisitor.scan(BaseTypeVisitor.java:110)
>>>    at com.sun.source.util.TreeScanner.scanAndReduce(TreeScanner.java:80)
>>>    at com.sun.source.util.TreeScanner.scan(TreeScanner.java:90)
>>>    at com.sun.source.util.TreeScanner.scanAndReduce(TreeScanner.java:98)
>>>    at com.sun.source.util.TreeScanner.visitClass(TreeScanner.java:132)
>>>    at
>>> checkers.basetype.BaseTypeVisitor.visitClass(BaseTypeVisitor.java:127)
>>>    at com.sun.tools.javac.tree.JCTree$JCClassDecl.accept(JCTree.java:601)
>>>    at com.sun.source.util.TreePathScanner.scan(TreePathScanner.java:49)
>>>    at checkers.source.SourceChecker.process(SourceChecker.java:199)
>>> --
>>> Artemus Harper
>>> _______________________________________________
>>> checkers mailing list
>>> checkers at lists.csail.mit.edu
>>> https://lists.csail.mit.edu/mailman/listinfo/checkers
>>>
>>
>>
>
>
> --
> Artemus Harper
>



-- 
Artemus Harper
-------------- next part --------------
An HTML attachment was scrubbed...
URL: https://lists.csail.mit.edu/mailman/private/checkers/attachments/20080904/3eec71c8/attachment.htm