forked from tahiat/Issue689
-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy patherror.txt
83 lines (83 loc) · 6.46 KB
/
error.txt
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
error: SourceChecker.typeProcess: unexpected Throwable (AssertionError) while processing java/util/AbstractList.java
Compilation unit: java/util/AbstractList.java
Exception: java.lang.AssertionError; Stack trace: org.checkerframework.checker.guieffect.GuiEffectVisitor.visitMethodInvocation(GuiEffectVisitor.java:153)
org.checkerframework.checker.guieffect.GuiEffectVisitor.visitMethodInvocation(GuiEffectVisitor.java:35)
com.sun.tools.javac.tree.JCTree$JCMethodInvocation.accept(JCTree.java:1477)
com.sun.source.util.TreePathScanner.scan(TreePathScanner.java:68)
org.checkerframework.common.basetype.BaseTypeVisitor.scan(BaseTypeVisitor.java:269)
org.checkerframework.common.basetype.BaseTypeVisitor.scan(BaseTypeVisitor.java:169)
com.sun.source.util.TreeScanner.scanAndReduce(TreeScanner.java/Users/tahiatul/Documents/SPECIMEN/ISSUES/CF/cf-689/input/Issue689/error.txt:81)
com.sun.source.util.TreeScanner.visitVariable(TreeScanner.java:153)
org.checkerframework.common.basetype.BaseTypeVisitor.visitVariable(BaseTypeVisitor.java:848)
org.checkerframework.common.basetype.BaseTypeVisitor.visitVariable(BaseTypeVisitor.java:169)
com.sun.tools.javac.tree.JCTree$JCVariableDecl.accept(JCTree.java:864)
com.sun.source.util.TreePathScanner.scan(TreePathScanner.java:68)
org.checkerframework.common.basetype.BaseTypeVisitor.scan(BaseTypeVisitor.java:269)
org.checkerframework.common.basetype.BaseTypeVisitor.scan(BaseTypeVisitor.java:169)
com.sun.source.util.TreeScanner.scanAndReduce(TreeScanner.java:81)
com.sun.source.util.TreeScanner.scan(TreeScanner.java:91)
com.sun.source.util.TreeScanner.scanAndReduce(TreeScanner.java:99)
com.sun.source.util.TreeScanner.visitClass(TreeScanner.java:133)
org.checkerframework.common.basetype.BaseTypeVisitor.visitClass(BaseTypeVisitor.java:319)
org.checkerframework.checker.guieffect.GuiEffectVisitor.visitClass(GuiEffectVisitor.java:251)
org.checkerframework.checker.guieffect.GuiEffectVisitor.visitClass(GuiEffectVisitor.java:35)
com.sun.tools.javac.tree.JCTree$JCClassDecl.accept(JCTree.java:720)
com.sun.source.util.TreePathScanner.scan(TreePathScanner.java:68)
org.checkerframework.common.basetype.BaseTypeVisitor.scan(BaseTypeVisitor.java:269)
org.checkerframework.common.basetype.BaseTypeVisitor.scan(BaseTypeVisitor.java:169xx)
com.sun.source.util.TreeScanner.scanAndReduce(TreeScanner.java:81)
com.sun.source.util.TreeScanner.visitNewClass(TreeScanner.java:280)
org.checkerframework.common.basetype.BaseTypeVisitor.visitNewClass(BaseTypeVisitor.java:1248)
org.checkerframework.common.basetype.BaseTypeVisitor.visitNewClass(BaseTypeVisitor.java:169)
com.sun.tools.javac.tree.JCTree$JCNewClass.accept(JCTree.java:1532)
com.sun.source.util.TreePathScanner.scan(TreePathScanner.java:68)
org.checkerframework.common.basetype.BaseTypeVisitor.scan(BaseTypeVisitor.java:269)
org.checkerframework.common.basetype.BaseTypeVisitor.scan(BaseTypeVisitor.java:169)
com.sun.source.util.TreeScanner.visitReturn(TreeScanner.java:255)
org.checkerframework.common.basetype.BaseTypeVisitor.visitReturn(BaseTypeVisitor.java:1322)
org.checkerframework.common.basetype.BaseTypeVisitor.visitReturn(BaseTypeVisitor.java:169)
com.sun.tools.javac.tree.JCTree$JCReturn.accept(JCTree.java:1390)
com.sun.source.util.TreePathScanner.scan(TreePathScanner.java:68)
org.checkerframework.common.basetype.BaseTypeVisitor.scan(BaseTypeVisitor.java:269)
org.checkerframework.common.basetype.BaseTypeVisitor.scan(BaseTypeVisitor.java:169)
com.sun.source.util.TreeScanner.scanAndReduce(TreeScanner.java:81)
com.sun.source.util.TreeScanner.scan(TreeScanner.java:91)
com.sun.source.util.TreeScanner.visitBlock(TreeScanner.java:162)
com.sun.tools.javac.tree.JCTree$JCBlock.accept(JCTree.java:918)
com.sun.source.util.TreePathScanner.scan(TreePathScanner.java:68)
org.checkerframework.common.basetype.BaseTypeVisitor.scan(BaseTypeVisitor.java:269)
org.checkerframework.common.basetype.BaseTypeVisitor.scan(BaseTypeVisitor.java:169)
com.sun.source.util.TreeScanner.scanAndReduce(TreeScanner.java:81)
com.sun.source.util.TreeScanner.visitMethod(TreeScanner.java:144)
org.checkerframework.common.basetype.BaseTypeVisitor.visitMethod(BaseTypeVisitor.java:503)
org.checkerframework.checker.guieffect.GuiEffectVisitor.visitMethod(GuiEffectVisitor.java:227)
org.checkerframework.checker.guieffect.GuiEffectVisitor.visitMethod(GuiEffectVisitor.java:35)
com.sun.tools.javac.tree.JCTree$JCMethodDecl.accept(JCTree.java:800)
com.sun.source.util.TreePathScanner.scan(TreePathScanner.java:68)
org.checkerframework.common.basetype.BaseTypeVisitor.scan(BaseTypeVisitor.java:269)
org.checkerframework.common.basetype.BaseTypeVisitor.scan(BaseTypeVisitor.java:169)
com.sun.source.util.TreeScanner.scanAndReduce(TreeScanner.java:81)
com.sun.source.util.TreeScanner.scan(TreeScanner.java:91)
com.sun.source.util.TreeScanner.scanAndReduce(TreeScanner.java:99)
com.sun.source.util.TreeScanner.visitClass(TreeScanner.java:133)
org.checkerframework.common.basetype.BaseTypeVisitor.visitClass(BaseTypeVisitor.java:319)
org.checkerframework.checker.guieffect.GuiEffectVisitor.visitClass(GuiEffectVisitor.java:251)
org.checkerframework.checker.guieffect.GuiEffectVisitor.visitClass(GuiEffectVisitor.java:35)
com.sun.tools.javac.tree.JCTree$JCClassDecl.accept(JCTree.java:720)
com.sun.source.util.TreePathScanner.scan(TreePathScanner.java:50)
org.checkerframework.framework.source.SourceVisitor.visit(SourceVisitor.java:70)
org.checkerframework.framework.source.SourceChecker.typeProcess(SourceChecker.java:936)
org.checkerframework.common.basetype.BaseTypeChecker.typeProcess(BaseTypeChecker.java:447)
org.checkerframework.javacutil.AbstractTypeProcessor$AttributionTaskListener.finished(AbstractTypeProcessor.java:205)
com.sun.tools.javac.api.ClientCodeWrapper$WrappedTaskListener.finished(ClientCodeWrapper.java:681)
com.sun.tools.javac.api.MultiTaskListener.finished(MultiTaskListener.java:111)
com.sun.tools.javac.main.JavaCompiler.flow(JavaCompiler.java:1342)
com.sun.tools.javac.main.JavaCompiler.flow(JavaCompiler.java:1296)
com.sun.tools.javac.main.JavaCompiler.compile2(JavaCompiler.java:901)
com.sun.tools.javac.main.JavaCompiler.compile(JavaCompiler.java:860)
com.sun.tools.javac.main.Main.compile(Main.java:523)
com.sun.tools.javac.main.Main.compile(Main.java:381)
com.sun.tools.javac.main.Main.compile(Main.java:370)
com.sun.tools.javac.main.Main.compile(Main.java:361)
com.sun.tools.javac.Main.compile(Main.java:56)
com.sun.tools.javac.Main.main(Main.java:42)