Index

A B C D E F G H I J K L M N O P R S T V W Z
All Classes and Interfaces|All Packages

A

AccessRefinery - Class in org.iam.core

AccessRefinery is the main processing class for analyzing constraint files.

AccessRefinery() - Constructor for class org.iam.core.AccessRefinery

Default constructor.

action - Variable in class org.iam.policy.grammer.Statement

addMCILabelsTime() - Method in class org.iam.utils.ResultsAnalyzer

Adds elapsed time to IMiner label timing and restarts measurement.

addMCIOperationsTime() - Method in class org.iam.utils.ResultsAnalyzer

Adds elapsed time to IMiner operation timing and restarts measurement.

addMCISolvingRound() - Method in class org.iam.utils.ResultsAnalyzer

Increments the solving round counter for IMiner.

addRound() - Method in class org.iam.utils.ResultsAnalyzer

Increments the file round counter.

addRRIILPSolvingTime() - Method in class org.iam.utils.ResultsAnalyzer

Adds elapsed time to IReducer ILP solving timing and restarts measurement.

addRRIOperationsTime() - Method in class org.iam.utils.ResultsAnalyzer

Adds elapsed time to IReducer operation timing and restarts measurement.

Allow - Enum constant in enum class org.iam.policy.grammer.Statement.VarEffect

appendValuesToFile(String, TimeMeasure) - Static method in class org.iam.utils.TimeMeasure

Appends the values (elapsed times) of the TimeMeasure's time records to a file.

ARN_LIKE - Enum constant in enum class org.iam.policy.grammer.Condition.VarOperator

ARN_NOT_LIKE - Enum constant in enum class org.iam.policy.grammer.Condition.VarOperator

B

build() - Method in class org.iam.model.IntentOrPolicyLabel.Builder

Builder() - Constructor for class org.iam.model.IntentOrPolicyLabel.Builder

C

calculateAverage() - Method in class org.iam.utils.ResultsAnalyzer

Calculates averages for all tracked statistics.

changeToCsvWithTime(String) - Static method in class org.iam.utils.FileUtil

Changes the file extension to .csv and appends "_time" to the base name.

changeToDot(String) - Static method in class org.iam.utils.FileUtil

Changes the file extension to .dot.

changeToJsonWithFindings(String) - Static method in class org.iam.utils.FileUtil

Changes the file extension to .json and appends "_result" to the base name.

CmdRun - Class in org.iam.core

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

CmdRun() - Constructor for class org.iam.core.CmdRun

condition - Variable in class org.iam.policy.grammer.Statement

Condition - Class in org.iam.policy.grammer

Condition represents a condition block with an operator and key-value pairs.

Condition(Condition) - Constructor for class org.iam.policy.grammer.Condition

Copy constructor.

Condition(Condition.VarOperator, HashMap<String, List<String>>) - Constructor for class org.iam.policy.grammer.Condition

Constructs a Condition with the given operator and key-value mapping.

Condition.VarOperator - Enum Class in org.iam.policy.grammer

Enum for supported condition operators.

ConditionDeserializer - Class in org.iam.policy.grammer

Custom deserializer for a list of Condition objects from JSON.

ConditionDeserializer() - Constructor for class org.iam.policy.grammer.ConditionDeserializer

configureLogging(String) - Static method in class org.iam.utils.LoggerUtil

Configures the root logger with console and file handlers.

convert() - Method in class org.iam.model.IntentOrPolicyLabel

Converts this label to an OperableLabel for symbolic operations.

createDirectoryIfNotExists(Path) - Static method in class org.iam.utils.FileUtil

Creates the directory if it does not exist.

D

Deny - Enum constant in enum class org.iam.policy.grammer.Statement.VarEffect

deserialize(JsonParser, DeserializationContext) - Method in class org.iam.policy.grammer.ConditionDeserializer

Deserializes JSON into a list of Condition objects.

deserialize(JsonParser, DeserializationContext) - Method in class org.iam.policy.grammer.PrincipalDeserializer

Deserializes JSON into a list of Principal objects.

deserialize(JsonParser, DeserializationContext) - Method in class org.iam.policy.grammer.StringDeserializer

