小编bya*_*ako的帖子

你如何免费整合Gitlab和Pivotal Tracker？

我查看了关键网站上的文档,但找不到与此相关的任何内容.

我想通过PHP Client Libary制作此YouTube Analytics请求

https://www.googleapis.com/youtube/analytics/v1/reports  
?ids=channel==CHANNELID
&start-date=STARTDATE
&end-date=ENDDATE 
&metrics=views,  
estimatedMinutesWatched,  
averageViewDuration,  
comments,  
favoritesAdded,  
favoritesRemoved,  
likes,  
dislikes,  
shares,  
subscribersGained,  
subscribersLost  
&dimensions=7DayTotals 
&fields=rows  
&sort=day  

这可能吗？是否有关于如何从API获取YouTube Analytics报告的PHP代码示例？
在Google Developers页面上找不到.(https://developers.google.com/youtube/analytics/v1/code_samples/)

谢谢

如何frama-c -wp从wp手册验证示例- 一个简单的swap函数(swap.c):

/* @ requires \valid(a) && \valid(b);
   @ ensures A: *a == \old(*b);
   @ ensures B: *b == \old(*a);
   @ assigns *a,*b;
   @*/
void swap(int * a, int * b);

void swap(int * a, int * b) {
    int tmp = * a;
    *a = *b;
    *b = tmp;
    return ;
}

调用

$ frama -c -wp -wp-rte swap.c

得到:

[kernel] Parsing FRAMAC_SHARE/libc/__fc_builtin_for_normalization.i (no preprocessing)
[kernel] Parsing swap.c (with preprocessing)
[wp] Running …

在我的程序中,调用pthread_create看起来像:

res = pthread_create(&a_thread, NULL, thread_fn, (void*)n);

我的问题是,为什么我们不能这样做:

res = pthread_create(&a_thread, NULL, thread_fn( (void*)n) );

因为这将减少参数的数量,pthread_create并且看起来也是合乎逻辑的,因为我只学习了3件事:声明,定义和调用.

将函数名称作为参数传递并添加到将其参数作为单独参数传递的内容是我不明白的事情.

如果这种格式背后有任何逻辑,请善解释.

当我试图在Frama-c中运行我的简单代码时,我遇到了一些问题.我正在尝试创建一个指向数组结构的有效指针,并从我的函数返回此指针Stack_init.我不明白为什么Frama-c会返回此错误并且不能证明我的功能:

[kernel] preprocessing with "gcc -C -E -I.  /home/federico/Desktop/simple_main_v2.c"
[kernel] warning: Neither code nor specification for function malloc, generating default assigns from the prototype
[wp] Collecting axiomatic usage
[wp] warning: Missing RTE guards
Desktop/simple_main_v2.c:28:[wp] warning: Cast with incompatible pointers types (source: sint8*) (target: sint32*)
[wp] 0 goal scheduled

我的目的是创建一个函数,返回一个没有前置条件的指针,后置条件是指针有效.

有人可以帮我理解我的错误在哪里吗？

/*
  create_stack

        Inputs: none
        Outputs: S (a stack)
        Preconditions: none
        Postconditions: S is defined and empty 
*/

/*@ 
    ensures  \valid(\result) && \result[0] == 0;
*/
int *Stack_Init()
{ …

我遇到了布尔方法的麻烦.

private boolean askYesNoQuestion(String prompt){
prompt = prompt.toLowerCase();
if(prompt.equals("yes")) return true;
if(prompt.equals("no")) return false;
else prompt = readLine("Please answer yes or no.");
}

Eclipse说:" 该方法必须返回boolean类型的结果 ".

以下代码中的问题相同:

private boolean isPerfectSquare(int n){
for(int i = 0; i <= n; i++){
if(i*i == n) {
return true;
}
else return false;
}

我想我已经包括return在声明中,除了它们是在if发表声明之后.