Package ch.so.agi.mcp.constraint

Class ConstraintAstTranslator

java.lang.Object

ch.so.agi.mcp.constraint.ConstraintAstTranslator

public final class ConstraintAstTranslator
extends Object

Translates compiled ili2c mandatory-constraint AST nodes into the shared semantic constraint IR.

The translator reads ili2c metamodel objects directly. It deliberately does not depend on the map-shaped AST returned by reviewIliConstraint; that map remains an API representation, while this class is the typed semantic adapter used by evaluator, solver and fixture synthesis.

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
static final record	ConstraintAstTranslator.Translation
static final class	ConstraintAstTranslator.TranslationException

Method Summary

Modifier and Type	Method	Description
static ConstraintAstTranslator.Translation	translate(ch.interlis.ili2c.metamodel.Constraint constraint)
static ConstraintExpression	translate(ch.interlis.ili2c.metamodel.Evaluable evaluable, ConstraintExpression.IliVersion version)

Methods inherited from class java.lang.Object

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

Method Details

translate

public static ConstraintAstTranslator.Translation translate(ch.interlis.ili2c.metamodel.Constraint constraint)

translate

public static ConstraintExpression translate(ch.interlis.ili2c.metamodel.Evaluable evaluable,
 ConstraintExpression.IliVersion version)