文件名称：aop-swipl：SWIPL的面向方面的简化编程代码
文件大小：43KB
文件格式：ZIP
更新时间：2024-03-11 21:28:21
Prolog
介绍 自动测试生成器，它使用swipl目标扩展来包装备注包装器中的谓词（因此称为AOP“建议”术语）。 记录的结果将自动保存为.plt文件，并用于测试。 档案 alt * .pl，alt * .plt 不同阶段和替代实现。 alt20.pl 这是您应该关注的一个。 数据 运行 示例会话 andrewdo@ai:/var/lib/myfrdcsa/codebases/minor/automated-legacy-testing/dmiles-aop$ swipl Welcome to SWI-Prolog (threaded, 64 bits, version 7.7.25) SWI-Prolog comes with ABSOLUTELY NO WARRANTY. This is free software. Please run ?- license. for legal detai
【文件预览】：
aop-swipl-master
----alt22.pl(9KB)
----to.do(849B)
----alt21.pl(9KB)
----t()
--------factorial.pl(199B)
--------README.md(21B)
--------factorial.plt(229B)
--------factorial.pl~(153B)
----lib.pl(586B)
----test1.pl(100B)
----alt17.pl(7KB)
----alt8a.pl(3KB)
----alt16.pl(7KB)
----alt7a.pl(3KB)
----test.pl(351B)
----alt14.pl(5KB)
----predicate_streams.pl(13KB)
----alt19.plt(629B)
----with_output_to_predicate.pl(201B)
----alt3.pl(1KB)
----alt4.pl(2KB)
----run.sh(35B)
----alt18.pl(9KB)
----alt7.pl(2KB)
----alt10a.pl(3KB)
----README.md(4KB)
----tmp.pl(168B)
----alt2.pl(1KB)
----alt20.plt(193B)
----data(0B)
----alt15.pl(6KB)
----alt9a.pl(3KB)
----alt1.pl(1KB)
----alt12.pl(4KB)
----alt13.pl(4KB)
----alt11.pl(4KB)
----alt20.pl(9KB)
----alt19.pl(9KB)
----alt6.pl(2KB)
----alt5.pl(2KB)
----test.plt(457B)