1
我想在多個程序中重複使用相同的Dafny代碼。是否有可能在另一個Dafny文件中包含？手冊沒有描述任何方式。在另一個文件中包含一個Dafny文件
A
回答
0
是，在2013年12月支持的 「包括」 語句是added to Dafny，語法是：
include "Includee.dfy"
相關問題
- 1. 在另一個文件中包含一個html文件
- 2. Ant文件，包含另一個文件
- 3. 檢查一個文件是否包含另一個文件
- 4. 創建一個包含另一個jar文件的Jar文件
- 5. 包含包含另一個php文件的php文件？
- 6. 在另一個JavaScript文件中包含.js文件在露天
- 7. 如何在另一個html文件中包含html文件
- 8. Magento在另一個phtml文件中包含phtml文件
- 9. 將`.scss`文件包含在另一個`.scss`文件中？
- 10. 如何在另一個php.ini文件中包含php.ini文件？
- 11. 將HTML5文件包含在另一個HTML5文件中
- 12. 在另一個頭文件中包含頭文件
- 13. 在另一個xml文件中包含xml文件
- 14. 將.pro文件包含在另一個.pro文件中
- 15. 在另一個源文件中包含源文件
- 16. 將JavaScript文件包含在另一個Javascript文件中
- 17. 將JSP文件包含在另一個JSP文件中
- 18. 在另一個Javascript文件中包含JavaScript文件
- 19. 在另一個JS文件中包含JS文件
- 20. 在另一個.c文件中包含.c文件
- 21. 如何將MXML文件包含在另一個MXML文件中？
- 22. 如何在另一個文件中包含一個類？
- 23. 如何在一個XSLT文件中包含另一個輸出？
- 24. 在PHP中，如果包含一個文件本身包含另一個文件，第一個文件是否會同時包含其他文件？
- 25. Fay：包含另一個Fay文件？
- 26. php包含了另一個php文件
- 27. 包含另一個JSP文件
- 28. 如何包含另一個XML文件
- 29. 在Joomla中包含一個php文件！ 1.5調用另一個PHP文件
- 30. Bash：判斷一個文件是否包含在另一個文件中