Deserializes a JSON node into a list of formatted strings.

DomainLabelTrees - Class in org.iam.model

DomainLabelTrees manages label trees for multiple domains.

DomainLabelTrees() - Constructor for class org.iam.model.DomainLabelTrees

Default constructor.

DomainLabelTrees(MCPFactory) - Constructor for class org.iam.model.DomainLabelTrees

Constructs DomainLabelTrees using an MCPFactory.

domainName - Variable in class org.iam.policy.grammer.Principal

E

effect - Variable in class org.iam.policy.grammer.Statement

equals(Object) - Method in class org.iam.intent.MCPIntent

equals(Object) - Method in class org.iam.intent.MergeIntent

equals(Object) - Method in class org.iam.model.IntentOrPolicyLabel

equals(Object) - Method in class org.iam.policy.grammer.Condition

equals(Object) - Method in class org.iam.policy.grammer.Policy

equals(Object) - Method in class org.iam.policy.grammer.Principal

equals(Object) - Method in class org.iam.policy.grammer.Statement

F

FileUtil - Class in org.iam.utils

Utility class for file and directory operations.

FileUtil() - Constructor for class org.iam.utils.FileUtil

FINDING - Enum constant in enum class org.iam.model.IntentOrPolicyLabel.VarType

FOR_ALL_VALUES_STRING_EQUALS - Enum constant in enum class org.iam.policy.grammer.Condition.VarOperator

FOR_ALL_VALUES_STRING_EQUALS_IGNORE_CASE - Enum constant in enum class org.iam.policy.grammer.Condition.VarOperator

FOR_ALL_VALUES_STRING_Like - Enum constant in enum class org.iam.policy.grammer.Condition.VarOperator

FOR_ALL_VALUES_STRING_MATCH - Enum constant in enum class org.iam.policy.grammer.Condition.VarOperator

FOR_ALL_VALUES_STRING_NOT_EQUALS - Enum constant in enum class org.iam.policy.grammer.Condition.VarOperator

FOR_ALL_VALUES_STRING_NOT_EQUALS_IGNORE_CASE - Enum constant in enum class org.iam.policy.grammer.Condition.VarOperator

FOR_ALL_VALUES_STRING_NOT_Like - Enum constant in enum class org.iam.policy.grammer.Condition.VarOperator

FOR_ALL_VALUES_STRING_NOT_MATCH - Enum constant in enum class org.iam.policy.grammer.Condition.VarOperator

FOR_ANY_VALUE_STRING_EQUALS - Enum constant in enum class org.iam.policy.grammer.Condition.VarOperator

FOR_ANY_VALUE_STRING_EQUALS_IGNORE_CASE - Enum constant in enum class org.iam.policy.grammer.Condition.VarOperator

FOR_ANY_VALUE_STRING_Like - Enum constant in enum class org.iam.policy.grammer.Condition.VarOperator

FOR_ANY_VALUE_STRING_MATCH - Enum constant in enum class org.iam.policy.grammer.Condition.VarOperator

FOR_ANY_VALUE_STRING_NOT_EQUALS - Enum constant in enum class org.iam.policy.grammer.Condition.VarOperator

FOR_ANY_VALUE_STRING_NOT_EQUALS_IGNORE_CASE - Enum constant in enum class org.iam.policy.grammer.Condition.VarOperator

FOR_ANY_VALUE_STRING_NOT_Like - Enum constant in enum class org.iam.policy.grammer.Condition.VarOperator

FOR_ANY_VALUE_STRING_NOT_MATCH - Enum constant in enum class org.iam.policy.grammer.Condition.VarOperator

fromString(String) - Static method in enum class org.iam.policy.grammer.Condition.VarOperator

fromString(String) - Static method in enum class org.iam.policy.grammer.Statement.VarEffect

fromString(String, Class<T>) - Static method in interface org.iam.policy.grammer.StringComparableEnum

Returns the enum constant matching the given string value (case-insensitive).

G

getAction() - Method in class org.iam.policy.grammer.Statement

getCondition() - Method in class org.iam.policy.grammer.Statement

getDomainName() - Method in class org.iam.policy.grammer.Principal

getDomainValues() - Method in class org.iam.intent.MCPIntent

