我在Mac上,我使用“gnatpp -rnb * .ads * adb”格式化我的文件,但它拒绝格式化某些文件。当我创建一个新文件时,它可以工作,过了一段时间,当文件增长/年龄(我找不到模式)时,它就会停止工作。当我尝试使用-pipe时,它会像输入事件一样发出相同的文件。
发生了什么事?是否有限制我会到达某个地方?我在帮助中找不到任何相关内容,我没有错误相关的错误消息。这些文件都少于200行。
没有错误消息:
maquette:src nraynaud$ gnatpp -w -v -rnb -M150 *.ads
gnatpp 4.9.0
Copyright 2003-2014, AdaCore.
TMPDIR = "/private/var/folders/rb/4gj9qf4j4_765mm9dlfmd0k00000gn/T"
[13] button.ads
[12] driver.ads
[11] last_chance_handler.ads
[10] leds.ads
[9] motor.ads
[8] registers.ads
[7] stm32f4-busses.ads
[6] stm32f4-genericperipheral.ads
[5] stm32f4-gpio.ads
[4] stm32f4-reset_clock_control.ads
[3] stm32f4-sysconfig_control.ads
[2] stm32f4-tim.ads
[1] stm32f4.ads
答案 0 :(得分:2)
gnatpp抱怨你的文件没有编译,这是gnatpp工作所必需的。 来自GNAT用户指南:
要生成重新格式化的文件,gnatpp会为输入源生成并使用ASIS树,因此要求输入在语法和语义上都是合法的。如果不满足此条件,gnatpp将终止并显示错误消息;不会生成任何输出文件。