Package ch.so.agi.mcp.constraint

Interface SemanticConstraint

All Known Implementing Classes:

SemanticConstraint.Existence, SemanticConstraint.Mandatory, SemanticConstraint.Plausibility, SemanticConstraint.Set, SemanticConstraint.Unique

public sealed interface SemanticConstraint
permits SemanticConstraint.Mandatory, SemanticConstraint.Unique, SemanticConstraint.Existence, SemanticConstraint.Plausibility, SemanticConstraint.Set

Typed semantic representation of an INTERLIS constraint at constraint level.

ConstraintExpression remains the value/expression IR used by Mandatory constraints and reusable boolean subexpressions. This layer captures the semantics that live above an expression: uniqueness scope, existence targets, plausibility percentage/direction and set scope.

Nested Class Summary

Nested Classes

Modifier and Type	Interface	Description
static final record	SemanticConstraint.AllObjects	Typed form of ili2c's Objects AST node, rendered by INTERLIS as ALL.
static final record	SemanticConstraint.ConstraintPath	Semantic object/attribute path with the ili2c root preserved separately from surface path text.
static final record	SemanticConstraint.Existence
static enum	SemanticConstraint.Kind
static final record	SemanticConstraint.Mandatory
static final record	SemanticConstraint.NavigatedObjects	A compiled, typed object path used as the source of an OBJECTS OF argument.
static final record	SemanticConstraint.ObjectCountSetCondition	Proof-capable SET subset: comparison of INTERLIS.objectCount(ALL) with a numeric value.
static interface	SemanticConstraint.ObjectSetExpression	Object-set expression used as an actual argument to an OBJECTS OF function parameter.
static final record	SemanticConstraint.Plausibility
static enum	SemanticConstraint.PlausibilityDirection
static final record	SemanticConstraint.Set
static interface	SemanticConstraint.SetCondition	Base for SET-condition semantics.
static final record	SemanticConstraint.Unique
static final record	SemanticConstraint.UntranslatedSetCondition	Explicit placeholder for SET-only AST nodes outside the currently executable SET IR.
static final record	SemanticConstraint.ValueSetCondition	A SET condition that already fits the existing scalar/value expression IR.

Method Summary

Modifier and Type	Method	Description
String	constraintName()
String	constraintScopedName()
String	contextFqn()
SemanticConstraint.Kind	kind()
ConstraintExpression.IliVersion	version()

Method Details

kind

SemanticConstraint.Kind kind()

constraintName

String constraintName()

constraintScopedName

String constraintScopedName()

contextFqn

String contextFqn()

version

ConstraintExpression.IliVersion version()