Returns the domain values for this intent.

getDomainValues() - Method in class org.iam.intent.MergeIntent

Returns the domain values for this intent.

getEffect() - Method in class org.iam.policy.grammer.Statement

getFileNames(Path) - Static method in class org.iam.utils.FileUtil

Returns a sorted list of file names in the given directory.

getFinding() - Method in class org.iam.intent.MergeIntent

Converts this MergeIntent to an MCPIntent.

getFinding(String) - Method in class org.iam.intent.MergeIntent

Converts this MergeIntent to an MCPIntent for a specific domain.

getId() - Method in class org.iam.policy.grammer.Policy

getKeyToValues() - Method in class org.iam.policy.grammer.Condition

getLogFilePath() - Static method in class org.iam.utils.LoggerUtil

Gets the current log file path.

getMaximumChildrens(T) - Method in class org.iam.model.LabelTree

Finds the set of maximal children for a given node.

getMaximumLabels(String, Object) - Method in class org.iam.model.DomainLabelTrees

Returns the maximal labels (children nodes) for a given domain and value.

getMCPFactory() - Method in class org.iam.core.Zelkova

Returns the MCPFactory used for symbolic computation.

getMCPFactory() - Static method in class org.iam.policy.model.MCPCondition

Returns the MCPFactory used by all MCPCondition instances.

getMCPFactory() - Static method in class org.iam.policy.model.MCPPolicy

Returns the MCPFactory used by all MCPPolicy instances.

getMCPFactory(MCPFactory) - Static method in class org.iam.policy.model.MCPPrincipal

Returns the MCPFactory used by all MCPPrincipal instances.

getMCPNode() - Method in class org.iam.intent.MCPIntent

Gets the symbolic encoding node for this intent.

getMCPNode() - Method in class org.iam.policy.model.MCPCondition

Returns the symbolic encoding node for this condition.

getMCPNode() - Method in class org.iam.policy.model.MCPPolicy

Returns the symbolic encoding node for this policy.

getMCPNode() - Method in class org.iam.policy.model.MCPStatement

Returns the symbolic encoding node for this statement.

getMCPNodeCalculation() - Method in interface org.iam.model.MCPVar

Computes and returns the symbolic representation (MCPBitVector) for this object.

getMCPNodeCalculation() - Method in class org.iam.policy.model.MCPCondition

Computes and returns the symbolic encoding node for this condition.

getMCPNodeCalculation() - Method in class org.iam.policy.model.MCPPolicy

Computes and returns the symbolic encoding node for this policy.

getMCPNodeCalculation() - Method in class org.iam.policy.model.MCPPrincipal

Computes and returns the symbolic encoding node for this principal.

getMCPNodeCalculation() - Method in class org.iam.policy.model.MCPStatement

Computes and returns the symbolic encoding node for this statement.

getMCPPolicy() - Method in class org.iam.core.Zelkova

Returns the MCPPolicy built from the input file.

getNodeToMaximumChildren() - Method in class org.iam.model.LabelTree

Returns a map from each node to its set of maximal children.

getOperator() - Method in class org.iam.policy.grammer.Condition

getPrincipal() - Method in class org.iam.policy.grammer.Statement

getResource() - Method in class org.iam.policy.grammer.Statement

getRootFinding(MCPFactory) - Static method in class org.iam.intent.MCPIntent

Creates and returns the root intent, initializing domain values for all domains.

getSid() - Method in class org.iam.policy.grammer.Statement

getSingleRoundTotalTime() - Method in class org.iam.utils.TimeMeasure

Gets the total elapsed time of the current round of operations.

getStatement() - Method in class org.iam.policy.grammer.Policy

getTestFile(String) - Static method in class org.iam.utils.PolicyParser

Retrieves a test file as an input stream.

getTime() - Method in class org.iam.core.Zelkova

Returns the TimeMeasure instance for timing statistics.

getTimeRecords() - Method in class org.iam.utils.TimeMeasure

Gets the map of time records.

getTotalTime() - Method in class org.iam.utils.TimeMeasure

Gets the total elapsed time of all operations across all rounds.

getValue() - Method in class org.iam.model.IntentOrPolicyLabel

