Package org.iam.core

Class CmdRun

java.lang.Object

org.iam.core.CmdRun

public class CmdRun
extends Object

Command-line entry point for running AccessRefinery and Zelkova batch processing.

Parses command-line arguments, sets parameters, and invokes mining or checking routines for input files or directories.

• -h, --help: Show help information
• -m, --mining: Enable mining mode (findings extraction)
• -r, --reducing: Enable reduction of findings
• -f, --file: Specify the input path for constraint files
• -s, --sat: Use SAT as the solving core (default is BDD)
• --round: Set the number of mining rounds
• --zelkova: Run Zelkova mode
• --rest: Enable REST mode
• --merge: Merge intents in output

Since:

2025-02-28

Author:

Constructor Summary

Constructors

Constructor	Description
CmdRun()

Method Summary

Modifier and Type	Method	Description
static void	run(String[] args)
static void	runBatchAccessRefinery(String input)
static void	runBatchZelkova(String input)

Methods inherited from class java.lang.Object

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

Constructor Details

CmdRun

public CmdRun()

Method Details

run

public static void run(String[] args)

runBatchAccessRefinery

public static void runBatchAccessRefinery(String input)
                                   throws IOException

Throws:

IOException

runBatchZelkova

public static void runBatchZelkova(String input)
                            throws IOException

Throws:

IOException