Package ch.so.agi.mcp.constraint

Class ConstraintModelSynthesizer

java.lang.Object

ch.so.agi.mcp.constraint.ConstraintModelSynthesizer

public final class ConstraintModelSynthesizer
extends Object

Binds semantic constraint references to an ili2c model and materializes concrete object graphs.

This class deliberately does not solve test goals. A solver supplies an assignment for the IR references; this class validates that assignment against INTERLIS domains/cardinalities and turns it into root/target objects, references, embedded structures and association links. Shared path prefixes are materialized only once.

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
static final record	ConstraintModelSynthesizer.AssociationBinding
static final record	ConstraintModelSynthesizer.CountShape	A bounded topology obligation; absent indices leave the normal cardinality solver unchanged.
static final record	ConstraintModelSynthesizer.GraphLink
static final record	ConstraintModelSynthesizer.GraphObject
static final record	ConstraintModelSynthesizer.ModelBinding
static final record	ConstraintModelSynthesizer.NavigationBinding	One navigational step before the scalar endpoint attribute.
static enum	ConstraintModelSynthesizer.NavigationKind
static final record	ConstraintModelSynthesizer.NumericDomain
static final record	ConstraintModelSynthesizer.ObjectGraph
static final record	ConstraintModelSynthesizer.ReferenceBinding
static final record	ConstraintModelSynthesizer.ValueDomain

Method Summary

Modifier and Type	Method	Description
static ConstraintModelSynthesizer.ModelBinding	bind(ch.interlis.ili2c.metamodel.TransferDescription td, String contextFqn, ConstraintExpression expression)	Resolves all attribute/path references of an expression against the compiled model.
static ConstraintModelSynthesizer.ModelBinding	bind(ch.interlis.ili2c.metamodel.TransferDescription td, String contextFqn, ConstraintExpression expression, Map<String,String> concreteTargetOverrides)	Resolves an expression with explicit concrete choices for abstract navigation targets.
static List<String>	concreteTargetFqns(ch.interlis.ili2c.metamodel.TransferDescription td, String declaredFqn)	Returns all concrete ili2c subtypes for an abstract class, in stable FQN order.
static String	countedPath(ConstraintExpression.Reference reference)
static ConstraintModelSynthesizer.ObjectGraph	synthesize(ConstraintModelSynthesizer.ModelBinding binding, Map<String,Object> assignment, String oidPrefix)	Materializes a complete solver assignment into an INTERLIS-shaped object graph.
static ConstraintModelSynthesizer.ObjectGraph	synthesize(ConstraintModelSynthesizer.ModelBinding binding, Map<String,Object> assignment, String oidPrefix, ConstraintModelSynthesizer.CountShape shape)

Methods inherited from class java.lang.Object

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

Method Details

bind

public static ConstraintModelSynthesizer.ModelBinding bind(ch.interlis.ili2c.metamodel.TransferDescription td,
 String contextFqn,
 ConstraintExpression expression)

Resolves all attribute/path references of an expression against the compiled model.

bind

public static ConstraintModelSynthesizer.ModelBinding bind(ch.interlis.ili2c.metamodel.TransferDescription td,
 String contextFqn,
 ConstraintExpression expression,
 Map<String,String> concreteTargetOverrides)

Resolves an expression with explicit concrete choices for abstract navigation targets. Overrides are keyed by the declared abstract class FQN and are validated against ili2c's extension graph.

synthesize

public static ConstraintModelSynthesizer.ObjectGraph synthesize(ConstraintModelSynthesizer.ModelBinding binding,
 Map<String,Object> assignment,
 String oidPrefix)

Materializes a complete solver assignment into an INTERLIS-shaped object graph.

synthesize

public static ConstraintModelSynthesizer.ObjectGraph synthesize(ConstraintModelSynthesizer.ModelBinding binding,
 Map<String,Object> assignment,
 String oidPrefix,
 ConstraintModelSynthesizer.CountShape shape)

countedPath

public static String countedPath(ConstraintExpression.Reference reference)

concreteTargetFqns

public static List<String> concreteTargetFqns(ch.interlis.ili2c.metamodel.TransferDescription td,
 String declaredFqn)

Returns all concrete ili2c subtypes for an abstract class, in stable FQN order.