Returns the underlying value (finding, policy, or MCPBitVector).

getValue() - Method in enum class org.iam.policy.grammer.Condition.VarOperator

getValue() - Method in enum class org.iam.policy.grammer.Statement.VarEffect

getValue() - Method in interface org.iam.policy.grammer.StringComparableEnum

Returns the string value associated with the enum constant.

getValues() - Method in class org.iam.policy.grammer.Principal

getVarType() - Method in class org.iam.model.IntentOrPolicyLabel

Returns the type of value this label represents.

getVersion() - Method in class org.iam.policy.grammer.Policy

H

hashCode() - Method in class org.iam.intent.MCPIntent

hashCode() - Method in class org.iam.intent.MergeIntent

hashCode() - Method in class org.iam.model.IntentOrPolicyLabel

hashCode() - Method in class org.iam.policy.grammer.Condition

hashCode() - Method in class org.iam.policy.grammer.Policy

hashCode() - Method in class org.iam.policy.grammer.Principal

hashCode() - Method in class org.iam.policy.grammer.Statement

I

id - Variable in class org.iam.policy.grammer.Policy

ignoreCase(String) - Static method in class org.iam.policy.model.MCPCondition

Converts a string to a case-insensitive regex pattern.

ILPSolver - Class in org.iam.core

ILPSolver provides a method to solve the Minimum Set Cover problem using Integer Linear Programming (ILP).

ILPSolver() - Constructor for class org.iam.core.ILPSolver

initializes() - Method in class org.iam.utils.ResultsAnalyzer

Resets all statistics for a new analysis run.

initialMCPFactory() - Method in interface org.iam.model.MCPVar

Initializes the symbolic factory with the necessary domain variables.

initialMCPFactory() - Method in class org.iam.policy.model.MCPCondition

Initializes the MCPFactory with domain variables based on this condition's key-value pairs.

initialMCPFactory() - Method in class org.iam.policy.model.MCPPolicy

Initializes the MCPFactory with domain variables from allow and deny statements.

initialMCPFactory() - Method in class org.iam.policy.model.MCPPrincipal

Initializes the MCPFactory with domain variables for this principal.

initialMCPFactory() - Method in class org.iam.policy.model.MCPStatement

Initializes the MCPFactory with domain variables for this statement.

IntentOrPolicyLabel - Class in org.iam.model

IntentOrPolicyLabel is a Label that can wrap a finding, a policy, or an MCPBitVector.

IntentOrPolicyLabel.Builder - Class in org.iam.model

Builder for IntentOrPolicyLabel.

IntentOrPolicyLabel.VarType - Enum Class in org.iam.model

Enum for the type of value this label represents.

IPADDRESS - Enum constant in enum class org.iam.policy.grammer.Condition.VarOperator

isBDD - Static variable in class org.iam.utils.Parameter

Enable or disable BDD (Binary Decision Diagram) mode.

isMerged - Static variable in class org.iam.utils.Parameter

Whether to merge results or findings.

isMerged(MergeIntent) - Method in class org.iam.intent.MergeIntent

Checks if this intent can be merged with another (differs in exactly one domain).

isReduced - Static variable in class org.iam.utils.Parameter

Whether to reduce the findings.

isRestMode - Static variable in class org.iam.utils.Parameter

If true, use the whole space minus the finding when mining findings.

isSatisfiable(Path) - Method in class org.iam.core.Zelkova

Checks if the constraint file is satisfiable.

isSplitLabel - Static variable in class org.iam.utils.Parameter

Treat the list of values as a whole label, e.g., IAM:[User1, User2].

isTimeLog - Static variable in class org.iam.utils.Parameter

Enable or disable time logging.

isValid(String) - Static method in enum class org.iam.policy.grammer.Condition.VarOperator

isValid(String) - Static method in enum class org.iam.policy.grammer.Statement.VarEffect

isValid(String, Class<? extends Enum<?>>) - Static method in interface org.iam.policy.grammer.StringComparableEnum

Checks if the given string matches any value in the enum (case-insensitive).

J

JsonIntent - Class in org.iam.intent

Converts a set of MCPIntent objects into a JSON structure for output.

