assertions

使用 Progress 4GL 或 WebSpeed 实现 assertions 的最佳方法是什么？

最佳答案

经过一番考虑，这里是我对问题的解决方案。它基于这样一个假设，即开发环境 propath 不同于测试和生产环境，并且代码总是重新编译用于测试或生产使用:

&IF PROPATH MATCHES '*development*' &THEN
&SCOPED-DEFINE ASSERTION   {1} {2} {3} {4} {5} {6} {7} {8} {9} {10} ~
{11} {12} {13} {14} {15} {16} {17} {18} {19} {20} ~
{21} {22} {23} {24} {25} {26} {27} {28} {29} {30} ~
{31} {32} {33} {34} {35} {36} {37} {38} {39} {40} ~
{41} {42} {43} {44} {45} {46} {47} {48} {49} {50} ~
{51} {52} {53} {54} {55} {56} {57} {58} {59} {60} ~
{61} {62} {63} {64} {65} {66} {67} {68} {69} {70} ~
{71} {72} {73} {74} {75} {76} {77} {78} {79} {80}


 IF NOT ({&ASSERTION}) THEN
     MESSAGE "Failed assertion {&ASSERTION} in" PROGRAM-NAME(1).

 IF ({&ASSERTION}) = ? THEN
     MESSAGE "Unknown value as a result of assertion {&ASSERTION} in"
              PROGRAM-NAME(1).

&ENDIF

该代码旨在避免任何副作用，并且在任何执行环境(GUI 或 ChUI、WebSpeed、AppServer、批处理等)中都能很好地工作。

1) 将代码保存为名为“assert”的文件(不带任何扩展名)。

2) 将文件放入PROPATH 指向的目录中。

3) 示例用法:

{assert valid-handle(hProc)}
{assert i > 0 and i <= 100}
{assert cExtra begins ‘opt’}  /* note the single quotes */
{assert dtEnd > = dtStart}

作为一种变体，通过在测试和生产环境中只有一个空的包含文件，可以避免完全依赖 propath，开发版本将变为:

&SCOPED-DEFINE ASSERTION   {1} {2} {3} {4} {5} {6} {7} {8} {9} {10} ~
{11} {12} {13} {14} {15} {16} {17} {18} {19} {20} ~
{21} {22} {23} {24} {25} {26} {27} {28} {29} {30} ~
{31} {32} {33} {34} {35} {36} {37} {38} {39} {40} ~
{41} {42} {43} {44} {45} {46} {47} {48} {49} {50} ~
{51} {52} {53} {54} {55} {56} {57} {58} {59} {60} ~
{61} {62} {63} {64} {65} {66} {67} {68} {69} {70} ~
{71} {72} {73} {74} {75} {76} {77} {78} {79} {80}


 IF NOT ({&ASSERTION}) THEN
     MESSAGE "Failed assertion {&ASSERTION} in" PROGRAM-NAME(1).

 IF ({&ASSERTION}) = ? THEN
     MESSAGE "Unknown value as a result of assertion {&ASSERTION} in"
              PROGRAM-NAME(1).

一个额外的提示是向您选择的编辑器添加一个自动文本宏，该宏将自动扩展为 {assert}。

关于assertions - 在 Progress 4GL 中实现断言，我们在Stack Overflow上找到一个类似的问题：https://stackoverflow.com/questions/811198/

assertions - 在 Progress 4GL 中实现断言