API tools faq
paste
Sagar2018

checker.compiler

Sagar2018
Mar 25th, 2018
84
0
Never
Add comment
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
C++ 20.49 KB | None | 0 0
raw download clone embed print report
  1. AbstractNullnessChecker.java:6: error: package org.checkerframework.checker.initialization does not exist
  2. import org.checkerframework.checker.initialization.InitializationChecker;
  3.                                                   ^
  4. AbstractNullnessChecker.java:8: error: package org.checkerframework.common.basetype does not exist
  5. import org.checkerframework.common.basetype.BaseTypeChecker;
  6.                                            ^
  7. AbstractNullnessChecker.java:9: error: package org.checkerframework.common.basetype does not exist
  8. import org.checkerframework.common.basetype.BaseTypeVisitor;
  9.                                            ^
  10. AbstractNullnessChecker.java:10: error: package org.checkerframework.framework.source does not exist
  11. import org.checkerframework.framework.source.SupportedLintOptions;
  12.                                             ^
  13. AbstractNullnessChecker.java:32: error: cannot find symbol
  14. public abstract class AbstractNullnessChecker extends InitializationChecker {
  15.                                                       ^
  16.   symbol: class InitializationChecker
  17. AbstractNullnessChecker.java:19: error: cannot find symbol
  18. @SupportedLintOptions({
  19.  ^
  20.   symbol: class SupportedLintOptions
  21. AbstractNullnessChecker.java:61: error: cannot find symbol
  22.     protected LinkedHashSet<Class<? extends BaseTypeChecker>> getImmediateSubcheckerClasses() {
  23.                                             ^
  24.   symbol:   class BaseTypeChecker
  25.   location: class AbstractNullnessChecker
  26. AbstractNullnessChecker.java:76: error: cannot find symbol
  27.     protected BaseTypeVisitor<?> createSourceVisitor() {
  28.               ^
  29.   symbol:   class BaseTypeVisitor
  30.   location: class AbstractNullnessChecker
  31. CollectionToArrayHeuristics.java:3: error: package com.sun.source.tree does not exist
  32. import com.sun.source.tree.MemberSelectTree;
  33.                           ^
  34. CollectionToArrayHeuristics.java:4: error: package com.sun.source.tree does not exist
  35. import com.sun.source.tree.MethodInvocationTree;
  36.                           ^
  37. CollectionToArrayHeuristics.java:5: error: package com.sun.source.tree does not exist
  38. import com.sun.source.tree.NewArrayTree;
  39.                           ^
  40. CollectionToArrayHeuristics.java:6: error: package com.sun.source.tree does not exist
  41. import com.sun.source.tree.Tree;
  42.                           ^
  43. CollectionToArrayHeuristics.java:11: error: package org.checkerframework.framework.type does not exist
  44. import org.checkerframework.framework.type.AnnotatedTypeMirror;
  45.                                           ^
  46. CollectionToArrayHeuristics.java:12: error: package org.checkerframework.framework.type.AnnotatedTypeMirror does not exist
  47. import org.checkerframework.framework.type.AnnotatedTypeMirror.AnnotatedArrayType;
  48.                                                               ^
  49. CollectionToArrayHeuristics.java:13: error: package org.checkerframework.framework.type.AnnotatedTypeMirror does not exist
  50. import org.checkerframework.framework.type.AnnotatedTypeMirror.AnnotatedDeclaredType;
  51.                                                               ^
  52. CollectionToArrayHeuristics.java:14: error: package org.checkerframework.framework.type.AnnotatedTypeMirror does not exist
  53. import org.checkerframework.framework.type.AnnotatedTypeMirror.AnnotatedExecutableType;
  54.                                                               ^
  55. CollectionToArrayHeuristics.java:15: error: package org.checkerframework.framework.util does not exist
  56. import org.checkerframework.framework.util.AnnotatedTypes;
  57.                                           ^
  58. CollectionToArrayHeuristics.java:16: error: package org.checkerframework.javacutil does not exist
  59. import org.checkerframework.javacutil.TreeUtils;
  60.                                      ^
  61. NullnessAnnotatedTypeFactory.java:3: error: package com.sun.source.tree does not exist
  62. import com.sun.source.tree.BinaryTree;
  63.                           ^
  64. NullnessAnnotatedTypeFactory.java:4: error: package com.sun.source.tree does not exist
  65. import com.sun.source.tree.CompoundAssignmentTree;
  66.                           ^
  67. NullnessAnnotatedTypeFactory.java:5: error: package com.sun.source.tree does not exist
  68. import com.sun.source.tree.IdentifierTree;
  69.                           ^
  70. NullnessAnnotatedTypeFactory.java:6: error: package com.sun.source.tree does not exist
  71. import com.sun.source.tree.MemberSelectTree;
  72.                           ^
  73. NullnessAnnotatedTypeFactory.java:7: error: package com.sun.source.tree does not exist
  74. import com.sun.source.tree.MethodInvocationTree;
  75.                           ^
  76. NullnessAnnotatedTypeFactory.java:8: error: package com.sun.source.tree does not exist
  77. import com.sun.source.tree.MethodTree;
  78.                           ^
  79. NullnessAnnotatedTypeFactory.java:9: error: package com.sun.source.tree does not exist
  80. import com.sun.source.tree.NewClassTree;
  81.                           ^
  82. NullnessAnnotatedTypeFactory.java:10: error: package com.sun.source.tree does not exist
  83. import com.sun.source.tree.ReturnTree;
  84.                           ^
  85. NullnessAnnotatedTypeFactory.java:11: error: package com.sun.source.tree does not exist
  86. import com.sun.source.tree.Tree;
  87.                           ^
  88. NullnessAnnotatedTypeFactory.java:12: error: package com.sun.source.tree does not exist
  89. import com.sun.source.tree.UnaryTree;
  90.                           ^
  91. NullnessAnnotatedTypeFactory.java:13: error: package com.sun.source.tree does not exist
  92. import com.sun.source.tree.VariableTree;
  93.                           ^
  94. NullnessAnnotatedTypeFactory.java:14: error: package com.sun.source.util does not exist
  95. import com.sun.source.util.TreePath;
  96.                           ^
  97. NullnessAnnotatedTypeFactory.java:27: error: package org.checkerframework.checker.initialization does not exist
  98. import org.checkerframework.checker.initialization.InitializationAnnotatedTypeFactory;
  99.                                                   ^
  100. NullnessAnnotatedTypeFactory.java:38: error: package org.checkerframework.common.basetype does not exist
  101. import org.checkerframework.common.basetype.BaseTypeChecker;
  102.                                            ^
  103. NullnessAnnotatedTypeFactory.java:39: error: package org.checkerframework.framework.flow does not exist
  104. import org.checkerframework.framework.flow.CFAbstractAnalysis;
  105.                                           ^
  106. NullnessAnnotatedTypeFactory.java:41: error: package org.checkerframework.framework.type does not exist
  107. import org.checkerframework.framework.type.AnnotatedTypeFactory;
  108.                                           ^
  109. NullnessAnnotatedTypeFactory.java:42: error: package org.checkerframework.framework.type does not exist
  110. import org.checkerframework.framework.type.AnnotatedTypeFormatter;
  111.                                           ^
  112. NullnessAnnotatedTypeFactory.java:43: error: package org.checkerframework.framework.type does not exist
  113. import org.checkerframework.framework.type.AnnotatedTypeMirror;
  114.                                           ^
  115. NullnessAnnotatedTypeFactory.java:44: error: package org.checkerframework.framework.type.AnnotatedTypeMirror does not exist
  116. import org.checkerframework.framework.type.AnnotatedTypeMirror.AnnotatedDeclaredType;
  117.                                                               ^
  118. NullnessAnnotatedTypeFactory.java:45: error: package org.checkerframework.framework.type.AnnotatedTypeMirror does not exist
  119. import org.checkerframework.framework.type.AnnotatedTypeMirror.AnnotatedExecutableType;
  120.                                                               ^
  121. NullnessAnnotatedTypeFactory.java:46: error: package org.checkerframework.framework.type.AnnotatedTypeMirror does not exist
  122. import org.checkerframework.framework.type.AnnotatedTypeMirror.AnnotatedWildcardType;
  123.                                                               ^
  124. NullnessAnnotatedTypeFactory.java:47: error: package org.checkerframework.framework.type does not exist
  125. import org.checkerframework.framework.type.QualifierHierarchy;
  126.                                           ^
  127. NullnessAnnotatedTypeFactory.java:48: error: package org.checkerframework.framework.type.treeannotator does not exist
  128. import org.checkerframework.framework.type.treeannotator.ImplicitsTreeAnnotator;
  129.                                                         ^
  130. NullnessAnnotatedTypeFactory.java:49: error: package org.checkerframework.framework.type.treeannotator does not exist
  131. import org.checkerframework.framework.type.treeannotator.ListTreeAnnotator;
  132.                                                         ^
  133. NullnessAnnotatedTypeFactory.java:50: error: package org.checkerframework.framework.type.treeannotator does not exist
  134. import org.checkerframework.framework.type.treeannotator.PropagationTreeAnnotator;
  135.                                                         ^
  136. NullnessAnnotatedTypeFactory.java:51: error: package org.checkerframework.framework.type.treeannotator does not exist
  137. import org.checkerframework.framework.type.treeannotator.TreeAnnotator;
  138.                                                         ^
  139. NullnessAnnotatedTypeFactory.java:52: error: package org.checkerframework.framework.type.typeannotator does not exist
  140. import org.checkerframework.framework.type.typeannotator.ImplicitsTypeAnnotator;
  141.                                                         ^
  142. NullnessAnnotatedTypeFactory.java:53: error: package org.checkerframework.framework.type.typeannotator does not exist
  143. import org.checkerframework.framework.type.typeannotator.ListTypeAnnotator;
  144.                                                         ^
  145. NullnessAnnotatedTypeFactory.java:54: error: package org.checkerframework.framework.type.typeannotator does not exist
  146. import org.checkerframework.framework.type.typeannotator.PropagationTypeAnnotator;
  147.                                                         ^
  148. NullnessAnnotatedTypeFactory.java:55: error: package org.checkerframework.framework.type.typeannotator does not exist
  149. import org.checkerframework.framework.type.typeannotator.TypeAnnotator;
  150.                                                         ^
  151. NullnessAnnotatedTypeFactory.java:56: error: package org.checkerframework.framework.util does not exist
  152. import org.checkerframework.framework.util.AnnotatedTypes;
  153.                                           ^
  154. NullnessAnnotatedTypeFactory.java:57: error: package org.checkerframework.framework.util.MultiGraphQualifierHierarchy does not exist
  155. import org.checkerframework.framework.util.MultiGraphQualifierHierarchy.MultiGraphFactory;
  156.                                                                        ^
  157. NullnessAnnotatedTypeFactory.java:58: error: package org.checkerframework.javacutil does not exist
  158. import org.checkerframework.javacutil.AnnotationBuilder;
  159.                                      ^
  160. NullnessAnnotatedTypeFactory.java:59: error: package org.checkerframework.javacutil does not exist
  161. import org.checkerframework.javacutil.AnnotationUtils;
  162.                                      ^
  163. NullnessAnnotatedTypeFactory.java:60: error: package org.checkerframework.javacutil does not exist
  164. import org.checkerframework.javacutil.ElementUtils;
  165.                                      ^
  166. NullnessAnnotatedTypeFactory.java:61: error: package org.checkerframework.javacutil does not exist
  167. import org.checkerframework.javacutil.Pair;
  168.                                      ^
  169. NullnessAnnotatedTypeFactory.java:62: error: package org.checkerframework.javacutil does not exist
  170. import org.checkerframework.javacutil.TreeUtils;
  171.                                      ^
  172. NullnessAnnotatedTypeFactory.java:63: error: package org.checkerframework.javacutil does not exist
  173. import org.checkerframework.javacutil.TypesUtils;
  174.                                      ^
  175. NullnessAnnotatedTypeFactory.java:67: error: cannot find symbol
  176.         extends InitializationAnnotatedTypeFactory<
  177.                 ^
  178.   symbol: class InitializationAnnotatedTypeFactory
  179. NullnessValue.java:8: error: package org.checkerframework.framework.flow does not exist
  180. import org.checkerframework.framework.flow.CFAbstractAnalysis;
  181.                                           ^
  182. NullnessValue.java:9: error: package org.checkerframework.framework.flow does not exist
  183. import org.checkerframework.framework.flow.CFAbstractValue;
  184.                                           ^
  185. NullnessValue.java:10: error: package org.checkerframework.framework.flow does not exist
  186. import org.checkerframework.framework.flow.CFValue;
  187.                                           ^
  188. NullnessValue.java:16: error: cannot find symbol
  189. public class NullnessValue extends CFAbstractValue<NullnessValue> {
  190.                                    ^
  191.   symbol: class CFAbstractValue
  192. NullnessStore.java:3: error: cannot find symbol
  193. import org.checkerframework.checker.initialization.InitializationStore;
  194.                                                   ^
  195.   symbol:   class InitializationStore
  196.   location: package org.checkerframework.checker.initialization
  197. NullnessStore.java:6: error: package org.checkerframework.dataflow.cfg does not exist
  198. import org.checkerframework.dataflow.cfg.CFGVisualizer;
  199.                                         ^
  200. NullnessStore.java:7: error: package org.checkerframework.framework.flow does not exist
  201. import org.checkerframework.framework.flow.CFAbstractAnalysis;
  202.                                           ^
  203. NullnessStore.java:8: error: package org.checkerframework.framework.flow does not exist
  204. import org.checkerframework.framework.flow.CFAbstractStore;
  205.                                           ^
  206. NullnessStore.java:14: error: cannot find symbol
  207. public class NullnessStore extends InitializationStore<NullnessValue, NullnessStore> {
  208.                                    ^
  209.   symbol: class InitializationStore
  210. NullnessTransfer.java:3: error: package com.sun.source.tree does not exist
  211. import com.sun.source.tree.ExpressionTree;
  212.                           ^
  213. NullnessTransfer.java:4: error: package com.sun.source.tree does not exist
  214. import com.sun.source.tree.MethodInvocationTree;
  215.                           ^
  216. NullnessTransfer.java:11: error: cannot find symbol
  217. import org.checkerframework.checker.initialization.InitializationTransfer;
  218.                                                   ^
  219.   symbol:   class InitializationTransfer
  220.   location: package org.checkerframework.checker.initialization
  221. NullnessTransfer.java:15: error: package org.checkerframework.common.basetype does not exist
  222. import org.checkerframework.common.basetype.BaseTypeChecker;
  223.                                            ^
  224. NullnessTransfer.java:16: error: package org.checkerframework.dataflow.analysis does not exist
  225. import org.checkerframework.dataflow.analysis.ConditionalTransferResult;
  226.                                              ^
  227. NullnessTransfer.java:17: error: package org.checkerframework.dataflow.analysis does not exist
  228. import org.checkerframework.dataflow.analysis.FlowExpressions;
  229.                                              ^
  230. NullnessTransfer.java:18: error: package org.checkerframework.dataflow.analysis.FlowExpressions does not exist
  231. import org.checkerframework.dataflow.analysis.FlowExpressions.Receiver;
  232.                                                              ^
  233. NullnessTransfer.java:19: error: package org.checkerframework.dataflow.analysis does not exist
  234. import org.checkerframework.dataflow.analysis.RegularTransferResult;
  235.                                              ^
  236. NullnessTransfer.java:20: error: package org.checkerframework.dataflow.analysis does not exist
  237. import org.checkerframework.dataflow.analysis.TransferInput;
  238.                                              ^
  239. NullnessTransfer.java:21: error: package org.checkerframework.dataflow.analysis does not exist
  240. import org.checkerframework.dataflow.analysis.TransferResult;
  241.                                              ^
  242. NullnessTransfer.java:22: error: package org.checkerframework.dataflow.cfg.node does not exist
  243. import org.checkerframework.dataflow.cfg.node.ArrayAccessNode;
  244.                                              ^
  245. NullnessTransfer.java:23: error: package org.checkerframework.dataflow.cfg.node does not exist
  246. import org.checkerframework.dataflow.cfg.node.FieldAccessNode;
  247.                                              ^
  248. NullnessTransfer.java:24: error: package org.checkerframework.dataflow.cfg.node does not exist
  249. import org.checkerframework.dataflow.cfg.node.InstanceOfNode;
  250.                                              ^
  251. NullnessTransfer.java:25: error: package org.checkerframework.dataflow.cfg.node does not exist
  252. import org.checkerframework.dataflow.cfg.node.MethodAccessNode;
  253.                                              ^
  254. NullnessTransfer.java:26: error: package org.checkerframework.dataflow.cfg.node does not exist
  255. import org.checkerframework.dataflow.cfg.node.MethodInvocationNode;
  256.                                              ^
  257. NullnessTransfer.java:27: error: package org.checkerframework.dataflow.cfg.node does not exist
  258. import org.checkerframework.dataflow.cfg.node.Node;
  259.                                              ^
  260. NullnessTransfer.java:28: error: package org.checkerframework.dataflow.cfg.node does not exist
  261. import org.checkerframework.dataflow.cfg.node.NullLiteralNode;
  262.                                              ^
  263. NullnessTransfer.java:29: error: package org.checkerframework.dataflow.cfg.node does not exist
  264. import org.checkerframework.dataflow.cfg.node.ReturnNode;
  265.                                              ^
  266. NullnessTransfer.java:30: error: package org.checkerframework.dataflow.cfg.node does not exist
  267. import org.checkerframework.dataflow.cfg.node.ThrowNode;
  268.                                              ^
  269. NullnessTransfer.java:31: error: package org.checkerframework.framework.flow does not exist
  270. import org.checkerframework.framework.flow.CFAbstractStore;
  271.                                           ^
  272. NullnessTransfer.java:33: error: package org.checkerframework.framework.type does not exist
  273. import org.checkerframework.framework.type.AnnotatedTypeMirror;
  274.                                           ^
  275. NullnessTransfer.java:34: error: package org.checkerframework.framework.type.AnnotatedTypeMirror does not exist
  276. import org.checkerframework.framework.type.AnnotatedTypeMirror.AnnotatedExecutableType;
  277.                                                               ^
  278. NullnessTransfer.java:35: error: package org.checkerframework.javacutil does not exist
  279. import org.checkerframework.javacutil.AnnotationBuilder;
  280.                                      ^
  281. NullnessTransfer.java:36: error: package org.checkerframework.javacutil does not exist
  282. import org.checkerframework.javacutil.AnnotationUtils;
  283.                                      ^
  284. NullnessTransfer.java:37: error: package org.checkerframework.javacutil does not exist
  285. import org.checkerframework.javacutil.TreeUtils;
  286.                                      ^
  287. NullnessTransfer.java:51: error: cannot find symbol
  288.         extends InitializationTransfer<NullnessValue, NullnessTransfer, NullnessStore> {
  289.                 ^
  290.   symbol: class InitializationTransfer
  291. NullnessAnalysis.java:8: error: package org.checkerframework.common.basetype does not exist
  292. import org.checkerframework.common.basetype.BaseTypeChecker;
  293.                                            ^
  294. NullnessAnalysis.java:9: error: package org.checkerframework.framework.flow does not exist
  295. import org.checkerframework.framework.flow.CFAbstractAnalysis;
  296.                                           ^
  297. NullnessAnalysis.java:10: error: package org.checkerframework.framework.flow does not exist
  298. import org.checkerframework.framework.flow.CFAbstractValue;
  299.                                           ^
  300. NullnessAnalysis.java:11: error: package org.checkerframework.javacutil does not exist
  301. import org.checkerframework.javacutil.Pair;
  302.                                      ^
  303. NullnessAnalysis.java:18: error: cannot find symbol
  304.         extends CFAbstractAnalysis<NullnessValue, NullnessStore, NullnessTransfer> {
  305.                 ^
  306.   symbol: class CFAbstractAnalysis
  307. CollectionToArrayHeuristics.java:63: error: cannot find symbol
  308.     private final AnnotatedDeclaredType collectionType;
  309.                   ^
  310.   symbol:   class AnnotatedDeclaredType
  311.   location: class CollectionToArrayHeuristics
  312. CollectionToArrayHeuristics.java:89: error: cannot find symbol
  313.     public void handle(MethodInvocationTree tree, AnnotatedExecutableType method) {
  314.                        ^
  315.   symbol:   class MethodInvocationTree
  316.   location: class CollectionToArrayHeuristics
  317. CollectionToArrayHeuristics.java:89: error: cannot find symbol
  318.     public void handle(MethodInvocationTree tree, AnnotatedExecutableType method) {
  319.                                                   ^
  320.   symbol:   class AnnotatedExecutableType
  321.   location: class CollectionToArrayHeuristics
  322. 100 errors
Add Comment
Please, Sign In to add comment
Public Pastes
We use cookies for various purposes including analytics. By continuing to use Pastebin, you agree to our use of cookies as described in the Cookies Policy.  OK, I Understand
Not a member of Pastebin yet?
Sign Up, it unlocks many cool features!