Add Coveralls and Java 9

.travis.yml

@@ -5,10 +5,12 @@ sudo: true
 
 language: java
 
-# Run builds against Oracle JDK.
 # https://docs.travis-ci.com/user/languages/java#Testing-Against-Multiple-JDKs
 jdk:
+  - openjdk8
+  - openjdk9
   - oraclejdk8
+  - oraclejdk9
 
 # As of 2016-06 Travis CI is running an outdated
 # version of Gradle, so this workaround fetches
@@ -17,7 +19,7 @@ before_install:
   # Setup Gradle configuration, tell it not to spawn a daemon.
   # Gradle will complain and ask us to enable the daemon, but
   # disabling it actually is a good practice for CI. Docs at
-  # https://docs.gradle.org/3.5/userguide/gradle_daemon.html#when_should_i_not_use_the_gradle_daemon
+  # https://docs.gradle.org/4.1/userguide/gradle_daemon.html#when_should_i_not_use_the_gradle_daemon
   - mkdir -pv $HOME/.gradle
   - echo 'org.gradle.daemon=false' > $HOME/.gradle/gradle.properties
 
@@ -30,6 +32,9 @@ before_install:
   - unzip -q gradle.zip
   - export PATH=$PWD/gradle-$GRADLE_VERSION/bin:$PATH
 
+after_success:
+  - gradle jacocoTestReport coveralls
+
 # Do not send notifications via e-mail, this gets
 # annoying pretty fast. Check Travis CI docs at
 # https://docs.travis-ci.com/user/notifications/#Email-notifications

README.md

@@ -1,6 +1,7 @@
 # Alpha
 
 [![Build Status](https://travis-ci.org/alpha-asp/Alpha.svg?branch=master)](https://travis-ci.org/alpha-asp/Alpha)
+[![Coverage Status](https://coveralls.io/repos/github/alpha-asp/Alpha/badge.svg?branch=ci)](https://coveralls.io/github/alpha-asp/Alpha?branch=ci)
 [![Code Quality Status](https://codebeat.co/badges/10b609be-9774-42a1-b7fe-2bb64382744d)](https://codebeat.co/projects/github-com-alpha-asp-alpha-master)
 
 Alpha is the successor of [OMiGA](http://www.kr.tuwien.ac.at/research/systems/omiga/) and currently in development.

build.gradle

@@ -1,7 +1,12 @@
-apply plugin: 'antlr'
-apply plugin: 'application'
-apply plugin: 'checkstyle'
-apply plugin: 'java'
+plugins {
+	id 'antlr'
+	id 'application'
+	id 'checkstyle'
+	id 'java'
+	id 'jacoco'
+
+	id 'com.github.kt3k.coveralls' version '2.8.1'
+}
 
 sourceCompatibility = 1.8
 targetCompatibility = 1.8
@@ -62,4 +67,11 @@ task bundledJar(type: Jar) {
 	archiveName = "${project.name}-bundled.jar"
 
 	with jar
+}
+
+jacocoTestReport {
+	reports {
+		xml.enabled = true
+		html.enabled = true
+	}
 }