2
93%
develop: 93%

Ran 21 Dec 2017 03:20PM UTC

Files 409

Run time 14s

Badge

Embed ▾

Committed 21 Dec 2017 03:13PM UTC coverage: 53.926% (+0.04%) from 53.884%

Job # 51.2

Build Type

push

travis-ci

Committed by

mtf90

Commit Message

Refactor DOT visualization

The general intent of this commit is to remove DOT-specific rendering code and
establish a rather generic rendering interface in which other visualization
providers (such as JUNG, currently) can be used in a plug and play fashion.
Especially, if one is not interested in rendering at all, no DOT/JUNG dependencies
should be pulled.

Major refactorings are:

* Added serialization/dot artifact
* Added visualization/dot artifact (this is now required as a runtime dependency
  if one wants to use the DOT renderer)
* Removed common/dotutil (has been moved/merged with visualization/dot)
* Generally the term DOTHelper has been replaced with VisualizationHelper

Coverage Stats

7054 of 13081 relevant lines covered (53.93%)

1.53 hits per line

LearnLib / automatalib / 51 / 2
93%
develop: 93%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 51.2

LearnLib / automatalib / 51 / 2 93% develop: 93%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 51.2

LearnLib / automatalib / 51 / 2
93%
develop: 93%

README BADGES
x