Package ch.so.agi.mcp.tools

Class ConstraintReviewTools

java.lang.Object

ch.so.agi.mcp.tools.ConstraintReviewTools

@Component
public class ConstraintReviewTools
extends Object

Constructor Summary

Constructors

Constructor	Description
ConstraintReviewTools(IliCompilerService compilerService, ConstraintKnowledgeTools knowledgeTools)

Method Summary

Modifier and Type	Method	Description
Map<String,Object>	reviewIliConstraint(String modelText, String constraint)

Methods inherited from class java.lang.Object

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

Constructor Details

ConstraintReviewTools

public ConstraintReviewTools(IliCompilerService compilerService,
 ConstraintKnowledgeTools knowledgeTools)

Method Details

reviewIliConstraint

@McpTool(name="reviewIliConstraint",
         description="Erklaert und prueft einen bestehenden INTERLIS-Constraint aus einem vollstaendigen Modell. Liefert compilerbasierten AST, Kontext, referenzierte Elemente, Funktionen, String-Pfade, Typen und strukturelle Edge Cases. Enth\u00e4lt explanation (COMPLETE/PARTIAL/UNAVAILABLE); Erkl\u00e4rumfang ist keine fachliche Abnahme. Erzeugt keine Testdaten, Witnesses oder Counterexamples.",
         annotations=)
public Map<String,Object> reviewIliConstraint(@McpToolParam(description="Vollstaendiger INTERLIS-2 Modelltext",required=true)
 String modelText,
 @McpToolParam(description="Constraint-Name oder vollqualifizierter Constraint-Name",required=true)
 String constraint)