Package ch.so.agi.mcp.constraint

Class ConstraintExpressionEngine

java.lang.Object

ch.so.agi.mcp.constraint.ConstraintExpressionEngine

public final class ConstraintExpressionEngine
extends Object

Version-neutral evaluator and structural test-goal planner for ConstraintExpression.

The engine operates on semantic IDs, never on INTERLIS surface syntax. It therefore evaluates Math.add(a,b) and the INTERLIS 2.4 a + b representation identically once both have been translated to the same IR.

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
static final record	ConstraintExpressionEngine.EvaluationContext
static enum	ConstraintExpressionEngine.GoalKind	Desired semantic state for a generated structural test goal.
static enum	ConstraintExpressionEngine.NotComputable	A boolean evaluation stopped because an operand had no value; not a technical failure.
static final record	ConstraintExpressionEngine.StateCondition	Meta-level assertion, deliberately distinct from an executable INTERLIS expression.
static final record	ConstraintExpressionEngine.TestGoal
static enum	ConstraintExpressionEngine.Undefined	Explicit value used when an INTERLIS expression is not defined.
static final class	ConstraintExpressionEngine.UnsupportedFunctionSemanticsException

Method Summary

Modifier and Type	Method	Description
static Object	evaluate(ConstraintExpression expression, ConstraintExpressionEngine.EvaluationContext context)	Returns a value, missing value (ConstraintExpressionEngine.Undefined), or stopped evaluation (ConstraintExpressionEngine.NotComputable).
static boolean	evaluateConstraint(ConstraintExpression expression, ConstraintExpressionEngine.EvaluationContext context)	Evaluates a Mandatory Constraint.
static boolean	isUndefined(Object value)
static boolean	matchesState(ConstraintExpressionEngine.GoalKind kind, Object value)
static List<ConstraintExpressionEngine.TestGoal>	testGoals(ConstraintExpression expression)	Derives semantic coverage obligations independently of domains and XTF fixture construction.

Methods inherited from class java.lang.Object

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

Method Details

isUndefined

public static boolean isUndefined(Object value)

matchesState

public static boolean matchesState(ConstraintExpressionEngine.GoalKind kind,
 Object value)

evaluateConstraint

public static boolean evaluateConstraint(ConstraintExpression expression,
 ConstraintExpressionEngine.EvaluationContext context)

Evaluates a Mandatory Constraint. Only an explicit false result is a violation.

evaluate

public static Object evaluate(ConstraintExpression expression,
 ConstraintExpressionEngine.EvaluationContext context)

Returns a value, missing value (ConstraintExpressionEngine.Undefined), or stopped evaluation (ConstraintExpressionEngine.NotComputable). Unsupported semantics and technical errors are exceptions, never successful undefined results.

testGoals

public static List<ConstraintExpressionEngine.TestGoal> testGoals(ConstraintExpression expression)

Derives semantic coverage obligations independently of domains and XTF fixture construction. Later synthesis stages can solve these goals against model domains and cardinalities.