JsonIntent(String, HashSet<MCPIntent>) - Constructor for class org.iam.intent.JsonIntent

Constructs a JsonIntent object.

K

keyToValues - Variable in class org.iam.policy.grammer.Condition

Mapping from condition keys to their list of values.

L

LabelTree<T> - Class in org.iam.model

LabelTree represents a tree structure where each node has a set of children.

LabelTree(HashMap<T, HashSet<T>>) - Constructor for class org.iam.model.LabelTree

Constructs a LabelTree with the given mapping of nodes to their children.

LOGGER - Static variable in class org.iam.utils.Parameter

Logger instance for findings and general logging.

LoggerUtil - Class in org.iam.utils

Utility class for configuring and managing logging.

LoggerUtil() - Constructor for class org.iam.utils.LoggerUtil

M

main(String[]) - Static method in class org.iam.Main

main(String[]) - Static method in class org.iam.utils.PolicySplitter

Main - Class in org.iam

Main() - Constructor for class org.iam.Main

MCPBitVector - Enum constant in enum class org.iam.model.IntentOrPolicyLabel.VarType

MCPCondition - Class in org.iam.policy.model

MCPCondition extends Condition and implements MCPVar for symbolic encoding.

MCPCondition(Condition) - Constructor for class org.iam.policy.model.MCPCondition

Constructs an MCPCondition by copying from another Condition.

MCPIntent - Class in org.iam.intent

MCPIntent represents a finding with domain values and symbolic encoding.

MCPIntent() - Constructor for class org.iam.intent.MCPIntent

Default constructor.

MCPIntent(MCPIntent) - Constructor for class org.iam.intent.MCPIntent

Copy constructor.

MCPPolicy - Class in org.iam.policy.model

MCPPolicy extends Policy and implements MCPVar for symbolic encoding.

MCPPolicy(Policy) - Constructor for class org.iam.policy.model.MCPPolicy

Constructs an MCPPolicy from a Policy object.

MCPPrincipal - Class in org.iam.policy.model

MCPPrincipal extends Principal and implements MCPVar for symbolic encoding.

MCPPrincipal(Principal) - Constructor for class org.iam.policy.model.MCPPrincipal

Constructs an MCPPrincipal by copying from another Principal.

MCPStatement - Class in org.iam.policy.model

MCPStatement extends Statement and provides symbolic encoding for statements.

MCPStatement() - Constructor for class org.iam.policy.model.MCPStatement

Default constructor.

MCPStatement(Statement) - Constructor for class org.iam.policy.model.MCPStatement

Constructs an MCPStatement from a Statement object.

MCPVar - Interface in org.iam.model

Interface for objects that can be represented as symbolic variables using MCPBitVector.

merge(MergeIntent) - Method in class org.iam.intent.MergeIntent

Merges this intent with another, combining values in the differing domain.

MergeIntent - Class in org.iam.intent

MergeIntent is used to merge and manipulate sets of domain values for intent mining.

MergeIntent(MCPIntent) - Constructor for class org.iam.intent.MergeIntent

Constructs a MergeIntent from an MCPIntent.

MergeIntent(MergeIntent) - Constructor for class org.iam.intent.MergeIntent

Copy constructor.

mergingIntents(HashSet<MCPIntent>) - Method in class org.iam.core.AccessRefinery

Merges compatible findings into larger intents.

modifyLoggerLevel(Logger, Level) - Static method in class org.iam.utils.LoggerUtil

Modifies the log level for the given logger and all its handlers.

N

NOTIPADDRESS - Enum constant in enum class org.iam.policy.grammer.Condition.VarOperator

O

operator - Variable in class org.iam.policy.grammer.Condition

The operator for this condition.

org.iam - package org.iam

Top-level package for the AccessRefinery analysis engine.

org.iam.core - package org.iam.core

Core orchestration and solving workflow for AccessRefinery.

org.iam.intent - package org.iam.intent

Intent abstractions used by AccessRefinery mining and refinement.

org.iam.model - package org.iam.model

Internal model structures for label hierarchy and symbolic wrappers.

org.iam.policy - package org.iam.policy

IAM policy representation and parsing support.

org.iam.policy.grammer - package org.iam.policy.grammer

