Package io.jenkins.plugins.finitestate

Class FiniteStateExecutionFramework

java.lang.Object

io.jenkins.plugins.finitestate.FiniteStateExecutionFramework

public class FiniteStateExecutionFramework
extends Object

Execution framework for Finite State analysis operations. Provides common logic for executing different types of analysis.

Method Summary

Modifier and Type	Method	Description
static boolean	executeAnalysis(BaseFiniteStateRecorder recorder, AbstractBuild<?,?> build, Launcher launcher, BuildListener listener)	Backward-compatible shim for freestyle builds using AbstractBuild API.
static boolean	executeAnalysis(BaseFiniteStateRecorder recorder, Run<?,?> run, FilePath workspace, Launcher launcher, TaskListener listener)	Execute a Finite State analysis with common error handling and logging.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Method Details

executeAnalysis

public static boolean executeAnalysis(BaseFiniteStateRecorder recorder,
 Run<?,?> run,
 FilePath workspace,
 Launcher launcher,
 TaskListener listener)
                               throws InterruptedException,
IOException

Execute a Finite State analysis with common error handling and logging.

Parameters:

recorder - Recorder that encapsulates analysis configuration and helpers

run - Jenkins run/build context used for environment and logging

workspace - Workspace directory where files and the CLT are accessed

launcher - Jenkins launcher used to execute external processes

listener - Build/task listener for console logging

Returns:

true when the analysis is triggered successfully (exit code 0 or 1), false on failures

Throws:

InterruptedException - if execution is interrupted

IOException - if CLT download or file I/O fails

executeAnalysis

public static boolean executeAnalysis(BaseFiniteStateRecorder recorder,
 AbstractBuild<?,?> build,
 Launcher launcher,
 BuildListener listener)
                               throws InterruptedException,
IOException

Backward-compatible shim for freestyle builds using AbstractBuild API.

Parameters:

recorder - Recorder that encapsulates analysis configuration and helpers

build - Freestyle build context

launcher - Jenkins launcher used to execute external processes

listener - Build listener for console logging

Returns:

result of delegated execution

Throws:

InterruptedException - if execution is interrupted

IOException - if CLT download or file I/O fails