小编Rob*_* T.的帖子

Prolog意味着否定的谓词

如何在PROLOG中编写以下规则:如果P则不是Q.

我明白你可以很容易地写,如果P然后Q谓词喜欢q(X) :- p(X),但你怎么能否定q/1谓词?我不想用其他语义来定义新的谓词non_q/1.

prolog negate implication

12
推荐指数
2
解决办法
3万
查看次数

使用量角器测试元素在视口中

我想测试我的应用是否滚动到线程页面内的特定帖子.

最初我认为isDisplayed可能有所帮助,并编码如下:

element(by.id(postId)).isDisplayed().then((isDisplayed) => {
  expect(isDisplayed).toBe(true);
});
Run Code Online (Sandbox Code Playgroud)

仔细阅读文档后,isDisplayed不会检查元素是否在视口内.

一种hacky方式是计算各种元素的位置,从可滚动的父级开始(window在我的情况下不是这样).

检查这个是最好的做法吗?

testing protractor e2e-testing angular angular-e2e

5
推荐指数
1
解决办法
594
查看次数