Package ch.so.agi.mcp.constraint
package ch.so.agi.mcp.constraint
-
ClassDescriptionOne successfully compiled model plus one resolved constraint and its typed semantic IR.Translates compiled ili2c mandatory-constraint AST nodes into the shared semantic constraint IR.Shared two-compile implementation used by all five constraint authoring tools.Shared two-compile and source-edit workflow for typed constraint authoring.Compiles and resolves constraints once for reuse by review/authoring/proof stages.Derives model-aware semantic coverage probes and solves them through
ConstraintGoalSolver.A description of compiler semantics, never a claim of business acceptance.Small typed, semantic intermediate representation for constraint expressions.Native binary operator spelling for a language version.An object-valued path, never an arbitrary scalar probe attribute.Version-neutral evaluator and structural test-goal planner forConstraintExpression.Desired semantic state for a generated structural test goal.A boolean evaluation stopped because an operand had no value; not a technical failure.Meta-level assertion, deliberately distinct from an executable INTERLIS expression.Explicit value used when an INTERLIS expression is not defined.Exhaustive predicate partitions over a conservative superset of model-valid scalar values.Small deterministic finite-domain solver for semantic constraint test goals.Advisory analysis only.Binds semantic constraint references to an ili2c model and materializes concrete object graphs.A bounded topology obligation; absent indices leave the normal cardinality solver unchanged.One navigational step before the scalar endpoint attribute.Shared compiler-derived path facts for explicit resolution and bounded discovery.Bounded, breadth-first discovery of declared paths, with the compiler as authority.Translates compiled ili2c constraint nodes into the constraint-level semantic IR.Inserts constraints inside views or in external CONSTRAINTS OF blocks for other contexts.Boundaries of the pinned iox-ili 1.24.4 runtime, checked on unnormalised compiler output.Direct object-valued navigation, shared with Mandatory and Decision Table proofs.Deterministic concrete type choices keyed by path position, never by class alone.Typed semantic representation of an INTERLIS constraint at constraint level.Typed form of ili2c'sObjectsAST node, rendered by INTERLIS asALL.Semantic object/attribute path with the ili2c root preserved separately from surface path text.A compiled, typed object path used as the source of an OBJECTS OF argument.Proof-capable SET subset: comparison ofINTERLIS.objectCount(ALL)with a numeric value.Object-set expression used as an actual argument to an OBJECTS OF function parameter.Base for SET-condition semantics.Explicit placeholder for SET-only AST nodes outside the currently executable SET IR.A SET condition that already fits the existing scalar/value expression IR.Structured registry for the standard INTERLIS Math/Text constraint functions.Compiler-derived scope of direct identity projections supported by the pinned validator.