API tools faq
paste
Advertisement
pellekrogholt

Untitled

pellekrogholt
May 21st, 2012
308
0
Never
Add comment
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 30.30 KB | None | 0 0
raw download clone embed print report
  1. $ java7 -jar /usr/local/java/openjml/openjml.jar -cp ../../eclipse37_openjml_code_branch/OpenJML/src:../../eclipse37_openjml_code_branch/OpenJDK/trunk/langtools/src/share/classes -noPurityCheck -check -dir src
  2. src/dk/itu/openjml/quantifiers/QRange.java:143: error: illegal character: \35
  3. //@ ensures fresh(\result); #21
  4. ^
  5. src/dk/itu/openjml/quantifiers/QRange.java:143: error: ';' expected
  6. //@ ensures fresh(\result); #21
  7. ^
  8. src/dk/itu/openjml/quantifiers/QRange.java:143: error: Method specifications must immediately precede a method or initializer declaration
  9. //@ ensures fresh(\result); #21
  10. ^
  11. ../../eclipse37_openjml_code_branch/OpenJML/src/org/jmlspecs/openjml/JmlTree.java:73: error: <identifier> expected
  12. JmlChoose JmlChoose(JmlToken token, List<JCBlock> orBlocks, /*@Nullable*/JCBlock elseBlock);
  13. ^
  14. ../../eclipse37_openjml_code_branch/OpenJML/src/org/jmlspecs/openjml/JmlTree.java:73: error: ';' expected
  15. JmlChoose JmlChoose(JmlToken token, List<JCBlock> orBlocks, /*@Nullable*/JCBlock elseBlock);
  16. ^
  17. ../../eclipse37_openjml_code_branch/OpenJML/src/org/jmlspecs/openjml/JmlTree.java:73: error: <identifier> expected
  18. JmlChoose JmlChoose(JmlToken token, List<JCBlock> orBlocks, /*@Nullable*/JCBlock elseBlock);
  19. ^
  20. ../../eclipse37_openjml_code_branch/OpenJML/src/org/jmlspecs/openjml/JmlTree.java:316: error: <identifier> expected
  21. public JmlVariableDecl VarDef(VarSymbol v, /*@Nullable*/ JCExpression init) {
  22. ^
  23. ../../eclipse37_openjml_code_branch/OpenJML/src/org/jmlspecs/openjml/JmlTree.java:316: error: ';' expected
  24. public JmlVariableDecl VarDef(VarSymbol v, /*@Nullable*/ JCExpression init) {
  25. ^
  26. ../../eclipse37_openjml_code_branch/OpenJML/src/org/jmlspecs/openjml/JmlTree.java:316: error: <identifier> expected
  27. public JmlVariableDecl VarDef(VarSymbol v, /*@Nullable*/ JCExpression init) {
  28. ^
  29. ../../eclipse37_openjml_code_branch/OpenJML/src/org/jmlspecs/openjml/JmlTree.java:544: error: <identifier> expected
  30. public JmlChoose JmlChoose(JmlToken token, List<JCBlock> orBlocks, /*@Nullable*/JCBlock elseBlock) {
  31. ^
  32. ../../eclipse37_openjml_code_branch/OpenJML/src/org/jmlspecs/openjml/JmlTree.java:544: error: ';' expected
  33. public JmlChoose JmlChoose(JmlToken token, List<JCBlock> orBlocks, /*@Nullable*/JCBlock elseBlock) {
  34. ^
  35. ../../eclipse37_openjml_code_branch/OpenJML/src/org/jmlspecs/openjml/JmlTree.java:544: error: <identifier> expected
  36. public JmlChoose JmlChoose(JmlToken token, List<JCBlock> orBlocks, /*@Nullable*/JCBlock elseBlock) {
  37. ^
  38. ../../eclipse37_openjml_code_branch/OpenJML/src/org/jmlspecs/openjml/JmlTree.java:882: error: <identifier> expected
  39. /*@Nullable*/ public JCBlock elseBlock;
  40. ^
  41. ../../eclipse37_openjml_code_branch/OpenJML/src/org/jmlspecs/openjml/JmlTree.java:885: error: <identifier> expected
  42. protected JmlChoose(int pos, JmlToken token, List<JCBlock> orBlocks, /*@Nullable*/ JCBlock elseBlock) {
  43. ^
  44. ../../eclipse37_openjml_code_branch/OpenJML/src/org/jmlspecs/openjml/JmlTree.java:885: error: ';' expected
  45. protected JmlChoose(int pos, JmlToken token, List<JCBlock> orBlocks, /*@Nullable*/ JCBlock elseBlock) {
  46. ^
  47. ../../eclipse37_openjml_code_branch/OpenJML/src/org/jmlspecs/openjml/JmlTree.java:885: error: <identifier> expected
  48. protected JmlChoose(int pos, JmlToken token, List<JCBlock> orBlocks, /*@Nullable*/ JCBlock elseBlock) {
  49. ^
  50. ../../eclipse37_openjml_code_branch/OpenJML/src/org/jmlspecs/openjml/JmlTree.java:932: error: <identifier> expected
  51. public /*@Nullable*/ java.util.List<JmlClassDecl> specsDecls;
  52. ^
  53. ../../eclipse37_openjml_code_branch/OpenJDK/trunk/langtools/src/share/classes/com/sun/tools/javac/util/List.java:60: error: <identifier> expected
  54. //@Deprecated
  55. ^
  56. ../../eclipse37_openjml_code_branch/OpenJDK/trunk/langtools/src/share/classes/com/sun/tools/javac/util/List.java:143: error: <identifier> expected
  57. //@Deprecated
  58. ^
  59. ../../eclipse37_openjml_code_branch/OpenJDK/trunk/langtools/src/share/classes/com/sun/tools/javac/util/List.java:150: error: <identifier> expected
  60. //@Deprecated
  61. ^
  62. ../../eclipse37_openjml_code_branch/OpenJDK/trunk/langtools/src/share/classes/com/sun/tools/javac/util/Log.java:63: error: <identifier> expected
  63. //@Deprecated
  64. ^
  65. ../../eclipse37_openjml_code_branch/OpenJDK/trunk/langtools/src/share/classes/com/sun/tools/javac/util/Log.java:66: error: <identifier> expected
  66. //@Deprecated
  67. ^
  68. ../../eclipse37_openjml_code_branch/OpenJDK/trunk/langtools/src/share/classes/com/sun/tools/javac/util/Log.java:69: error: <identifier> expected
  69. //@Deprecated
  70. ^
  71. ../../eclipse37_openjml_code_branch/OpenJDK/trunk/langtools/src/share/classes/com/sun/tools/javac/comp/ConstFold.java:51: error: The method instance in the specification matches a Java method instance(com.sun.tools.javac.util.Context) with different modifiers: strictfp
  72. public static ConstFold instance(Context context) {
  73. ^
  74. ../../eclipse37_openjml_code_branch/OpenJDK/trunk/langtools/src/share/classes/com/sun/tools/javac/comp/ConstFold.java:58: error: The method <init> in the specification matches a Java method ConstFold(com.sun.tools.javac.util.Context) with different modifiers: strictfp
  75. private ConstFold(Context context) {
  76. ^
  77. ../../eclipse37_openjml_code_branch/OpenJDK/trunk/langtools/src/share/classes/com/sun/tools/javac/comp/ConstFold.java:70: error: The method b2i in the specification matches a Java method b2i(boolean) with different modifiers: strictfp
  78. private static Integer b2i(boolean b) {
  79. ^
  80. ../../eclipse37_openjml_code_branch/OpenJDK/trunk/langtools/src/share/classes/com/sun/tools/javac/comp/ConstFold.java:73: error: The method intValue in the specification matches a Java method intValue(java.lang.Object) with different modifiers: strictfp
  81. private static int intValue(Object x) { return ((Number)x).intValue(); }
  82. ^
  83. ../../eclipse37_openjml_code_branch/OpenJDK/trunk/langtools/src/share/classes/com/sun/tools/javac/comp/ConstFold.java:74: error: The method longValue in the specification matches a Java method longValue(java.lang.Object) with different modifiers: strictfp
  84. private static long longValue(Object x) { return ((Number)x).longValue(); }
  85. ^
  86. ../../eclipse37_openjml_code_branch/OpenJDK/trunk/langtools/src/share/classes/com/sun/tools/javac/comp/ConstFold.java:75: error: The method floatValue in the specification matches a Java method floatValue(java.lang.Object) with different modifiers: strictfp
  87. private static float floatValue(Object x) { return ((Number)x).floatValue(); }
  88. ^
  89. ../../eclipse37_openjml_code_branch/OpenJDK/trunk/langtools/src/share/classes/com/sun/tools/javac/comp/ConstFold.java:76: error: The method doubleValue in the specification matches a Java method doubleValue(java.lang.Object) with different modifiers: strictfp
  90. private static double doubleValue(Object x) { return ((Number)x).doubleValue(); }
  91. ^
  92. ../../eclipse37_openjml_code_branch/OpenJDK/trunk/langtools/src/share/classes/com/sun/tools/javac/comp/ConstFold.java:86: error: The method fold in the specification matches a Java method fold(int,com.sun.tools.javac.util.List<com.sun.tools.javac.code.Type>) with different modifiers: strictfp
  93. Type fold(int opcode, List<Type> argtypes) {
  94. ^
  95. ../../eclipse37_openjml_code_branch/OpenJDK/trunk/langtools/src/share/classes/com/sun/tools/javac/comp/ConstFold.java:104: error: The method fold1 in the specification matches a Java method fold1(int,com.sun.tools.javac.code.Type) with different modifiers: strictfp
  96. Type fold1(int opcode, Type operand) {
  97. ^
  98. ../../eclipse37_openjml_code_branch/OpenJDK/trunk/langtools/src/share/classes/com/sun/tools/javac/comp/ConstFold.java:156: error: The method fold2 in the specification matches a Java method fold2(int,com.sun.tools.javac.code.Type,com.sun.tools.javac.code.Type) with different modifiers: strictfp
  99. Type fold2(int opcode, Type left, Type right) {
  100. ^
  101. ../../eclipse37_openjml_code_branch/OpenJDK/trunk/langtools/src/share/classes/com/sun/tools/javac/comp/ConstFold.java:333: error: The method coerce in the specification matches a Java method coerce(com.sun.tools.javac.code.Type,com.sun.tools.javac.code.Type) with different modifiers: strictfp
  102. Type coerce(Type etype, Type ttype) {
  103. ^
  104. ../../eclipse37_openjml_code_branch/OpenJML/src/org/jmlspecs/openjml/JmlTree.java:73: error: cannot find symbol
  105. JmlChoose JmlChoose(JmlToken token, List<JCBlock> orBlocks, /*@Nullable*/JCBlock elseBlock);
  106. ^
  107. symbol: class elseBlock
  108. location: interface JmlFactory
  109. ../../eclipse37_openjml_code_branch/OpenJML/src/org/jmlspecs/openjml/JmlTree.java:885: error: cannot find symbol
  110. protected JmlChoose(int pos, JmlToken token, List<JCBlock> orBlocks, /*@Nullable*/ JCBlock elseBlock) {
  111. ^
  112. symbol: class elseBlock
  113. location: class JmlChoose
  114. ../../eclipse37_openjml_code_branch/OpenJML/src/org/jmlspecs/openjml/JmlSpecs.java:535: error: <identifier> expected
  115. abstract public /*@Nullable*/JavaFileObject findFile(String filePath);
  116. ^
  117. ../../eclipse37_openjml_code_branch/OpenJML/src/org/jmlspecs/openjml/JmlSpecs.java:542: error: <identifier> expected
  118. abstract public /*@Nullable*/JavaFileObject findAnySuffixFile(String filePath);
  119. ^
  120. ../../eclipse37_openjml_code_branch/OpenJML/src/org/jmlspecs/openjml/JmlSpecs.java:564: error: <identifier> expected
  121. public /*@Nullable*/JavaFileObject findFile(String filePath) {
  122. ^
  123. ../../eclipse37_openjml_code_branch/OpenJML/src/org/jmlspecs/openjml/JmlSpecs.java:571: error: <identifier> expected
  124. public /*@Nullable*/JavaFileObject findAnySuffixFile(String filePath) {
  125. ^
  126. ../../eclipse37_openjml_code_branch/OpenJML/src/org/jmlspecs/openjml/JmlSpecs.java:608: error: <identifier> expected
  127. public /*@Nullable*/JavaFileObject findFile(String filePath) {
  128. ^
  129. ../../eclipse37_openjml_code_branch/OpenJML/src/org/jmlspecs/openjml/JmlSpecs.java:617: error: <identifier> expected
  130. public /*@Nullable*/JavaFileObject findAnySuffixFile(String filePath) {
  131. ^
  132. ../../eclipse37_openjml_code_branch/OpenJML/src/org/jmlspecs/openjml/JmlSpecs.java:673: error: <identifier> expected
  133. public /*@Nullable*/JavaFileObject findFile(String filePath) {
  134. ^
  135. ../../eclipse37_openjml_code_branch/OpenJML/src/org/jmlspecs/openjml/JmlSpecs.java:681: error: <identifier> expected
  136. public /*@Nullable*/JavaFileObject findAnySuffixFile(String filePath) {
  137. ^
  138. ../../eclipse37_openjml_code_branch/OpenJML/src/com/sun/tools/javac/comp/JmlAttr.java:432: error: not a statement
  139. /*@Nullable*/ JmlSpecs.TypeSpecs classSpecs = specs.get(c); // Get null if there are none yet
  140. ^
  141. ../../eclipse37_openjml_code_branch/OpenJML/src/com/sun/tools/javac/comp/JmlAttr.java:432: error: ';' expected
  142. /*@Nullable*/ JmlSpecs.TypeSpecs classSpecs = specs.get(c); // Get null if there are none yet
  143. ^
  144. ../../eclipse37_openjml_code_branch/OpenJML/src/com/sun/tools/javac/comp/JmlAttr.java:1312: error: <identifier> expected
  145. protected JCVariableDecl makeVariableDecl(Name name, Type type, /*@Nullable*/ JCExpression init, int pos) {
  146. ^
  147. ../../eclipse37_openjml_code_branch/OpenJML/src/com/sun/tools/javac/comp/JmlAttr.java:1312: error: ';' expected
  148. protected JCVariableDecl makeVariableDecl(Name name, Type type, /*@Nullable*/ JCExpression init, int pos) {
  149. ^
  150. ../../eclipse37_openjml_code_branch/OpenJML/src/com/sun/tools/javac/comp/JmlAttr.java:1312: error: <identifier> expected
  151. protected JCVariableDecl makeVariableDecl(Name name, Type type, /*@Nullable*/ JCExpression init, int pos) {
  152. ^
  153. ../../eclipse37_openjml_code_branch/OpenJML/src/com/sun/tools/javac/comp/JmlAttr.java:1312: error: <identifier> expected
  154. protected JCVariableDecl makeVariableDecl(Name name, Type type, /*@Nullable*/ JCExpression init, int pos) {
  155. ^
  156. ../../eclipse37_openjml_code_branch/OpenJML/src/com/sun/tools/javac/comp/JmlAttr.java:1312: error: <identifier> expected
  157. protected JCVariableDecl makeVariableDecl(Name name, Type type, /*@Nullable*/ JCExpression init, int pos) {
  158. ^
  159. ../../eclipse37_openjml_code_branch/OpenJML/src/com/sun/tools/javac/comp/JmlAttr.java:3812: error: <identifier> expected
  160. /*@Nullable*/JCVariableDecl lodef;
  161. ^
  162. ../../eclipse37_openjml_code_branch/OpenJML/src/com/sun/tools/javac/comp/JmlAttr.java:3813: error: <identifier> expected
  163. /*@Nullable*/JCVariableDecl hidef;
  164. ^
  165. ../../eclipse37_openjml_code_branch/OpenJML/src/org/jmlspecs/openjml/JmlCompiler.java:186: error: <identifier> expected
  166. /*@Nullable*/
  167. ^
  168. ../../eclipse37_openjml_code_branch/OpenJML/src/org/jmlspecs/openjml/JmlCompiler.java:190: error: not a statement
  169. /*@Nullable*/ JmlCompilationUnit speccu = parseSpecs(f,null);
  170. ^
  171. ../../eclipse37_openjml_code_branch/OpenJML/src/org/jmlspecs/openjml/JmlCompiler.java:190: error: ';' expected
  172. /*@Nullable*/ JmlCompilationUnit speccu = parseSpecs(f,null);
  173. ^
  174. ../../eclipse37_openjml_code_branch/OpenJML/src/org/jmlspecs/openjml/esc/JmlEsc.java:132: error: <identifier> expected
  175. public /*@NonNull*/ String proverToUse;
  176. ^
  177. ../../eclipse37_openjml_code_branch/OpenJML/src/org/jmlspecs/openjml/esc/BasicBlocker.java:656: error: <identifier> expected
  178. public /*@Nullable*/ Name getName(VarSymbol vsym) {
  179. ^
  180. ../../eclipse37_openjml_code_branch/OpenJML/src/org/jmlspecs/openjml/esc/BasicBlocker.java:663: error: <identifier> expected
  181. public /*@NonNull*/ Name getCurrentName(VarSymbol vsym) {
  182. ^
  183. ../../eclipse37_openjml_code_branch/OpenJML/src/org/jmlspecs/openjml/esc/BasicBlocker.java:680: error: <identifier> expected
  184. public /*@NonNull*/ Name getCurrentName(TypeSymbol vsym) {
  185. ^
  186. ../../eclipse37_openjml_code_branch/OpenJML/src/org/jmlspecs/openjml/esc/BasicBlocker.java:1675: error: <identifier> expected
  187. protected void addUntranslatedAssert(Label label, JCExpression that, int declpos, List<JCStatement> statements, int usepos, /*@Nullable*/JavaFileObject source) {
  188. ^
  189. ../../eclipse37_openjml_code_branch/OpenJML/src/org/jmlspecs/openjml/esc/BasicBlocker.java:1675: error: ';' expected
  190. protected void addUntranslatedAssert(Label label, JCExpression that, int declpos, List<JCStatement> statements, int usepos, /*@Nullable*/JavaFileObject source) {
  191. ^
  192. ../../eclipse37_openjml_code_branch/OpenJML/src/org/jmlspecs/openjml/esc/BasicBlocker.java:1675: error: <identifier> expected
  193. protected void addUntranslatedAssert(Label label, JCExpression that, int declpos, List<JCStatement> statements, int usepos, /*@Nullable*/JavaFileObject source) {
  194. ^
  195. ../../eclipse37_openjml_code_branch/OpenJML/src/org/jmlspecs/openjml/esc/BasicBlocker.java:1687: error: <identifier> expected
  196. protected void addAssertNoTrack(Label label, JCExpression that, List<JCStatement> statements, int usepos, /*@Nullable*/JavaFileObject source) {
  197. ^
  198. ../../eclipse37_openjml_code_branch/OpenJML/src/org/jmlspecs/openjml/esc/BasicBlocker.java:1687: error: ';' expected
  199. protected void addAssertNoTrack(Label label, JCExpression that, List<JCStatement> statements, int usepos, /*@Nullable*/JavaFileObject source) {
  200. ^
  201. ../../eclipse37_openjml_code_branch/OpenJML/src/org/jmlspecs/openjml/esc/BasicBlocker.java:1687: error: <identifier> expected
  202. protected void addAssertNoTrack(Label label, JCExpression that, List<JCStatement> statements, int usepos, /*@Nullable*/JavaFileObject source) {
  203. ^
  204. ../../eclipse37_openjml_code_branch/OpenJML/src/org/jmlspecs/openjml/esc/BasicBlocker.java:2199: error: <identifier> expected
  205. /*@Nullable*/ JCMethodDecl decl;
  206. ^
  207. ../../eclipse37_openjml_code_branch/OpenJML/src/org/jmlspecs/openjml/esc/BasicBlocker.java:6118: error: <identifier> expected
  208. public static /*@Nullable*/List<JCExpression> findVars(JCTree that, /*@Nullable*/List<JCExpression> v) {
  209. ^
  210. ../../eclipse37_openjml_code_branch/OpenJML/src/org/jmlspecs/openjml/esc/BasicBlocker.java:6118: error: <identifier> expected
  211. public static /*@Nullable*/List<JCExpression> findVars(JCTree that, /*@Nullable*/List<JCExpression> v) {
  212. ^
  213. ../../eclipse37_openjml_code_branch/OpenJML/src/org/jmlspecs/openjml/esc/BasicBlocker.java:6118: error: ';' expected
  214. public static /*@Nullable*/List<JCExpression> findVars(JCTree that, /*@Nullable*/List<JCExpression> v) {
  215. ^
  216. ../../eclipse37_openjml_code_branch/OpenJML/src/org/jmlspecs/openjml/esc/BasicBlocker.java:6118: error: <identifier> expected
  217. public static /*@Nullable*/List<JCExpression> findVars(JCTree that, /*@Nullable*/List<JCExpression> v) {
  218. ^
  219. ../../eclipse37_openjml_code_branch/OpenJML/src/org/jmlspecs/openjml/esc/BasicBlocker.java:6127: error: <identifier> expected
  220. public static List<JCExpression> findVars(Iterable<? extends JCTree> list, /*@Nullable*/List<JCExpression> v) {
  221. ^
  222. ../../eclipse37_openjml_code_branch/OpenJML/src/org/jmlspecs/openjml/esc/BasicBlocker.java:6127: error: ';' expected
  223. public static List<JCExpression> findVars(Iterable<? extends JCTree> list, /*@Nullable*/List<JCExpression> v) {
  224. ^
  225. ../../eclipse37_openjml_code_branch/OpenJML/src/org/jmlspecs/openjml/esc/BasicBlocker.java:6127: error: <identifier> expected
  226. public static List<JCExpression> findVars(Iterable<? extends JCTree> list, /*@Nullable*/List<JCExpression> v) {
  227. ^
  228. ../../eclipse37_openjml_code_branch/OpenJML/src/org/jmlspecs/openjml/esc/BasicBlocker.java:6135: error: <identifier> expected
  229. public List<JCExpression> find(Iterable<? extends JCTree> list, /*@Nullable*/List<JCExpression> v) {
  230. ^
  231. ../../eclipse37_openjml_code_branch/OpenJML/src/org/jmlspecs/openjml/esc/BasicBlocker.java:6135: error: ';' expected
  232. public List<JCExpression> find(Iterable<? extends JCTree> list, /*@Nullable*/List<JCExpression> v) {
  233. ^
  234. ../../eclipse37_openjml_code_branch/OpenJML/src/org/jmlspecs/openjml/esc/BasicBlocker.java:6135: error: <identifier> expected
  235. public List<JCExpression> find(Iterable<? extends JCTree> list, /*@Nullable*/List<JCExpression> v) {
  236. ^
  237. ../../eclipse37_openjml_code_branch/OpenJML/src/org/jmlspecs/openjml/Nowarns.java:35: error: <identifier> expected
  238. /*@Nullable*/ DiagnosticSource source;
  239. ^
  240. ../../eclipse37_openjml_code_branch/OpenJML/src/org/jmlspecs/openjml/Utils.java:135: error: <identifier> expected
  241. public static /*@Nullable*/ String getProperty(String key) {
  242. ^
  243. ../../eclipse37_openjml_code_branch/OpenJML/src/org/jmlspecs/openjml/esc/JmlEsc.java:33: error: package org.smtlib does not exist
  244. import org.smtlib.ICommand;
  245. ^
  246. ../../eclipse37_openjml_code_branch/OpenJML/src/org/jmlspecs/openjml/esc/JmlEsc.java:34: error: package org.smtlib does not exist
  247. import org.smtlib.IExpr;
  248. ^
  249. ../../eclipse37_openjml_code_branch/OpenJML/src/org/jmlspecs/openjml/esc/JmlEsc.java:35: error: package org.smtlib does not exist
  250. import org.smtlib.IResponse;
  251. ^
  252. ../../eclipse37_openjml_code_branch/OpenJML/src/org/jmlspecs/openjml/esc/JmlEsc.java:36: error: package org.smtlib.IResponse does not exist
  253. import org.smtlib.IResponse.IError;
  254. ^
  255. ../../eclipse37_openjml_code_branch/OpenJML/src/org/jmlspecs/openjml/esc/JmlEsc.java:37: error: package org.smtlib does not exist
  256. import org.smtlib.ISolver;
  257. ^
  258. ../../eclipse37_openjml_code_branch/OpenJML/src/org/jmlspecs/openjml/esc/JmlEsc.java:38: error: package org.smtlib.IVisitor does not exist
  259. import org.smtlib.IVisitor.VisitorException;
  260. ^
  261. ../../eclipse37_openjml_code_branch/OpenJML/src/org/jmlspecs/openjml/esc/JmlEsc.java:39: error: package org.smtlib does not exist
  262. import org.smtlib.SMT;
  263. ^
  264. ../../eclipse37_openjml_code_branch/OpenJML/src/org/jmlspecs/openjml/esc/JmlEsc.java:40: error: package org.smtlib.impl.SMTExpr does not exist
  265. import org.smtlib.impl.SMTExpr.Symbol;
  266. ^
  267. ../../eclipse37_openjml_code_branch/OpenJML/src/org/jmlspecs/openjml/esc/JmlEsc.java:41: error: package org.smtlib.sexpr does not exist
  268. import org.smtlib.sexpr.ISexpr;
  269. ^
  270. ../../eclipse37_openjml_code_branch/OpenJML/src/org/jmlspecs/openjml/esc/JmlEsc.java:42: error: package org.smtlib.sexpr does not exist
  271. import org.smtlib.sexpr.Sexpr;
  272. ^
  273. ../../eclipse37_openjml_code_branch/OpenJML/src/com/sun/tools/javac/parser/JmlScanner.java:156: error: <identifier> expected
  274. /*@NonNull*/ public Nowarns nowarns;
  275. ^
  276. ../../eclipse37_openjml_code_branch/OpenJML/src/com/sun/tools/javac/parser/JmlScanner.java:168: error: <identifier> expected
  277. /*@NonNull*/ protected Set<Name> keys;
  278. ^
  279. ../../eclipse37_openjml_code_branch/OpenJML/src/com/sun/tools/javac/comp/JmlAttr.java:1312: error: cannot find symbol
  280. protected JCVariableDecl makeVariableDecl(Name name, Type type, /*@Nullable*/ JCExpression init, int pos) {
  281. ^
  282. symbol: class init
  283. location: class JmlAttr
  284. ../../eclipse37_openjml_code_branch/OpenJML/src/com/sun/tools/javac/comp/JmlAttr.java:1312: error: cannot find symbol
  285. protected JCVariableDecl makeVariableDecl(Name name, Type type, /*@Nullable*/ JCExpression init, int pos) {
  286. ^
  287. symbol: class pos
  288. location: class JmlAttr
  289. ../../eclipse37_openjml_code_branch/OpenJML/src/com/sun/tools/javac/comp/JmlAttr.java:1312: error: This specification declaration of field <error> has the same name as a previous field declaration
  290. protected JCVariableDecl makeVariableDecl(Name name, Type type, /*@Nullable*/ JCExpression init, int pos) {
  291. ^
  292. ../../eclipse37_openjml_code_branch/OpenJML/src/org/jmlspecs/openjml/JmlCompiler.java:186: error: cannot find symbol
  293. /*@Nullable*/
  294. ^
  295. symbol: class Nullable
  296. location: class JmlCompiler
  297. ../../eclipse37_openjml_code_branch/OpenJML/src/org/jmlspecs/openjml/esc/JmlEsc.java:424: error: cannot find symbol
  298. public void reportInvalidAssertion(BasicProgram program, SMT smt, ISolver solver, JCMethodDecl decl) {
  299. ^
  300. symbol: class SMT
  301. location: class JmlEsc
  302. ../../eclipse37_openjml_code_branch/OpenJML/src/org/jmlspecs/openjml/esc/JmlEsc.java:424: error: cannot find symbol
  303. public void reportInvalidAssertion(BasicProgram program, SMT smt, ISolver solver, JCMethodDecl decl) {
  304. ^
  305. symbol: class ISolver
  306. location: class JmlEsc
  307. ../../eclipse37_openjml_code_branch/OpenJML/src/org/jmlspecs/openjml/esc/JmlEsc.java:446: error: cannot find symbol
  308. public boolean getBoolValue(String id, SMT smt, ISolver solver) {
  309. ^
  310. symbol: class SMT
  311. location: class JmlEsc
  312. ../../eclipse37_openjml_code_branch/OpenJML/src/org/jmlspecs/openjml/esc/JmlEsc.java:446: error: cannot find symbol
  313. public boolean getBoolValue(String id, SMT smt, ISolver solver) {
  314. ^
  315. symbol: class ISolver
  316. location: class JmlEsc
  317. ../../eclipse37_openjml_code_branch/OpenJML/src/org/jmlspecs/openjml/esc/JmlEsc.java:464: error: cannot find symbol
  318. public int getIntValue(String id, SMT smt, ISolver solver) {
  319. ^
  320. symbol: class SMT
  321. location: class JmlEsc
  322. ../../eclipse37_openjml_code_branch/OpenJDK/trunk/langtools/src/share/classes/com/sun/tools/javac/model/AnnotationProxyMaker.java:278: warning: ExceptionProxy is internal proprietary API and may be removed in a future release
  323. private static final class MirroredTypeExceptionProxy extends ExceptionProxy {
  324. ^
  325. ../../eclipse37_openjml_code_branch/OpenJDK/trunk/langtools/src/share/classes/com/sun/tools/javac/model/AnnotationProxyMaker.java:321: warning: ExceptionProxy is internal proprietary API and may be removed in a future release
  326. private static final class MirroredTypesExceptionProxy extends ExceptionProxy {
  327. ^
  328. ../../eclipse37_openjml_code_branch/OpenJDK/trunk/langtools/src/share/classes/com/sun/tools/javac/model/AnnotationProxyMaker.java:86: warning: AnnotationParser is internal proprietary API and may be removed in a future release
  329. return AnnotationParser.annotationForMap(annoType,
  330. ^
  331. ../../eclipse37_openjml_code_branch/OpenJDK/trunk/langtools/src/share/classes/com/sun/tools/javac/model/AnnotationProxyMaker.java:166: warning: ExceptionProxy is internal proprietary API and may be removed in a future release
  332. if (!(value instanceof ExceptionProxy) &&
  333. ^
  334. ../../eclipse37_openjml_code_branch/OpenJDK/trunk/langtools/src/share/classes/com/sun/tools/javac/model/AnnotationProxyMaker.java:167: warning: AnnotationType is internal proprietary API and may be removed in a future release
  335. !AnnotationType.invocationHandlerReturnType(returnClass)
  336. ^
  337. ../../eclipse37_openjml_code_branch/OpenJDK/trunk/langtools/src/share/classes/com/sun/tools/javac/model/AnnotationProxyMaker.java:203: warning: ExceptionProxy is internal proprietary API and may be removed in a future release
  338. if (value == null || value instanceof ExceptionProxy) {
  339. ^
  340. ../../eclipse37_openjml_code_branch/OpenJDK/trunk/langtools/src/share/classes/com/sun/tools/javac/model/AnnotationProxyMaker.java:227: warning: EnumConstantNotPresentExceptionProxy is internal proprietary API and may be removed in a future release
  341. value = new EnumConstantNotPresentExceptionProxy(
  342. ^
  343. ../../eclipse37_openjml_code_branch/OpenJDK/trunk/langtools/src/share/classes/com/sun/tools/javac/model/AnnotationProxyMaker.java:254: warning: ExceptionProxy is internal proprietary API and may be removed in a future release
  344. class AnnotationTypeMismatchExceptionProxy extends ExceptionProxy {
  345. ^
  346. Note: ../../eclipse37_openjml_code_branch/OpenJML/src/com/sun/tools/javac/comp/JmlMemberEnter.java uses or overrides a deprecated API.
  347. Note: Recompile with -Xlint:deprecation for details.
  348. Note: Some input files use unchecked or unsafe operations.
  349. Note: Recompile with -Xlint:unchecked for details.
  350. 100 errors
  351. 8 warnings
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement
Public Pastes
Advertisement
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!