- Clone jpf
> git clone https://github.com/javapathfinder/jpf-core
> cd jpf-core
- Checkout
JPF-8.0
version
#!/usr/bin/bash | |
sudo add-apt-repository -y ppa:webupd8team/java | |
sudo apt-get update | |
sudo apt-get -y upgrade | |
echo debconf shared/accepted-oracle-license-v1-1 select true | sudo debconf-set-selections | |
echo debconf shared/accepted-oracle-license-v1-1 seen true | sudo debconf-set-selections | |
sudo apt-get -y install oracle-java8-installer |
#!/usr/bin/env python3 | |
# | |
# Author: Jeanderson Candido | |
import json | |
import urllib.request | |
from io import StringIO | |
# INPUT PARAMETERS: | |
# - OWNER: Repository owner | |
# - PROJECT: Target repository |
\begin{wrapfigure}{r}[0pt]{0pt}%0.525\linewidth | |
\centering | |
\includegraphics[width=.18\textwidth]{plots/survey.pdf} | |
\caption{\label{fig:rq5-answers}Summary of developer's answers to | |
survey question~\ref{questionThree}.} | |
\end{wrapfigure} |
if (cursor.moveToFirst()) { | |
while(!cursor.isAfterLast()){ | |
String data = cursor.getString(cursor.getColumnIndex("data")); | |
// do what ever you want here | |
// ... | |
// Move to the next database entry | |
cursor.moveToNext(); | |
} |
getListView().setOnItemClickListener(new OnItemClickListener() { | |
@Override | |
public void onItemClick(AdapterView<?> adapterView, View view, int position, long id) { | |
// your code is here on item click | |
} | |
}); |
def properties = [ | |
"projectName": "myblog" | |
] | |
buildscript { | |
repositories { | |
jcenter() | |
} | |
dependencies { | |
classpath "com.github.jruby-gradle:jruby-gradle-plugin:1.5.0" |
> git clone https://github.com/javapathfinder/jpf-core
> cd jpf-core
JPF-8.0
versionPicked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
Buildfile: /home/travis/build/javapathfinder/jpf-core/build.xml | |
-cond-clean: | |
clean: | |
-init: | |
[mkdir] Created dir: /home/travis/build/javapathfinder/jpf-core/build | |
-compile-annotations: | |
[mkdir] Created dir: /home/travis/build/javapathfinder/jpf-core/build/annotations | |
[javac] Compiling 10 source files to /home/travis/build/javapathfinder/jpf-core/build/annotations | |
-compile-main: |
Picked up _JAVA_OPTIONS: -Xmx2048m -Xms512m | |
Buildfile: /home/travis/build/javapathfinder/jpf-core/build.xml | |
-cond-clean: | |
clean: | |
-init: | |
[mkdir] Created dir: /home/travis/build/javapathfinder/jpf-core/build | |
-compile-annotations: | |
[mkdir] Created dir: /home/travis/build/javapathfinder/jpf-core/build/annotations | |
[javac] Compiling 10 source files to /home/travis/build/javapathfinder/jpf-core/build/annotations | |
-compile-main: |
$ ant build | |
Buildfile: /Users/jeandersonbc/projects/jpf/jpf-nhandler/build.xml | |
-init: | |
-compile-annotations: | |
-compile-main: | |
-compile-peers: |