All Classes and Interfaces
Class
Description
One 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.
Small shared guidance, visible without loading an optional MCP prompt/resource.
Typed MCP entry points for expression-based constraint kinds.
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 for
ConstraintExpression.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.
Shared node-shape rules for native schemas and every constraint renderer entry point.
Boundaries of the pinned iox-ili 1.24.4 runtime, checked on unnormalised compiler output.
Agent-side workflow; does not alter server release flags.
Canonical enum spelling shared by authoring, decision tables and ordered AST comparison.
Describes observed checks, never authorizes a model or replaces the original results.
Validates and renders geometry types without inventing geometry semantics.
Explicit geometry semantics for an attribute.
Stable, typed output contract shared by high-level authoring and change tools.
A normalized semantic change.
Lexical comment spans; quoted strings are never interpreted as comments.
Closed, discriminated authoring contract for the five INTERLIS constraint kinds.
Recursive semantic expression; raw INTERLIS syntax is intentionally not accepted.
One-call authoring of a complete, reviewed and constraint-proven INTERLIS model.
Atomic, source-preserving implementation of applyIliModelChanges.
Typed, complete input tree shared by full-model and change authoring.
Exact attribute declaration plus the IliDoc/meta-attribute prelude owned by it.
Strict internal renderer.
Imports the INTERLIS capabilities without starting an application or transport.
Makes closed
kind-discriminated MCP unions explicit JSON Schema oneOfs.Registers the DTO types of the MCP tool contract for reflection.
Identifies exact UTF-8 model text, not compilation success or imported dependencies.
Direct object-valued navigation, shared with Mandatory and Decision Table proofs.
Deterministic concrete type choices keyed by path position, never by class alone.
Captures the immutable benchmark artifact and dependency identity once per server process.
Typed semantic representation of an INTERLIS constraint at constraint level.
Typed form of ili2c's
Objects AST node, rendered by INTERLIS as ALL.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 of
INTERLIS.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.
STDIO transport with a single writer queue.
A deterministic, request-local contract error; paths are RFC 6901 JSON pointers.
Structured registry for the standard INTERLIS Math/Text constraint functions.
Output-only projection after evidence calculation.
Compiler-derived scope of direct identity projections supported by the pinned validator.