org.iam.policy.model - package org.iam.policy.model

org.iam.utils - package org.iam.utils

Utility helpers for IO, parsing, timing, logging, and experiment post-processing.

P

Parameter - Class in org.iam.utils

Global parameters and flags for controlling AccessRefinery behavior.

Parameter() - Constructor for class org.iam.utils.Parameter

parseFile(Path) - Static method in class org.iam.utils.PolicyParser

Parses a JSON file into a Policy object.

parseInput(InputStream) - Static method in class org.iam.utils.PolicyParser

Parses an input stream containing JSON data into a Policy object.

Policy - Class in org.iam.policy.grammer

Policy() - Constructor for class org.iam.policy.grammer.Policy

Policy(String, List<Statement>) - Constructor for class org.iam.policy.grammer.Policy

Policy(Policy) - Constructor for class org.iam.policy.grammer.Policy

POLICY - Enum constant in enum class org.iam.model.IntentOrPolicyLabel.VarType

PolicyParser - Class in org.iam.utils

The PolicyParser class provides utility methods for parsing policy files and input streams into Policy objects, converting Policy objects to JSON strings, and retrieving test files as input streams.

PolicyParser() - Constructor for class org.iam.utils.PolicyParser

PolicySplitter - Class in org.iam.utils

Utility for splitting a JSON array of policy objects into individual files.

PolicySplitter() - Constructor for class org.iam.utils.PolicySplitter

principal - Variable in class org.iam.policy.grammer.Statement

Principal - Class in org.iam.policy.grammer

Principal() - Constructor for class org.iam.policy.grammer.Principal

Principal(String, List<String>) - Constructor for class org.iam.policy.grammer.Principal

Principal(Principal) - Constructor for class org.iam.policy.grammer.Principal

PrincipalDeserializer - Class in org.iam.policy.grammer

Custom deserializer for a list of Principal objects from JSON.

PrincipalDeserializer() - Constructor for class org.iam.policy.grammer.PrincipalDeserializer

printMCPPolicy(Path) - Method in class org.iam.core.Zelkova

Writes the symbolic representation of the MCPPolicy to a DOT file.

printMCPPolicy(MCPPolicy, Path) - Method in class org.iam.core.AccessRefinery

Writes the symbolic representation of the MCPPolicy to a DOT file.

printToFile(JsonIntent, Path) - Static method in class org.iam.intent.JsonIntent

Writes the JsonIntent object to a JSON file.

processPrefix(String) - Static method in class org.iam.policy.model.MCPCondition

Processes a prefix string, appending "/32" if not already present.

R

refines() - Method in class org.iam.intent.MCPIntent

Refines the current intent into a set of more specific intents.

replaceSecondLastLevel(Path) - Static method in class org.iam.utils.FileUtil

Replaces the second last level of the input path with "results".

resource - Variable in class org.iam.policy.grammer.Statement

ResultsAnalyzer - Class in org.iam.utils

ResultsAnalyzer collects and computes statistics for batch analysis runs.

ResultsAnalyzer() - Constructor for class org.iam.utils.ResultsAnalyzer

Constructs a new ResultsAnalyzer and initializes all statistics.

round - Static variable in class org.iam.utils.Parameter

Current round or iteration count.

run(String[]) - Static method in class org.iam.core.CmdRun

runBatchAccessRefinery(String) - Static method in class org.iam.core.CmdRun

runBatchZelkova(String) - Static method in class org.iam.core.CmdRun

running(Path, ResultsAnalyzer) - Method in class org.iam.core.AccessRefinery

Calculates findings based on the constraint file specified by fileName.

S

setAction(List<String>) - Method in class org.iam.policy.grammer.Statement

setCondition(List<Condition>) - Method in class org.iam.policy.grammer.Statement

setDomainLabelTrees(String, LabelTree<Object>) - Method in class org.iam.model.DomainLabelTrees

Sets the LabelTree for a specific domain.

setDomainLabelTrees(DomainLabelTrees) - Static method in class org.iam.intent.MCPIntent

Sets the domain label trees for all MCPIntent instances.

setDomainName(String) - Method in class org.iam.policy.grammer.Principal

