Package org.iam.policy.model

Class MCPStatement

java.lang.Object

org.iam.policy.grammer.Statement

org.iam.policy.model.MCPStatement

public class MCPStatement
extends Statement

MCPStatement extends Statement and provides symbolic encoding for statements.

Supports initialization of symbolic domains and computation of the symbolic node for principals, actions, resources, and conditions.

Since:

2025-02-28

Author:

Nested Class Summary

Nested classes/interfaces inherited from class org.iam.policy.grammer.Statement

Statement.VarEffect

Field Summary

Fields inherited from class org.iam.policy.grammer.Statement

action, condition, effect, principal, resource, sid

Constructor Summary

Constructors

Constructor	Description
MCPStatement()	Default constructor.
MCPStatement(Statement statement)	Constructs an MCPStatement from a Statement object.

Method Summary

Modifier and Type	Method	Description
org.mcp.core.MCPBitVector	getMCPNode()	Returns the symbolic encoding node for this statement.
org.mcp.core.MCPBitVector	getMCPNodeCalculation()	Computes and returns the symbolic encoding node for this statement.
void	initialMCPFactory()	Initializes the MCPFactory with domain variables for this statement.
static void	setMCPFactory(org.mcp.core.MCPFactory MCPFactory)	Sets the MCPFactory for all MCPStatement instances.
String	toString()	Returns a string representation of this MCPStatement.

Methods inherited from class org.iam.policy.grammer.Statement

equals, getAction, getCondition, getEffect, getPrincipal, getResource, getSid, hashCode, setAction, setCondition, setEffect, setPrincipal, setResource, setSid

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Constructor Details

MCPStatement

public MCPStatement()

Default constructor.

MCPStatement

public MCPStatement(Statement statement)

Constructs an MCPStatement from a Statement object. Initializes principals and conditions for symbolic encoding.

Parameters:

statement - the Statement to convert

Method Details

setMCPFactory

public static void setMCPFactory(org.mcp.core.MCPFactory MCPFactory)

Sets the MCPFactory for all MCPStatement instances.

Parameters:

MCPFactory - the MCPFactory to use

initialMCPFactory

public void initialMCPFactory()

Initializes the MCPFactory with domain variables for this statement. Adds principals, actions, resources, and conditions to the symbolic domain.

getMCPNodeCalculation

public org.mcp.core.MCPBitVector getMCPNodeCalculation()

Computes and returns the symbolic encoding node for this statement. Combines principals, actions, resources, and conditions using logical AND.

Returns:

the MCPBitVector node for this statement

getMCPNode

public org.mcp.core.MCPBitVector getMCPNode()

Returns the symbolic encoding node for this statement.

Returns:

the MCPBitVector node

toString

public String toString()

Returns a string representation of this MCPStatement.

Overrides:

toString in class Object

Returns:

a string representation