Package ch.so.agi.mcp.tools

Class ConstraintCaseGenerationTools

java.lang.Object

ch.so.agi.mcp.tools.ConstraintCaseGenerationTools

@Component
public class ConstraintCaseGenerationTools
extends Object

Constructor Summary

Constructors

Constructor	Description
ConstraintCaseGenerationTools(ConstraintContextService contextService, ConstraintTestTools testTools)

Method Summary

Modifier and Type	Method	Description
Map<String,Object>	generateCompiledConstraintCases(CompiledConstraintContext context)	Internal entry point for callers that already own the compiled model and resolved constraint.
Map<String,Object>	generateIliConstraintCases(String modelText, String constraint)
Map<String,Object>	generateIliConstraintCases(String modelText, String constraint, @Nullable Boolean includeSuccessfulTestXtf)

Methods inherited from class java.lang.Object

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

Constructor Details

ConstraintCaseGenerationTools

public ConstraintCaseGenerationTools(ConstraintContextService contextService,
 ConstraintTestTools testTools)

Method Details

generateIliConstraintCases

@McpTool(name="generateIliConstraintCases",
         description="Erzeugt fuer INTERLIS Mandatory-, UNIQUE-, EXISTENCE-, PLAUSIBILITY- und SET-Constraints modellbewusste Witness-, Counterexample-, Boundary- und Scope-Faelle. Verwendet einen einmal kompilierten Constraint-Kontext fuer AST/semantische IR, Solver, Object-Graph-Synthese, TypedValueFixtureFactory, NavigationGraphSynthesizer und Validator-Fixtures. UNIQUE prueft GLOBAL/WHERE/(BASKET)/LOCAL sowie direkte REFERENCE-, STRUCTURE-/COMPOSITION- und Geometrieschl\u00fcssel. EXISTENCE prueft skalare, Struktur-, REFERENCE-, COORD-, Linien-, Flaechen- und Multigeometriewerte; Validatorgrenzen werden mit Safety-Reason-Codes zur\u00fcckgehalten. PLAUSIBILITY erzeugt echte Populationen an der Prozentgrenze. SET unterst\u00fctzt OBJECT_COUNT einschlie\u00dflich objectCount(ALL), navigierte Objektmengen, boolesche Ausdr\u00fccke und Scope-Semantik, soweit alles materialisierbar ist. Alle freigegebenen Faelle sind vom realen ilivalidator best\u00e4tigt. evidence kennzeichnet automatisch abgeleitete F\u00e4lle; fachliche Anforderungstreue wird nicht behauptet.",
         annotations=)
public Map<String,Object> generateIliConstraintCases(@McpToolParam(description="Vollstaendiger INTERLIS-2 Modelltext",required=true)
 String modelText,
 @McpToolParam(description="Constraint-Name oder vollqualifizierter Constraint-Name",required=true)
 String constraint,
 @McpToolParam(description="Standard true. false l\u00e4sst nur XTF-Texte bestandener, ausge\u00fcbter F\u00e4lle mit g\u00fcltiger Fixture und null Warnungen weg; alle Diagnosen bleiben erhalten.",required=false)
 @Nullable Boolean includeSuccessfulTestXtf)

generateIliConstraintCases

public Map<String,Object> generateIliConstraintCases(String modelText,
 String constraint)

generateCompiledConstraintCases

public Map<String,Object> generateCompiledConstraintCases(CompiledConstraintContext context)

Internal entry point for callers that already own the compiled model and resolved constraint. No ili2c compilation is performed by this method.