setDomainValue(String, Object) - Method in class org.iam.intent.MCPIntent

Sets the value for a specific domain.

setDomainValues(String, Set<String>) - Method in class org.iam.intent.MergeIntent

Sets the values for a specific domain.

setEffect(Statement.VarEffect) - Method in class org.iam.policy.grammer.Statement

setFinding(MCPIntent) - Method in class org.iam.model.IntentOrPolicyLabel.Builder

setId(String) - Method in class org.iam.policy.grammer.Policy

setKeyToValues(HashMap<String, List<String>>) - Method in class org.iam.policy.grammer.Condition

setMCISolvingRoundAverage(int) - Method in class org.iam.utils.ResultsAnalyzer

Sets the average number of solving rounds for IMiner.

setMCP(MCPBitVector) - Method in class org.iam.model.IntentOrPolicyLabel.Builder

setMCPFactory(MCPFactory) - Static method in class org.iam.policy.model.MCPCondition

Sets the MCPFactory for all MCPCondition instances.

setMCPFactory(MCPFactory) - Static method in class org.iam.policy.model.MCPPolicy

Sets the MCPFactory for all MCPPolicy instances.

setMCPFactory(MCPFactory) - Static method in class org.iam.policy.model.MCPPrincipal

Sets the MCPFactory for all MCPPrincipal instances.

setMCPFactory(MCPFactory) - Static method in class org.iam.policy.model.MCPStatement

Sets the MCPFactory for all MCPStatement instances.

setMCPLabelsFactory(MCPFactory) - Static method in class org.iam.intent.MCPIntent

Sets the MCPFactory for all MCPIntent instances.

setNumberIntentsMCI(int) - Method in class org.iam.utils.ResultsAnalyzer

Sets the number of IMiner intents.

setNumberIntentsRRI(int) - Method in class org.iam.utils.ResultsAnalyzer

Sets the number of IReducer intents.

setNumberStatement(int) - Method in class org.iam.utils.ResultsAnalyzer

Sets the number of statements in the analyzed file.

setOperator(Condition.VarOperator) - Method in class org.iam.policy.grammer.Condition

setPolicy(MCPPolicy) - Method in class org.iam.model.IntentOrPolicyLabel.Builder

setPrincipal(List<Principal>) - Method in class org.iam.policy.grammer.Statement

setResource(List<String>) - Method in class org.iam.policy.grammer.Statement

setSid(String) - Method in class org.iam.policy.grammer.Statement

setStatement(List<Statement>) - Method in class org.iam.policy.grammer.Policy

setValues(List<String>) - Method in class org.iam.policy.grammer.Principal

setVersion(String) - Method in class org.iam.policy.grammer.Policy

sid - Variable in class org.iam.policy.grammer.Statement

solve(Map<Object, Set<Integer>>, Set<Integer>) - Static method in class org.iam.core.ILPSolver

Solves the Minimum Set Cover problem using ILP.

startMeasurement() - Method in class org.iam.utils.ResultsAnalyzer

Starts a new timing measurement.

startMeasurement() - Method in class org.iam.utils.TimeMeasure

Starts measuring time for a specific operation.

statement - Variable in class org.iam.policy.grammer.Policy

Statement - Class in org.iam.policy.grammer

Statement() - Constructor for class org.iam.policy.grammer.Statement

Statement(Statement) - Constructor for class org.iam.policy.grammer.Statement

Statement(Statement.VarEffect, List<Principal>, List<String>, List<String>, List<Condition>) - Constructor for class org.iam.policy.grammer.Statement

Statement.VarEffect - Enum Class in org.iam.policy.grammer

stopMeasurement(String) - Method in class org.iam.utils.TimeMeasure

Stops measuring time for a specific operation and records the elapsed time.

STRING_EQUALS - Enum constant in enum class org.iam.policy.grammer.Condition.VarOperator

STRING_EQUALS_IF_EXISTS - Enum constant in enum class org.iam.policy.grammer.Condition.VarOperator

STRING_EQUALS_IGNORE_CASE - Enum constant in enum class org.iam.policy.grammer.Condition.VarOperator

STRING_Like - Enum constant in enum class org.iam.policy.grammer.Condition.VarOperator

