如何在PROLOG中编写以下规则:如果P则不是Q.
我明白你可以很容易地写,如果P然后Q谓词喜欢q(X) :- p(X)
,但你怎么能否定q/1
谓词?我不想用其他语义来定义新的谓词non_q/1
.
我想测试我的应用是否滚动到线程页面内的特定帖子.
最初我认为isDisplayed
可能有所帮助,并编码如下:
element(by.id(postId)).isDisplayed().then((isDisplayed) => {
expect(isDisplayed).toBe(true);
});
Run Code Online (Sandbox Code Playgroud)
仔细阅读文档后,isDisplayed
不会检查元素是否在视口内.
一种hacky方式是计算各种元素的位置,从可滚动的父级开始(window
在我的情况下不是这样).
检查这个是最好的做法吗?
angular ×1
angular-e2e ×1
e2e-testing ×1
implication ×1
negate ×1
prolog ×1
protractor ×1
testing ×1