1 file changed
+1
-1
lines changed- src/main/scala/viper/silver/frontend/ReformatterAstProvider.scala+26
- src/main/scala/viper/silver/frontend/SilFrontend.scala+4-2
- src/main/scala/viper/silver/parser/FastParser.scala+69-31
- src/main/scala/viper/silver/parser/MacroExpander.scala+11-9
- src/main/scala/viper/silver/parser/ParseAst.scala+170-134
- src/main/scala/viper/silver/parser/ParseAstKeyword.scala+77-46
- src/main/scala/viper/silver/parser/ReformatPrettyPrinter.scala+422
- src/main/scala/viper/silver/parser/Resolver.scala+19-19
- src/main/scala/viper/silver/parser/Translator.scala+9-9
- src/main/scala/viper/silver/plugin/ParserPluginTemplate.scala+2-4
- src/main/scala/viper/silver/plugin/standard/adt/AdtPASTExtension.scala+10-13
- src/main/scala/viper/silver/plugin/standard/adt/AdtPlugin.scala+7-5
- src/main/scala/viper/silver/plugin/standard/termination/TerminationPASTExtension.scala+2-3
- src/main/scala/viper/silver/plugin/standard/termination/TerminationPlugin.scala+2-2
- src/test/resources/reformatter/adts.vpr+18
- src/test/resources/reformatter/adts_expected.vpr+18
- src/test/resources/reformatter/annotations.vpr+21
- src/test/resources/reformatter/annotations_expected.vpr+26
- src/test/resources/reformatter/domains.vpr+80
- src/test/resources/reformatter/domains_expected.vpr+84
- src/test/resources/reformatter/expressions.vpr+20
- src/test/resources/reformatter/expressions_expected.vpr+52
- src/test/resources/reformatter/fields.vpr+5
- src/test/resources/reformatter/fields_expected.vpr+5
- src/test/resources/reformatter/functions.vpr+47
- src/test/resources/reformatter/functions_expected.vpr+48
- src/test/resources/reformatter/macros.vpr+18
- src/test/resources/reformatter/macros_expected.vpr+15
- src/test/resources/reformatter/methods.vpr+139
- src/test/resources/reformatter/methods_expected.vpr+143
- src/test/resources/reformatter/not_working.vpr+29
- src/test/resources/reformatter/not_working_expected.vpr+30
- src/test/resources/reformatter/predicates.vpr+19
- src/test/resources/reformatter/predicates_expected.vpr+25
- src/test/resources/reformatter/trailing_comment.vpr+2
- src/test/resources/reformatter/trailing_comment_expected.vpr+2
- src/test/scala/ASTTransformationTests.scala+12-12
- src/test/scala/PluginTests.scala+1-1
- src/test/scala/ReformatterTests.scala+85
- src/test/scala/RewriterTests.scala+3-3
- src/test/scala/SemanticAnalysisTests.scala+4-4
0 commit comments