STRING_MATCH - Enum constant in enum class org.iam.policy.grammer.Condition.VarOperator

STRING_MATCH_IF_EXISTS - Enum constant in enum class org.iam.policy.grammer.Condition.VarOperator

STRING_NOT_EQUALS - Enum constant in enum class org.iam.policy.grammer.Condition.VarOperator

STRING_NOT_EQUALS_IF_EXISTS - Enum constant in enum class org.iam.policy.grammer.Condition.VarOperator

STRING_NOT_EQUALS_IGNORE_CASE - Enum constant in enum class org.iam.policy.grammer.Condition.VarOperator

STRING_NOT_Like - Enum constant in enum class org.iam.policy.grammer.Condition.VarOperator

STRING_NOT_MATCH - Enum constant in enum class org.iam.policy.grammer.Condition.VarOperator

STRING_NOT_MATCH_IF_EXISTS - Enum constant in enum class org.iam.policy.grammer.Condition.VarOperator

StringComparableEnum - Interface in org.iam.policy.grammer

Interface for enums that can be compared and retrieved by string value.

StringDeserializer - Class in org.iam.policy.grammer

Custom Jackson deserializer for lists of strings, with regex formatting.

StringDeserializer() - Constructor for class org.iam.policy.grammer.StringDeserializer

T

timeLog - Static variable in class org.iam.utils.Parameter

Stores time log information as a string.

TimeMeasure - Class in org.iam.utils

Utility class for measuring and recording multiple time intervals.

TimeMeasure() - Constructor for class org.iam.utils.TimeMeasure

Constructs a new TimeMeasure object.

toString() - Method in class org.iam.intent.MCPIntent

Returns a string representation of this intent.

toString() - Method in class org.iam.intent.MergeIntent

toString() - Method in class org.iam.model.IntentOrPolicyLabel

toString() - Method in class org.iam.policy.grammer.Policy

toString() - Method in class org.iam.policy.model.MCPCondition

Returns a string representation of this MCPCondition.

toString() - Method in class org.iam.policy.model.MCPPolicy

Returns a string representation of this MCPPolicy.

toString() - Method in class org.iam.policy.model.MCPPrincipal

Returns a string representation of this MCPPrincipal.

toString() - Method in class org.iam.policy.model.MCPStatement

Returns a string representation of this MCPStatement.

toString(Policy) - Static method in class org.iam.utils.PolicyParser

Converts a Policy object to a pretty - printed JSON string.

V

valueOf(String) - Static method in enum class org.iam.model.IntentOrPolicyLabel.VarType

Returns the enum constant of this class with the specified name.

valueOf(String) - Static method in enum class org.iam.policy.grammer.Condition.VarOperator

Returns the enum constant of this class with the specified name.

valueOf(String) - Static method in enum class org.iam.policy.grammer.Statement.VarEffect

Returns the enum constant of this class with the specified name.

values - Variable in class org.iam.policy.grammer.Principal

values() - Static method in enum class org.iam.model.IntentOrPolicyLabel.VarType

Returns an array containing the constants of this enum class, in the order they are declared.

values() - Static method in enum class org.iam.policy.grammer.Condition.VarOperator

Returns an array containing the constants of this enum class, in the order they are declared.

values() - Static method in enum class org.iam.policy.grammer.Statement.VarEffect

Returns an array containing the constants of this enum class, in the order they are declared.

version - Variable in class org.iam.policy.grammer.Policy

W

writeAveragesToFile(String) - Method in class org.iam.utils.ResultsAnalyzer

Appends the current averages to the summary output file.

writeHeaderToFile(String) - Method in class org.iam.utils.ResultsAnalyzer

Writes the header line to the summary output file.

writeKeysToFile(String, TimeMeasure) - Static method in class org.iam.utils.TimeMeasure

Writes the keys (operation names) of the TimeMeasure's time records to a file, overwriting the existing content.

Z

Zelkova - Class in org.iam.core

Zelkova provides satisfiability checking and symbolic analysis for constraint files.

Zelkova() - Constructor for class org.iam.core.Zelkova

Default constructor.

A B C D E F G H I J K L M N O P R S T V W Z
All Classes and Interfaces|All Packages