Package ch.so.agi.mcp.tools

Class ConstraintTestTools

java.lang.Object

ch.so.agi.mcp.tools.ConstraintTestTools

@Component
public class ConstraintTestTools
extends Object

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
static enum	ConstraintTestTools.ExpectationSource
static class	ConstraintTestTools.TestCase
static class	ConstraintTestTools.TestLink
static class	ConstraintTestTools.TestObject

Constructor Summary

Constructors

Constructor	Description
ConstraintTestTools(IliCompilerService compilerService)

Method Summary

Modifier and Type	Method	Description
Map<String,Object>	testIliConstraint(String modelText, String constraint, List<ConstraintTestTools.TestCase> cases)
Map<String,Object>	testIliConstraint(String modelText, String constraint, List<ConstraintTestTools.TestCase> cases, @Nullable Boolean includeSuccessfulTestXtf)

Methods inherited from class java.lang.Object

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

Constructor Details

ConstraintTestTools

public ConstraintTestTools(IliCompilerService compilerService)

Method Details

testIliConstraint

@McpTool(name="testIliConstraint",
         description="Prueft einen bestehenden INTERLIS-Constraint mit explizit vom Agenten definierten Testfaellen. Erzeugt fuer jeden Fall ein minimales XTF, unterstuetzt mehrere Objekte und optional mehrere Baskets pro Topic ueber object.basketId bzw. bei heavyweight Associations link.basketId, deaktiviert andere Constraints, validiert mit iox-ili/ilivalidator und vergleicht das beobachtete Ergebnis mit expectedConstraintValid. Erzeugt selbst noch keine Witnesses oder Counterexamples. evidence kennzeichnet CALLER_SUPPLIED_EXPECTATIONS; deren fachliche Herkunft wird nicht verifiziert.",
         annotations=)
public Map<String,Object> testIliConstraint(@McpToolParam(description="Vollstaendiger INTERLIS-2 Modelltext",required=true)
 String modelText,
 @McpToolParam(description="Constraint-Name oder vollqualifizierter Constraint-Name",required=true)
 String constraint,
 @McpToolParam(description="expectationSource ist optional: USER_PROVIDED, USER_CONFIRMED, AGENT_DERIVED oder UNSPECIFIED (Standard); Herkunft wird nicht verifiziert. Explizite Testfaelle. Jeder Fall enthaelt name, expectedConstraintValid, objects und optional links. Object basketId ist optional; ohne Angabe wird wie bisher ein impliziter Basket pro Topic verwendet. Object values sind skalare Werte, Listen skalarer Werte oder verschachtelte Maps/Listen fuer STRUCTURE-Attribute; references und link roles enthalten Ziel-OIDs. Heavyweight Association links koennen optional basketId setzen.",required=true)
 List<ConstraintTestTools.TestCase> cases,
 @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)

testIliConstraint

public Map<String,Object> testIliConstraint(String modelText,
 String constraint,
 List<ConstraintTestTools.TestCase> cases)