eu.lindenbaum.maven.erlang
Class DialyzerScript
java.lang.Object
eu.lindenbaum.maven.erlang.DialyzerScript
- All Implemented Interfaces:
- Script<String[]>
public final class DialyzerScript
- extends Object
A Script
that can be used to dialyze erlang files.
- Author:
- Tobias Schlager
Fields inherited from interface eu.lindenbaum.maven.erlang.Script |
NL |
Method Summary |
String |
get()
Returns an evaluateable String containing the erlang script of the
implementing class. |
String[] |
handle(com.ericsson.otp.erlang.OtpErlangObject result)
Converts the result of the Script execution into a list of dialyzer
warning strings. |
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
script
protected final String script
DialyzerScript
public DialyzerScript(List<File> files,
List<File> includes,
String options)
throws org.apache.maven.plugin.MojoExecutionException
- Creates a dialyzer script for a
List
of erlang source files,
includes.
- Parameters:
files
- a list of files to dialyze (from source)includes
- a list of include filesoptions
- a list of dialyzer options according to the erlang docs
- Throws:
org.apache.maven.plugin.MojoExecutionException
- See Also:
- http://www.erlang.org/doc/man/dialyzer.html
get
public String get()
- Returns an evaluateable
String
containing the erlang script of the
implementing class.
- Returns:
- An erlang script that can be evaluated.
handle
public String[] handle(com.ericsson.otp.erlang.OtpErlangObject result)
- Converts the result of the
Script
execution into a list of dialyzer
warning strings.
- Parameters:
result
- The return term of the Script
execution.
- Returns:
- A list of warning strings issued by the erlang dialyzer.
Copyright © 2011 Lindenbaum GmbH. All Rights Reserved.