Index (interlis-mcp-module 0.1.0-SNAPSHOT API)

A B C D E F G H I J K L M N O P Q R S T U V W X
All Classes and Interfaces|All Packages|Constant Field Values|Serialized Form

A

actualValid - Variable in class ch.so.agi.mcp.model.IliAuthoringResult.ProofCaseVerification
actualViolationCount - Variable in class ch.so.agi.mcp.model.IliAuthoringResult.ProofCaseVerification
ADD_ASSOCIATION - Enum constant in enum class ch.so.agi.mcp.change.IliModelChangeOperation
ADD_ATTRIBUTE - Enum constant in enum class ch.so.agi.mcp.change.IliModelChangeOperation
ADD_CLASS - Enum constant in enum class ch.so.agi.mcp.change.IliModelChangeOperation
ADD_CONSTRAINT - Enum constant in enum class ch.so.agi.mcp.change.IliModelChangeOperation
ADD_DOMAIN - Enum constant in enum class ch.so.agi.mcp.change.IliModelChangeOperation
ADD_IMPORT - Enum constant in enum class ch.so.agi.mcp.change.IliModelChangeOperation
ADD_STRUCTURE - Enum constant in enum class ch.so.agi.mcp.change.IliModelChangeOperation
ADD_TOPIC - Enum constant in enum class ch.so.agi.mcp.change.IliModelChangeOperation
ADD_UNIT - Enum constant in enum class ch.so.agi.mcp.change.IliModelChangeOperation
AddAssociationChange() - Constructor for class ch.so.agi.mcp.change.IliModelChangeRequest.AddAssociationChange
addAttribute - Variable in class ch.so.agi.mcp.tools.ConstraintDecisionTableTools.DecisionCondition
AddAttributeChange - Class in ch.so.agi.mcp.change
AddAttributeChange() - Constructor for class ch.so.agi.mcp.change.AddAttributeChange
AddClassChange() - Constructor for class ch.so.agi.mcp.change.IliModelChangeRequest.AddClassChange
AddConstraintChange() - Constructor for class ch.so.agi.mcp.change.IliModelChangeRequest.AddConstraintChange
AddDomainChange() - Constructor for class ch.so.agi.mcp.change.IliModelChangeRequest.AddDomainChange
added - Variable in class ch.so.agi.mcp.model.IliAuthoringResult
added - Variable in class ch.so.agi.mcp.model.IliAuthoringResult.SemanticDiff
AddImportChange() - Constructor for class ch.so.agi.mcp.change.IliModelChangeRequest.AddImportChange
AddStructureChange() - Constructor for class ch.so.agi.mcp.change.IliModelChangeRequest.AddStructureChange
AddTopicChange() - Constructor for class ch.so.agi.mcp.change.IliModelChangeRequest.AddTopicChange
AddUnitChange() - Constructor for class ch.so.agi.mcp.change.IliModelChangeRequest.AddUnitChange
after - Variable in class ch.so.agi.mcp.model.IliAuthoringResult.SemanticChange
after - Variable in class ch.so.agi.mcp.model.IliAuthoringResult.SourceEdit
after() - Method in record class ch.so.agi.mcp.constraint.ConstraintSourceEditService.SourceEdit: Returns the value of the after record component.
after() - Method in record class ch.so.agi.mcp.model.ModelHashes: Returns the value of the after record component.
afterDiagnostics - Variable in class ch.so.agi.mcp.model.IliAuthoringResult
afterReview - Variable in class ch.so.agi.mcp.model.IliAuthoringResult
AGENT_DERIVED - Enum constant in enum class ch.so.agi.mcp.tools.ConstraintTestTools.ExpectationSource
AgentPrompts - Class in ch.so.agi.mcp.knowledge
AgentPrompts() - Constructor for class ch.so.agi.mcp.knowledge.AgentPrompts
agentWorkflow() - Method in class ch.so.agi.mcp.knowledge.KnowledgeResources
aggregate - Variable in class ch.so.agi.mcp.tools.ConstraintDecisionTableTools.DecisionCondition
all() - Static method in class ch.so.agi.mcp.constraint.StandardFunctionRegistry
AllObjects(String, String, List<String>) - Constructor for record class ch.so.agi.mcp.constraint.SemanticConstraint.AllObjects: Creates an instance of a AllObjects record class.
AllObjectsSpec() - Constructor for class ch.so.agi.mcp.model.IliConstraintSpec.AllObjectsSpec
allowPotentiallyBreaking - Variable in class ch.so.agi.mcp.change.IliModelChangesRequest
allowsPotentiallyBreaking() - Method in class ch.so.agi.mcp.change.IliModelChangesRequest
allPassed - Variable in class ch.so.agi.mcp.model.IliAuthoringResult.ProofVerification
AnalysisData() - Constructor for class ch.so.agi.mcp.analysis.ModelAnalysisTools.AnalysisData
analyze(TransferDescription) - Static method in class ch.so.agi.mcp.constraint.ConstraintInteractionAnalysis
analyze(ConstraintExpressionEngine.TestGoal, ConstraintModelSynthesizer.ModelBinding) - Static method in class ch.so.agi.mcp.constraint.ConstraintGoalReachability
analyzeCompiled(TransferDescription, String) - Method in class ch.so.agi.mcp.analysis.ModelAnalysisTools
analyzed() - Method in record class ch.so.agi.mcp.constraint.ConstraintInteractionAnalysis.Result: Returns the value of the analyzed record component.
analyzeIliModel(String, ModelPurpose) - Method in class ch.so.agi.mcp.analysis.ModelAnalysisTools
analyzeIliModel(String, ModelPurpose, String) - Method in class ch.so.agi.mcp.analysis.ModelAnalysisTools
And(List<ConstraintExpression>) - Constructor for record class ch.so.agi.mcp.constraint.ConstraintExpression.And: Creates an instance of a And record class.
AND - Enum constant in enum class ch.so.agi.mcp.model.IliConstraintSpec.ExpressionKind
AnnotatedSpec() - Constructor for class ch.so.agi.mcp.model.IliModelSpec.AnnotatedSpec
AnnotationRenderer - Class in ch.so.agi.mcp.util
annotationSpan() - Method in record class ch.so.agi.mcp.change.IliSourceLocator.AttributeLocation: Returns the value of the annotationSpan record component.
antecedent() - Method in record class ch.so.agi.mcp.constraint.ConstraintExpression.Implies: Returns the value of the antecedent record component.
ANY - Enum constant in enum class ch.so.agi.mcp.analysis.ModelPurpose
applied - Variable in class ch.so.agi.mcp.model.IliAuthoringResult
APPLIED - Enum constant in enum class ch.so.agi.mcp.model.IliAuthoringResult.Status
appliesTo() - Method in record class ch.so.agi.mcp.knowledge.ModelingRule: Returns the value of the appliesTo record component.
apply(IliSourceDocument, List<IliTextPatch>) - Static method in class ch.so.agi.mcp.change.IliPatchApplier
apply(String, IliModelChangesRequest, String, ModelPurpose, ModelingRuleProfile) - Method in class ch.so.agi.mcp.change.IliModelChangesService
applyIliModelChanges(String, IliModelChangesRequest, ModelPurpose, ModelingRuleProfile) - Method in class ch.so.agi.mcp.change.IliModelChangeTools
applyIliModelChanges(String, IliModelChangesRequest, ModelPurpose, ModelingRuleProfile, Boolean) - Method in class ch.so.agi.mcp.change.IliModelChangeTools
AREA - Enum constant in enum class ch.so.agi.mcp.model.GeometryTypeSpec.InterlisKind
arguments() - Method in record class ch.so.agi.mcp.constraint.ConstraintExpression.FunctionCall: Returns the value of the arguments record component.
arguments() - Method in record class ch.so.agi.mcp.constraint.ConstraintExpression.FunctionDefinition: Returns the value of the arguments record component.
ArgumentSpec(ConstraintExpression.Type, ConstraintExpression.ArgumentSemantics) - Constructor for record class ch.so.agi.mcp.constraint.ConstraintExpression.ArgumentSpec: Creates an instance of a ArgumentSpec record class.
ascii() - Static method in class ch.so.agi.mcp.util.NameValidator
assignment() - Method in record class ch.so.agi.mcp.constraint.ConstraintGoalSolver.Solution: Returns the value of the assignment record component.
association - Variable in class ch.so.agi.mcp.change.IliModelChangeRequest.AddAssociationChange
association() - Method in record class ch.so.agi.mcp.constraint.ConstraintModelSynthesizer.NavigationBinding: Returns the value of the association record component.
association() - Method in record class ch.so.agi.mcp.constraint.ConstraintModelSynthesizer.ReferenceBinding: Returns the value of the association record component.
ASSOCIATION - Enum constant in enum class ch.so.agi.mcp.change.IliSourceLocator.BlockKind
ASSOCIATION - Enum constant in enum class ch.so.agi.mcp.constraint.ConstraintModelSynthesizer.NavigationKind
ASSOCIATION - Enum constant in enum class ch.so.agi.mcp.model.RenameElementKind
AssociationBinding(String, String, String, String, long, long, boolean) - Constructor for record class ch.so.agi.mcp.constraint.ConstraintModelSynthesizer.AssociationBinding
AssociationBinding(String, String, String, String, long, long, boolean, boolean) - Constructor for record class ch.so.agi.mcp.constraint.ConstraintModelSynthesizer.AssociationBinding: Creates an instance of a AssociationBinding record class.
associationFqn - Variable in class ch.so.agi.mcp.tools.ConstraintTestTools.TestLink
associationFqn() - Method in record class ch.so.agi.mcp.constraint.ConstraintModelSynthesizer.AssociationBinding: Returns the value of the associationFqn record component.
associationFqn() - Method in record class ch.so.agi.mcp.constraint.ConstraintModelSynthesizer.GraphLink: Returns the value of the associationFqn record component.
associationLinkCount - Variable in class ch.so.agi.mcp.model.IliAuthoringResult.ProofCase
associationPath() - Method in record class ch.so.agi.mcp.constraint.ConstraintModelSynthesizer.ReferenceBinding
AssociationRoleSpec() - Constructor for class ch.so.agi.mcp.model.IliModelSpec.AssociationRoleSpec
associations - Variable in class ch.so.agi.mcp.analysis.ModelAnalysisTools.AnalysisData
associations - Variable in class ch.so.agi.mcp.model.IliModelSpec.TopicSpec
AssociationSpec() - Constructor for class ch.so.agi.mcp.model.IliModelSpec.AssociationSpec
AssociationTools - Class in ch.so.agi.mcp.tools
AssociationTools() - Constructor for class ch.so.agi.mcp.tools.AssociationTools
AssociationTools.Role - Class in ch.so.agi.mcp.tools
AST_ROUND_TRIP_FAILED - Enum constant in enum class ch.so.agi.mcp.model.IliAuthoringResult.Status
astRoundTripVerified - Variable in class ch.so.agi.mcp.model.IliAuthoringResult.SemanticDiff
AT_LEAST - Enum constant in enum class ch.so.agi.mcp.constraint.SemanticConstraint.PlausibilityDirection
AT_LEAST - Enum constant in enum class ch.so.agi.mcp.model.IliConstraintSpec.PlausibilityDirection
AT_MOST - Enum constant in enum class ch.so.agi.mcp.constraint.SemanticConstraint.PlausibilityDirection
AT_MOST - Enum constant in enum class ch.so.agi.mcp.model.IliConstraintSpec.PlausibilityDirection
attach(IliAuthoringResult, String) - Static method in record class ch.so.agi.mcp.model.ModelHashes
attach(IliAuthoringResult, IllegalArgumentException) - Static method in exception class ch.so.agi.mcp.model.SpecValidationException
attach(Map<String, Object>, ModelHashes) - Static method in record class ch.so.agi.mcp.model.ModelHashes
attempts() - Method in record class ch.so.agi.mcp.constraint.ConstraintGoalSolver.Solution: Returns the value of the attempts record component.
attribute - Variable in class ch.so.agi.mcp.tools.ConstraintDecisionTableTools.DecisionCondition
attribute() - Method in record class ch.so.agi.mcp.constraint.ConstraintInteractionAnalysis.Domain: Returns the value of the attribute record component.
attribute(PathEl) - Static method in class ch.so.agi.mcp.constraint.ConstraintPathAnalysis
Attribute(String, ConstraintExpression.Type) - Constructor for record class ch.so.agi.mcp.constraint.ConstraintExpression.Attribute: Creates an instance of a Attribute record class.
ATTRIBUTE - Enum constant in enum class ch.so.agi.mcp.constraint.ConstraintExpression.ReferenceKind
ATTRIBUTE - Enum constant in enum class ch.so.agi.mcp.model.IliConstraintSpec.ExpressionKind
ATTRIBUTE - Enum constant in enum class ch.so.agi.mcp.model.RenameElementKind
ATTRIBUTE_PATH - Enum constant in enum class ch.so.agi.mcp.constraint.ConstraintExpression.ArgumentSemantics
ATTRIBUTE_PATH_SEMANTICS - Static variable in class ch.so.agi.mcp.constraint.ConstraintPathAnalysis
attributeFqn - Variable in class ch.so.agi.mcp.change.RemoveAttributeChange
attributeFqn - Variable in class ch.so.agi.mcp.change.UpdateAttributeChange
AttributeLineRequest - Class in ch.so.agi.mcp.model
AttributeLineRequest() - Constructor for class ch.so.agi.mcp.model.AttributeLineRequest
AttributeLineRequest.Collection - Enum Class in ch.so.agi.mcp.model
AttributeLineResponse - Class in ch.so.agi.mcp.model
AttributeLineResponse() - Constructor for class ch.so.agi.mcp.model.AttributeLineResponse
AttributeLineResponse(String) - Constructor for class ch.so.agi.mcp.model.AttributeLineResponse
AttributeLocation(IliSourceSpan, IliSourceSpan, IliSourceSpan, String) - Constructor for record class ch.so.agi.mcp.change.IliSourceLocator.AttributeLocation: Creates an instance of a AttributeLocation record class.
attributeName() - Method in record class ch.so.agi.mcp.constraint.ConstraintModelSynthesizer.ReferenceBinding: Returns the value of the attributeName record component.
AttributePatch() - Constructor for class ch.so.agi.mcp.change.UpdateAttributeChange.AttributePatch
attributePath - Variable in class ch.so.agi.mcp.model.IliConstraintSpec.ExistenceTargetSpec
attributePath() - Method in record class ch.so.agi.mcp.constraint.SemanticConstraint.ConstraintPath: Returns the value of the attributePath record component.
attributes - Variable in class ch.so.agi.mcp.analysis.ModelAnalysisTools.AnalysisData
attributes - Variable in class ch.so.agi.mcp.model.IliModelSpec.ViewableSpec
AttributeTools - Class in ch.so.agi.mcp.tools
AttributeTools() - Constructor for class ch.so.agi.mcp.tools.AttributeTools
AttributeTools(GeometryTypeRenderer) - Constructor for class ch.so.agi.mcp.tools.AttributeTools
AttributeTools.RenderedAttribute - Record Class in ch.so.agi.mcp.tools
author(String, String, IliConstraintSpec, ModelPurpose, ModelingRuleProfile) - Method in class ch.so.agi.mcp.constraint.ConstraintAuthoringEngine
authorIliExistenceConstraint(String, String, IliConstraintSpec.Existence, ModelPurpose, ModelingRuleProfile) - Method in class ch.so.agi.mcp.tools.ExistenceConstraintAuthoringTools
authorIliExistenceConstraint(String, String, IliConstraintSpec.Existence, ModelPurpose, ModelingRuleProfile, Boolean) - Method in class ch.so.agi.mcp.tools.ExistenceConstraintAuthoringTools
authorIliMandatoryConstraint(String, String, IliConstraintSpec.Mandatory, ModelPurpose, ModelingRuleProfile) - Method in class ch.so.agi.mcp.tools.ConstraintAuthoringTools
authorIliMandatoryConstraint(String, String, IliConstraintSpec.Mandatory, ModelPurpose, ModelingRuleProfile, Boolean) - Method in class ch.so.agi.mcp.tools.ConstraintAuthoringTools
authorIliModel(IliModelSpec, ModelPurpose, ModelingRuleProfile) - Method in class ch.so.agi.mcp.tools.IliModelAuthoringTools
authorIliModel(IliModelSpec, ModelPurpose, ModelingRuleProfile, Boolean) - Method in class ch.so.agi.mcp.tools.IliModelAuthoringTools
authorIliPlausibilityConstraint(String, String, IliConstraintSpec.Plausibility, ModelPurpose, ModelingRuleProfile) - Method in class ch.so.agi.mcp.tools.ConstraintAuthoringTools
authorIliPlausibilityConstraint(String, String, IliConstraintSpec.Plausibility, ModelPurpose, ModelingRuleProfile, Boolean) - Method in class ch.so.agi.mcp.tools.ConstraintAuthoringTools
authorIliSetConstraint(String, String, IliConstraintSpec.Set, ModelPurpose, ModelingRuleProfile) - Method in class ch.so.agi.mcp.tools.SetConstraintAuthoringTools
authorIliSetConstraint(String, String, IliConstraintSpec.Set, ModelPurpose, ModelingRuleProfile, Boolean) - Method in class ch.so.agi.mcp.tools.SetConstraintAuthoringTools
authorIliUniqueConstraint(String, String, IliConstraintSpec.Unique, ModelPurpose, ModelingRuleProfile) - Method in class ch.so.agi.mcp.tools.UniqueConstraintAuthoringTools
authorIliUniqueConstraint(String, String, IliConstraintSpec.Unique, ModelPurpose, ModelingRuleProfile, Boolean) - Method in class ch.so.agi.mcp.tools.UniqueConstraintAuthoringTools
authoring(IliAuthoringResult, String) - Static method in record class ch.so.agi.mcp.model.EvidenceSummary
authorInterlisConstraint(String) - Method in class ch.so.agi.mcp.knowledge.AgentPrompts
AUTOMATED - Enum constant in enum class ch.so.agi.mcp.knowledge.ModelingRule.CheckKind
automaticCasesAvailable - Variable in class ch.so.agi.mcp.model.IliAuthoringResult.ConstraintProof
automaticCasesGenerated - Variable in class ch.so.agi.mcp.model.IliAuthoringResult.ConstraintProof
available - Variable in class ch.so.agi.mcp.model.IliAuthoringResult.ModelReview
available() - Method in record class ch.so.agi.mcp.constraint.ConstraintContextService.Resolution
axes - Variable in class ch.so.agi.mcp.model.IliModelSpec.DomainSpec

B

BAG_OF - Enum constant in enum class ch.so.agi.mcp.model.AttributeLineRequest.Collection
base() - Method in record class ch.so.agi.mcp.constraint.ViewProofScope: Returns the value of the base record component.
BASE - Enum constant in enum class ch.so.agi.mcp.model.BasketTypeSpec.Kind
baseClassFqn - Variable in class ch.so.agi.mcp.model.IliAuthoringResult.ProofCaseVerification
baseFqn() - Method in record class ch.so.agi.mcp.constraint.SemanticConstraint.AllObjects: Returns the value of the baseFqn record component.
baseSubjectCount - Variable in class ch.so.agi.mcp.model.IliAuthoringResult.ProofCaseVerification
BaseType - Class in ch.so.agi.mcp.model
BaseType() - Constructor for class ch.so.agi.mcp.model.BaseType
BaseType.Kind - Enum Class in ch.so.agi.mcp.model
baseUnitFqn - Variable in class ch.so.agi.mcp.model.IliModelSpec.UnitSpec
basis() - Method in record class ch.so.agi.mcp.model.EvidenceSummary.Check: Returns the value of the basis record component.
BASKET - Enum constant in enum class ch.so.agi.mcp.model.IliConstraintSpec.SetScope
BASKET - Enum constant in enum class ch.so.agi.mcp.model.IliConstraintSpec.UniqueScope
basketCount() - Method in record class ch.so.agi.mcp.service.XtfService.GenerateExampleResult: Returns the value of the basketCount record component.
basketId - Variable in class ch.so.agi.mcp.model.IliAuthoringResult.ProofCase
basketId - Variable in class ch.so.agi.mcp.tools.ConstraintTestTools.TestLink
basketId - Variable in class ch.so.agi.mcp.tools.ConstraintTestTools.TestObject
BasketTypeSpec - Class in ch.so.agi.mcp.model
BasketTypeSpec() - Constructor for class ch.so.agi.mcp.model.BasketTypeSpec
BasketTypeSpec.Kind - Enum Class in ch.so.agi.mcp.model
before - Variable in class ch.so.agi.mcp.model.IliAuthoringResult.SemanticChange
before - Variable in class ch.so.agi.mcp.model.IliAuthoringResult.SourceEdit
before() - Method in record class ch.so.agi.mcp.constraint.ConstraintSourceEditService.SourceEdit: Returns the value of the before record component.
before() - Method in record class ch.so.agi.mcp.model.ModelHashes: Returns the value of the before record component.
BEFORE_MODEL_INVALID - Enum constant in enum class ch.so.agi.mcp.model.IliAuthoringResult.Status
beforeDiagnostics - Variable in class ch.so.agi.mcp.model.IliAuthoringResult
BINARY - Enum constant in enum class ch.so.agi.mcp.model.BlackboxTypeSpec.Kind
bind(TransferDescription, String, ConstraintExpression) - Static method in class ch.so.agi.mcp.constraint.ConstraintModelSynthesizer: Resolves all attribute/path references of an expression against the compiled model.
bind(TransferDescription, String, ConstraintExpression, Map<String, String>) - Static method in class ch.so.agi.mcp.constraint.ConstraintModelSynthesizer: Resolves an expression with explicit concrete choices for abstract navigation targets.
bind(TransferDescription, String, SemanticConstraint.NavigatedObjects) - Static method in class ch.so.agi.mcp.constraint.NavigationGraphSynthesizer
bind(CompiledConstraintContext, String, ConstraintExpression) - Static method in record class ch.so.agi.mcp.constraint.ViewProofScope
bind(CompiledConstraintContext, String, ConstraintExpression, Map<String, String>) - Static method in record class ch.so.agi.mcp.constraint.ViewProofScope
bindAll(TransferDescription, String, SemanticConstraint.NavigatedObjects) - Static method in class ch.so.agi.mcp.constraint.NavigationGraphSynthesizer
Binding(ConstraintModelSynthesizer.ModelBinding, String, boolean, String) - Constructor for record class ch.so.agi.mcp.constraint.NavigationGraphSynthesizer.Binding: Creates an instance of a Binding record class.
BlackboxTypeSpec - Class in ch.so.agi.mcp.model
BlackboxTypeSpec() - Constructor for class ch.so.agi.mcp.model.BlackboxTypeSpec
BlackboxTypeSpec.Kind - Enum Class in ch.so.agi.mcp.model
BlockLocation(IliSourceLocator.BlockKind, String, IliSourceSpan, IliSourceSpan, IliSourceSpan, IliSourceSpan) - Constructor for record class ch.so.agi.mcp.change.IliSourceLocator.BlockLocation: Creates an instance of a BlockLocation record class.
bodySpan() - Method in record class ch.so.agi.mcp.change.IliSourceLocator.BlockLocation: Returns the value of the bodySpan record component.
BOOLEAN - Enum constant in enum class ch.so.agi.mcp.constraint.ConstraintExpression.ScalarKind
BOOLEAN - Enum constant in enum class ch.so.agi.mcp.model.BaseType.Kind
BOOLEAN - Enum constant in enum class ch.so.agi.mcp.model.IliConstraintSpec.ExpressionKind
BooleanLiteral(boolean) - Constructor for record class ch.so.agi.mcp.constraint.ConstraintExpression.BooleanLiteral: Creates an instance of a BooleanLiteral record class.
BooleanSetConditionSpec() - Constructor for class ch.so.agi.mcp.model.IliConstraintSpec.BooleanSetConditionSpec
branchStep() - Method in record class ch.so.agi.mcp.constraint.ConstraintModelSynthesizer.CountShape: Returns the value of the branchStep record component.
BREAKING_CHANGE_REQUIRES_CONFIRMATION - Enum constant in enum class ch.so.agi.mcp.model.IliAuthoringResult.Status
businessAcceptance() - Method in record class ch.so.agi.mcp.model.EvidenceSummary: Returns the value of the businessAcceptance record component.

C

candidate() - Method in record class ch.so.agi.mcp.model.ModelHashes: Returns the value of the candidate record component.
CANDIDATE_MODEL_INVALID - Enum constant in enum class ch.so.agi.mcp.model.IliAuthoringResult.Status
candidateModelText - Variable in class ch.so.agi.mcp.model.IliAuthoringResult
candidates(Viewable<?>) - Static method in class ch.so.agi.mcp.constraint.ConstraintPathAnalysis
CAPTURE - Enum constant in enum class ch.so.agi.mcp.analysis.ModelPurpose
card - Variable in class ch.so.agi.mcp.tools.AssociationTools.Role
cardinality - Variable in class ch.so.agi.mcp.model.IliModelSpec.AssociationRoleSpec
CardinalitySpec() - Constructor for class ch.so.agi.mcp.model.IliModelSpec.CardinalitySpec
caseCount - Variable in class ch.so.agi.mcp.model.IliAuthoringResult.ProofVerification
cases - Variable in class ch.so.agi.mcp.model.IliAuthoringResult.ProofVerification
cases() - Method in record class ch.so.agi.mcp.constraint.ConstraintCoveragePlanner.CoveragePlan: Returns the value of the cases record component.
ch.so.agi.mcp - package ch.so.agi.mcp
ch.so.agi.mcp.analysis - package ch.so.agi.mcp.analysis
ch.so.agi.mcp.change - package ch.so.agi.mcp.change
ch.so.agi.mcp.config - package ch.so.agi.mcp.config
ch.so.agi.mcp.constraint - package ch.so.agi.mcp.constraint
ch.so.agi.mcp.knowledge - package ch.so.agi.mcp.knowledge
ch.so.agi.mcp.model - package ch.so.agi.mcp.model
ch.so.agi.mcp.service - package ch.so.agi.mcp.service
ch.so.agi.mcp.tools - package ch.so.agi.mcp.tools
ch.so.agi.mcp.transport - package ch.so.agi.mcp.transport
ch.so.agi.mcp.util - package ch.so.agi.mcp.util
change(String, String) - Static method in record class ch.so.agi.mcp.model.ModelHashes
changed - Variable in class ch.so.agi.mcp.model.IliAuthoringResult
changed - Variable in class ch.so.agi.mcp.model.IliAuthoringResult.SemanticDiff
changedFields - Variable in class ch.so.agi.mcp.model.IliAuthoringResult.SemanticChange
changeReview(boolean, List<?>, boolean, List<?>, EvidenceSummary) - Static method in record class ch.so.agi.mcp.model.EvidenceSummary
changes - Variable in class ch.so.agi.mcp.change.IliModelChangesRequest
CHBASE - Enum constant in enum class ch.so.agi.mcp.model.GeometryTypeSpec.Provider
check(EvidenceSummary.Status, String, String, int, int, int, String...) - Static method in record class ch.so.agi.mcp.model.EvidenceSummary
Check(EvidenceSummary.Status, String, String, int, int, int, List<String>) - Constructor for record class ch.so.agi.mcp.model.EvidenceSummary.Check: Creates an instance of a Check record class.
checkedCount() - Method in record class ch.so.agi.mcp.model.EvidenceSummary.Check: Returns the value of the checkedCount record component.
checkKind() - Method in record class ch.so.agi.mcp.knowledge.ModelingRule: Returns the value of the checkKind record component.
checkModelingRules(String, ModelPurpose, List<String>, ModelingRuleProfile) - Method in class ch.so.agi.mcp.knowledge.ModelingRuleTools
children - Variable in class ch.so.agi.mcp.model.IliConstraintSpec.ExpressionSpec
CLASS - Enum constant in enum class ch.so.agi.mcp.change.IliSourceLocator.BlockKind
CLASS_OR_STRUCTURE - Enum constant in enum class ch.so.agi.mcp.model.RenameElementKind
classes - Variable in class ch.so.agi.mcp.analysis.ModelAnalysisTools.AnalysisData
classes - Variable in class ch.so.agi.mcp.model.IliModelSpec.TopicSpec
classFqn - Variable in class ch.so.agi.mcp.model.IliModelSpec.AssociationRoleSpec
classFqn - Variable in class ch.so.agi.mcp.tools.ConstraintTestTools.TestObject
classFqn() - Method in record class ch.so.agi.mcp.constraint.ConstraintModelSynthesizer.GraphObject: Returns the value of the classFqn record component.
classFQN - Variable in class ch.so.agi.mcp.tools.AssociationTools.Role
ClassSpec() - Constructor for class ch.so.agi.mcp.model.IliModelSpec.ClassSpec
ClassTools - Class in ch.so.agi.mcp.tools
ClassTools() - Constructor for class ch.so.agi.mcp.tools.ClassTools
clazz - Variable in class ch.so.agi.mcp.change.IliModelChangeRequest.AddClassChange
clock() - Method in class ch.so.agi.mcp.config.ClockConfig
ClockConfig - Class in ch.so.agi.mcp.config
ClockConfig() - Constructor for class ch.so.agi.mcp.config.ClockConfig
close() - Method in class ch.so.agi.mcp.transport.SerializedStdioServerTransportProvider
closeGracefully() - Method in class ch.so.agi.mcp.transport.SerializedStdioServerTransportProvider
code() - Method in record class ch.so.agi.mcp.model.IliAuthoringResult.SpecDiagnostic: Returns the value of the code record component.
collection - Variable in class ch.so.agi.mcp.change.UpdateAttributeChange.AttributePatch
collection() - Method in record class ch.so.agi.mcp.constraint.ConstraintExpression.Type: Returns the value of the collection record component.
collection() - Method in record class ch.so.agi.mcp.constraint.NavigationGraphSynthesizer.Binding: Returns the value of the collection record component.
collection(ConstraintExpression.ScalarKind) - Static method in record class ch.so.agi.mcp.constraint.ConstraintExpression.Type
column - Variable in class ch.so.agi.mcp.model.IliAuthoringResult.CompilerDiagnostic
COMPARE - Enum constant in enum class ch.so.agi.mcp.model.IliConstraintSpec.ExpressionKind
Comparison(ConstraintExpression.ComparisonOperator, ConstraintExpression, ConstraintExpression) - Constructor for record class ch.so.agi.mcp.constraint.ConstraintExpression.Comparison: Creates an instance of a Comparison record class.
COMPARISON_OPERATORS - Static variable in class ch.so.agi.mcp.model.ConstraintSpecContract
compilation() - Method in record class ch.so.agi.mcp.constraint.CompiledConstraintContext: Returns the value of the compilation record component.
compilation() - Method in record class ch.so.agi.mcp.constraint.ConstraintContextService.Resolution: Returns the value of the compilation record component.
CompilationResult(boolean, List<Map<String, Object>>, TransferDescription) - Constructor for record class ch.so.agi.mcp.service.IliCompilerService.CompilationResult: Creates an instance of a CompilationResult record class.
compile(String, String) - Method in class ch.so.agi.mcp.service.IliCompilerService
compile(String, String, String) - Method in class ch.so.agi.mcp.service.IliCompilerService
compileAndResolve(String, String, String, String) - Method in class ch.so.agi.mcp.constraint.ConstraintContextService
compileBefore(String, String) - Method in class ch.so.agi.mcp.constraint.ConstraintAuthoringWorkflow
CompiledConstraintContext - Record Class in ch.so.agi.mcp.constraint: One successfully compiled model plus one resolved constraint and its typed semantic IR.
CompiledConstraintContext(String, String, IliCompilerService.CompilationResult, TransferDescription, Constraint, SemanticConstraint) - Constructor for record class ch.so.agi.mcp.constraint.CompiledConstraintContext: Creates an instance of a CompiledConstraintContext record class.
compileOrThrow(String, String, String) - Method in class ch.so.agi.mcp.service.IliCompilerService
compiler() - Method in record class ch.so.agi.mcp.model.EvidenceSummary: Returns the value of the compiler record component.
compiler(Boolean, List<?>) - Static method in record class ch.so.agi.mcp.model.EvidenceSummary
CompilerDiagnostic() - Constructor for class ch.so.agi.mcp.model.IliAuthoringResult.CompilerDiagnostic
compilerDiagnostics - Variable in class ch.so.agi.mcp.model.IliAuthoringResult
compilerEvidence - Variable in class ch.so.agi.mcp.model.IliAuthoringResult
compilerService() - Method in class ch.so.agi.mcp.constraint.ConstraintAuthoringWorkflow
compilerValid - Variable in class ch.so.agi.mcp.model.IliAuthoringResult.ModelReview
complete - Variable in class ch.so.agi.mcp.model.IliAuthoringResult
COMPLETE - Enum constant in enum class ch.so.agi.mcp.constraint.ConstraintExplanation.Status
COMPOSITION - Enum constant in enum class ch.so.agi.mcp.constraint.ConstraintModelSynthesizer.NavigationKind
concreteTargetFqns(TransferDescription, String) - Static method in class ch.so.agi.mcp.constraint.ConstraintModelSynthesizer: Returns all concrete ili2c subtypes for an abstract class, in stable FQN order.
condition - Variable in class ch.so.agi.mcp.model.IliConstraintSpec.Mandatory
condition - Variable in class ch.so.agi.mcp.model.IliConstraintSpec.Plausibility
condition - Variable in class ch.so.agi.mcp.model.IliConstraintSpec.Set
condition() - Method in record class ch.so.agi.mcp.constraint.SemanticConstraint.Mandatory: Returns the value of the condition record component.
condition() - Method in record class ch.so.agi.mcp.constraint.SemanticConstraint.Plausibility: Returns the value of the condition record component.
condition() - Method in record class ch.so.agi.mcp.constraint.SemanticConstraint.Set: Returns the value of the condition record component.
conditions - Variable in class ch.so.agi.mcp.tools.ConstraintDecisionTableTools.DecisionRow
conditions() - Method in record class ch.so.agi.mcp.constraint.ConstraintExpressionEngine.TestGoal: Returns the value of the conditions record component.
consequent() - Method in record class ch.so.agi.mcp.constraint.ConstraintExpression.Implies: Returns the value of the consequent record component.
constraint - Variable in class ch.so.agi.mcp.change.IliModelChangeRequest.AddConstraintChange
constraint() - Method in record class ch.so.agi.mcp.constraint.CompiledConstraintContext: Returns the value of the constraint record component.
ConstraintAnalysisService - Class in ch.so.agi.mcp.constraint
ConstraintAnalysisService() - Constructor for class ch.so.agi.mcp.constraint.ConstraintAnalysisService
ConstraintAstTranslator - Class in ch.so.agi.mcp.constraint: Translates compiled ili2c mandatory-constraint AST nodes into the shared semantic constraint IR.
ConstraintAstTranslator.Translation - Record Class in ch.so.agi.mcp.constraint
ConstraintAstTranslator.TranslationException - Exception Class in ch.so.agi.mcp.constraint
ConstraintAuthoringEngine - Class in ch.so.agi.mcp.constraint: Shared two-compile implementation used by all five constraint authoring tools.
ConstraintAuthoringEngine(ConstraintAuthoringWorkflow, IliSpecRenderer, ConstraintCaseGenerationTools, ModelChangeReviewService) - Constructor for class ch.so.agi.mcp.constraint.ConstraintAuthoringEngine
ConstraintAuthoringGuidance - Class in ch.so.agi.mcp.model: Small shared guidance, visible without loading an optional MCP prompt/resource.
ConstraintAuthoringTools - Class in ch.so.agi.mcp.tools: Typed MCP entry points for expression-based constraint kinds.
ConstraintAuthoringTools(ConstraintAuthoringEngine) - Constructor for class ch.so.agi.mcp.tools.ConstraintAuthoringTools
ConstraintAuthoringWorkflow - Class in ch.so.agi.mcp.constraint: Shared two-compile and source-edit workflow for typed constraint authoring.
ConstraintAuthoringWorkflow(IliCompilerService) - Constructor for class ch.so.agi.mcp.constraint.ConstraintAuthoringWorkflow
ConstraintAuthoringWorkflow(IliCompilerService, ConstraintContextService, ConstraintSourceEditService) - Constructor for class ch.so.agi.mcp.constraint.ConstraintAuthoringWorkflow
ConstraintAuthoringWorkflow.PreparedConstraint - Record Class in ch.so.agi.mcp.constraint
ConstraintCaseGenerationTools - Class in ch.so.agi.mcp.tools
ConstraintCaseGenerationTools(ConstraintContextService, ConstraintTestTools) - Constructor for class ch.so.agi.mcp.tools.ConstraintCaseGenerationTools
ConstraintContextService - Class in ch.so.agi.mcp.constraint: Compiles and resolves constraints once for reuse by review/authoring/proof stages.
ConstraintContextService(IliCompilerService) - Constructor for class ch.so.agi.mcp.constraint.ConstraintContextService
ConstraintContextService.Resolution - Record Class in ch.so.agi.mcp.constraint
ConstraintCoveragePlanner - Class in ch.so.agi.mcp.constraint: Derives model-aware semantic coverage probes and solves them through ConstraintGoalSolver.
ConstraintCoveragePlanner.CoverageCase - Record Class in ch.so.agi.mcp.constraint
ConstraintCoveragePlanner.CoveragePlan - Record Class in ch.so.agi.mcp.constraint
ConstraintCoveragePlanner.GoalExclusion - Record Class in ch.so.agi.mcp.constraint
ConstraintDecisionTableTools - Class in ch.so.agi.mcp.tools
ConstraintDecisionTableTools(ConstraintAuthoringEngine) - Constructor for class ch.so.agi.mcp.tools.ConstraintDecisionTableTools
ConstraintDecisionTableTools(ConstraintAuthoringWorkflow, ConstraintCaseGenerationTools) - Constructor for class ch.so.agi.mcp.tools.ConstraintDecisionTableTools
ConstraintDecisionTableTools.DecisionCondition - Class in ch.so.agi.mcp.tools
ConstraintDecisionTableTools.DecisionRow - Class in ch.so.agi.mcp.tools
constraintExercised - Variable in class ch.so.agi.mcp.model.IliAuthoringResult.ProofCaseVerification
ConstraintExplanation - Record Class in ch.so.agi.mcp.constraint: A description of compiler semantics, never a claim of business acceptance.
ConstraintExplanation(ConstraintExplanation.Status, String, String, String, String, List<String>, List<String>, List<String>) - Constructor for record class ch.so.agi.mcp.constraint.ConstraintExplanation: Creates an instance of a ConstraintExplanation record class.
ConstraintExplanation.Status - Enum Class in ch.so.agi.mcp.constraint
ConstraintExpression - Interface in ch.so.agi.mcp.constraint: Small typed, semantic intermediate representation for constraint expressions.
ConstraintExpression.And - Record Class in ch.so.agi.mcp.constraint
ConstraintExpression.ArgumentSemantics - Enum Class in ch.so.agi.mcp.constraint
ConstraintExpression.ArgumentSpec - Record Class in ch.so.agi.mcp.constraint
ConstraintExpression.Attribute - Record Class in ch.so.agi.mcp.constraint
ConstraintExpression.BooleanLiteral - Record Class in ch.so.agi.mcp.constraint
ConstraintExpression.Comparison - Record Class in ch.so.agi.mcp.constraint
ConstraintExpression.ComparisonOperator - Enum Class in ch.so.agi.mcp.constraint
ConstraintExpression.Defined - Record Class in ch.so.agi.mcp.constraint
ConstraintExpression.EnumLiteral - Record Class in ch.so.agi.mcp.constraint
ConstraintExpression.FunctionCall - Record Class in ch.so.agi.mcp.constraint
ConstraintExpression.FunctionDefinition - Record Class in ch.so.agi.mcp.constraint
ConstraintExpression.FunctionSyntax - Record Class in ch.so.agi.mcp.constraint
ConstraintExpression.IliVersion - Enum Class in ch.so.agi.mcp.constraint
ConstraintExpression.Implies - Record Class in ch.so.agi.mcp.constraint
ConstraintExpression.InfixSyntax - Record Class in ch.so.agi.mcp.constraint: Native binary operator spelling for a language version.
ConstraintExpression.LanguageProfile - Record Class in ch.so.agi.mcp.constraint
ConstraintExpression.Not - Record Class in ch.so.agi.mcp.constraint
ConstraintExpression.NumericLiteral - Record Class in ch.so.agi.mcp.constraint
ConstraintExpression.ObjectCount - Record Class in ch.so.agi.mcp.constraint
ConstraintExpression.ObjectSetPath - Record Class in ch.so.agi.mcp.constraint: An object-valued path, never an arbitrary scalar probe attribute.
ConstraintExpression.Or - Record Class in ch.so.agi.mcp.constraint
ConstraintExpression.Path - Record Class in ch.so.agi.mcp.constraint
ConstraintExpression.Reference - Record Class in ch.so.agi.mcp.constraint
ConstraintExpression.ReferenceKind - Enum Class in ch.so.agi.mcp.constraint
ConstraintExpression.Renderer - Class in ch.so.agi.mcp.constraint
ConstraintExpression.ResultTypeRule - Enum Class in ch.so.agi.mcp.constraint
ConstraintExpression.ScalarKind - Enum Class in ch.so.agi.mcp.constraint
ConstraintExpression.SurfaceSyntax - Interface in ch.so.agi.mcp.constraint
ConstraintExpression.TextLiteral - Record Class in ch.so.agi.mcp.constraint
ConstraintExpression.Type - Record Class in ch.so.agi.mcp.constraint
ConstraintExpressionEngine - Class in ch.so.agi.mcp.constraint: Version-neutral evaluator and structural test-goal planner for ConstraintExpression.
ConstraintExpressionEngine.EvaluationContext - Record Class in ch.so.agi.mcp.constraint
ConstraintExpressionEngine.GoalKind - Enum Class in ch.so.agi.mcp.constraint: Desired semantic state for a generated structural test goal.
ConstraintExpressionEngine.NotComputable - Enum Class in ch.so.agi.mcp.constraint: A boolean evaluation stopped because an operand had no value; not a technical failure.
ConstraintExpressionEngine.StateCondition - Record Class in ch.so.agi.mcp.constraint: Meta-level assertion, deliberately distinct from an executable INTERLIS expression.
ConstraintExpressionEngine.TestGoal - Record Class in ch.so.agi.mcp.constraint
ConstraintExpressionEngine.Undefined - Enum Class in ch.so.agi.mcp.constraint: Explicit value used when an INTERLIS expression is not defined.
ConstraintExpressionEngine.UnsupportedFunctionSemanticsException - Exception Class in ch.so.agi.mcp.constraint
constraintFqn - Variable in class ch.so.agi.mcp.model.IliAuthoringResult.ConstraintProof
constraintFqn() - Method in record class ch.so.agi.mcp.constraint.CompiledConstraintContext
constraintFqn() - Method in record class ch.so.agi.mcp.constraint.ConstraintExplanation: Returns the value of the constraintFqn record component.
constraintFqn() - Method in record class ch.so.agi.mcp.constraint.ConstraintInteractionAnalysis.Gap: Returns the value of the constraintFqn record component.
constraintFqns() - Method in record class ch.so.agi.mcp.constraint.ConstraintInteractionAnalysis.ContextResult: Returns the value of the constraintFqns record component.
ConstraintGoalReachability - Class in ch.so.agi.mcp.constraint: Exhaustive predicate partitions over a conservative superset of model-valid scalar values.
ConstraintGoalReachability.Result - Record Class in ch.so.agi.mcp.constraint
ConstraintGoalReachability.Status - Enum Class in ch.so.agi.mcp.constraint
ConstraintGoalSolver - Class in ch.so.agi.mcp.constraint: Small deterministic finite-domain solver for semantic constraint test goals.
ConstraintGoalSolver.Solution - Record Class in ch.so.agi.mcp.constraint
ConstraintInteractionAnalysis - Class in ch.so.agi.mcp.constraint: Advisory analysis only.
ConstraintInteractionAnalysis.ContextResult - Record Class in ch.so.agi.mcp.constraint
ConstraintInteractionAnalysis.Domain - Record Class in ch.so.agi.mcp.constraint
ConstraintInteractionAnalysis.Gap - Record Class in ch.so.agi.mcp.constraint
ConstraintInteractionAnalysis.Result - Record Class in ch.so.agi.mcp.constraint
ConstraintInteractionAnalysis.Status - Enum Class in ch.so.agi.mcp.constraint
constraintInteractions - Variable in class ch.so.agi.mcp.model.IliAuthoringResult.ModelReview
constraintInteractions() - Method in record class ch.so.agi.mcp.model.EvidenceSummary: Returns the value of the constraintInteractions record component.
ConstraintKnowledgeTools - Class in ch.so.agi.mcp.tools
ConstraintKnowledgeTools(IliCompilerService) - Constructor for class ch.so.agi.mcp.tools.ConstraintKnowledgeTools
ConstraintModelSynthesizer - Class in ch.so.agi.mcp.constraint: Binds semantic constraint references to an ili2c model and materializes concrete object graphs.
ConstraintModelSynthesizer.AssociationBinding - Record Class in ch.so.agi.mcp.constraint
ConstraintModelSynthesizer.CountShape - Record Class in ch.so.agi.mcp.constraint: A bounded topology obligation; absent indices leave the normal cardinality solver unchanged.
ConstraintModelSynthesizer.GraphLink - Record Class in ch.so.agi.mcp.constraint
ConstraintModelSynthesizer.GraphObject - Record Class in ch.so.agi.mcp.constraint
ConstraintModelSynthesizer.ModelBinding - Record Class in ch.so.agi.mcp.constraint
ConstraintModelSynthesizer.NavigationBinding - Record Class in ch.so.agi.mcp.constraint: One navigational step before the scalar endpoint attribute.
ConstraintModelSynthesizer.NavigationKind - Enum Class in ch.so.agi.mcp.constraint
ConstraintModelSynthesizer.NumericDomain - Record Class in ch.so.agi.mcp.constraint
ConstraintModelSynthesizer.ObjectGraph - Record Class in ch.so.agi.mcp.constraint
ConstraintModelSynthesizer.ReferenceBinding - Record Class in ch.so.agi.mcp.constraint
ConstraintModelSynthesizer.ValueDomain - Record Class in ch.so.agi.mcp.constraint
constraintName() - Method in record class ch.so.agi.mcp.constraint.ConstraintAstTranslator.Translation: Returns the value of the constraintName record component.
constraintName() - Method in interface ch.so.agi.mcp.constraint.SemanticConstraint
constraintName() - Method in record class ch.so.agi.mcp.constraint.SemanticConstraint.Existence: Returns the value of the constraintName record component.
constraintName() - Method in record class ch.so.agi.mcp.constraint.SemanticConstraint.Mandatory: Returns the value of the constraintName record component.
constraintName() - Method in record class ch.so.agi.mcp.constraint.SemanticConstraint.Plausibility: Returns the value of the constraintName record component.
constraintName() - Method in record class ch.so.agi.mcp.constraint.SemanticConstraint.Set: Returns the value of the constraintName record component.
constraintName() - Method in record class ch.so.agi.mcp.constraint.SemanticConstraint.Unique: Returns the value of the constraintName record component.
ConstraintPath(String, String, boolean, String, ConstraintExpression.Type) - Constructor for record class ch.so.agi.mcp.constraint.SemanticConstraint.ConstraintPath: Creates an instance of a ConstraintPath record class.
ConstraintPathAnalysis - Class in ch.so.agi.mcp.constraint: Shared compiler-derived path facts for explicit resolution and bounded discovery.
ConstraintPathSearch - Class in ch.so.agi.mcp.constraint: Bounded, breadth-first discovery of declared paths, with the compiler as authority.
constraintProof(String, boolean, Map<String, Object>) - Static method in class ch.so.agi.mcp.model.IliAuthoringResult
ConstraintProof() - Constructor for class ch.so.agi.mcp.model.IliAuthoringResult.ConstraintProof
constraintProofs - Variable in class ch.so.agi.mcp.model.IliAuthoringResult
ConstraintReviewTools - Class in ch.so.agi.mcp.tools
ConstraintReviewTools(IliCompilerService, ConstraintKnowledgeTools) - Constructor for class ch.so.agi.mcp.tools.ConstraintReviewTools
constraints - Variable in class ch.so.agi.mcp.analysis.ModelAnalysisTools.AnalysisData
constraints - Variable in class ch.so.agi.mcp.model.IliModelSpec.ViewableSpec
constraints(List<IliConstraintSpec>, String, String) - Static method in class ch.so.agi.mcp.model.ConstraintSpecContract
constraintScopedName() - Method in interface ch.so.agi.mcp.constraint.SemanticConstraint
constraintScopedName() - Method in record class ch.so.agi.mcp.constraint.SemanticConstraint.Existence: Returns the value of the constraintScopedName record component.
constraintScopedName() - Method in record class ch.so.agi.mcp.constraint.SemanticConstraint.Mandatory: Returns the value of the constraintScopedName record component.
constraintScopedName() - Method in record class ch.so.agi.mcp.constraint.SemanticConstraint.Plausibility: Returns the value of the constraintScopedName record component.
constraintScopedName() - Method in record class ch.so.agi.mcp.constraint.SemanticConstraint.Set: Returns the value of the constraintScopedName record component.
constraintScopedName() - Method in record class ch.so.agi.mcp.constraint.SemanticConstraint.Unique: Returns the value of the constraintScopedName record component.
ConstraintSemanticTranslator - Class in ch.so.agi.mcp.constraint: Translates compiled ili2c constraint nodes into the constraint-level semantic IR.
ConstraintSemanticTranslator.TranslationException - Exception Class in ch.so.agi.mcp.constraint
ConstraintSourceEditService - Class in ch.so.agi.mcp.constraint: Inserts constraints inside views or in external CONSTRAINTS OF blocks for other contexts.
ConstraintSourceEditService() - Constructor for class ch.so.agi.mcp.constraint.ConstraintSourceEditService
ConstraintSourceEditService.PreparedInsertion - Record Class in ch.so.agi.mcp.constraint
ConstraintSourceEditService.SourceEdit - Record Class in ch.so.agi.mcp.constraint
ConstraintSpecContract - Class in ch.so.agi.mcp.model: Shared node-shape rules for native schemas and every constraint renderer entry point.
ConstraintSpecContract.Shape - Record Class in ch.so.agi.mcp.model
constraintTests() - Method in record class ch.so.agi.mcp.model.EvidenceSummary: Returns the value of the constraintTests record component.
ConstraintTestTools - Class in ch.so.agi.mcp.tools
ConstraintTestTools(IliCompilerService) - Constructor for class ch.so.agi.mcp.tools.ConstraintTestTools
ConstraintTestTools.ExpectationSource - Enum Class in ch.so.agi.mcp.tools
ConstraintTestTools.TestCase - Class in ch.so.agi.mcp.tools
ConstraintTestTools.TestLink - Class in ch.so.agi.mcp.tools
ConstraintTestTools.TestObject - Class in ch.so.agi.mcp.tools
ConstraintTools - Class in ch.so.agi.mcp.tools
ConstraintTools() - Constructor for class ch.so.agi.mcp.tools.ConstraintTools
ConstraintValidatorCompatibility - Class in ch.so.agi.mcp.constraint: Boundaries of the pinned iox-ili 1.24.4 runtime, checked on unnormalised compiler output.
constraintWorkflow() - Method in class ch.so.agi.mcp.knowledge.KnowledgeResources
ConstraintWorkflowGuidance - Class in ch.so.agi.mcp.knowledge: Agent-side workflow; does not alter server release flags.
containerFqn - Variable in class ch.so.agi.mcp.change.IliModelChangeRequest.AddConstraintChange
containerFqn - Variable in class ch.so.agi.mcp.change.IliModelChangeRequest.AddDomainChange
containerFqn - Variable in class ch.so.agi.mcp.change.IliModelChangeRequest.AddUnitChange
contains(BigDecimal) - Method in record class ch.so.agi.mcp.constraint.ConstraintModelSynthesizer.NumericDomain
context() - Method in record class ch.so.agi.mcp.constraint.ConstraintContextService.Resolution: Returns the value of the context record component.
contextFqn() - Method in record class ch.so.agi.mcp.constraint.CompiledConstraintContext
contextFqn() - Method in record class ch.so.agi.mcp.constraint.ConstraintAstTranslator.Translation: Returns the value of the contextFqn record component.
contextFqn() - Method in record class ch.so.agi.mcp.constraint.ConstraintExplanation: Returns the value of the contextFqn record component.
contextFqn() - Method in record class ch.so.agi.mcp.constraint.ConstraintInteractionAnalysis.ContextResult: Returns the value of the contextFqn record component.
contextFqn() - Method in record class ch.so.agi.mcp.constraint.ConstraintModelSynthesizer.ModelBinding: Returns the value of the contextFqn record component.
contextFqn() - Method in record class ch.so.agi.mcp.constraint.SemanticConstraint.AllObjects: Returns the value of the contextFqn record component.
contextFqn() - Method in interface ch.so.agi.mcp.constraint.SemanticConstraint
contextFqn() - Method in record class ch.so.agi.mcp.constraint.SemanticConstraint.Existence: Returns the value of the contextFqn record component.
contextFqn() - Method in record class ch.so.agi.mcp.constraint.SemanticConstraint.Mandatory: Returns the value of the contextFqn record component.
contextFqn() - Method in record class ch.so.agi.mcp.constraint.SemanticConstraint.Plausibility: Returns the value of the contextFqn record component.
contextFqn() - Method in record class ch.so.agi.mcp.constraint.SemanticConstraint.Set: Returns the value of the contextFqn record component.
contextFqn() - Method in record class ch.so.agi.mcp.constraint.SemanticConstraint.Unique: Returns the value of the contextFqn record component.
ContextResult(String, ConstraintInteractionAnalysis.Status, List<String>, List<ConstraintInteractionAnalysis.Gap>, List<ConstraintInteractionAnalysis.Domain>, int, Map<String, Object>, List<String>, String) - Constructor for record class ch.so.agi.mcp.constraint.ConstraintInteractionAnalysis.ContextResult: Creates an instance of a ContextResult record class.
contexts() - Method in record class ch.so.agi.mcp.constraint.ConstraintInteractionAnalysis.Result: Returns the value of the contexts record component.
CONTRADICTION_PROVEN - Enum constant in enum class ch.so.agi.mcp.constraint.ConstraintInteractionAnalysis.Status
COORD - Enum constant in enum class ch.so.agi.mcp.model.IliModelSpec.DomainKind
CoordinateAxis() - Constructor for class ch.so.agi.mcp.tools.DomainTools.CoordinateAxis
CoordinateAxis(BigDecimal, BigDecimal, String) - Constructor for class ch.so.agi.mcp.tools.DomainTools.CoordinateAxis
CORE - Enum constant in enum class ch.so.agi.mcp.knowledge.ModelingRuleProfile
COUNT - Static variable in class ch.so.agi.mcp.model.ConstraintAuthoringGuidance
countedPath(ConstraintExpression.Reference) - Static method in class ch.so.agi.mcp.constraint.ConstraintModelSynthesizer
countKey() - Method in record class ch.so.agi.mcp.constraint.NavigationGraphSynthesizer.Binding: Returns the value of the countKey record component.
CountShape(String, int, int, boolean, Map<Integer, String>) - Constructor for record class ch.so.agi.mcp.constraint.ConstraintModelSynthesizer.CountShape: Creates an instance of a CountShape record class.
CoverageCase(ConstraintExpressionEngine.TestGoal, ConstraintGoalSolver.Solution, List<ConstraintExpressionEngine.TestGoal>) - Constructor for record class ch.so.agi.mcp.constraint.ConstraintCoveragePlanner.CoverageCase: Creates an instance of a CoverageCase record class.
coverageComplete - Variable in class ch.so.agi.mcp.model.IliAuthoringResult.ConstraintProof
coverageExcludedCount - Variable in class ch.so.agi.mcp.model.IliAuthoringResult.ConstraintProof
coverageExcludedGoals - Variable in class ch.so.agi.mcp.model.IliAuthoringResult.ConstraintProof
CoverageExclusion() - Constructor for class ch.so.agi.mcp.model.IliAuthoringResult.CoverageExclusion
CoverageGap() - Constructor for class ch.so.agi.mcp.model.IliAuthoringResult.CoverageGap
coverageGaps - Variable in class ch.so.agi.mcp.model.IliAuthoringResult.ConstraintProof
CoverageGoal() - Constructor for class ch.so.agi.mcp.model.IliAuthoringResult.CoverageGoal
coverageGoalCount - Variable in class ch.so.agi.mcp.model.IliAuthoringResult.ConstraintProof
CoveragePlan(List<ConstraintCoveragePlanner.CoverageCase>, List<ConstraintGoalSolver.Solution>, List<ConstraintCoveragePlanner.GoalExclusion>) - Constructor for record class ch.so.agi.mcp.constraint.ConstraintCoveragePlanner.CoveragePlan: Creates an instance of a CoveragePlan record class.
coverageSolvedCount - Variable in class ch.so.agi.mcp.model.IliAuthoringResult.ConstraintProof
coveredGoals - Variable in class ch.so.agi.mcp.model.IliAuthoringResult.ProofCase
coveredGoals() - Method in record class ch.so.agi.mcp.constraint.ConstraintCoveragePlanner.CoverageCase: Returns the value of the coveredGoals record component.
createAssociation(String, List<AssociationTools.Role>, List<String>, String, List<MetaAttributeSpec>) - Method in class ch.so.agi.mcp.tools.AssociationTools
createAttributeLine(AttributeLineRequest) - Method in class ch.so.agi.mcp.tools.AttributeTools: New, strict version that supports numeric ranges and simple NUMERIC variants.
createClass(String, Boolean, String, String, List<String>, String, List<MetaAttributeSpec>) - Method in class ch.so.agi.mcp.tools.ClassTools
createCoordDomainSnippet(String, List<DomainTools.CoordinateAxis>, Integer, Integer, String, List<MetaAttributeSpec>) - Method in class ch.so.agi.mcp.tools.DomainTools
createEnumDomain(String, List<String>, List<EnumValueItem>, String, List<MetaAttributeSpec>) - Method in class ch.so.agi.mcp.tools.DomainTools
createEnumTreeDomainSnippet(String, List<?>, String, List<MetaAttributeSpec>) - Method in class ch.so.agi.mcp.tools.DomainTools
createModelSnippet(String, String, String, String, String, List<String>, String, List<MetaAttributeSpec>) - Method in class ch.so.agi.mcp.tools.ModelTools
createNumericDomain(String, String, String, String, String, List<MetaAttributeSpec>) - Method in class ch.so.agi.mcp.tools.DomainTools
createStructure(String, Boolean, String, List<String>, String, List<MetaAttributeSpec>) - Method in class ch.so.agi.mcp.tools.StructureTools
createTopic(String, String, Boolean, String, List<MetaAttributeSpec>) - Method in class ch.so.agi.mcp.tools.TopicTools
createUnit(String, BigDecimal, String, String, List<MetaAttributeSpec>) - Method in class ch.so.agi.mcp.tools.DomainTools
current() - Static method in class ch.so.agi.mcp.service.RuntimeIdentity

D

DATA - Enum constant in enum class ch.so.agi.mcp.model.BasketTypeSpec.Kind
DecisionCondition() - Constructor for class ch.so.agi.mcp.tools.ConstraintDecisionTableTools.DecisionCondition
decisionImpact - Variable in class ch.so.agi.mcp.model.IliAuthoringResult.OpenQuestion
DecisionRow() - Constructor for class ch.so.agi.mcp.tools.ConstraintDecisionTableTools.DecisionRow
declarationSpan() - Method in record class ch.so.agi.mcp.change.IliSourceLocator.AttributeLocation: Returns the value of the declarationSpan record component.
declarationSpan() - Method in record class ch.so.agi.mcp.change.IliSourceLocator.BlockLocation: Returns the value of the declarationSpan record component.
DECLARED - Enum constant in enum class ch.so.agi.mcp.constraint.ConstraintExpression.ResultTypeRule
declaredResultType() - Method in record class ch.so.agi.mcp.constraint.ConstraintExpression.FunctionDefinition: Returns the value of the declaredResultType record component.
declaredReturnType() - Method in record class ch.so.agi.mcp.constraint.StandardFunctionRegistry.StandardFunction: Returns the value of the declaredReturnType record component.
declaredType() - Method in record class ch.so.agi.mcp.constraint.StandardFunctionRegistry.Parameter: Returns the value of the declaredType record component.
defined - Variable in class ch.so.agi.mcp.tools.ConstraintDecisionTableTools.DecisionCondition
Defined(ConstraintExpression) - Constructor for record class ch.so.agi.mcp.constraint.ConstraintExpression.Defined: Creates an instance of a Defined record class.
DEFINED - Enum constant in enum class ch.so.agi.mcp.constraint.ConstraintExpressionEngine.GoalKind
DEFINED - Enum constant in enum class ch.so.agi.mcp.model.IliConstraintSpec.ExpressionKind
definition() - Method in record class ch.so.agi.mcp.constraint.ConstraintExpression.FunctionCall: Returns the value of the definition record component.
definition() - Method in record class ch.so.agi.mcp.constraint.StandardFunctionRegistry.StandardFunction: Returns the value of the definition record component.
dependsOn - Variable in class ch.so.agi.mcp.model.IliModelSpec.TopicSpec
depth(Integer) - Static method in class ch.so.agi.mcp.constraint.ConstraintPathSearch
derivedImports - Variable in class ch.so.agi.mcp.model.IliAuthoringResult
derivedImports() - Method in record class ch.so.agi.mcp.model.IliSpecRenderer.RenderedAttribute: Returns the value of the derivedImports record component.
derivedImports() - Method in record class ch.so.agi.mcp.model.IliSpecRenderer.RenderedFragment: Returns the value of the derivedImports record component.
derivedImports() - Method in record class ch.so.agi.mcp.model.IliSpecRenderer.RenderedModel: Returns the value of the derivedImports record component.
describe(ObjectPath) - Static method in class ch.so.agi.mcp.constraint.ConstraintPathAnalysis
describeFunctions(String) - Static method in class ch.so.agi.mcp.tools.ConstraintKnowledgeTools
describeGoal(ConstraintExpressionEngine.TestGoal, ConstraintExpression.IliVersion) - Static method in class ch.so.agi.mcp.constraint.ConstraintCoveragePlanner
description - Variable in class ch.so.agi.mcp.model.IliAuthoringResult.SourceEdit
description() - Method in record class ch.so.agi.mcp.change.IliTextPatch: Returns the value of the description record component.
description() - Method in record class ch.so.agi.mcp.constraint.ConstraintExplanation: Returns the value of the description record component.
description() - Method in record class ch.so.agi.mcp.constraint.ConstraintSourceEditService.SourceEdit: Returns the value of the description record component.
details - Variable in class ch.so.agi.mcp.model.IliAuthoringResult
diagnostic() - Method in exception class ch.so.agi.mcp.model.SpecValidationException
diagnostics() - Method in record class ch.so.agi.mcp.constraint.ViewProofScope
diagnostics(List<Map<String, Object>>) - Static method in class ch.so.agi.mcp.model.IliAuthoringResult
direction - Variable in class ch.so.agi.mcp.model.IliConstraintSpec.Plausibility
direction() - Method in record class ch.so.agi.mcp.constraint.SemanticConstraint.Plausibility: Returns the value of the direction record component.
domain - Variable in class ch.so.agi.mcp.change.IliModelChangeRequest.AddDomainChange
domain() - Method in record class ch.so.agi.mcp.constraint.ConstraintModelSynthesizer.ReferenceBinding: Returns the value of the domain record component.
Domain(String, String, boolean, BigDecimal, BigDecimal, BigDecimal, List<String>) - Constructor for record class ch.so.agi.mcp.constraint.ConstraintInteractionAnalysis.Domain: Creates an instance of a Domain record class.
DOMAIN - Enum constant in enum class ch.so.agi.mcp.model.RenameElementKind
domains - Variable in class ch.so.agi.mcp.analysis.ModelAnalysisTools.AnalysisData
domains - Variable in class ch.so.agi.mcp.model.IliModelSpec
domains - Variable in class ch.so.agi.mcp.model.IliModelSpec.TopicSpec
domains() - Method in record class ch.so.agi.mcp.constraint.ConstraintInteractionAnalysis.ContextResult: Returns the value of the domains record component.
DomainSpec() - Constructor for class ch.so.agi.mcp.model.IliModelSpec.DomainSpec
DomainTools - Class in ch.so.agi.mcp.tools
DomainTools() - Constructor for class ch.so.agi.mcp.tools.DomainTools
DomainTools.CoordinateAxis - Class in ch.so.agi.mcp.tools

E

effectiveMaximum(int) - Method in record class ch.so.agi.mcp.constraint.ConstraintModelSynthesizer.AssociationBinding
elements() - Method in record class ch.so.agi.mcp.constraint.SemanticConstraint.Unique: Returns the value of the elements record component.
empty() - Static method in record class ch.so.agi.mcp.model.EvidenceSummary
emptyStep() - Method in record class ch.so.agi.mcp.constraint.ConstraintModelSynthesizer.CountShape: Returns the value of the emptyStep record component.
endLine - Variable in class ch.so.agi.mcp.model.IliAuthoringResult.SourceEdit
endLine - Variable in class ch.so.agi.mcp.model.IliAuthoringResult.SourceExcerpt
endLine() - Method in record class ch.so.agi.mcp.change.IliSourceSpan: Returns the value of the endLine record component.
endLine() - Method in record class ch.so.agi.mcp.constraint.ConstraintSourceEditService.SourceEdit: Returns the value of the endLine record component.
endMarkerSpan() - Method in record class ch.so.agi.mcp.change.IliSourceLocator.BlockLocation: Returns the value of the endMarkerSpan record component.
endOffset - Variable in class ch.so.agi.mcp.model.IliAuthoringResult.SourceEdit
endOffset() - Method in record class ch.so.agi.mcp.change.IliSourceSpan: Returns the value of the endOffset record component.
endOffset() - Method in record class ch.so.agi.mcp.constraint.ConstraintSourceEditService.SourceEdit: Returns the value of the endOffset record component.
endpointType() - Method in record class ch.so.agi.mcp.constraint.SemanticConstraint.ConstraintPath: Returns the value of the endpointType record component.
ensureGeometryDependencies(String, Boolean, BigDecimal, Boolean, String, String, String, Boolean, Boolean, String) - Method in class ch.so.agi.mcp.tools.GeometryAttributeTools
ENUM - Enum constant in enum class ch.so.agi.mcp.constraint.ConstraintExpression.ScalarKind
ENUM - Enum constant in enum class ch.so.agi.mcp.model.IliConstraintSpec.ExpressionKind
ENUM - Enum constant in enum class ch.so.agi.mcp.model.IliModelSpec.DomainKind
ENUM - Static variable in class ch.so.agi.mcp.model.ConstraintAuthoringGuidance
ENUM_TREE - Enum constant in enum class ch.so.agi.mcp.model.IliModelSpec.DomainKind
enumItems - Variable in class ch.so.agi.mcp.model.IliModelSpec.DomainSpec
EnumLiteral(String) - Constructor for record class ch.so.agi.mcp.constraint.ConstraintExpression.EnumLiteral: Creates an instance of a EnumLiteral record class.
EnumLiteralValue - Class in ch.so.agi.mcp.model: Canonical enum spelling shared by authoring, decision tables and ordered AST comparison.
EnumTreeItem - Class in ch.so.agi.mcp.model
EnumTreeItem() - Constructor for class ch.so.agi.mcp.model.EnumTreeItem
enumTreeItems - Variable in class ch.so.agi.mcp.model.IliModelSpec.DomainSpec
EnumTreeValueTypeSpec - Class in ch.so.agi.mcp.model
EnumTreeValueTypeSpec() - Constructor for class ch.so.agi.mcp.model.EnumTreeValueTypeSpec
EnumValueItem - Class in ch.so.agi.mcp.model
EnumValueItem() - Constructor for class ch.so.agi.mcp.model.EnumValueItem
enumValues() - Method in record class ch.so.agi.mcp.constraint.ConstraintInteractionAnalysis.Domain: Returns the value of the enumValues record component.
EQ - Enum constant in enum class ch.so.agi.mcp.constraint.ConstraintExpression.ComparisonOperator
equals(Object) - Method in record class ch.so.agi.mcp.change.IliSourceLocator.AttributeLocation: Indicates whether some other object is "equal to" this one.
equals(Object) - Method in record class ch.so.agi.mcp.change.IliSourceLocator.BlockLocation: Indicates whether some other object is "equal to" this one.
equals(Object) - Method in record class ch.so.agi.mcp.change.IliSourceSpan: Indicates whether some other object is "equal to" this one.
equals(Object) - Method in record class ch.so.agi.mcp.change.IliTextPatch: Indicates whether some other object is "equal to" this one.
equals(Object) - Method in record class ch.so.agi.mcp.constraint.CompiledConstraintContext: Indicates whether some other object is "equal to" this one.
equals(Object) - Method in record class ch.so.agi.mcp.constraint.ConstraintAstTranslator.Translation: Indicates whether some other object is "equal to" this one.
equals(Object) - Method in record class ch.so.agi.mcp.constraint.ConstraintAuthoringWorkflow.PreparedConstraint: Indicates whether some other object is "equal to" this one.
equals(Object) - Method in record class ch.so.agi.mcp.constraint.ConstraintContextService.Resolution: Indicates whether some other object is "equal to" this one.
equals(Object) - Method in record class ch.so.agi.mcp.constraint.ConstraintCoveragePlanner.CoverageCase: Indicates whether some other object is "equal to" this one.
equals(Object) - Method in record class ch.so.agi.mcp.constraint.ConstraintCoveragePlanner.CoveragePlan: Indicates whether some other object is "equal to" this one.
equals(Object) - Method in record class ch.so.agi.mcp.constraint.ConstraintCoveragePlanner.GoalExclusion: Indicates whether some other object is "equal to" this one.
equals(Object) - Method in record class ch.so.agi.mcp.constraint.ConstraintExplanation: Indicates whether some other object is "equal to" this one.
equals(Object) - Method in record class ch.so.agi.mcp.constraint.ConstraintExpression.And: Indicates whether some other object is "equal to" this one.
equals(Object) - Method in record class ch.so.agi.mcp.constraint.ConstraintExpression.ArgumentSpec: Indicates whether some other object is "equal to" this one.
equals(Object) - Method in record class ch.so.agi.mcp.constraint.ConstraintExpression.Attribute: Indicates whether some other object is "equal to" this one.
equals(Object) - Method in record class ch.so.agi.mcp.constraint.ConstraintExpression.BooleanLiteral: Indicates whether some other object is "equal to" this one.
equals(Object) - Method in record class ch.so.agi.mcp.constraint.ConstraintExpression.Comparison: Indicates whether some other object is "equal to" this one.
equals(Object) - Method in record class ch.so.agi.mcp.constraint.ConstraintExpression.Defined: Indicates whether some other object is "equal to" this one.
equals(Object) - Method in record class ch.so.agi.mcp.constraint.ConstraintExpression.EnumLiteral: Indicates whether some other object is "equal to" this one.
equals(Object) - Method in record class ch.so.agi.mcp.constraint.ConstraintExpression.FunctionCall: Indicates whether some other object is "equal to" this one.
equals(Object) - Method in record class ch.so.agi.mcp.constraint.ConstraintExpression.FunctionDefinition: Indicates whether some other object is "equal to" this one.
equals(Object) - Method in record class ch.so.agi.mcp.constraint.ConstraintExpression.FunctionSyntax: Indicates whether some other object is "equal to" this one.
equals(Object) - Method in record class ch.so.agi.mcp.constraint.ConstraintExpression.Implies: Indicates whether some other object is "equal to" this one.
equals(Object) - Method in record class ch.so.agi.mcp.constraint.ConstraintExpression.InfixSyntax: Indicates whether some other object is "equal to" this one.
equals(Object) - Method in record class ch.so.agi.mcp.constraint.ConstraintExpression.LanguageProfile: Indicates whether some other object is "equal to" this one.
equals(Object) - Method in record class ch.so.agi.mcp.constraint.ConstraintExpression.Not: Indicates whether some other object is "equal to" this one.
equals(Object) - Method in record class ch.so.agi.mcp.constraint.ConstraintExpression.NumericLiteral: Indicates whether some other object is "equal to" this one.
equals(Object) - Method in record class ch.so.agi.mcp.constraint.ConstraintExpression.ObjectCount: Indicates whether some other object is "equal to" this one.
equals(Object) - Method in record class ch.so.agi.mcp.constraint.ConstraintExpression.ObjectSetPath: Indicates whether some other object is "equal to" this one.
equals(Object) - Method in record class ch.so.agi.mcp.constraint.ConstraintExpression.Or: Indicates whether some other object is "equal to" this one.
equals(Object) - Method in record class ch.so.agi.mcp.constraint.ConstraintExpression.Path: Indicates whether some other object is "equal to" this one.
equals(Object) - Method in record class ch.so.agi.mcp.constraint.ConstraintExpression.Reference: Indicates whether some other object is "equal to" this one.
equals(Object) - Method in record class ch.so.agi.mcp.constraint.ConstraintExpression.TextLiteral: Indicates whether some other object is "equal to" this one.
equals(Object) - Method in record class ch.so.agi.mcp.constraint.ConstraintExpression.Type: Indicates whether some other object is "equal to" this one.
equals(Object) - Method in record class ch.so.agi.mcp.constraint.ConstraintExpressionEngine.EvaluationContext: Indicates whether some other object is "equal to" this one.
equals(Object) - Method in record class ch.so.agi.mcp.constraint.ConstraintExpressionEngine.StateCondition: Indicates whether some other object is "equal to" this one.
equals(Object) - Method in record class ch.so.agi.mcp.constraint.ConstraintExpressionEngine.TestGoal: Indicates whether some other object is "equal to" this one.
equals(Object) - Method in record class ch.so.agi.mcp.constraint.ConstraintGoalReachability.Result: Indicates whether some other object is "equal to" this one.
equals(Object) - Method in record class ch.so.agi.mcp.constraint.ConstraintGoalSolver.Solution: Indicates whether some other object is "equal to" this one.
equals(Object) - Method in record class ch.so.agi.mcp.constraint.ConstraintInteractionAnalysis.ContextResult: Indicates whether some other object is "equal to" this one.
equals(Object) - Method in record class ch.so.agi.mcp.constraint.ConstraintInteractionAnalysis.Domain: Indicates whether some other object is "equal to" this one.
equals(Object) - Method in record class ch.so.agi.mcp.constraint.ConstraintInteractionAnalysis.Gap: Indicates whether some other object is "equal to" this one.
equals(Object) - Method in record class ch.so.agi.mcp.constraint.ConstraintInteractionAnalysis.Result: Indicates whether some other object is "equal to" this one.
equals(Object) - Method in record class ch.so.agi.mcp.constraint.ConstraintModelSynthesizer.AssociationBinding: Indicates whether some other object is "equal to" this one.
equals(Object) - Method in record class ch.so.agi.mcp.constraint.ConstraintModelSynthesizer.CountShape: Indicates whether some other object is "equal to" this one.
equals(Object) - Method in record class ch.so.agi.mcp.constraint.ConstraintModelSynthesizer.GraphLink: Indicates whether some other object is "equal to" this one.
equals(Object) - Method in record class ch.so.agi.mcp.constraint.ConstraintModelSynthesizer.GraphObject: Indicates whether some other object is "equal to" this one.
equals(Object) - Method in record class ch.so.agi.mcp.constraint.ConstraintModelSynthesizer.ModelBinding: Indicates whether some other object is "equal to" this one.
equals(Object) - Method in record class ch.so.agi.mcp.constraint.ConstraintModelSynthesizer.NavigationBinding: Indicates whether some other object is "equal to" this one.
equals(Object) - Method in record class ch.so.agi.mcp.constraint.ConstraintModelSynthesizer.NumericDomain: Indicates whether some other object is "equal to" this one.
equals(Object) - Method in record class ch.so.agi.mcp.constraint.ConstraintModelSynthesizer.ObjectGraph: Indicates whether some other object is "equal to" this one.
equals(Object) - Method in record class ch.so.agi.mcp.constraint.ConstraintModelSynthesizer.ReferenceBinding: Indicates whether some other object is "equal to" this one.
equals(Object) - Method in record class ch.so.agi.mcp.constraint.ConstraintModelSynthesizer.ValueDomain: Indicates whether some other object is "equal to" this one.
equals(Object) - Method in record class ch.so.agi.mcp.constraint.ConstraintSourceEditService.PreparedInsertion: Indicates whether some other object is "equal to" this one.
equals(Object) - Method in record class ch.so.agi.mcp.constraint.ConstraintSourceEditService.SourceEdit: Indicates whether some other object is "equal to" this one.
equals(Object) - Method in record class ch.so.agi.mcp.constraint.NavigationGraphSynthesizer.Binding: Indicates whether some other object is "equal to" this one.
equals(Object) - Method in record class ch.so.agi.mcp.constraint.SemanticConstraint.AllObjects: Indicates whether some other object is "equal to" this one.
equals(Object) - Method in record class ch.so.agi.mcp.constraint.SemanticConstraint.ConstraintPath: Indicates whether some other object is "equal to" this one.
equals(Object) - Method in record class ch.so.agi.mcp.constraint.SemanticConstraint.Existence: Indicates whether some other object is "equal to" this one.
equals(Object) - Method in record class ch.so.agi.mcp.constraint.SemanticConstraint.Mandatory: Indicates whether some other object is "equal to" this one.
equals(Object) - Method in record class ch.so.agi.mcp.constraint.SemanticConstraint.NavigatedObjects: Indicates whether some other object is "equal to" this one.
equals(Object) - Method in record class ch.so.agi.mcp.constraint.SemanticConstraint.ObjectCountSetCondition: Indicates whether some other object is "equal to" this one.
equals(Object) - Method in record class ch.so.agi.mcp.constraint.SemanticConstraint.Plausibility: Indicates whether some other object is "equal to" this one.
equals(Object) - Method in record class ch.so.agi.mcp.constraint.SemanticConstraint.Set: Indicates whether some other object is "equal to" this one.
equals(Object) - Method in record class ch.so.agi.mcp.constraint.SemanticConstraint.Unique: Indicates whether some other object is "equal to" this one.
equals(Object) - Method in record class ch.so.agi.mcp.constraint.SemanticConstraint.UntranslatedSetCondition: Indicates whether some other object is "equal to" this one.
equals(Object) - Method in record class ch.so.agi.mcp.constraint.SemanticConstraint.ValueSetCondition: Indicates whether some other object is "equal to" this one.
equals(Object) - Method in record class ch.so.agi.mcp.constraint.StandardFunctionRegistry.Parameter: Indicates whether some other object is "equal to" this one.
equals(Object) - Method in record class ch.so.agi.mcp.constraint.StandardFunctionRegistry.StandardFunction: Indicates whether some other object is "equal to" this one.
equals(Object) - Method in record class ch.so.agi.mcp.constraint.ViewProofScope: Indicates whether some other object is "equal to" this one.
equals(Object) - Method in record class ch.so.agi.mcp.knowledge.ModelingRule: Indicates whether some other object is "equal to" this one.
equals(Object) - Method in record class ch.so.agi.mcp.model.ConstraintSpecContract.Shape: Indicates whether some other object is "equal to" this one.
equals(Object) - Method in record class ch.so.agi.mcp.model.EvidenceSummary.Check: Indicates whether some other object is "equal to" this one.
equals(Object) - Method in record class ch.so.agi.mcp.model.EvidenceSummary: Indicates whether some other object is "equal to" this one.
equals(Object) - Method in record class ch.so.agi.mcp.model.IliAuthoringResult.SpecDiagnostic: Indicates whether some other object is "equal to" this one.
equals(Object) - Method in record class ch.so.agi.mcp.model.IliSpecRenderer.RenderedAttribute: Indicates whether some other object is "equal to" this one.
equals(Object) - Method in record class ch.so.agi.mcp.model.IliSpecRenderer.RenderedFragment: Indicates whether some other object is "equal to" this one.
equals(Object) - Method in record class ch.so.agi.mcp.model.IliSpecRenderer.RenderedModel: Indicates whether some other object is "equal to" this one.
equals(Object) - Method in record class ch.so.agi.mcp.model.ModelHashes: Indicates whether some other object is "equal to" this one.
equals(Object) - Method in record class ch.so.agi.mcp.model.TypeSpec.NamedType: Indicates whether some other object is "equal to" this one.
equals(Object) - Method in record class ch.so.agi.mcp.service.IliCompilerService.CompilationResult: Indicates whether some other object is "equal to" this one.
equals(Object) - Method in record class ch.so.agi.mcp.service.XtfService.ExampleValidation: Indicates whether some other object is "equal to" this one.
equals(Object) - Method in record class ch.so.agi.mcp.service.XtfService.GenerateExampleResult: Indicates whether some other object is "equal to" this one.
equals(Object) - Method in record class ch.so.agi.mcp.service.XtfService.ValidationResult: Indicates whether some other object is "equal to" this one.
equals(Object) - Method in record class ch.so.agi.mcp.tools.AttributeTools.RenderedAttribute: Indicates whether some other object is "equal to" this one.
equals(Object) - Method in record class ch.so.agi.mcp.tools.GeometryTypeRenderer.RenderedGeometry: Indicates whether some other object is "equal to" this one.
ERROR - Enum constant in enum class ch.so.agi.mcp.knowledge.ModelingRule.Severity
ERROR - Enum constant in enum class ch.so.agi.mcp.service.XtfService.ExampleValidationStatus
errorCount() - Method in record class ch.so.agi.mcp.model.EvidenceSummary.Check: Returns the value of the errorCount record component.
errorCount() - Method in record class ch.so.agi.mcp.service.XtfService.ExampleValidation: Returns the value of the errorCount record component.
errorCount() - Method in record class ch.so.agi.mcp.service.XtfService.ValidationResult: Returns the value of the errorCount record component.
evaluate(ConstraintExpression, ConstraintExpressionEngine.EvaluationContext) - Static method in class ch.so.agi.mcp.constraint.ConstraintExpressionEngine: Returns a value, missing value (ConstraintExpressionEngine.Undefined), or stopped evaluation (ConstraintExpressionEngine.NotComputable).
evaluateConstraint(ConstraintExpression, ConstraintExpressionEngine.EvaluationContext) - Static method in class ch.so.agi.mcp.constraint.ConstraintExpressionEngine: Evaluates a Mandatory Constraint.
EvaluationContext(Map<String, Object>) - Constructor for record class ch.so.agi.mcp.constraint.ConstraintExpressionEngine.EvaluationContext: Creates an instance of a EvaluationContext record class.
evidence - Variable in class ch.so.agi.mcp.model.IliAuthoringResult
evidence - Variable in class ch.so.agi.mcp.model.IliAuthoringResult.ModelReview
evidence() - Method in record class ch.so.agi.mcp.constraint.ConstraintInteractionAnalysis.Result
EvidenceSummary - Record Class in ch.so.agi.mcp.model: Describes observed checks, never authorizes a model or replaces the original results.
EvidenceSummary(EvidenceSummary.Check, EvidenceSummary.Check, EvidenceSummary.Check, EvidenceSummary.Check, EvidenceSummary.Check) - Constructor for record class ch.so.agi.mcp.model.EvidenceSummary: Creates an instance of a EvidenceSummary record class.
EvidenceSummary.Check - Record Class in ch.so.agi.mcp.model
EvidenceSummary.Status - Enum Class in ch.so.agi.mcp.model
examinedStates() - Method in record class ch.so.agi.mcp.constraint.ConstraintInteractionAnalysis.ContextResult: Returns the value of the examinedStates record component.
examinedStates() - Method in record class ch.so.agi.mcp.constraint.ConstraintInteractionAnalysis.Result: Returns the value of the examinedStates record component.
ExampleValidation(XtfService.ExampleValidationStatus, Boolean, int, int, List<Map<String, Object>>) - Constructor for record class ch.so.agi.mcp.service.XtfService.ExampleValidation: Creates an instance of a ExampleValidation record class.
excluded() - Method in record class ch.so.agi.mcp.constraint.ConstraintCoveragePlanner.CoveragePlan: Returns the value of the excluded record component.
excludedGoals(ConstraintCoveragePlanner.CoveragePlan, ConstraintExpression.IliVersion) - Static method in class ch.so.agi.mcp.constraint.ConstraintCoveragePlanner
excludedSubjectCount - Variable in class ch.so.agi.mcp.model.IliAuthoringResult.ProofCaseVerification
Existence() - Constructor for class ch.so.agi.mcp.model.IliConstraintSpec.Existence
Existence(String, String, String, ConstraintExpression.IliVersion, SemanticConstraint.ConstraintPath, List<SemanticConstraint.ConstraintPath>) - Constructor for record class ch.so.agi.mcp.constraint.SemanticConstraint.Existence: Creates an instance of a Existence record class.
EXISTENCE - Enum constant in enum class ch.so.agi.mcp.constraint.SemanticConstraint.Kind
EXISTENCE - Enum constant in enum class ch.so.agi.mcp.model.IliConstraintSpec.Kind
ExistenceConstraintAuthoringTools - Class in ch.so.agi.mcp.tools
ExistenceConstraintAuthoringTools(ConstraintAuthoringEngine) - Constructor for class ch.so.agi.mcp.tools.ExistenceConstraintAuthoringTools
ExistenceTargetSpec() - Constructor for class ch.so.agi.mcp.model.IliConstraintSpec.ExistenceTargetSpec
expectationSource - Variable in class ch.so.agi.mcp.tools.ConstraintTestTools.TestCase
expectedConstraintValid - Variable in class ch.so.agi.mcp.model.IliAuthoringResult.ProofCase
expectedConstraintValid - Variable in class ch.so.agi.mcp.tools.ConstraintTestTools.TestCase
expectedValid - Variable in class ch.so.agi.mcp.model.IliAuthoringResult.ProofCase
expectedValid - Variable in class ch.so.agi.mcp.model.IliAuthoringResult.ProofCaseVerification
expectedViolationCount - Variable in class ch.so.agi.mcp.model.IliAuthoringResult.ProofCase
expectedViolationCount - Variable in class ch.so.agi.mcp.model.IliAuthoringResult.ProofCaseVerification
explanation - Variable in class ch.so.agi.mcp.model.IliAuthoringResult.ConstraintProof
explicit(boolean, Map<String, Object>, List<?>) - Static method in record class ch.so.agi.mcp.model.EvidenceSummary
expression - Variable in class ch.so.agi.mcp.model.IliAuthoringResult.CoverageExclusion
expression - Variable in class ch.so.agi.mcp.model.IliAuthoringResult.CoverageGap
expression - Variable in class ch.so.agi.mcp.model.IliAuthoringResult.CoverageGoal
expression - Variable in class ch.so.agi.mcp.model.IliConstraintSpec.BooleanSetConditionSpec
expression() - Method in record class ch.so.agi.mcp.constraint.ConstraintAstTranslator.Translation: Returns the value of the expression record component.
expression() - Method in record class ch.so.agi.mcp.constraint.ConstraintExpressionEngine.StateCondition: Returns the value of the expression record component.
expression() - Method in record class ch.so.agi.mcp.constraint.ConstraintExpressionEngine.TestGoal: Returns the value of the expression record component.
expression() - Method in record class ch.so.agi.mcp.constraint.SemanticConstraint.ValueSetCondition: Returns the value of the expression record component.
expression(IliConstraintSpec.ExpressionSpec, String, String) - Static method in class ch.so.agi.mcp.model.ConstraintSpecContract
ExpressionSpec() - Constructor for class ch.so.agi.mcp.model.IliConstraintSpec.ExpressionSpec
extendInterlisModel(String) - Method in class ch.so.agi.mcp.knowledge.AgentPrompts
extendsFqn - Variable in class ch.so.agi.mcp.model.IliModelSpec.ViewableSpec
external - Variable in class ch.so.agi.mcp.model.IliModelSpec.AssociationRoleSpec
external - Variable in class ch.so.agi.mcp.tools.AssociationTools.Role
EXTERNAL_FUNCTION_SEMANTICS_REQUIRED - Enum constant in enum class ch.so.agi.mcp.model.IliAuthoringResult.Status

F

factor - Variable in class ch.so.agi.mcp.model.IliModelSpec.UnitSpec
FAILED - Enum constant in enum class ch.so.agi.mcp.model.EvidenceSummary.Status
failure(String, String) - Static method in record class ch.so.agi.mcp.constraint.ViewProofScope
FALSE - Enum constant in enum class ch.so.agi.mcp.constraint.ConstraintExpressionEngine.GoalKind
family() - Method in record class ch.so.agi.mcp.constraint.StandardFunctionRegistry.StandardFunction: Returns the value of the family record component.
file - Variable in class ch.so.agi.mcp.model.IliAuthoringResult.CompilerDiagnostic
filters() - Method in record class ch.so.agi.mcp.constraint.ViewProofScope: Returns the value of the filters record component.
findByOperator(ConstraintExpression.IliVersion, String) - Static method in class ch.so.agi.mcp.constraint.StandardFunctionRegistry
findByQualifiedName(ConstraintExpression.IliVersion, String) - Static method in class ch.so.agi.mcp.constraint.StandardFunctionRegistry
findBySemanticId(String) - Static method in class ch.so.agi.mcp.constraint.StandardFunctionRegistry
findConstraintPaths(String, String, String, Integer, Integer) - Method in class ch.so.agi.mcp.tools.ConstraintKnowledgeTools
findSimilarModels(String, String, ModelPurpose, Integer) - Method in class ch.so.agi.mcp.knowledge.ModelCorpusService
findSimilarModels(String, String, ModelPurpose, Integer) - Method in class ch.so.agi.mcp.knowledge.ModelCorpusTools
fixtureErrors - Variable in class ch.so.agi.mcp.model.IliAuthoringResult.ProofCaseVerification
fixturePreparationReasonCode - Variable in class ch.so.agi.mcp.model.IliAuthoringResult.ProofCaseVerification
fixtureValid - Variable in class ch.so.agi.mcp.model.IliAuthoringResult.ProofCaseVerification
footprint(ConstraintExpression) - Method in record class ch.so.agi.mcp.constraint.ViewProofScope
formatIliModel(String) - Method in class ch.so.agi.mcp.tools.FormattingTools
FormattingTools - Class in ch.so.agi.mcp.tools
FormattingTools() - Constructor for class ch.so.agi.mcp.tools.FormattingTools
FormattingTools(IliCompilerService) - Constructor for class ch.so.agi.mcp.tools.FormattingTools
forProfile(ModelingRuleProfile) - Method in class ch.so.agi.mcp.model.IliSpecRenderer
forVersion(ConstraintExpression.IliVersion) - Static method in record class ch.so.agi.mcp.constraint.ConstraintExpression.LanguageProfile
fqn() - Method in record class ch.so.agi.mcp.model.TypeSpec.NamedType: Returns the value of the fqn record component.
fromReview(Map<String, Object>) - Static method in record class ch.so.agi.mcp.constraint.ConstraintExplanation
FUNCTION - Enum constant in enum class ch.so.agi.mcp.model.IliConstraintSpec.ExpressionKind
FUNCTION - Static variable in class ch.so.agi.mcp.model.ConstraintAuthoringGuidance
FunctionCall(ConstraintExpression.FunctionDefinition, List<ConstraintExpression>) - Constructor for record class ch.so.agi.mcp.constraint.ConstraintExpression.FunctionCall: Creates an instance of a FunctionCall record class.
FunctionDefinition(String, List<ConstraintExpression.ArgumentSpec>, ConstraintExpression.Type, ConstraintExpression.ResultTypeRule, Map<ConstraintExpression.IliVersion, ConstraintExpression.SurfaceSyntax>) - Constructor for record class ch.so.agi.mcp.constraint.ConstraintExpression.FunctionDefinition: Creates an instance of a FunctionDefinition record class.
functionOrigin - Variable in class ch.so.agi.mcp.model.IliConstraintSpec.ExpressionSpec
functions(StandardFunctionRegistry.Family) - Static method in class ch.so.agi.mcp.constraint.StandardFunctionRegistry
functionSignature(ConstraintExpression.IliVersion) - Method in record class ch.so.agi.mcp.constraint.StandardFunctionRegistry.StandardFunction
FunctionSyntax(String) - Constructor for record class ch.so.agi.mcp.constraint.ConstraintExpression.FunctionSyntax: Creates an instance of a FunctionSyntax record class.

G

Gap(String, String) - Constructor for record class ch.so.agi.mcp.constraint.ConstraintInteractionAnalysis.Gap: Creates an instance of a Gap record class.
GE - Enum constant in enum class ch.so.agi.mcp.constraint.ConstraintExpression.ComparisonOperator
generateCompiledConstraintCases(CompiledConstraintContext) - Method in class ch.so.agi.mcp.tools.ConstraintCaseGenerationTools: Internal entry point for callers that already own the compiled model and resolved constraint.
generated - Variable in class ch.so.agi.mcp.model.IliAuthoringResult
generated() - Method in record class ch.so.agi.mcp.service.XtfService.GenerateExampleResult: Returns the value of the generated record component.
generated(Map<String, Object>, boolean, List<?>) - Static method in record class ch.so.agi.mcp.model.EvidenceSummary
GENERATED - Enum constant in enum class ch.so.agi.mcp.model.IliAuthoringResult.Status
generatedCases - Variable in class ch.so.agi.mcp.model.IliAuthoringResult.ConstraintProof
GenerateExampleResult(boolean, String, List<Map<String, Object>>, int, int, List<Map<String, Object>>, List<Map<String, Object>>) - Constructor for record class ch.so.agi.mcp.service.XtfService.GenerateExampleResult
GenerateExampleResult(boolean, String, List<Map<String, Object>>, int, int, List<Map<String, Object>>, List<Map<String, Object>>, XtfService.ExampleValidation) - Constructor for record class ch.so.agi.mcp.service.XtfService.GenerateExampleResult: Creates an instance of a GenerateExampleResult record class.
generateExampleXtf(String, Integer) - Method in class ch.so.agi.mcp.tools.XtfTools
generateExampleXtf(String, String, Integer) - Method in class ch.so.agi.mcp.service.XtfService
generateIliConstraintCases(String, String) - Method in class ch.so.agi.mcp.tools.ConstraintCaseGenerationTools
generateIliConstraintCases(String, String, Boolean) - Method in class ch.so.agi.mcp.tools.ConstraintCaseGenerationTools
generateIliConstraintFromDecisionTable(String, String, String, List<ConstraintDecisionTableTools.DecisionRow>) - Method in class ch.so.agi.mcp.tools.ConstraintDecisionTableTools
generateIliConstraintFromDecisionTable(String, String, String, List<ConstraintDecisionTableTools.DecisionRow>, Boolean) - Method in class ch.so.agi.mcp.tools.ConstraintDecisionTableTools
generateModelsFromLastFile(TransferDescription) - Method in class ch.so.agi.mcp.service.IliCompilerService
generationVerified - Variable in class ch.so.agi.mcp.model.IliAuthoringResult.ConstraintProof
GEOMETRY - Enum constant in enum class ch.so.agi.mcp.constraint.ConstraintExpression.ScalarKind
GeometryAttributeTools - Class in ch.so.agi.mcp.tools
GeometryAttributeTools() - Constructor for class ch.so.agi.mcp.tools.GeometryAttributeTools
GeometryTypeRenderer - Class in ch.so.agi.mcp.tools: Validates and renders geometry types without inventing geometry semantics.
GeometryTypeRenderer() - Constructor for class ch.so.agi.mcp.tools.GeometryTypeRenderer
GeometryTypeRenderer.RenderedGeometry - Record Class in ch.so.agi.mcp.tools
GeometryTypeSpec - Class in ch.so.agi.mcp.model: Explicit geometry semantics for an attribute.
GeometryTypeSpec() - Constructor for class ch.so.agi.mcp.model.GeometryTypeSpec
GeometryTypeSpec.InterlisKind - Enum Class in ch.so.agi.mcp.model
GeometryTypeSpec.Provider - Enum Class in ch.so.agi.mcp.model
get(String) - Method in class ch.so.agi.mcp.model.IliAuthoringResult.ProofCase
get(String) - Method in class ch.so.agi.mcp.model.IliAuthoringResult.SemanticChange: Internal compatibility accessor used by the semantic diff guard.
getAddAssociation() - Method in class ch.so.agi.mcp.change.IliModelChangeRequest
getAddAttribute() - Method in class ch.so.agi.mcp.change.IliModelChangeRequest
getAddClass() - Method in class ch.so.agi.mcp.change.IliModelChangeRequest
getAddConstraint() - Method in class ch.so.agi.mcp.change.IliModelChangeRequest
getAddDomain() - Method in class ch.so.agi.mcp.change.IliModelChangeRequest
getAddImport() - Method in class ch.so.agi.mcp.change.IliModelChangeRequest
getAddStructure() - Method in class ch.so.agi.mcp.change.IliModelChangeRequest
getAddTopic() - Method in class ch.so.agi.mcp.change.IliModelChangeRequest
getAddUnit() - Method in class ch.so.agi.mcp.change.IliModelChangeRequest
getArcs() - Method in class ch.so.agi.mcp.model.GeometryTypeSpec
getAttribute() - Method in class ch.so.agi.mcp.change.AddAttributeChange
getBaseType() - Method in class ch.so.agi.mcp.model.TypeSpec
getBasketType() - Method in class ch.so.agi.mcp.model.TypeSpec
getBlackboxType() - Method in class ch.so.agi.mcp.model.TypeSpec
getChBaseType() - Method in class ch.so.agi.mcp.model.GeometryTypeSpec
getChildren() - Method in class ch.so.agi.mcp.model.EnumTreeItem
getCircular() - Method in class ch.so.agi.mcp.model.BaseType
getCollection() - Method in class ch.so.agi.mcp.model.AttributeLineRequest
getContainerFqn() - Method in class ch.so.agi.mcp.change.AddAttributeChange
getCoordDomainFqn() - Method in class ch.so.agi.mcp.model.GeometryTypeSpec
getDirected() - Method in class ch.so.agi.mcp.model.GeometryTypeSpec
getDomainFqn() - Method in class ch.so.agi.mcp.model.TypeSpec
getEnumTreeDomainFqn() - Method in class ch.so.agi.mcp.model.EnumTreeValueTypeSpec
getEnumTreeValueType() - Method in class ch.so.agi.mcp.model.TypeSpec
getExternal() - Method in class ch.so.agi.mcp.model.ReferenceTypeSpec
getGeometryType() - Method in class ch.so.agi.mcp.model.TypeSpec
getIliDoc() - Method in class ch.so.agi.mcp.model.AttributeLineRequest
getIliDoc() - Method in class ch.so.agi.mcp.model.EnumTreeItem
getIliDoc() - Method in class ch.so.agi.mcp.model.EnumValueItem
getIliSnippet() - Method in class ch.so.agi.mcp.model.AttributeLineResponse
getInterlisKind() - Method in class ch.so.agi.mcp.model.GeometryTypeSpec
getKind() - Method in class ch.so.agi.mcp.model.BaseType
getKind() - Method in class ch.so.agi.mcp.model.BasketTypeSpec
getKind() - Method in class ch.so.agi.mcp.model.BlackboxTypeSpec
getLength() - Method in class ch.so.agi.mcp.model.BaseType
getLimitation() - Method in record class ch.so.agi.mcp.service.XtfService.ExampleValidation
getMandatory() - Method in class ch.so.agi.mcp.model.AttributeLineRequest
getMax() - Method in class ch.so.agi.mcp.model.BaseType
getMax() - Method in class ch.so.agi.mcp.tools.DomainTools.CoordinateAxis
getMetaAttributes() - Method in class ch.so.agi.mcp.model.AttributeLineRequest
getMetaAttributes() - Method in class ch.so.agi.mcp.model.EnumTreeItem
getMetaAttributes() - Method in class ch.so.agi.mcp.model.EnumValueItem
getMetaobjectType() - Method in class ch.so.agi.mcp.model.TypeSpec
getMin() - Method in class ch.so.agi.mcp.model.BaseType
getMin() - Method in class ch.so.agi.mcp.tools.DomainTools.CoordinateAxis
getName() - Method in class ch.so.agi.mcp.model.AttributeLineRequest
getName() - Method in class ch.so.agi.mcp.model.EnumTreeItem
getName() - Method in class ch.so.agi.mcp.model.EnumValueItem
getName() - Method in class ch.so.agi.mcp.model.MetaAttributeSpec
getObjects() - Method in class ch.so.agi.mcp.model.ObjectTypeSpec
getObjectType() - Method in class ch.so.agi.mcp.model.TypeSpec
getOperation() - Method in class ch.so.agi.mcp.change.IliModelChangeRequest
getOrDefault(String, Object) - Method in class ch.so.agi.mcp.model.IliAuthoringResult.SemanticChange
getOverlapMm() - Method in class ch.so.agi.mcp.model.GeometryTypeSpec
getProvider() - Method in class ch.so.agi.mcp.model.GeometryTypeSpec
getRawValue() - Method in class ch.so.agi.mcp.model.MetaAttributeSpec
getReferenceType() - Method in class ch.so.agi.mcp.model.TypeSpec
getRefSysFqn() - Method in class ch.so.agi.mcp.model.BaseType
getRemoveAttribute() - Method in class ch.so.agi.mcp.change.IliModelChangeRequest
getScope() - Method in record class ch.so.agi.mcp.service.XtfService.ExampleValidation
getStructureFqn() - Method in class ch.so.agi.mcp.model.TypeSpec
getTableFqn() - Method in class ch.so.agi.mcp.model.MetaobjectTypeSpec
getTargetClassFqn() - Method in class ch.so.agi.mcp.model.ObjectTypeSpec
getTargetClassFqn() - Method in class ch.so.agi.mcp.model.ReferenceTypeSpec
getTopicFqn() - Method in class ch.so.agi.mcp.model.BasketTypeSpec
getTypeSpec() - Method in class ch.so.agi.mcp.model.AttributeLineRequest
getUnitFqn() - Method in class ch.so.agi.mcp.model.BaseType
getUnitFqn() - Method in class ch.so.agi.mcp.tools.DomainTools.CoordinateAxis
getUpdateAttribute() - Method in class ch.so.agi.mcp.change.IliModelChangeRequest
getValue() - Method in class ch.so.agi.mcp.model.MetaAttributeSpec
GLOBAL - Enum constant in enum class ch.so.agi.mcp.model.IliConstraintSpec.SetScope
GLOBAL - Enum constant in enum class ch.so.agi.mcp.model.IliConstraintSpec.UniqueScope
goal - Variable in class ch.so.agi.mcp.model.IliAuthoringResult.CoverageExclusion
goal - Variable in class ch.so.agi.mcp.model.IliAuthoringResult.CoverageGap
goal - Variable in class ch.so.agi.mcp.model.IliAuthoringResult.CoverageGoal
goal() - Method in record class ch.so.agi.mcp.constraint.ConstraintCoveragePlanner.CoverageCase: Returns the value of the goal record component.
goal() - Method in record class ch.so.agi.mcp.constraint.ConstraintCoveragePlanner.GoalExclusion: Returns the value of the goal record component.
goal() - Method in record class ch.so.agi.mcp.constraint.ConstraintGoalSolver.Solution: Returns the value of the goal record component.
GoalExclusion(ConstraintExpressionEngine.TestGoal, String) - Constructor for record class ch.so.agi.mcp.constraint.ConstraintCoveragePlanner.GoalExclusion: Creates an instance of a GoalExclusion record class.
GRAPHIC - Enum constant in enum class ch.so.agi.mcp.change.IliSourceLocator.BlockKind
GRAPHIC - Enum constant in enum class ch.so.agi.mcp.model.BasketTypeSpec.Kind
GraphLink(String, Map<String, String>) - Constructor for record class ch.so.agi.mcp.constraint.ConstraintModelSynthesizer.GraphLink
GraphLink(String, Map<String, String>, boolean) - Constructor for record class ch.so.agi.mcp.constraint.ConstraintModelSynthesizer.GraphLink: Creates an instance of a GraphLink record class.
GraphObject(String, String, Map<String, Object>) - Constructor for record class ch.so.agi.mcp.constraint.ConstraintModelSynthesizer.GraphObject
GraphObject(String, String, Map<String, Object>, Map<String, String>) - Constructor for record class ch.so.agi.mcp.constraint.ConstraintModelSynthesizer.GraphObject: Creates an instance of a GraphObject record class.
GT - Enum constant in enum class ch.so.agi.mcp.constraint.ConstraintExpression.ComparisonOperator

H

handbookRules() - Method in class ch.so.agi.mcp.knowledge.KnowledgeResources
HAS_WARNINGS - Enum constant in enum class ch.so.agi.mcp.model.EvidenceSummary.Status
hasExternalFunctionSemantics() - Method in class ch.so.agi.mcp.model.IliConstraintSpec: True when proof would require semantics not executable from an INTERLIS declaration.
hashCode() - Method in record class ch.so.agi.mcp.change.IliSourceLocator.AttributeLocation: Returns a hash code value for this object.
hashCode() - Method in record class ch.so.agi.mcp.change.IliSourceLocator.BlockLocation: Returns a hash code value for this object.
hashCode() - Method in record class ch.so.agi.mcp.change.IliSourceSpan: Returns a hash code value for this object.
hashCode() - Method in record class ch.so.agi.mcp.change.IliTextPatch: Returns a hash code value for this object.
hashCode() - Method in record class ch.so.agi.mcp.constraint.CompiledConstraintContext: Returns a hash code value for this object.
hashCode() - Method in record class ch.so.agi.mcp.constraint.ConstraintAstTranslator.Translation: Returns a hash code value for this object.
hashCode() - Method in record class ch.so.agi.mcp.constraint.ConstraintAuthoringWorkflow.PreparedConstraint: Returns a hash code value for this object.
hashCode() - Method in record class ch.so.agi.mcp.constraint.ConstraintContextService.Resolution: Returns a hash code value for this object.
hashCode() - Method in record class ch.so.agi.mcp.constraint.ConstraintCoveragePlanner.CoverageCase: Returns a hash code value for this object.
hashCode() - Method in record class ch.so.agi.mcp.constraint.ConstraintCoveragePlanner.CoveragePlan: Returns a hash code value for this object.
hashCode() - Method in record class ch.so.agi.mcp.constraint.ConstraintCoveragePlanner.GoalExclusion: Returns a hash code value for this object.
hashCode() - Method in record class ch.so.agi.mcp.constraint.ConstraintExplanation: Returns a hash code value for this object.
hashCode() - Method in record class ch.so.agi.mcp.constraint.ConstraintExpression.And: Returns a hash code value for this object.
hashCode() - Method in record class ch.so.agi.mcp.constraint.ConstraintExpression.ArgumentSpec: Returns a hash code value for this object.
hashCode() - Method in record class ch.so.agi.mcp.constraint.ConstraintExpression.Attribute: Returns a hash code value for this object.
hashCode() - Method in record class ch.so.agi.mcp.constraint.ConstraintExpression.BooleanLiteral: Returns a hash code value for this object.
hashCode() - Method in record class ch.so.agi.mcp.constraint.ConstraintExpression.Comparison: Returns a hash code value for this object.
hashCode() - Method in record class ch.so.agi.mcp.constraint.ConstraintExpression.Defined: Returns a hash code value for this object.
hashCode() - Method in record class ch.so.agi.mcp.constraint.ConstraintExpression.EnumLiteral: Returns a hash code value for this object.
hashCode() - Method in record class ch.so.agi.mcp.constraint.ConstraintExpression.FunctionCall: Returns a hash code value for this object.
hashCode() - Method in record class ch.so.agi.mcp.constraint.ConstraintExpression.FunctionDefinition: Returns a hash code value for this object.
hashCode() - Method in record class ch.so.agi.mcp.constraint.ConstraintExpression.FunctionSyntax: Returns a hash code value for this object.
hashCode() - Method in record class ch.so.agi.mcp.constraint.ConstraintExpression.Implies: Returns a hash code value for this object.
hashCode() - Method in record class ch.so.agi.mcp.constraint.ConstraintExpression.InfixSyntax: Returns a hash code value for this object.
hashCode() - Method in record class ch.so.agi.mcp.constraint.ConstraintExpression.LanguageProfile: Returns a hash code value for this object.
hashCode() - Method in record class ch.so.agi.mcp.constraint.ConstraintExpression.Not: Returns a hash code value for this object.
hashCode() - Method in record class ch.so.agi.mcp.constraint.ConstraintExpression.NumericLiteral: Returns a hash code value for this object.
hashCode() - Method in record class ch.so.agi.mcp.constraint.ConstraintExpression.ObjectCount: Returns a hash code value for this object.
hashCode() - Method in record class ch.so.agi.mcp.constraint.ConstraintExpression.ObjectSetPath: Returns a hash code value for this object.
hashCode() - Method in record class ch.so.agi.mcp.constraint.ConstraintExpression.Or: Returns a hash code value for this object.
hashCode() - Method in record class ch.so.agi.mcp.constraint.ConstraintExpression.Path: Returns a hash code value for this object.
hashCode() - Method in record class ch.so.agi.mcp.constraint.ConstraintExpression.Reference: Returns a hash code value for this object.
hashCode() - Method in record class ch.so.agi.mcp.constraint.ConstraintExpression.TextLiteral: Returns a hash code value for this object.
hashCode() - Method in record class ch.so.agi.mcp.constraint.ConstraintExpression.Type: Returns a hash code value for this object.
hashCode() - Method in record class ch.so.agi.mcp.constraint.ConstraintExpressionEngine.EvaluationContext: Returns a hash code value for this object.
hashCode() - Method in record class ch.so.agi.mcp.constraint.ConstraintExpressionEngine.StateCondition: Returns a hash code value for this object.
hashCode() - Method in record class ch.so.agi.mcp.constraint.ConstraintExpressionEngine.TestGoal: Returns a hash code value for this object.
hashCode() - Method in record class ch.so.agi.mcp.constraint.ConstraintGoalReachability.Result: Returns a hash code value for this object.
hashCode() - Method in record class ch.so.agi.mcp.constraint.ConstraintGoalSolver.Solution: Returns a hash code value for this object.
hashCode() - Method in record class ch.so.agi.mcp.constraint.ConstraintInteractionAnalysis.ContextResult: Returns a hash code value for this object.
hashCode() - Method in record class ch.so.agi.mcp.constraint.ConstraintInteractionAnalysis.Domain: Returns a hash code value for this object.
hashCode() - Method in record class ch.so.agi.mcp.constraint.ConstraintInteractionAnalysis.Gap: Returns a hash code value for this object.
hashCode() - Method in record class ch.so.agi.mcp.constraint.ConstraintInteractionAnalysis.Result: Returns a hash code value for this object.
hashCode() - Method in record class ch.so.agi.mcp.constraint.ConstraintModelSynthesizer.AssociationBinding: Returns a hash code value for this object.
hashCode() - Method in record class ch.so.agi.mcp.constraint.ConstraintModelSynthesizer.CountShape: Returns a hash code value for this object.
hashCode() - Method in record class ch.so.agi.mcp.constraint.ConstraintModelSynthesizer.GraphLink: Returns a hash code value for this object.
hashCode() - Method in record class ch.so.agi.mcp.constraint.ConstraintModelSynthesizer.GraphObject: Returns a hash code value for this object.
hashCode() - Method in record class ch.so.agi.mcp.constraint.ConstraintModelSynthesizer.ModelBinding: Returns a hash code value for this object.
hashCode() - Method in record class ch.so.agi.mcp.constraint.ConstraintModelSynthesizer.NavigationBinding: Returns a hash code value for this object.
hashCode() - Method in record class ch.so.agi.mcp.constraint.ConstraintModelSynthesizer.NumericDomain: Returns a hash code value for this object.
hashCode() - Method in record class ch.so.agi.mcp.constraint.ConstraintModelSynthesizer.ObjectGraph: Returns a hash code value for this object.
hashCode() - Method in record class ch.so.agi.mcp.constraint.ConstraintModelSynthesizer.ReferenceBinding: Returns a hash code value for this object.
hashCode() - Method in record class ch.so.agi.mcp.constraint.ConstraintModelSynthesizer.ValueDomain: Returns a hash code value for this object.
hashCode() - Method in record class ch.so.agi.mcp.constraint.ConstraintSourceEditService.PreparedInsertion: Returns a hash code value for this object.
hashCode() - Method in record class ch.so.agi.mcp.constraint.ConstraintSourceEditService.SourceEdit: Returns a hash code value for this object.
hashCode() - Method in record class ch.so.agi.mcp.constraint.NavigationGraphSynthesizer.Binding: Returns a hash code value for this object.
hashCode() - Method in record class ch.so.agi.mcp.constraint.SemanticConstraint.AllObjects: Returns a hash code value for this object.
hashCode() - Method in record class ch.so.agi.mcp.constraint.SemanticConstraint.ConstraintPath: Returns a hash code value for this object.
hashCode() - Method in record class ch.so.agi.mcp.constraint.SemanticConstraint.Existence: Returns a hash code value for this object.
hashCode() - Method in record class ch.so.agi.mcp.constraint.SemanticConstraint.Mandatory: Returns a hash code value for this object.
hashCode() - Method in record class ch.so.agi.mcp.constraint.SemanticConstraint.NavigatedObjects: Returns a hash code value for this object.
hashCode() - Method in record class ch.so.agi.mcp.constraint.SemanticConstraint.ObjectCountSetCondition: Returns a hash code value for this object.
hashCode() - Method in record class ch.so.agi.mcp.constraint.SemanticConstraint.Plausibility: Returns a hash code value for this object.
hashCode() - Method in record class ch.so.agi.mcp.constraint.SemanticConstraint.Set: Returns a hash code value for this object.
hashCode() - Method in record class ch.so.agi.mcp.constraint.SemanticConstraint.Unique: Returns a hash code value for this object.
hashCode() - Method in record class ch.so.agi.mcp.constraint.SemanticConstraint.UntranslatedSetCondition: Returns a hash code value for this object.
hashCode() - Method in record class ch.so.agi.mcp.constraint.SemanticConstraint.ValueSetCondition: Returns a hash code value for this object.
hashCode() - Method in record class ch.so.agi.mcp.constraint.StandardFunctionRegistry.Parameter: Returns a hash code value for this object.
hashCode() - Method in record class ch.so.agi.mcp.constraint.StandardFunctionRegistry.StandardFunction: Returns a hash code value for this object.
hashCode() - Method in record class ch.so.agi.mcp.constraint.ViewProofScope: Returns a hash code value for this object.
hashCode() - Method in record class ch.so.agi.mcp.knowledge.ModelingRule: Returns a hash code value for this object.
hashCode() - Method in record class ch.so.agi.mcp.model.ConstraintSpecContract.Shape: Returns a hash code value for this object.
hashCode() - Method in record class ch.so.agi.mcp.model.EvidenceSummary.Check: Returns a hash code value for this object.
hashCode() - Method in record class ch.so.agi.mcp.model.EvidenceSummary: Returns a hash code value for this object.
hashCode() - Method in record class ch.so.agi.mcp.model.IliAuthoringResult.SpecDiagnostic: Returns a hash code value for this object.
hashCode() - Method in record class ch.so.agi.mcp.model.IliSpecRenderer.RenderedAttribute: Returns a hash code value for this object.
hashCode() - Method in record class ch.so.agi.mcp.model.IliSpecRenderer.RenderedFragment: Returns a hash code value for this object.
hashCode() - Method in record class ch.so.agi.mcp.model.IliSpecRenderer.RenderedModel: Returns a hash code value for this object.
hashCode() - Method in record class ch.so.agi.mcp.model.ModelHashes: Returns a hash code value for this object.
hashCode() - Method in record class ch.so.agi.mcp.model.TypeSpec.NamedType: Returns a hash code value for this object.
hashCode() - Method in record class ch.so.agi.mcp.service.IliCompilerService.CompilationResult: Returns a hash code value for this object.
hashCode() - Method in record class ch.so.agi.mcp.service.XtfService.ExampleValidation: Returns a hash code value for this object.
hashCode() - Method in record class ch.so.agi.mcp.service.XtfService.GenerateExampleResult: Returns a hash code value for this object.
hashCode() - Method in record class ch.so.agi.mcp.service.XtfService.ValidationResult: Returns a hash code value for this object.
hashCode() - Method in record class ch.so.agi.mcp.tools.AttributeTools.RenderedAttribute: Returns a hash code value for this object.
hashCode() - Method in record class ch.so.agi.mcp.tools.GeometryTypeRenderer.RenderedGeometry: Returns a hash code value for this object.
hasNativeImplication(CompiledConstraintContext) - Static method in class ch.so.agi.mcp.constraint.ConstraintValidatorCompatibility
headerSpan() - Method in record class ch.so.agi.mcp.change.IliSourceLocator.BlockLocation: Returns the value of the headerSpan record component.
hint() - Method in record class ch.so.agi.mcp.model.IliAuthoringResult.SpecDiagnostic: Returns the value of the hint record component.

I

id - Variable in class ch.so.agi.mcp.model.IliAuthoringResult.ReviewFinding
id() - Method in record class ch.so.agi.mcp.knowledge.ModelingRule: Returns the value of the id record component.
IDENTIFIER - Static variable in class ch.so.agi.mcp.model.ConstraintSpecContract
ILI_23 - Enum constant in enum class ch.so.agi.mcp.constraint.ConstraintExpression.IliVersion
ILI_24 - Enum constant in enum class ch.so.agi.mcp.constraint.ConstraintExpression.IliVersion
IliAuthoringResult - Class in ch.so.agi.mcp.model: Stable, typed output contract shared by high-level authoring and change tools.
IliAuthoringResult() - Constructor for class ch.so.agi.mcp.model.IliAuthoringResult
IliAuthoringResult.CompilerDiagnostic - Class in ch.so.agi.mcp.model
IliAuthoringResult.ConstraintProof - Class in ch.so.agi.mcp.model
IliAuthoringResult.CoverageExclusion - Class in ch.so.agi.mcp.model
IliAuthoringResult.CoverageGap - Class in ch.so.agi.mcp.model
IliAuthoringResult.CoverageGoal - Class in ch.so.agi.mcp.model
IliAuthoringResult.ModelReview - Class in ch.so.agi.mcp.model
IliAuthoringResult.OpenQuestion - Class in ch.so.agi.mcp.model
IliAuthoringResult.ProofCase - Class in ch.so.agi.mcp.model
IliAuthoringResult.ProofCaseVerification - Class in ch.so.agi.mcp.model
IliAuthoringResult.ProofVerification - Class in ch.so.agi.mcp.model
IliAuthoringResult.ReviewFinding - Class in ch.so.agi.mcp.model
IliAuthoringResult.SemanticChange - Class in ch.so.agi.mcp.model: A normalized semantic change.
IliAuthoringResult.SemanticDiff - Class in ch.so.agi.mcp.model
IliAuthoringResult.SourceEdit - Class in ch.so.agi.mcp.model
IliAuthoringResult.SourceExcerpt - Class in ch.so.agi.mcp.model
IliAuthoringResult.SpecDiagnostic - Record Class in ch.so.agi.mcp.model
IliAuthoringResult.Status - Enum Class in ch.so.agi.mcp.model
IliComments - Class in ch.so.agi.mcp.change: Lexical comment spans; quoted strings are never interpreted as comments.
IliCompilerService - Class in ch.so.agi.mcp.service
IliCompilerService() - Constructor for class ch.so.agi.mcp.service.IliCompilerService
IliCompilerService(String) - Constructor for class ch.so.agi.mcp.service.IliCompilerService
IliCompilerService.CompilationResult - Record Class in ch.so.agi.mcp.service
IliConstraintSpec - Class in ch.so.agi.mcp.model: Closed, discriminated authoring contract for the five INTERLIS constraint kinds.
IliConstraintSpec() - Constructor for class ch.so.agi.mcp.model.IliConstraintSpec
IliConstraintSpec.AllObjectsSpec - Class in ch.so.agi.mcp.model
IliConstraintSpec.BooleanSetConditionSpec - Class in ch.so.agi.mcp.model
IliConstraintSpec.Existence - Class in ch.so.agi.mcp.model
IliConstraintSpec.ExistenceTargetSpec - Class in ch.so.agi.mcp.model
IliConstraintSpec.ExpressionKind - Enum Class in ch.so.agi.mcp.model
IliConstraintSpec.ExpressionSpec - Class in ch.so.agi.mcp.model: Recursive semantic expression; raw INTERLIS syntax is intentionally not accepted.
IliConstraintSpec.FunctionOrigin - Enum Class in ch.so.agi.mcp.model
IliConstraintSpec.Kind - Enum Class in ch.so.agi.mcp.model
IliConstraintSpec.Mandatory - Class in ch.so.agi.mcp.model
IliConstraintSpec.ObjectCountSetConditionSpec - Class in ch.so.agi.mcp.model
IliConstraintSpec.ObjectSetSpec - Interface in ch.so.agi.mcp.model
IliConstraintSpec.PathObjectsSpec - Class in ch.so.agi.mcp.model
IliConstraintSpec.Plausibility - Class in ch.so.agi.mcp.model
IliConstraintSpec.PlausibilityDirection - Enum Class in ch.so.agi.mcp.model
IliConstraintSpec.Set - Class in ch.so.agi.mcp.model
IliConstraintSpec.SetConditionSpec - Interface in ch.so.agi.mcp.model
IliConstraintSpec.SetScope - Enum Class in ch.so.agi.mcp.model
IliConstraintSpec.Unique - Class in ch.so.agi.mcp.model
IliConstraintSpec.UniqueScope - Enum Class in ch.so.agi.mcp.model
iliDoc - Variable in class ch.so.agi.mcp.change.UpdateAttributeChange.AttributePatch
iliDoc - Variable in class ch.so.agi.mcp.model.IliConstraintSpec
iliDoc - Variable in class ch.so.agi.mcp.model.IliModelSpec.AnnotatedSpec
iliDoc - Variable in class ch.so.agi.mcp.model.IliModelSpec
iliDocAction - Variable in class ch.so.agi.mcp.change.UpdateAttributeChange.AttributePatch
IliModelAuthoringTools - Class in ch.so.agi.mcp.tools: One-call authoring of a complete, reviewed and constraint-proven INTERLIS model.
IliModelAuthoringTools(IliSpecRenderer, IliCompilerService, ConstraintContextService, ConstraintCaseGenerationTools, ModelChangeReviewService) - Constructor for class ch.so.agi.mcp.tools.IliModelAuthoringTools
IliModelChangeOperation - Enum Class in ch.so.agi.mcp.change
IliModelChangeRequest - Class in ch.so.agi.mcp.change
IliModelChangeRequest() - Constructor for class ch.so.agi.mcp.change.IliModelChangeRequest
IliModelChangeRequest.AddAssociationChange - Class in ch.so.agi.mcp.change
IliModelChangeRequest.AddClassChange - Class in ch.so.agi.mcp.change
IliModelChangeRequest.AddConstraintChange - Class in ch.so.agi.mcp.change
IliModelChangeRequest.AddDomainChange - Class in ch.so.agi.mcp.change
IliModelChangeRequest.AddImportChange - Class in ch.so.agi.mcp.change
IliModelChangeRequest.AddStructureChange - Class in ch.so.agi.mcp.change
IliModelChangeRequest.AddTopicChange - Class in ch.so.agi.mcp.change
IliModelChangeRequest.AddUnitChange - Class in ch.so.agi.mcp.change
IliModelChangesRequest - Class in ch.so.agi.mcp.change
IliModelChangesRequest() - Constructor for class ch.so.agi.mcp.change.IliModelChangesRequest
IliModelChangesService - Class in ch.so.agi.mcp.change: Atomic, source-preserving implementation of applyIliModelChanges.
IliModelChangesService(IliCompilerService, ModelChangeReviewService, IliSpecRenderer) - Constructor for class ch.so.agi.mcp.change.IliModelChangesService
IliModelChangesService(IliCompilerService, ModelChangeReviewService, IliSpecRenderer, ConstraintContextService, ConstraintCaseGenerationTools) - Constructor for class ch.so.agi.mcp.change.IliModelChangesService
IliModelChangeTools - Class in ch.so.agi.mcp.change
IliModelChangeTools(IliModelChangesService) - Constructor for class ch.so.agi.mcp.change.IliModelChangeTools
IliModelSpec - Class in ch.so.agi.mcp.model: Typed, complete input tree shared by full-model and change authoring.
IliModelSpec() - Constructor for class ch.so.agi.mcp.model.IliModelSpec
IliModelSpec.AnnotatedSpec - Class in ch.so.agi.mcp.model
IliModelSpec.AssociationRoleSpec - Class in ch.so.agi.mcp.model
IliModelSpec.AssociationSpec - Class in ch.so.agi.mcp.model
IliModelSpec.CardinalitySpec - Class in ch.so.agi.mcp.model
IliModelSpec.ClassSpec - Class in ch.so.agi.mcp.model
IliModelSpec.DomainKind - Enum Class in ch.so.agi.mcp.model
IliModelSpec.DomainSpec - Class in ch.so.agi.mcp.model
IliModelSpec.StructureSpec - Class in ch.so.agi.mcp.model
IliModelSpec.TopicSpec - Class in ch.so.agi.mcp.model
IliModelSpec.UnitSpec - Class in ch.so.agi.mcp.model
IliModelSpec.ViewableSpec - Class in ch.so.agi.mcp.model
IliPatchApplier - Class in ch.so.agi.mcp.change
IliSourceDocument - Class in ch.so.agi.mcp.change
IliSourceLocator - Class in ch.so.agi.mcp.change
IliSourceLocator() - Constructor for class ch.so.agi.mcp.change.IliSourceLocator
IliSourceLocator.AttributeLocation - Record Class in ch.so.agi.mcp.change: Exact attribute declaration plus the IliDoc/meta-attribute prelude owned by it.
IliSourceLocator.BlockKind - Enum Class in ch.so.agi.mcp.change
IliSourceLocator.BlockLocation - Record Class in ch.so.agi.mcp.change
IliSourceSpan - Record Class in ch.so.agi.mcp.change
IliSourceSpan(int, int, int, int) - Constructor for record class ch.so.agi.mcp.change.IliSourceSpan: Creates an instance of a IliSourceSpan record class.
IliSpecRenderer - Class in ch.so.agi.mcp.model: Strict internal renderer.
IliSpecRenderer(AttributeTools, DomainTools) - Constructor for class ch.so.agi.mcp.model.IliSpecRenderer
IliSpecRenderer.RenderedAttribute - Record Class in ch.so.agi.mcp.model
IliSpecRenderer.RenderedFragment - Record Class in ch.so.agi.mcp.model
IliSpecRenderer.RenderedModel - Record Class in ch.so.agi.mcp.model
IliTextPatch - Record Class in ch.so.agi.mcp.change
IliTextPatch(IliSourceSpan, String, String) - Constructor for record class ch.so.agi.mcp.change.IliTextPatch: Creates an instance of a IliTextPatch record class.
iliVersion - Variable in class ch.so.agi.mcp.analysis.ModelAnalysisTools.AnalysisData
iliVersion - Variable in class ch.so.agi.mcp.model.IliModelSpec
impact - Variable in class ch.so.agi.mcp.model.IliAuthoringResult
impact - Variable in class ch.so.agi.mcp.model.IliAuthoringResult.SemanticDiff
Implies(ConstraintExpression, ConstraintExpression) - Constructor for record class ch.so.agi.mcp.constraint.ConstraintExpression.Implies: Creates an instance of a Implies record class.
IMPLIES - Enum constant in enum class ch.so.agi.mcp.model.IliConstraintSpec.ExpressionKind
importModel - Variable in class ch.so.agi.mcp.change.IliModelChangeRequest.AddImportChange
imports - Variable in class ch.so.agi.mcp.analysis.ModelAnalysisTools.AnalysisData
imports - Variable in class ch.so.agi.mcp.model.IliModelSpec
includes(Map<String, Object>) - Method in record class ch.so.agi.mcp.constraint.ViewProofScope
INCOMPLETE - Enum constant in enum class ch.so.agi.mcp.model.EvidenceSummary.Status
indent() - Method in record class ch.so.agi.mcp.change.IliSourceLocator.AttributeLocation: Returns the value of the indent record component.
indentBlock(String, String) - Static method in class ch.so.agi.mcp.util.AnnotationRenderer
indexConfiguredModels() - Method in class ch.so.agi.mcp.knowledge.ModelCorpusService
indexConfiguredModels() - Method in class ch.so.agi.mcp.knowledge.ModelCorpusTools
indexMarkdown() - Method in class ch.so.agi.mcp.knowledge.ModelCorpusService
InfixSyntax(String) - Constructor for record class ch.so.agi.mcp.constraint.ConstraintExpression.InfixSyntax: Creates an instance of a InfixSyntax record class.
INFO - Enum constant in enum class ch.so.agi.mcp.knowledge.ModelingRule.Severity
INPUT - Static variable in class ch.so.agi.mcp.model.ConstraintAuthoringGuidance
insert(IliSourceDocument, int, String, String) - Static method in record class ch.so.agi.mcp.change.IliTextPatch
insertAndResolve(String, IliCompilerService.CompilationResult, String, String, String, String) - Method in class ch.so.agi.mcp.constraint.ConstraintAuthoringWorkflow
insertAndResolve(String, IliCompilerService.CompilationResult, String, String, String, String, Set<String>) - Method in class ch.so.agi.mcp.constraint.ConstraintAuthoringWorkflow
insertConstraint(String, IliCompilerService.CompilationResult, String, String) - Method in class ch.so.agi.mcp.constraint.ConstraintSourceEditService
insertConstraint(String, IliCompilerService.CompilationResult, String, String, Set<String>) - Method in class ch.so.agi.mcp.constraint.ConstraintSourceEditService
insertion() - Method in record class ch.so.agi.mcp.constraint.ConstraintAuthoringWorkflow.PreparedConstraint: Returns the value of the insertion record component.
insertionPoint(int) - Method in class ch.so.agi.mcp.change.IliSourceDocument
INSTANCE - Enum constant in enum class ch.so.agi.mcp.constraint.ConstraintExpressionEngine.NotComputable
INSTANCE - Enum constant in enum class ch.so.agi.mcp.constraint.ConstraintExpressionEngine.Undefined
interlis() - Method in enum class ch.so.agi.mcp.constraint.ConstraintExpression.ComparisonOperator
INTERLIS - Enum constant in enum class ch.so.agi.mcp.model.GeometryTypeSpec.Provider
InterlisMcpModuleConfiguration - Class in ch.so.agi.mcp: Imports the INTERLIS capabilities without starting an application or transport.
InterlisMcpModuleConfiguration() - Constructor for class ch.so.agi.mcp.InterlisMcpModuleConfiguration
interlisModelingAgent() - Method in class ch.so.agi.mcp.knowledge.AgentPrompts
INVALID - Enum constant in enum class ch.so.agi.mcp.service.XtfService.ExampleValidationStatus
INVALID_SPEC - Enum constant in enum class ch.so.agi.mcp.model.IliAuthoringResult.Status
irType() - Method in record class ch.so.agi.mcp.constraint.StandardFunctionRegistry.Parameter: Returns the value of the irType record component.
isAbstract - Variable in class ch.so.agi.mcp.model.IliModelSpec.TopicSpec
isAbstract - Variable in class ch.so.agi.mcp.model.IliModelSpec.ViewableSpec
isCollectionOf(ConstraintExpression.ScalarKind) - Method in record class ch.so.agi.mcp.constraint.ConstraintExpression.Type
isEmpty() - Method in record class ch.so.agi.mcp.change.IliSourceSpan
isReservedWord(String) - Static method in class ch.so.agi.mcp.util.NameValidator
isScalar(ConstraintExpression.ScalarKind) - Method in record class ch.so.agi.mcp.constraint.ConstraintExpression.Type
isUndefined(Object) - Static method in class ch.so.agi.mcp.constraint.ConstraintExpressionEngine

J

justification - Variable in class ch.so.agi.mcp.model.IliAuthoringResult.CoverageExclusion
justification() - Method in record class ch.so.agi.mcp.constraint.ConstraintCoveragePlanner.GoalExclusion: Returns the value of the justification record component.
justification() - Method in record class ch.so.agi.mcp.constraint.ConstraintGoalReachability.Result: Returns the value of the justification record component.

K

KEEP - Enum constant in enum class ch.so.agi.mcp.change.UpdateAttributeChange.IliDocAction
KEEP - Enum constant in enum class ch.so.agi.mcp.change.UpdateAttributeChange.MetaAttributesAction
key() - Method in record class ch.so.agi.mcp.constraint.ConstraintExpression.ObjectCount
keyPaths - Variable in class ch.so.agi.mcp.model.IliConstraintSpec.Unique
kind - Variable in class ch.so.agi.mcp.model.IliAuthoringResult.SemanticChange
kind - Variable in class ch.so.agi.mcp.model.IliAuthoringResult.SemanticDiff
kind - Variable in class ch.so.agi.mcp.model.IliConstraintSpec.ExpressionSpec
kind - Variable in class ch.so.agi.mcp.model.IliModelSpec.DomainSpec
kind() - Method in record class ch.so.agi.mcp.change.IliSourceLocator.BlockLocation: Returns the value of the kind record component.
kind() - Method in record class ch.so.agi.mcp.constraint.ConstraintExplanation: Returns the value of the kind record component.
kind() - Method in record class ch.so.agi.mcp.constraint.ConstraintExpression.Reference: Returns the value of the kind record component.
kind() - Method in record class ch.so.agi.mcp.constraint.ConstraintExpression.TextLiteral: Returns the value of the kind record component.
kind() - Method in record class ch.so.agi.mcp.constraint.ConstraintExpressionEngine.TestGoal: Returns the value of the kind record component.
kind() - Method in record class ch.so.agi.mcp.constraint.ConstraintInteractionAnalysis.Domain: Returns the value of the kind record component.
kind() - Method in record class ch.so.agi.mcp.constraint.ConstraintModelSynthesizer.NavigationBinding: Returns the value of the kind record component.
kind() - Method in record class ch.so.agi.mcp.constraint.ConstraintModelSynthesizer.ValueDomain: Returns the value of the kind record component.
kind() - Method in record class ch.so.agi.mcp.constraint.SemanticConstraint.Existence
kind() - Method in interface ch.so.agi.mcp.constraint.SemanticConstraint
kind() - Method in record class ch.so.agi.mcp.constraint.SemanticConstraint.Mandatory
kind() - Method in record class ch.so.agi.mcp.constraint.SemanticConstraint.Plausibility
kind() - Method in record class ch.so.agi.mcp.constraint.SemanticConstraint.Set
kind() - Method in record class ch.so.agi.mcp.constraint.SemanticConstraint.Unique
kind() - Method in class ch.so.agi.mcp.model.IliConstraintSpec.Existence
kind() - Method in class ch.so.agi.mcp.model.IliConstraintSpec
kind() - Method in class ch.so.agi.mcp.model.IliConstraintSpec.Mandatory
kind() - Method in class ch.so.agi.mcp.model.IliConstraintSpec.Plausibility
kind() - Method in class ch.so.agi.mcp.model.IliConstraintSpec.Set
kind() - Method in class ch.so.agi.mcp.model.IliConstraintSpec.Unique
KnowledgeResources - Class in ch.so.agi.mcp.knowledge
KnowledgeResources(KnowledgeRuleLoader, ModelCorpusService) - Constructor for class ch.so.agi.mcp.knowledge.KnowledgeResources
KnowledgeRuleLoader - Class in ch.so.agi.mcp.knowledge
KnowledgeRuleLoader() - Constructor for class ch.so.agi.mcp.knowledge.KnowledgeRuleLoader

L

language - Variable in class ch.so.agi.mcp.model.IliModelSpec
LanguageProfile(ConstraintExpression.IliVersion, String, String, boolean) - Constructor for record class ch.so.agi.mcp.constraint.ConstraintExpression.LanguageProfile: Creates an instance of a LanguageProfile record class.
LE - Enum constant in enum class ch.so.agi.mcp.constraint.ConstraintExpression.ComparisonOperator
left() - Method in record class ch.so.agi.mcp.constraint.ConstraintExpression.Comparison: Returns the value of the left record component.
length() - Method in class ch.so.agi.mcp.change.IliSourceDocument
length() - Method in record class ch.so.agi.mcp.change.IliSourceSpan
lexicalTerms(Map<String, Object>) - Method in class ch.so.agi.mcp.analysis.ModelAnalysisTools
lightweight() - Method in record class ch.so.agi.mcp.constraint.ConstraintModelSynthesizer.AssociationBinding: Returns the value of the lightweight record component.
lightweight() - Method in record class ch.so.agi.mcp.constraint.ConstraintModelSynthesizer.GraphLink: Returns the value of the lightweight record component.
limit(Integer) - Static method in class ch.so.agi.mcp.constraint.ConstraintPathSearch
limitation() - Method in record class ch.so.agi.mcp.constraint.ConstraintInteractionAnalysis.Result: Returns the value of the limitation record component.
limitations - Variable in class ch.so.agi.mcp.model.IliAuthoringResult.ConstraintProof
limitations() - Method in record class ch.so.agi.mcp.constraint.ConstraintExplanation: Returns the value of the limitations record component.
line - Variable in class ch.so.agi.mcp.model.IliAuthoringResult.CompilerDiagnostic
lineCount() - Method in class ch.so.agi.mcp.change.IliSourceDocument
lineEndOffset(int) - Method in class ch.so.agi.mcp.change.IliSourceDocument
lineOfOffset(int) - Method in class ch.so.agi.mcp.change.IliSourceDocument
lineSeparator() - Method in class ch.so.agi.mcp.change.IliSourceDocument
lineStartOffset(int) - Method in class ch.so.agi.mcp.change.IliSourceDocument
lineText(int) - Method in class ch.so.agi.mcp.change.IliSourceDocument
links - Variable in class ch.so.agi.mcp.tools.ConstraintTestTools.TestCase
links() - Method in record class ch.so.agi.mcp.constraint.ConstraintModelSynthesizer.ObjectGraph: Returns the value of the links record component.
LIST_OF - Enum constant in enum class ch.so.agi.mcp.model.AttributeLineRequest.Collection
listConstraintFunctions(String) - Method in class ch.so.agi.mcp.tools.ConstraintKnowledgeTools
listGeometryTypes(String) - Method in class ch.so.agi.mcp.tools.GeometryAttributeTools
listModelingRules(ModelingRuleProfile) - Method in class ch.so.agi.mcp.knowledge.ModelingRuleTools
local() - Method in record class ch.so.agi.mcp.constraint.SemanticConstraint.Unique: Returns the value of the local record component.
LOCAL - Enum constant in enum class ch.so.agi.mcp.model.IliConstraintSpec.UniqueScope
localName() - Method in record class ch.so.agi.mcp.constraint.StandardFunctionRegistry.StandardFunction: Returns the value of the localName record component.
localPrefix - Variable in class ch.so.agi.mcp.model.IliConstraintSpec.Unique
locateAttribute(IliSourceDocument, IliSourceLocator.BlockLocation, String, int) - Method in class ch.so.agi.mcp.change.IliSourceLocator
locateAttributeDeclaration(IliSourceDocument, IliSourceLocator.BlockLocation, String, int) - Method in class ch.so.agi.mcp.change.IliSourceLocator
locateNamedBlock(IliSourceDocument, IliSourceLocator.BlockKind, String) - Method in class ch.so.agi.mcp.change.IliSourceLocator
locateNamedBlock(IliSourceDocument, IliSourceLocator.BlockKind, String, int) - Method in class ch.so.agi.mcp.change.IliSourceLocator
locateNamedBlock(IliSourceDocument, IliSourceLocator.BlockKind, String, int, IliSourceLocator.BlockLocation) - Method in class ch.so.agi.mcp.change.IliSourceLocator: Resolves a declaration only within its already resolved owning block.
locateNamedBlocks(IliSourceDocument, IliSourceLocator.BlockKind, String) - Method in class ch.so.agi.mcp.change.IliSourceLocator
location - Variable in class ch.so.agi.mcp.model.IliAuthoringResult.ReviewFinding
LT - Enum constant in enum class ch.so.agi.mcp.constraint.ConstraintExpression.ComparisonOperator

M

mandatory - Variable in class ch.so.agi.mcp.change.UpdateAttributeChange.AttributePatch
mandatory - Variable in class ch.so.agi.mcp.model.IliAuthoringResult.SemanticChange
mandatory() - Method in record class ch.so.agi.mcp.constraint.ConstraintInteractionAnalysis.Domain: Returns the value of the mandatory record component.
mandatory() - Method in record class ch.so.agi.mcp.constraint.ConstraintModelSynthesizer.ValueDomain: Returns the value of the mandatory record component.
Mandatory() - Constructor for class ch.so.agi.mcp.model.IliConstraintSpec.Mandatory
Mandatory(String, String, String, ConstraintExpression.IliVersion, ConstraintExpression) - Constructor for record class ch.so.agi.mcp.constraint.SemanticConstraint.Mandatory: Creates an instance of a Mandatory record class.
MANDATORY - Enum constant in enum class ch.so.agi.mcp.constraint.SemanticConstraint.Kind
MANDATORY - Enum constant in enum class ch.so.agi.mcp.model.IliConstraintSpec.Kind
MANDATORY_INPUT - Static variable in class ch.so.agi.mcp.model.ConstraintAuthoringGuidance
MANDATORY_SPEC_EXAMPLE - Static variable in class ch.so.agi.mcp.model.ConstraintAuthoringGuidance
MANUAL - Enum constant in enum class ch.so.agi.mcp.knowledge.ModelingRule.CheckKind
manualChecks - Variable in class ch.so.agi.mcp.model.IliAuthoringResult.ModelReview
matchesState(ConstraintExpressionEngine.GoalKind, Object) - Static method in class ch.so.agi.mcp.constraint.ConstraintExpressionEngine
MATH - Enum constant in enum class ch.so.agi.mcp.constraint.StandardFunctionRegistry.Family
mathModel() - Method in record class ch.so.agi.mcp.constraint.ConstraintExpression.LanguageProfile: Returns the value of the mathModel record component.
max - Variable in class ch.so.agi.mcp.model.IliModelSpec.CardinalitySpec: Non-negative integer or "*".
max - Variable in class ch.so.agi.mcp.model.IliModelSpec.DomainSpec
MAX_CONSTRAINT_CASES - Static variable in class ch.so.agi.mcp.util.McpInputLimits
MAX_MODEL_BYTES - Static variable in class ch.so.agi.mcp.util.McpInputLimits
MAX_PREFIXES - Static variable in class ch.so.agi.mcp.constraint.ConstraintPathSearch
MAX_STATES - Static variable in class ch.so.agi.mcp.constraint.ConstraintInteractionAnalysis
MAX_XTF_BYTES - Static variable in class ch.so.agi.mcp.util.McpInputLimits
maxChildren() - Method in record class ch.so.agi.mcp.model.ConstraintSpecContract.Shape: Returns the value of the maxChildren record component.
maximum() - Method in record class ch.so.agi.mcp.constraint.ConstraintInteractionAnalysis.Domain: Returns the value of the maximum record component.
maximum() - Method in record class ch.so.agi.mcp.constraint.ConstraintModelSynthesizer.AssociationBinding: Returns the value of the maximum record component.
maximum() - Method in record class ch.so.agi.mcp.constraint.ConstraintModelSynthesizer.NavigationBinding: Returns the value of the maximum record component.
maximum() - Method in record class ch.so.agi.mcp.constraint.ConstraintModelSynthesizer.NumericDomain: Returns the value of the maximum record component.
McpDiscriminatorSchemaConfig - Class in ch.so.agi.mcp.config: Makes closed kind-discriminated MCP unions explicit JSON Schema oneOfs.
McpDiscriminatorSchemaConfig() - Constructor for class ch.so.agi.mcp.config.McpDiscriminatorSchemaConfig
McpDtoReflectionHints - Class in ch.so.agi.mcp.config: Registers the DTO types of the MCP tool contract for reflection.
McpDtoReflectionHints() - Constructor for class ch.so.agi.mcp.config.McpDtoReflectionHints
McpInputLimits - Class in ch.so.agi.mcp.util
mergeMetaAttributes(List<MetaAttributeSpec>, List<MetaAttributeSpec>) - Static method in class ch.so.agi.mcp.util.AnnotationRenderer
message - Variable in class ch.so.agi.mcp.model.IliAuthoringResult.CompilerDiagnostic
message - Variable in class ch.so.agi.mcp.model.IliAuthoringResult.ReviewFinding
message() - Method in record class ch.so.agi.mcp.model.IliAuthoringResult.SpecDiagnostic: Returns the value of the message record component.
messages() - Method in record class ch.so.agi.mcp.service.IliCompilerService.CompilationResult: Returns the value of the messages record component.
messages() - Method in record class ch.so.agi.mcp.service.XtfService.ExampleValidation: Returns the value of the messages record component.
messages() - Method in record class ch.so.agi.mcp.service.XtfService.GenerateExampleResult: Returns the value of the messages record component.
messages() - Method in record class ch.so.agi.mcp.service.XtfService.ValidationResult: Returns the value of the messages record component.
metaAttributes - Variable in class ch.so.agi.mcp.analysis.ModelAnalysisTools.AnalysisData
metaAttributes - Variable in class ch.so.agi.mcp.change.UpdateAttributeChange.AttributePatch
metaAttributes - Variable in class ch.so.agi.mcp.model.IliConstraintSpec
metaAttributes - Variable in class ch.so.agi.mcp.model.IliModelSpec.AnnotatedSpec
metaAttributes - Variable in class ch.so.agi.mcp.model.IliModelSpec
metaAttributesAction - Variable in class ch.so.agi.mcp.change.UpdateAttributeChange.AttributePatch
MetaAttributeSpec - Class in ch.so.agi.mcp.model
MetaAttributeSpec() - Constructor for class ch.so.agi.mcp.model.MetaAttributeSpec
metamodelType() - Method in record class ch.so.agi.mcp.constraint.SemanticConstraint.UntranslatedSetCondition: Returns the value of the metamodelType record component.
MetaobjectTypeSpec - Class in ch.so.agi.mcp.model
MetaobjectTypeSpec() - Constructor for class ch.so.agi.mcp.model.MetaobjectTypeSpec
min - Variable in class ch.so.agi.mcp.model.IliModelSpec.CardinalitySpec
min - Variable in class ch.so.agi.mcp.model.IliModelSpec.DomainSpec
minChildren() - Method in record class ch.so.agi.mcp.model.ConstraintSpecContract.Shape: Returns the value of the minChildren record component.
minimum() - Method in record class ch.so.agi.mcp.constraint.ConstraintInteractionAnalysis.Domain: Returns the value of the minimum record component.
minimum() - Method in record class ch.so.agi.mcp.constraint.ConstraintModelSynthesizer.AssociationBinding: Returns the value of the minimum record component.
minimum() - Method in record class ch.so.agi.mcp.constraint.ConstraintModelSynthesizer.NavigationBinding: Returns the value of the minimum record component.
minimum() - Method in record class ch.so.agi.mcp.constraint.ConstraintModelSynthesizer.NumericDomain: Returns the value of the minimum record component.
mixedTypes() - Method in record class ch.so.agi.mcp.constraint.ConstraintModelSynthesizer.CountShape: Returns the value of the mixedTypes record component.
model - Variable in class ch.so.agi.mcp.model.IliAuthoringResult.SemanticChange
model() - Method in record class ch.so.agi.mcp.model.ModelHashes: Returns the value of the model record component.
model(String) - Static method in record class ch.so.agi.mcp.model.ModelHashes
MODEL - Enum constant in enum class ch.so.agi.mcp.change.IliSourceLocator.BlockKind
MODEL - Enum constant in enum class ch.so.agi.mcp.model.IliConstraintSpec.FunctionOrigin
MODEL - Enum constant in enum class ch.so.agi.mcp.model.RenameElementKind
ModelAnalysisTools - Class in ch.so.agi.mcp.analysis
ModelAnalysisTools(IliCompilerService) - Constructor for class ch.so.agi.mcp.analysis.ModelAnalysisTools
ModelAnalysisTools.AnalysisData - Class in ch.so.agi.mcp.analysis
modelBinding() - Method in record class ch.so.agi.mcp.constraint.NavigationGraphSynthesizer.Binding: Returns the value of the modelBinding record component.
ModelBinding(String, Map<String, ConstraintModelSynthesizer.ReferenceBinding>) - Constructor for record class ch.so.agi.mcp.constraint.ConstraintModelSynthesizer.ModelBinding
ModelBinding(String, Map<String, ConstraintModelSynthesizer.ReferenceBinding>, ViewProofScope) - Constructor for record class ch.so.agi.mcp.constraint.ConstraintModelSynthesizer.ModelBinding: Creates an instance of a ModelBinding record class.
ModelChangeReviewService - Class in ch.so.agi.mcp.analysis
ModelChangeReviewService(ModelAnalysisTools, ModelingRuleTools) - Constructor for class ch.so.agi.mcp.analysis.ModelChangeReviewService
ModelChangeTools - Class in ch.so.agi.mcp.analysis
ModelChangeTools(IliCompilerService, ModelAnalysisTools, ModelingRuleTools) - Constructor for class ch.so.agi.mcp.analysis.ModelChangeTools
ModelChangeTools(IliCompilerService, ModelChangeReviewService) - Constructor for class ch.so.agi.mcp.analysis.ModelChangeTools
modelConstraints(IliModelSpec) - Static method in class ch.so.agi.mcp.model.ConstraintSpecContract
modelCorpusIndex() - Method in class ch.so.agi.mcp.knowledge.KnowledgeResources
ModelCorpusService - Class in ch.so.agi.mcp.knowledge
ModelCorpusService(String, long, int) - Constructor for class ch.so.agi.mcp.knowledge.ModelCorpusService
ModelCorpusTools - Class in ch.so.agi.mcp.knowledge
ModelCorpusTools(ModelCorpusService) - Constructor for class ch.so.agi.mcp.knowledge.ModelCorpusTools
modelFqn - Variable in class ch.so.agi.mcp.change.IliModelChangeRequest.AddImportChange
modelFqn - Variable in class ch.so.agi.mcp.change.IliModelChangeRequest.AddTopicChange
modelHashes - Variable in class ch.so.agi.mcp.model.IliAuthoringResult
ModelHashes - Record Class in ch.so.agi.mcp.model: Identifies exact UTF-8 model text, not compilation success or imported dependencies.
ModelHashes(String, String, String, String) - Constructor for record class ch.so.agi.mcp.model.ModelHashes: Creates an instance of a ModelHashes record class.
ModelingRule - Record Class in ch.so.agi.mcp.knowledge
ModelingRule(ModelingRuleProfile, String, String, ModelingRule.Severity, ModelPurpose, ModelingRule.CheckKind, String, String, String, String) - Constructor for record class ch.so.agi.mcp.knowledge.ModelingRule: Creates an instance of a ModelingRule record class.
ModelingRule.CheckKind - Enum Class in ch.so.agi.mcp.knowledge
ModelingRule.Severity - Enum Class in ch.so.agi.mcp.knowledge
ModelingRuleProfile - Enum Class in ch.so.agi.mcp.knowledge
modelingRules() - Method in record class ch.so.agi.mcp.model.EvidenceSummary: Returns the value of the modelingRules record component.
ModelingRuleTools - Class in ch.so.agi.mcp.knowledge
ModelingRuleTools(KnowledgeRuleLoader, ModelAnalysisTools, IliCompilerService) - Constructor for class ch.so.agi.mcp.knowledge.ModelingRuleTools
modelName - Variable in class ch.so.agi.mcp.model.IliAuthoringResult.SemanticDiff
modelName(ConstraintExpression.IliVersion) - Method in record class ch.so.agi.mcp.constraint.StandardFunctionRegistry.StandardFunction
modelPurpose - Variable in class ch.so.agi.mcp.model.IliAuthoringResult.ModelReview
ModelPurpose - Enum Class in ch.so.agi.mcp.analysis
modelRepositories() - Method in record class ch.so.agi.mcp.constraint.CompiledConstraintContext: Returns the value of the modelRepositories record component.
modelReview(Object) - Static method in class ch.so.agi.mcp.model.IliAuthoringResult
ModelReview() - Constructor for class ch.so.agi.mcp.model.IliAuthoringResult.ModelReview
models - Variable in class ch.so.agi.mcp.analysis.ModelAnalysisTools.AnalysisData
modelText() - Method in record class ch.so.agi.mcp.constraint.CompiledConstraintContext: Returns the value of the modelText record component.
modelText() - Method in record class ch.so.agi.mcp.model.IliSpecRenderer.RenderedModel: Returns the value of the modelText record component.
ModelTools - Class in ch.so.agi.mcp.tools
ModelTools(Clock) - Constructor for class ch.so.agi.mcp.tools.ModelTools
MTEXT - Enum constant in enum class ch.so.agi.mcp.constraint.ConstraintExpression.ScalarKind
MTEXT - Enum constant in enum class ch.so.agi.mcp.model.BaseType.Kind
MTEXT - Enum constant in enum class ch.so.agi.mcp.model.IliConstraintSpec.ExpressionKind
MULTIAREA - Enum constant in enum class ch.so.agi.mcp.model.GeometryTypeSpec.InterlisKind
MULTIPOLYLINE - Enum constant in enum class ch.so.agi.mcp.model.GeometryTypeSpec.InterlisKind
MULTISURFACE - Enum constant in enum class ch.so.agi.mcp.model.GeometryTypeSpec.InterlisKind
multiValued() - Method in record class ch.so.agi.mcp.constraint.ConstraintModelSynthesizer.NavigationBinding

N

name - Variable in class ch.so.agi.mcp.model.IliAuthoringResult.ProofCase
name - Variable in class ch.so.agi.mcp.model.IliAuthoringResult.ProofCaseVerification
name - Variable in class ch.so.agi.mcp.model.IliAuthoringResult.SemanticChange
name - Variable in class ch.so.agi.mcp.model.IliConstraintSpec.ExpressionSpec
name - Variable in class ch.so.agi.mcp.model.IliConstraintSpec
name - Variable in class ch.so.agi.mcp.model.IliModelSpec.AnnotatedSpec
name - Variable in class ch.so.agi.mcp.model.IliModelSpec.AssociationRoleSpec
name - Variable in class ch.so.agi.mcp.model.IliModelSpec
name - Variable in class ch.so.agi.mcp.tools.AssociationTools.Role
name - Variable in class ch.so.agi.mcp.tools.ConstraintDecisionTableTools.DecisionRow
name - Variable in class ch.so.agi.mcp.tools.ConstraintTestTools.TestCase
name() - Method in record class ch.so.agi.mcp.change.IliSourceLocator.BlockLocation: Returns the value of the name record component.
name() - Method in record class ch.so.agi.mcp.constraint.ConstraintExpression.Attribute: Returns the value of the name record component.
name() - Method in record class ch.so.agi.mcp.constraint.ConstraintExpression.FunctionSyntax: Returns the value of the name record component.
name() - Method in record class ch.so.agi.mcp.constraint.ConstraintExpression.Reference: Returns the value of the name record component.
name() - Method in record class ch.so.agi.mcp.constraint.ConstraintModelSynthesizer.NavigationBinding: Returns the value of the name record component.
name() - Method in record class ch.so.agi.mcp.constraint.StandardFunctionRegistry.Parameter: Returns the value of the name record component.
NAME - Static variable in class ch.so.agi.mcp.model.ConstraintAuthoringGuidance
NamedType(String, boolean) - Constructor for record class ch.so.agi.mcp.model.TypeSpec.NamedType: Creates an instance of a NamedType record class.
NameValidator - Class in ch.so.agi.mcp.util
NATIVE_IMPLICATION - Static variable in class ch.so.agi.mcp.constraint.ConstraintValidatorCompatibility
nativeArithmeticOperators() - Method in record class ch.so.agi.mcp.constraint.ConstraintExpression.LanguageProfile: Returns the value of the nativeArithmeticOperators record component.
NavigatedObjects(SemanticConstraint.ConstraintPath) - Constructor for record class ch.so.agi.mcp.constraint.SemanticConstraint.NavigatedObjects: Creates an instance of a NavigatedObjects record class.
navigatedPath() - Method in record class ch.so.agi.mcp.constraint.ConstraintModelSynthesizer.ReferenceBinding
navigation() - Method in record class ch.so.agi.mcp.constraint.ConstraintModelSynthesizer.ReferenceBinding: Returns the value of the navigation record component.
NavigationBinding(ConstraintModelSynthesizer.NavigationKind, String, String, long, long, boolean, ConstraintModelSynthesizer.AssociationBinding) - Constructor for record class ch.so.agi.mcp.constraint.ConstraintModelSynthesizer.NavigationBinding: Creates an instance of a NavigationBinding record class.
NavigationGraphSynthesizer - Class in ch.so.agi.mcp.constraint: Direct object-valued navigation, shared with Mandatory and Decision Table proofs.
NavigationGraphSynthesizer.Binding - Record Class in ch.so.agi.mcp.constraint
navigationTarget(PathEl) - Static method in class ch.so.agi.mcp.constraint.ConstraintPathAnalysis: Scalar AttributeRef.getViewable() throws; only call it for navigable types.
NE - Enum constant in enum class ch.so.agi.mcp.constraint.ConstraintExpression.ComparisonOperator
NEEDS_INPUT - Enum constant in enum class ch.so.agi.mcp.model.IliAuthoringResult.Status
NONE - Enum constant in enum class ch.so.agi.mcp.model.AttributeLineRequest.Collection
normalize(ModelPurpose) - Static method in enum class ch.so.agi.mcp.analysis.ModelPurpose
normalize(ModelingRuleProfile) - Static method in enum class ch.so.agi.mcp.knowledge.ModelingRuleProfile
normalize(Object, String) - Static method in class ch.so.agi.mcp.model.EnumLiteralValue
normalizeMetaAttributes(List<MetaAttributeSpec>, boolean, boolean) - Static method in class ch.so.agi.mcp.util.AnnotationRenderer
Not(ConstraintExpression) - Constructor for record class ch.so.agi.mcp.constraint.ConstraintExpression.Not: Creates an instance of a Not record class.
NOT - Enum constant in enum class ch.so.agi.mcp.model.IliConstraintSpec.ExpressionKind
NOT_APPLICABLE - Enum constant in enum class ch.so.agi.mcp.constraint.ConstraintInteractionAnalysis.Status
NOT_APPLICABLE - Enum constant in enum class ch.so.agi.mcp.model.EvidenceSummary.Status
NOT_RUN - Enum constant in enum class ch.so.agi.mcp.model.EvidenceSummary.Status
NOT_RUN - Enum constant in enum class ch.so.agi.mcp.service.XtfService.ExampleValidationStatus
notes() - Method in record class ch.so.agi.mcp.constraint.ConstraintExplanation: Returns the value of the notes record component.
notifyClient(String, String, Object) - Method in class ch.so.agi.mcp.transport.SerializedStdioServerTransportProvider
notifyClients(String, Object) - Method in class ch.so.agi.mcp.transport.SerializedStdioServerTransportProvider
notRun(String) - Static method in record class ch.so.agi.mcp.model.EvidenceSummary
nullable() - Method in record class ch.so.agi.mcp.constraint.ConstraintExpression.Type: Returns the value of the nullable record component.
NUM_RANGE - Enum constant in enum class ch.so.agi.mcp.model.BaseType.Kind
numeric() - Method in record class ch.so.agi.mcp.constraint.ConstraintModelSynthesizer.ValueDomain: Returns the value of the numeric record component.
NUMERIC - Enum constant in enum class ch.so.agi.mcp.constraint.ConstraintExpression.ScalarKind
NUMERIC - Enum constant in enum class ch.so.agi.mcp.model.BaseType.Kind
NUMERIC - Enum constant in enum class ch.so.agi.mcp.model.IliConstraintSpec.ExpressionKind
NUMERIC - Enum constant in enum class ch.so.agi.mcp.model.IliModelSpec.DomainKind
NumericDomain(BigDecimal, BigDecimal, BigDecimal) - Constructor for record class ch.so.agi.mcp.constraint.ConstraintModelSynthesizer.NumericDomain: Creates an instance of a NumericDomain record class.
NumericLiteral(long) - Constructor for record class ch.so.agi.mcp.constraint.ConstraintExpression.NumericLiteral
NumericLiteral(BigDecimal) - Constructor for record class ch.so.agi.mcp.constraint.ConstraintExpression.NumericLiteral: Creates an instance of a NumericLiteral record class.

O

OBJECT_COUNT - Enum constant in enum class ch.so.agi.mcp.constraint.ConstraintExpression.ReferenceKind
OBJECT_COUNT - Enum constant in enum class ch.so.agi.mcp.model.IliConstraintSpec.ExpressionKind
objectCount - Variable in class ch.so.agi.mcp.model.IliAuthoringResult.ProofCase
objectCount() - Method in record class ch.so.agi.mcp.service.XtfService.GenerateExampleResult: Returns the value of the objectCount record component.
ObjectCount(ConstraintExpression.ObjectSetPath) - Constructor for record class ch.so.agi.mcp.constraint.ConstraintExpression.ObjectCount: Creates an instance of a ObjectCount record class.
ObjectCount(String) - Constructor for record class ch.so.agi.mcp.constraint.ConstraintExpression.ObjectCount
objectCounts - Variable in class ch.so.agi.mcp.model.IliAuthoringResult.ProofCaseVerification
ObjectCountSetCondition(SemanticConstraint.ObjectSetExpression, ConstraintExpression.ComparisonOperator, BigDecimal) - Constructor for record class ch.so.agi.mcp.constraint.SemanticConstraint.ObjectCountSetCondition: Creates an instance of a ObjectCountSetCondition record class.
ObjectCountSetConditionSpec() - Constructor for class ch.so.agi.mcp.model.IliConstraintSpec.ObjectCountSetConditionSpec
ObjectGraph(List<ConstraintModelSynthesizer.GraphObject>, List<ConstraintModelSynthesizer.GraphLink>) - Constructor for record class ch.so.agi.mcp.constraint.ConstraintModelSynthesizer.ObjectGraph: Creates an instance of a ObjectGraph record class.
ObjectPathRoutes - Class in ch.so.agi.mcp.constraint: Deterministic concrete type choices keyed by path position, never by class alone.
objects - Variable in class ch.so.agi.mcp.model.IliAuthoringResult.ProofCase
objects - Variable in class ch.so.agi.mcp.model.IliConstraintSpec.ExpressionSpec
objects - Variable in class ch.so.agi.mcp.model.IliConstraintSpec.ObjectCountSetConditionSpec
objects - Variable in class ch.so.agi.mcp.tools.ConstraintTestTools.TestCase
objects() - Method in record class ch.so.agi.mcp.constraint.ConstraintExpression.ObjectCount: Returns the value of the objects record component.
objects() - Method in record class ch.so.agi.mcp.constraint.ConstraintModelSynthesizer.ObjectGraph: Returns the value of the objects record component.
objects() - Method in record class ch.so.agi.mcp.constraint.SemanticConstraint.ObjectCountSetCondition: Returns the value of the objects record component.
objectsByClass() - Method in record class ch.so.agi.mcp.service.XtfService.GenerateExampleResult: Returns the value of the objectsByClass record component.
ObjectSetPath(String) - Constructor for record class ch.so.agi.mcp.constraint.ConstraintExpression.ObjectSetPath: Creates an instance of a ObjectSetPath record class.
ObjectTypeSpec - Class in ch.so.agi.mcp.model
ObjectTypeSpec() - Constructor for class ch.so.agi.mcp.model.ObjectTypeSpec
of(String) - Static method in class ch.so.agi.mcp.change.IliSourceDocument
of(Map<String, Object>) - Static method in record class ch.so.agi.mcp.constraint.ConstraintExpressionEngine.EvaluationContext
oid - Variable in class ch.so.agi.mcp.tools.ConstraintTestTools.TestObject
oid() - Method in record class ch.so.agi.mcp.constraint.ConstraintModelSynthesizer.GraphObject: Returns the value of the oid record component.
oidDomainFqn - Variable in class ch.so.agi.mcp.model.IliModelSpec.ClassSpec
oidDomainFqn - Variable in class ch.so.agi.mcp.model.IliModelSpec.TopicSpec
omittedSuccessfulTestXtfCount - Variable in class ch.so.agi.mcp.model.IliAuthoringResult
openQuestion(String) - Static method in class ch.so.agi.mcp.model.IliAuthoringResult
OpenQuestion() - Constructor for class ch.so.agi.mcp.model.IliAuthoringResult.OpenQuestion
openQuestions - Variable in class ch.so.agi.mcp.model.IliAuthoringResult.ModelReview
openQuestions - Variable in class ch.so.agi.mcp.model.IliAuthoringResult
openQuestions(Object) - Static method in class ch.so.agi.mcp.model.IliAuthoringResult
operand() - Method in record class ch.so.agi.mcp.constraint.ConstraintExpression.Defined: Returns the value of the operand record component.
operand() - Method in record class ch.so.agi.mcp.constraint.ConstraintExpression.Not: Returns the value of the operand record component.
operands() - Method in record class ch.so.agi.mcp.constraint.ConstraintExpression.And: Returns the value of the operands record component.
operands() - Method in record class ch.so.agi.mcp.constraint.ConstraintExpression.Or: Returns the value of the operands record component.
operator - Variable in class ch.so.agi.mcp.model.IliConstraintSpec.ExpressionSpec
operator - Variable in class ch.so.agi.mcp.model.IliConstraintSpec.ObjectCountSetConditionSpec
operator - Variable in class ch.so.agi.mcp.tools.ConstraintDecisionTableTools.DecisionCondition
operator() - Method in record class ch.so.agi.mcp.constraint.ConstraintExpression.Comparison: Returns the value of the operator record component.
operator() - Method in record class ch.so.agi.mcp.constraint.SemanticConstraint.ObjectCountSetCondition: Returns the value of the operator record component.
oppositeRoleName() - Method in record class ch.so.agi.mcp.constraint.ConstraintModelSynthesizer.AssociationBinding: Returns the value of the oppositeRoleName record component.
optionalScalar(ConstraintExpression.ScalarKind) - Static method in record class ch.so.agi.mcp.constraint.ConstraintExpression.Type
Or(List<ConstraintExpression>) - Constructor for record class ch.so.agi.mcp.constraint.ConstraintExpression.Or: Creates an instance of a Or record class.
OR - Enum constant in enum class ch.so.agi.mcp.model.IliConstraintSpec.ExpressionKind
ordinary() - Static method in record class ch.so.agi.mcp.constraint.ConstraintModelSynthesizer.CountShape
outcome - Variable in class ch.so.agi.mcp.model.IliAuthoringResult.ProofCase
ownedSpan() - Method in record class ch.so.agi.mcp.change.IliSourceLocator.AttributeLocation: Returns the value of the ownedSpan record component.
owner - Variable in class ch.so.agi.mcp.model.IliAuthoringResult.SemanticChange
ownerClassFqn - Variable in class ch.so.agi.mcp.model.IliAuthoringResult.ProofCase

P

Parameter(String, String, ConstraintExpression.Type, ConstraintExpression.ArgumentSemantics) - Constructor for record class ch.so.agi.mcp.constraint.StandardFunctionRegistry.Parameter: Creates an instance of a Parameter record class.
PARAMETER - Static variable in class ch.so.agi.mcp.model.TestXtfOutput
parameters() - Method in record class ch.so.agi.mcp.constraint.StandardFunctionRegistry.StandardFunction: Returns the value of the parameters record component.
parse(TransferDescription, Viewable<?>, String) - Static method in class ch.so.agi.mcp.constraint.ConstraintPathAnalysis
parse(String) - Static method in enum class ch.so.agi.mcp.knowledge.ModelingRuleProfile
PARTIAL - Enum constant in enum class ch.so.agi.mcp.constraint.ConstraintExplanation.Status
passed - Variable in class ch.so.agi.mcp.model.IliAuthoringResult.ProofCaseVerification
PASSED - Enum constant in enum class ch.so.agi.mcp.model.EvidenceSummary.Status
passedCount - Variable in class ch.so.agi.mcp.model.IliAuthoringResult.ProofVerification
patch - Variable in class ch.so.agi.mcp.change.UpdateAttributeChange
path - Variable in class ch.so.agi.mcp.model.IliConstraintSpec.PathObjectsSpec
path() - Method in record class ch.so.agi.mcp.constraint.ConstraintExpression.ObjectSetPath: Returns the value of the path record component.
path() - Method in record class ch.so.agi.mcp.constraint.ConstraintExpression.Path: Returns the value of the path record component.
path() - Method in record class ch.so.agi.mcp.constraint.ConstraintModelSynthesizer.CountShape: Returns the value of the path record component.
path() - Method in record class ch.so.agi.mcp.constraint.SemanticConstraint.ConstraintPath: Returns the value of the path record component.
path() - Method in record class ch.so.agi.mcp.constraint.SemanticConstraint.NavigatedObjects: Returns the value of the path record component.
path() - Method in record class ch.so.agi.mcp.model.IliAuthoringResult.SpecDiagnostic: Returns the value of the path record component.
Path(String, ConstraintExpression.Type) - Constructor for record class ch.so.agi.mcp.constraint.ConstraintExpression.Path: Creates an instance of a Path record class.
PATH - Enum constant in enum class ch.so.agi.mcp.constraint.ConstraintExpression.ReferenceKind
PATH - Enum constant in enum class ch.so.agi.mcp.model.IliConstraintSpec.ExpressionKind
PathObjectsSpec() - Constructor for class ch.so.agi.mcp.model.IliConstraintSpec.PathObjectsSpec
pattern - Variable in class ch.so.agi.mcp.model.IliAuthoringResult.ConstraintProof
PATTERN - Static variable in class ch.so.agi.mcp.model.EnumLiteralValue
perBasket() - Method in record class ch.so.agi.mcp.constraint.SemanticConstraint.Set: Returns the value of the perBasket record component.
perBasket() - Method in record class ch.so.agi.mcp.constraint.SemanticConstraint.Unique: Returns the value of the perBasket record component.
percentage - Variable in class ch.so.agi.mcp.model.IliConstraintSpec.Plausibility
percentage() - Method in record class ch.so.agi.mcp.constraint.SemanticConstraint.Plausibility: Returns the value of the percentage record component.
plain() - Method in record class ch.so.agi.mcp.constraint.SemanticConstraint.AllObjects
plannedSubjectCount - Variable in class ch.so.agi.mcp.model.IliAuthoringResult.ProofCaseVerification
planningContext(CompiledConstraintContext) - Method in record class ch.so.agi.mcp.constraint.ViewProofScope
Plausibility() - Constructor for class ch.so.agi.mcp.model.IliConstraintSpec.Plausibility
Plausibility(String, String, String, ConstraintExpression.IliVersion, SemanticConstraint.PlausibilityDirection, BigDecimal, ConstraintExpression) - Constructor for record class ch.so.agi.mcp.constraint.SemanticConstraint.Plausibility: Creates an instance of a Plausibility record class.
PLAUSIBILITY - Enum constant in enum class ch.so.agi.mcp.constraint.SemanticConstraint.Kind
PLAUSIBILITY - Enum constant in enum class ch.so.agi.mcp.model.IliConstraintSpec.Kind
POLYLINE - Enum constant in enum class ch.so.agi.mcp.model.GeometryTypeSpec.InterlisKind
potentiallyBreakingChanges - Variable in class ch.so.agi.mcp.model.IliAuthoringResult
potentiallyBreakingChanges - Variable in class ch.so.agi.mcp.model.IliAuthoringResult.SemanticDiff
preCondition() - Method in record class ch.so.agi.mcp.constraint.SemanticConstraint.Set: Returns the value of the preCondition record component.
preCondition() - Method in record class ch.so.agi.mcp.constraint.SemanticConstraint.Unique: Returns the value of the preCondition record component.
prefix() - Method in record class ch.so.agi.mcp.constraint.SemanticConstraint.Unique: Returns the value of the prefix record component.
prepare(IliAuthoringResult, Boolean) - Static method in class ch.so.agi.mcp.model.TestXtfOutput: The typed result is a fresh public response; internal validator results are not modified.
prepare(Map<String, Object>, Boolean) - Static method in class ch.so.agi.mcp.model.TestXtfOutput
PreparedConstraint(ConstraintSourceEditService.PreparedInsertion, ConstraintContextService.Resolution) - Constructor for record class ch.so.agi.mcp.constraint.ConstraintAuthoringWorkflow.PreparedConstraint: Creates an instance of a PreparedConstraint record class.
PreparedInsertion(String, List<ConstraintSourceEditService.SourceEdit>) - Constructor for record class ch.so.agi.mcp.constraint.ConstraintSourceEditService.PreparedInsertion: Creates an instance of a PreparedInsertion record class.
profile() - Method in record class ch.so.agi.mcp.knowledge.ModelingRule: Returns the value of the profile record component.
PROOF_FAILED - Enum constant in enum class ch.so.agi.mcp.model.IliAuthoringResult.Status
PROOF_INCOMPLETE - Enum constant in enum class ch.so.agi.mcp.model.IliAuthoringResult.Status
ProofCase() - Constructor for class ch.so.agi.mcp.model.IliAuthoringResult.ProofCase
ProofCaseVerification() - Constructor for class ch.so.agi.mcp.model.IliAuthoringResult.ProofCaseVerification
ProofVerification() - Constructor for class ch.so.agi.mcp.model.IliAuthoringResult.ProofVerification
proofVerified - Variable in class ch.so.agi.mcp.model.IliAuthoringResult.ConstraintProof
proofVerified - Variable in class ch.so.agi.mcp.model.IliAuthoringResult
PROPAGATE_NULLABILITY - Enum constant in enum class ch.so.agi.mcp.constraint.ConstraintExpression.ResultTypeRule
properties - Variable in class ch.so.agi.mcp.model.IliAuthoringResult.SemanticChange
PROVEN_UNREACHABLE - Enum constant in enum class ch.so.agi.mcp.constraint.ConstraintGoalReachability.Status
PUBLICATION - Enum constant in enum class ch.so.agi.mcp.analysis.ModelPurpose
purpose - Variable in class ch.so.agi.mcp.model.IliAuthoringResult.ProofCase

Q

qualifiedName(ConstraintExpression.IliVersion) - Method in record class ch.so.agi.mcp.constraint.StandardFunctionRegistry.StandardFunction
question - Variable in class ch.so.agi.mcp.model.IliAuthoringResult.OpenQuestion

R

rationale() - Method in record class ch.so.agi.mcp.knowledge.ModelingRule: Returns the value of the rationale record component.
readModelExample(String) - Method in class ch.so.agi.mcp.knowledge.ModelCorpusService
readModelExample(String) - Method in class ch.so.agi.mcp.knowledge.ModelCorpusTools
reason - Variable in class ch.so.agi.mcp.model.IliAuthoringResult.ConstraintProof
reason - Variable in class ch.so.agi.mcp.model.IliAuthoringResult.CoverageExclusion
reason - Variable in class ch.so.agi.mcp.model.IliAuthoringResult.CoverageGap
reason - Variable in class ch.so.agi.mcp.model.IliAuthoringResult.CoverageGoal
reason - Variable in class ch.so.agi.mcp.model.IliAuthoringResult.ModelReview
reason - Variable in class ch.so.agi.mcp.model.IliAuthoringResult.OpenQuestion
reason - Variable in class ch.so.agi.mcp.model.IliAuthoringResult.ProofCase
reason - Variable in class ch.so.agi.mcp.model.IliAuthoringResult.ProofCaseVerification
reason - Variable in class ch.so.agi.mcp.model.IliAuthoringResult
reason - Variable in class ch.so.agi.mcp.model.IliAuthoringResult.SemanticChange
reason() - Method in record class ch.so.agi.mcp.constraint.ConstraintContextService.Resolution: Returns the value of the reason record component.
reason() - Method in record class ch.so.agi.mcp.constraint.ConstraintExpressionEngine.TestGoal: Returns the value of the reason record component.
reason() - Method in record class ch.so.agi.mcp.constraint.ConstraintGoalSolver.Solution: Returns the value of the reason record component.
reasonCode - Variable in class ch.so.agi.mcp.model.IliAuthoringResult.ConstraintProof
reasonCode - Variable in class ch.so.agi.mcp.model.IliAuthoringResult.CoverageExclusion
reasonCode - Variable in class ch.so.agi.mcp.model.IliAuthoringResult.CoverageGap
reasonCode - Variable in class ch.so.agi.mcp.model.IliAuthoringResult
reasonCode() - Method in exception class ch.so.agi.mcp.constraint.ConstraintAstTranslator.TranslationException
reasonCode() - Method in record class ch.so.agi.mcp.constraint.ConstraintContextService.Resolution: Returns the value of the reasonCode record component.
reasonCode() - Method in record class ch.so.agi.mcp.constraint.ConstraintGoalSolver.Solution: Returns the value of the reasonCode record component.
reasonCode() - Method in record class ch.so.agi.mcp.constraint.ConstraintInteractionAnalysis.ContextResult: Returns the value of the reasonCode record component.
reasonCode() - Method in record class ch.so.agi.mcp.constraint.ConstraintInteractionAnalysis.Gap: Returns the value of the reasonCode record component.
reasonCode() - Method in exception class ch.so.agi.mcp.constraint.ConstraintSemanticTranslator.TranslationException
reasonCode() - Method in record class ch.so.agi.mcp.constraint.SemanticConstraint.UntranslatedSetCondition: Returns the value of the reasonCode record component.
reasonCode() - Method in exception class ch.so.agi.mcp.constraint.ViewProofScope.ScopeException
reasonCodes() - Method in record class ch.so.agi.mcp.model.EvidenceSummary.Check: Returns the value of the reasonCodes record component.
recommendation - Variable in class ch.so.agi.mcp.model.IliAuthoringResult.ReviewFinding
recommendation() - Method in record class ch.so.agi.mcp.knowledge.ModelingRule: Returns the value of the recommendation record component.
reference() - Method in record class ch.so.agi.mcp.constraint.ConstraintModelSynthesizer.ReferenceBinding: Returns the value of the reference record component.
reference(String) - Method in record class ch.so.agi.mcp.constraint.ConstraintModelSynthesizer.ModelBinding
Reference(String, ConstraintExpression.ReferenceKind, ConstraintExpression.Type) - Constructor for record class ch.so.agi.mcp.constraint.ConstraintExpression.Reference: Creates an instance of a Reference record class.
REFERENCE - Enum constant in enum class ch.so.agi.mcp.constraint.ConstraintModelSynthesizer.NavigationKind
ReferenceBinding(ConstraintExpression.Reference, ConstraintModelSynthesizer.ValueDomain, String, ConstraintModelSynthesizer.AssociationBinding) - Constructor for record class ch.so.agi.mcp.constraint.ConstraintModelSynthesizer.ReferenceBinding
ReferenceBinding(ConstraintExpression.Reference, ConstraintModelSynthesizer.ValueDomain, String, ConstraintModelSynthesizer.AssociationBinding, List<ConstraintModelSynthesizer.NavigationBinding>) - Constructor for record class ch.so.agi.mcp.constraint.ConstraintModelSynthesizer.ReferenceBinding: Creates an instance of a ReferenceBinding record class.
referencedElements() - Method in record class ch.so.agi.mcp.constraint.ConstraintExplanation: Returns the value of the referencedElements record component.
references - Variable in class ch.so.agi.mcp.tools.ConstraintTestTools.TestObject
references() - Method in interface ch.so.agi.mcp.constraint.ConstraintExpression
references() - Method in record class ch.so.agi.mcp.constraint.ConstraintModelSynthesizer.GraphObject: Returns the value of the references record component.
references() - Method in record class ch.so.agi.mcp.constraint.ConstraintModelSynthesizer.ModelBinding: Returns the value of the references record component.
ReferenceTypeSpec - Class in ch.so.agi.mcp.model
ReferenceTypeSpec() - Constructor for class ch.so.agi.mcp.model.ReferenceTypeSpec
removalPatches(IliSourceDocument) - Static method in class ch.so.agi.mcp.change.IliComments
REMOVE - Enum constant in enum class ch.so.agi.mcp.change.UpdateAttributeChange.IliDocAction
REMOVE - Enum constant in enum class ch.so.agi.mcp.change.UpdateAttributeChange.MetaAttributesAction
REMOVE_ATTRIBUTE - Enum constant in enum class ch.so.agi.mcp.change.IliModelChangeOperation
REMOVE_COMMENTS - Enum constant in enum class ch.so.agi.mcp.change.IliModelChangeOperation
RemoveAttributeChange - Class in ch.so.agi.mcp.change
RemoveAttributeChange() - Constructor for class ch.so.agi.mcp.change.RemoveAttributeChange
removed - Variable in class ch.so.agi.mcp.model.IliAuthoringResult
removed - Variable in class ch.so.agi.mcp.model.IliAuthoringResult.SemanticDiff
RenameElementKind - Enum Class in ch.so.agi.mcp.model
renameModelElement(String, String, RenameElementKind, String) - Method in class ch.so.agi.mcp.tools.RenameTools
RenameTools - Class in ch.so.agi.mcp.tools
RenameTools(IliCompilerService) - Constructor for class ch.so.agi.mcp.tools.RenameTools
render(GeometryTypeSpec, String) - Method in class ch.so.agi.mcp.tools.GeometryTypeRenderer
renderAnnotations(String, List<MetaAttributeSpec>) - Static method in class ch.so.agi.mcp.util.AnnotationRenderer
renderAssociation(IliModelSpec.AssociationSpec, String, String, Set<String>) - Method in class ch.so.agi.mcp.model.IliSpecRenderer
renderAttribute(AttributeLineRequest, String) - Method in class ch.so.agi.mcp.model.IliSpecRenderer
renderAttribute(AttributeLineRequest, String) - Method in class ch.so.agi.mcp.tools.AttributeTools
renderAttribute(AttributeLineRequest, String, String) - Method in class ch.so.agi.mcp.model.IliSpecRenderer
renderClass(IliModelSpec.ClassSpec, String, String, Set<String>) - Method in class ch.so.agi.mcp.model.IliSpecRenderer
renderConstraint(IliConstraintSpec, String, String, Set<String>) - Method in class ch.so.agi.mcp.model.IliSpecRenderer
renderDomain(IliModelSpec.DomainSpec) - Method in class ch.so.agi.mcp.model.IliSpecRenderer
RenderedAttribute(AttributeLineResponse, List<String>) - Constructor for record class ch.so.agi.mcp.tools.AttributeTools.RenderedAttribute: Creates an instance of a RenderedAttribute record class.
RenderedAttribute(String, List<String>) - Constructor for record class ch.so.agi.mcp.model.IliSpecRenderer.RenderedAttribute: Creates an instance of a RenderedAttribute record class.
RenderedFragment(String, List<String>) - Constructor for record class ch.so.agi.mcp.model.IliSpecRenderer.RenderedFragment: Creates an instance of a RenderedFragment record class.
RenderedGeometry(String, List<String>) - Constructor for record class ch.so.agi.mcp.tools.GeometryTypeRenderer.RenderedGeometry: Creates an instance of a RenderedGeometry record class.
RenderedModel(String, List<String>) - Constructor for record class ch.so.agi.mcp.model.IliSpecRenderer.RenderedModel: Creates an instance of a RenderedModel record class.
renderExpression(IliConstraintSpec.ExpressionSpec, String, String, Set<String>) - Method in class ch.so.agi.mcp.model.IliSpecRenderer: Canonical surface rendering used by kind-specific AST round-trip adapters.
renderExternalConstraintBlock(String, IliConstraintSpec, String, String, Set<String>) - Method in class ch.so.agi.mcp.model.IliSpecRenderer
renderMetaAttributeBlock(List<MetaAttributeSpec>, boolean, boolean) - Static method in class ch.so.agi.mcp.util.AnnotationRenderer
renderModel(IliModelSpec) - Method in class ch.so.agi.mcp.model.IliSpecRenderer
renderStructure(IliModelSpec.StructureSpec, String, String, Set<String>) - Method in class ch.so.agi.mcp.model.IliSpecRenderer
renderTopic(IliModelSpec.TopicSpec, String, String, Set<String>) - Method in class ch.so.agi.mcp.model.IliSpecRenderer
renderUnit(IliModelSpec.UnitSpec) - Method in class ch.so.agi.mcp.model.IliSpecRenderer
replace(IliSourceSpan, String, String) - Static method in record class ch.so.agi.mcp.change.IliTextPatch
REPLACE - Enum constant in enum class ch.so.agi.mcp.change.UpdateAttributeChange.MetaAttributesAction
replacement() - Method in record class ch.so.agi.mcp.change.IliTextPatch: Returns the value of the replacement record component.
requireAddAttribute() - Method in class ch.so.agi.mcp.change.IliModelChangeRequest
requireAttribute() - Method in class ch.so.agi.mcp.change.AddAttributeChange
requireChanges() - Method in class ch.so.agi.mcp.change.IliModelChangesRequest
requireConstraintCases(List<?>) - Static method in class ch.so.agi.mcp.util.McpInputLimits
requireContainerFqn() - Method in class ch.so.agi.mcp.change.AddAttributeChange
required() - Method in record class ch.so.agi.mcp.model.ConstraintSpecContract.Shape: Returns the value of the required record component.
requiredImports() - Method in record class ch.so.agi.mcp.tools.AttributeTools.RenderedAttribute: Returns the value of the requiredImports record component.
requiredImports() - Method in record class ch.so.agi.mcp.tools.GeometryTypeRenderer.RenderedGeometry: Returns the value of the requiredImports record component.
requiredIn - Variable in class ch.so.agi.mcp.model.IliConstraintSpec.Existence
requiredIn() - Method in record class ch.so.agi.mcp.constraint.SemanticConstraint.Existence: Returns the value of the requiredIn record component.
requireModelText(String) - Static method in class ch.so.agi.mcp.util.McpInputLimits
requireOperation() - Method in class ch.so.agi.mcp.change.IliModelChangeRequest
requirePayload() - Method in class ch.so.agi.mcp.change.IliModelChangeRequest
requireSingleType() - Method in class ch.so.agi.mcp.model.TypeSpec
requiresUserDecision - Variable in class ch.so.agi.mcp.model.IliAuthoringResult
requireXtfText(String) - Static method in class ch.so.agi.mcp.util.McpInputLimits
resolution() - Method in record class ch.so.agi.mcp.constraint.ConstraintAuthoringWorkflow.PreparedConstraint: Returns the value of the resolution record component.
Resolution(IliCompilerService.CompilationResult, CompiledConstraintContext, String, String) - Constructor for record class ch.so.agi.mcp.constraint.ConstraintContextService.Resolution: Creates an instance of a Resolution record class.
resolve(TransferDescription, Constraint) - Static method in record class ch.so.agi.mcp.constraint.ViewProofScope
resolve(TransferDescription, String, ConstraintExpression) - Static method in class ch.so.agi.mcp.constraint.ObjectPathRoutes
resolveCompiled(String, String, String, IliCompilerService.CompilationResult) - Method in class ch.so.agi.mcp.constraint.ConstraintContextService
resolveCompiledPath(TransferDescription, String, String) - Static method in class ch.so.agi.mcp.constraint.ConstraintPathAnalysis
resolveCompiledPath(TransferDescription, String, String) - Static method in class ch.so.agi.mcp.tools.ConstraintKnowledgeTools
resolveConstraintPath(String, String, String) - Method in class ch.so.agi.mcp.tools.ConstraintKnowledgeTools
response() - Method in record class ch.so.agi.mcp.tools.AttributeTools.RenderedAttribute: Returns the value of the response record component.
restrictedAttribute() - Method in record class ch.so.agi.mcp.constraint.SemanticConstraint.Existence: Returns the value of the restrictedAttribute record component.
restrictedPath - Variable in class ch.so.agi.mcp.model.IliConstraintSpec.Existence
restrictedToFqns() - Method in record class ch.so.agi.mcp.constraint.SemanticConstraint.AllObjects: Returns the value of the restrictedToFqns record component.
Result(boolean, int, int, List<ConstraintInteractionAnalysis.ContextResult>, String, String) - Constructor for record class ch.so.agi.mcp.constraint.ConstraintInteractionAnalysis.Result: Creates an instance of a Result record class.
Result(ConstraintGoalReachability.Status, String) - Constructor for record class ch.so.agi.mcp.constraint.ConstraintGoalReachability.Result: Creates an instance of a Result record class.
resultTypeRule() - Method in record class ch.so.agi.mcp.constraint.ConstraintExpression.FunctionDefinition: Returns the value of the resultTypeRule record component.
review(boolean, List<?>, List<?>, String) - Static method in record class ch.so.agi.mcp.model.EvidenceSummary
reviewAnalyzedModel(String, ModelPurpose, ModelingRuleProfile, Map<String, Object>) - Method in class ch.so.agi.mcp.knowledge.ModelingRuleTools
reviewAnalyzedModel(String, ModelPurpose, ModelingRuleProfile, Map<String, Object>, TransferDescription) - Method in class ch.so.agi.mcp.knowledge.ModelingRuleTools
reviewCompiled(TransferDescription, String) - Method in class ch.so.agi.mcp.constraint.ConstraintAnalysisService
reviewCompiledChange(IliCompilerService.CompilationResult, IliCompilerService.CompilationResult, String, String, ModelPurpose, ModelingRuleProfile) - Method in class ch.so.agi.mcp.analysis.ModelChangeReviewService
reviewCompiledModel(IliCompilerService.CompilationResult, String, ModelPurpose, ModelingRuleProfile) - Method in class ch.so.agi.mcp.analysis.ModelChangeReviewService: Builds the final modeling review for a newly authored model without recompiling it.
ReviewFinding() - Constructor for class ch.so.agi.mcp.model.IliAuthoringResult.ReviewFinding
reviewIliChange(String, String, ModelPurpose, ModelingRuleProfile) - Method in class ch.so.agi.mcp.analysis.ModelChangeTools
reviewIliConstraint(String, String) - Method in class ch.so.agi.mcp.tools.ConstraintReviewTools
reviewIliModel(String, ModelPurpose, ModelingRuleProfile) - Method in class ch.so.agi.mcp.knowledge.ModelingRuleTools
reviewInterlisModel(String) - Method in class ch.so.agi.mcp.knowledge.AgentPrompts
right() - Method in record class ch.so.agi.mcp.constraint.ConstraintExpression.Comparison: Returns the value of the right record component.
Role() - Constructor for class ch.so.agi.mcp.tools.AssociationTools.Role
roleName() - Method in record class ch.so.agi.mcp.constraint.ConstraintModelSynthesizer.AssociationBinding: Returns the value of the roleName record component.
roles - Variable in class ch.so.agi.mcp.model.IliModelSpec.AssociationSpec
roles - Variable in class ch.so.agi.mcp.tools.ConstraintTestTools.TestLink
roles() - Method in record class ch.so.agi.mcp.constraint.ConstraintModelSynthesizer.GraphLink: Returns the value of the roles record component.
rootFqn() - Method in record class ch.so.agi.mcp.constraint.SemanticConstraint.ConstraintPath: Returns the value of the rootFqn record component.
rotationFrom - Variable in class ch.so.agi.mcp.model.IliModelSpec.DomainSpec
rotationTo - Variable in class ch.so.agi.mcp.model.IliModelSpec.DomainSpec
routeTargetFqn - Variable in class ch.so.agi.mcp.model.IliAuthoringResult.ProofCase
routeTargetFqn() - Method in record class ch.so.agi.mcp.constraint.NavigationGraphSynthesizer.Binding: Returns the value of the routeTargetFqn record component.
ruleFindings - Variable in class ch.so.agi.mcp.model.IliAuthoringResult.ModelReview
ruleProfile - Variable in class ch.so.agi.mcp.model.IliAuthoringResult.ModelReview
rules() - Method in class ch.so.agi.mcp.knowledge.KnowledgeRuleLoader
rules(ModelingRuleProfile) - Method in class ch.so.agi.mcp.knowledge.KnowledgeRuleLoader
rulesAsMarkdown() - Method in class ch.so.agi.mcp.knowledge.KnowledgeRuleLoader
rulesAsMarkdown(ModelingRuleProfile) - Method in class ch.so.agi.mcp.knowledge.KnowledgeRuleLoader
RuntimeIdentity - Class in ch.so.agi.mcp.service: Captures the immutable benchmark artifact and dependency identity once per server process.

S

scalar(ConstraintExpression.ScalarKind) - Static method in record class ch.so.agi.mcp.constraint.ConstraintExpression.Type
SCALAR_ASSIGNMENT_FOUND - Enum constant in enum class ch.so.agi.mcp.constraint.ConstraintInteractionAnalysis.Status
SCALAR_INPUT - Static variable in class ch.so.agi.mcp.model.ConstraintAuthoringGuidance
scalarAssignment() - Method in record class ch.so.agi.mcp.constraint.ConstraintInteractionAnalysis.ContextResult: Returns the value of the scalarAssignment record component.
scalarKind() - Method in record class ch.so.agi.mcp.constraint.ConstraintExpression.Type: Returns the value of the scalarKind record component.
scope - Variable in class ch.so.agi.mcp.model.IliConstraintSpec.Set
scope - Variable in class ch.so.agi.mcp.model.IliConstraintSpec.Unique
scope() - Method in record class ch.so.agi.mcp.constraint.ConstraintInteractionAnalysis.Result: Returns the value of the scope record component.
scope() - Method in record class ch.so.agi.mcp.model.EvidenceSummary.Check: Returns the value of the scope record component.
scopedName - Variable in class ch.so.agi.mcp.model.IliAuthoringResult.SemanticChange
search(TransferDescription, String, String, int, int) - Static method in class ch.so.agi.mcp.constraint.ConstraintPathSearch
SEMANTIC_PATH - Static variable in class ch.so.agi.mcp.model.ConstraintSpecContract
SemanticChange() - Constructor for class ch.so.agi.mcp.model.IliAuthoringResult.SemanticChange
semanticChanges(Object) - Static method in class ch.so.agi.mcp.model.IliAuthoringResult
SemanticConstraint - Interface in ch.so.agi.mcp.constraint: Typed semantic representation of an INTERLIS constraint at constraint level.
SemanticConstraint.AllObjects - Record Class in ch.so.agi.mcp.constraint: Typed form of ili2c's Objects AST node, rendered by INTERLIS as ALL.
SemanticConstraint.ConstraintPath - Record Class in ch.so.agi.mcp.constraint: Semantic object/attribute path with the ili2c root preserved separately from surface path text.
SemanticConstraint.Existence - Record Class in ch.so.agi.mcp.constraint
SemanticConstraint.Kind - Enum Class in ch.so.agi.mcp.constraint
SemanticConstraint.Mandatory - Record Class in ch.so.agi.mcp.constraint
SemanticConstraint.NavigatedObjects - Record Class in ch.so.agi.mcp.constraint: A compiled, typed object path used as the source of an OBJECTS OF argument.
SemanticConstraint.ObjectCountSetCondition - Record Class in ch.so.agi.mcp.constraint: Proof-capable SET subset: comparison of INTERLIS.objectCount(ALL) with a numeric value.
SemanticConstraint.ObjectSetExpression - Interface in ch.so.agi.mcp.constraint: Object-set expression used as an actual argument to an OBJECTS OF function parameter.
SemanticConstraint.Plausibility - Record Class in ch.so.agi.mcp.constraint
SemanticConstraint.PlausibilityDirection - Enum Class in ch.so.agi.mcp.constraint
SemanticConstraint.Set - Record Class in ch.so.agi.mcp.constraint
SemanticConstraint.SetCondition - Interface in ch.so.agi.mcp.constraint: Base for SET-condition semantics.
SemanticConstraint.Unique - Record Class in ch.so.agi.mcp.constraint
SemanticConstraint.UntranslatedSetCondition - Record Class in ch.so.agi.mcp.constraint: Explicit placeholder for SET-only AST nodes outside the currently executable SET IR.
SemanticConstraint.ValueSetCondition - Record Class in ch.so.agi.mcp.constraint: A SET condition that already fits the existing scalar/value expression IR.
semanticDiff - Variable in class ch.so.agi.mcp.model.IliAuthoringResult
semanticDiff(Map<String, Object>) - Static method in class ch.so.agi.mcp.model.IliAuthoringResult
SemanticDiff() - Constructor for class ch.so.agi.mcp.model.IliAuthoringResult.SemanticDiff
semanticId() - Method in record class ch.so.agi.mcp.constraint.ConstraintExpression.FunctionCall
semanticId() - Method in record class ch.so.agi.mcp.constraint.ConstraintExpression.FunctionDefinition: Returns the value of the semanticId record component.
semanticId() - Method in exception class ch.so.agi.mcp.constraint.ConstraintExpressionEngine.UnsupportedFunctionSemanticsException
semanticId() - Method in record class ch.so.agi.mcp.constraint.StandardFunctionRegistry.StandardFunction: Returns the value of the semanticId record component.
semantics() - Method in record class ch.so.agi.mcp.constraint.CompiledConstraintContext: Returns the value of the semantics record component.
semantics() - Method in record class ch.so.agi.mcp.constraint.ConstraintExpression.ArgumentSpec: Returns the value of the semantics record component.
semantics() - Method in record class ch.so.agi.mcp.constraint.StandardFunctionRegistry.Parameter: Returns the value of the semantics record component.
SerializedStdioServerTransportProvider - Class in ch.so.agi.mcp.transport: STDIO transport with a single writer queue.
SerializedStdioServerTransportProvider(McpJsonMapper) - Constructor for class ch.so.agi.mcp.transport.SerializedStdioServerTransportProvider
SerializedStdioServerTransportProvider(McpJsonMapper, boolean) - Constructor for class ch.so.agi.mcp.transport.SerializedStdioServerTransportProvider
SerializedStdioServerTransportProvider(McpJsonMapper, InputStream, OutputStream) - Constructor for class ch.so.agi.mcp.transport.SerializedStdioServerTransportProvider
SerializedStdioServerTransportProvider(McpJsonMapper, InputStream, OutputStream, boolean) - Constructor for class ch.so.agi.mcp.transport.SerializedStdioServerTransportProvider
Set() - Constructor for class ch.so.agi.mcp.model.IliConstraintSpec.Set
Set(String, String, String, ConstraintExpression.IliVersion, boolean, ConstraintExpression, SemanticConstraint.SetCondition) - Constructor for record class ch.so.agi.mcp.constraint.SemanticConstraint.Set: Creates an instance of a Set record class.
SET - Enum constant in enum class ch.so.agi.mcp.change.UpdateAttributeChange.IliDocAction
SET - Enum constant in enum class ch.so.agi.mcp.constraint.SemanticConstraint.Kind
SET - Enum constant in enum class ch.so.agi.mcp.model.IliConstraintSpec.Kind
setAddAssociation(IliModelChangeRequest.AddAssociationChange) - Method in class ch.so.agi.mcp.change.IliModelChangeRequest
setAddAttribute(AddAttributeChange) - Method in class ch.so.agi.mcp.change.IliModelChangeRequest
setAddClass(IliModelChangeRequest.AddClassChange) - Method in class ch.so.agi.mcp.change.IliModelChangeRequest
setAddConstraint(IliModelChangeRequest.AddConstraintChange) - Method in class ch.so.agi.mcp.change.IliModelChangeRequest
setAddDomain(IliModelChangeRequest.AddDomainChange) - Method in class ch.so.agi.mcp.change.IliModelChangeRequest
setAddImport(IliModelChangeRequest.AddImportChange) - Method in class ch.so.agi.mcp.change.IliModelChangeRequest
setAddStructure(IliModelChangeRequest.AddStructureChange) - Method in class ch.so.agi.mcp.change.IliModelChangeRequest
setAddTopic(IliModelChangeRequest.AddTopicChange) - Method in class ch.so.agi.mcp.change.IliModelChangeRequest
setAddUnit(IliModelChangeRequest.AddUnitChange) - Method in class ch.so.agi.mcp.change.IliModelChangeRequest
setApplicationContext(ApplicationContext) - Method in class ch.so.agi.mcp.transport.SerializedStdioServerTransportProvider
setArcs(Boolean) - Method in class ch.so.agi.mcp.model.GeometryTypeSpec
setAttribute(AttributeLineRequest) - Method in class ch.so.agi.mcp.change.AddAttributeChange
setBaseType(BaseType) - Method in class ch.so.agi.mcp.model.TypeSpec
setBasketType(BasketTypeSpec) - Method in class ch.so.agi.mcp.model.TypeSpec
setBlackboxType(BlackboxTypeSpec) - Method in class ch.so.agi.mcp.model.TypeSpec
setChBaseType(String) - Method in class ch.so.agi.mcp.model.GeometryTypeSpec
setChildren(List<EnumTreeItem>) - Method in class ch.so.agi.mcp.model.EnumTreeItem
setCircular(Boolean) - Method in class ch.so.agi.mcp.model.BaseType
setCollection(AttributeLineRequest.Collection) - Method in class ch.so.agi.mcp.model.AttributeLineRequest
SetConstraintAuthoringTools - Class in ch.so.agi.mcp.tools
SetConstraintAuthoringTools(ConstraintAuthoringEngine) - Constructor for class ch.so.agi.mcp.tools.SetConstraintAuthoringTools
setContainerFqn(String) - Method in class ch.so.agi.mcp.change.AddAttributeChange
setCoordDomainFqn(String) - Method in class ch.so.agi.mcp.model.GeometryTypeSpec
setDirected(Boolean) - Method in class ch.so.agi.mcp.model.GeometryTypeSpec
setDomainFqn(String) - Method in class ch.so.agi.mcp.model.TypeSpec
setEnumTreeDomainFqn(String) - Method in class ch.so.agi.mcp.model.EnumTreeValueTypeSpec
setEnumTreeValueType(EnumTreeValueTypeSpec) - Method in class ch.so.agi.mcp.model.TypeSpec
setExecuted - Variable in class ch.so.agi.mcp.model.IliAuthoringResult.ProofCaseVerification
setExternal(Boolean) - Method in class ch.so.agi.mcp.model.ReferenceTypeSpec
setGeometryType(GeometryTypeSpec) - Method in class ch.so.agi.mcp.model.TypeSpec
setIliDoc(String) - Method in class ch.so.agi.mcp.model.AttributeLineRequest
setIliDoc(String) - Method in class ch.so.agi.mcp.model.EnumTreeItem
setIliDoc(String) - Method in class ch.so.agi.mcp.model.EnumValueItem
setIliSnippet(String) - Method in class ch.so.agi.mcp.model.AttributeLineResponse
setInterlisKind(GeometryTypeSpec.InterlisKind) - Method in class ch.so.agi.mcp.model.GeometryTypeSpec
setKind(BaseType.Kind) - Method in class ch.so.agi.mcp.model.BaseType
setKind(BasketTypeSpec.Kind) - Method in class ch.so.agi.mcp.model.BasketTypeSpec
setKind(BlackboxTypeSpec.Kind) - Method in class ch.so.agi.mcp.model.BlackboxTypeSpec
setLength(Integer) - Method in class ch.so.agi.mcp.model.BaseType
setMandatory(Boolean) - Method in class ch.so.agi.mcp.model.AttributeLineRequest
setMax(BigDecimal) - Method in class ch.so.agi.mcp.model.BaseType
setMax(BigDecimal) - Method in class ch.so.agi.mcp.tools.DomainTools.CoordinateAxis
setMetaAttributes(List<MetaAttributeSpec>) - Method in class ch.so.agi.mcp.model.AttributeLineRequest
setMetaAttributes(List<MetaAttributeSpec>) - Method in class ch.so.agi.mcp.model.EnumTreeItem
setMetaAttributes(List<MetaAttributeSpec>) - Method in class ch.so.agi.mcp.model.EnumValueItem
setMetaobjectType(MetaobjectTypeSpec) - Method in class ch.so.agi.mcp.model.TypeSpec
setMin(BigDecimal) - Method in class ch.so.agi.mcp.model.BaseType
setMin(BigDecimal) - Method in class ch.so.agi.mcp.tools.DomainTools.CoordinateAxis
setName(String) - Method in class ch.so.agi.mcp.model.AttributeLineRequest
setName(String) - Method in class ch.so.agi.mcp.model.EnumTreeItem
setName(String) - Method in class ch.so.agi.mcp.model.EnumValueItem
setName(String) - Method in class ch.so.agi.mcp.model.MetaAttributeSpec
setObjects(Boolean) - Method in class ch.so.agi.mcp.model.ObjectTypeSpec
setObjectType(ObjectTypeSpec) - Method in class ch.so.agi.mcp.model.TypeSpec
setOperation(IliModelChangeOperation) - Method in class ch.so.agi.mcp.change.IliModelChangeRequest
setOverlapMm(BigDecimal) - Method in class ch.so.agi.mcp.model.GeometryTypeSpec
setProvider(GeometryTypeSpec.Provider) - Method in class ch.so.agi.mcp.model.GeometryTypeSpec
setRawValue(String) - Method in class ch.so.agi.mcp.model.MetaAttributeSpec
setReferenceType(ReferenceTypeSpec) - Method in class ch.so.agi.mcp.model.TypeSpec
setRefSysFqn(String) - Method in class ch.so.agi.mcp.model.BaseType
setRemoveAttribute(RemoveAttributeChange) - Method in class ch.so.agi.mcp.change.IliModelChangeRequest
setSessionFactory(McpServerSession.Factory) - Method in class ch.so.agi.mcp.transport.SerializedStdioServerTransportProvider
setStructureFqn(String) - Method in class ch.so.agi.mcp.model.TypeSpec
setTableFqn(String) - Method in class ch.so.agi.mcp.model.MetaobjectTypeSpec
setTargetClassFqn(String) - Method in class ch.so.agi.mcp.model.ObjectTypeSpec
setTargetClassFqn(String) - Method in class ch.so.agi.mcp.model.ReferenceTypeSpec
setTopicFqn(String) - Method in class ch.so.agi.mcp.model.BasketTypeSpec
setTypeSpec(TypeSpec) - Method in class ch.so.agi.mcp.model.AttributeLineRequest
setUnitFqn(String) - Method in class ch.so.agi.mcp.model.BaseType
setUnitFqn(String) - Method in class ch.so.agi.mcp.tools.DomainTools.CoordinateAxis
setUpdateAttribute(UpdateAttributeChange) - Method in class ch.so.agi.mcp.change.IliModelChangeRequest
setValue(String) - Method in class ch.so.agi.mcp.model.MetaAttributeSpec
severity - Variable in class ch.so.agi.mcp.model.IliAuthoringResult.CompilerDiagnostic
severity - Variable in class ch.so.agi.mcp.model.IliAuthoringResult.ReviewFinding
severity() - Method in record class ch.so.agi.mcp.knowledge.ModelingRule: Returns the value of the severity record component.
sha256(String) - Static method in record class ch.so.agi.mcp.model.ModelHashes
sha256(Path) - Static method in class ch.so.agi.mcp.service.RuntimeIdentity
shape(IliConstraintSpec.ExpressionKind) - Static method in class ch.so.agi.mcp.model.ConstraintSpecContract
Shape(List<String>, int, int) - Constructor for record class ch.so.agi.mcp.model.ConstraintSpecContract.Shape: Creates an instance of a Shape record class.
sharedTargets() - Method in record class ch.so.agi.mcp.constraint.ConstraintModelSynthesizer.CountShape: Returns the value of the sharedTargets record component.
signature(ConstraintExpression.IliVersion) - Method in record class ch.so.agi.mcp.constraint.StandardFunctionRegistry.StandardFunction
skippedClasses() - Method in record class ch.so.agi.mcp.service.XtfService.GenerateExampleResult: Returns the value of the skippedClasses record component.
skippedFilterCount - Variable in class ch.so.agi.mcp.model.IliAuthoringResult.ProofCaseVerification
slice(IliSourceSpan) - Method in class ch.so.agi.mcp.change.IliSourceDocument
SO_DATA - Enum constant in enum class ch.so.agi.mcp.knowledge.ModelingRuleProfile
SO_GIS - Enum constant in enum class ch.so.agi.mcp.knowledge.ModelingRuleProfile
soDataRules() - Method in class ch.so.agi.mcp.knowledge.KnowledgeResources
solution() - Method in record class ch.so.agi.mcp.constraint.ConstraintCoveragePlanner.CoverageCase: Returns the value of the solution record component.
Solution(ConstraintExpressionEngine.TestGoal, boolean, Map<String, Object>, int, String, String) - Constructor for record class ch.so.agi.mcp.constraint.ConstraintGoalSolver.Solution: Creates an instance of a Solution record class.
solve(ConstraintExpressionEngine.TestGoal, ConstraintModelSynthesizer.ModelBinding) - Static method in class ch.so.agi.mcp.constraint.ConstraintGoalSolver
solve(ConstraintExpressionEngine.TestGoal, ConstraintModelSynthesizer.ModelBinding, Map<String, Object>) - Static method in class ch.so.agi.mcp.constraint.ConstraintGoalSolver: Existing key and reference assignments are immutable during scoped population search.
solve(ConstraintExpressionEngine.TestGoal, ConstraintModelSynthesizer.ModelBinding, Map<String, Object>, ConstraintModelSynthesizer.CountShape) - Static method in class ch.so.agi.mcp.constraint.ConstraintGoalSolver
solve(ConstraintExpression, ConstraintModelSynthesizer.ModelBinding) - Static method in class ch.so.agi.mcp.constraint.ConstraintCoveragePlanner
solveAll(ConstraintExpression, ConstraintModelSynthesizer.ModelBinding) - Static method in class ch.so.agi.mcp.constraint.ConstraintGoalSolver
solved() - Method in record class ch.so.agi.mcp.constraint.ConstraintGoalSolver.Solution: Returns the value of the solved record component.
solvedGoalCount(ConstraintCoveragePlanner.CoveragePlan) - Static method in class ch.so.agi.mcp.constraint.ConstraintCoveragePlanner
solverReason - Variable in class ch.so.agi.mcp.model.IliAuthoringResult.CoverageGap
sourceEdit() - Method in record class ch.so.agi.mcp.constraint.ConstraintSourceEditService.PreparedInsertion
sourceEdit(int, int, int, int, String, String, String) - Static method in class ch.so.agi.mcp.model.IliAuthoringResult
sourceEdit(Map<String, Object>) - Static method in class ch.so.agi.mcp.model.IliAuthoringResult
SourceEdit() - Constructor for class ch.so.agi.mcp.model.IliAuthoringResult.SourceEdit
SourceEdit(int, int, int, int, String, String, String) - Constructor for record class ch.so.agi.mcp.constraint.ConstraintSourceEditService.SourceEdit: Creates an instance of a SourceEdit record class.
sourceEdits - Variable in class ch.so.agi.mcp.model.IliAuthoringResult
sourceEdits() - Method in record class ch.so.agi.mcp.constraint.ConstraintSourceEditService.PreparedInsertion: Returns the value of the sourceEdits record component.
sourceEdits(List<Map<String, Object>>) - Static method in class ch.so.agi.mcp.model.IliAuthoringResult
sourceExcerpt - Variable in class ch.so.agi.mcp.model.IliAuthoringResult.CompilerDiagnostic
SourceExcerpt() - Constructor for class ch.so.agi.mcp.model.IliAuthoringResult.SourceExcerpt
sourceSection - Variable in class ch.so.agi.mcp.model.IliAuthoringResult.ReviewFinding
sourceSection() - Method in record class ch.so.agi.mcp.knowledge.ModelingRule: Returns the value of the sourceSection record component.
sourceUrl - Variable in class ch.so.agi.mcp.model.IliAuthoringResult.ReviewFinding
sourceUrl() - Method in record class ch.so.agi.mcp.knowledge.ModelingRule: Returns the value of the sourceUrl record component.
span() - Method in record class ch.so.agi.mcp.change.IliTextPatch: Returns the value of the span record component.
span(int, int) - Method in class ch.so.agi.mcp.change.IliSourceDocument
spans(String) - Static method in class ch.so.agi.mcp.change.IliComments
SpecDiagnostic(String, String, String, String) - Constructor for record class ch.so.agi.mcp.model.IliAuthoringResult.SpecDiagnostic: Creates an instance of a SpecDiagnostic record class.
specDiagnostics - Variable in class ch.so.agi.mcp.model.IliAuthoringResult: Request-contract diagnostics; additive to status/reason and compiler diagnostics.
SpecValidationException - Exception Class in ch.so.agi.mcp.model: A deterministic, request-local contract error; paths are RFC 6901 JSON pointers.
SpecValidationException(String, String, String, String) - Constructor for exception class ch.so.agi.mcp.model.SpecValidationException
STANDARD - Enum constant in enum class ch.so.agi.mcp.model.IliConstraintSpec.FunctionOrigin
standardFunction(String, String, String) - Static method in class ch.so.agi.mcp.model.ConstraintSpecContract
StandardFunction(String, StandardFunctionRegistry.Family, String, List<StandardFunctionRegistry.Parameter>, String, ConstraintExpression.FunctionDefinition) - Constructor for record class ch.so.agi.mcp.constraint.StandardFunctionRegistry.StandardFunction: Creates an instance of a StandardFunction record class.
StandardFunctionRegistry - Class in ch.so.agi.mcp.constraint: Structured registry for the standard INTERLIS Math/Text constraint functions.
StandardFunctionRegistry.Family - Enum Class in ch.so.agi.mcp.constraint
StandardFunctionRegistry.Parameter - Record Class in ch.so.agi.mcp.constraint
StandardFunctionRegistry.StandardFunction - Record Class in ch.so.agi.mcp.constraint
startLine - Variable in class ch.so.agi.mcp.model.IliAuthoringResult.SourceEdit
startLine - Variable in class ch.so.agi.mcp.model.IliAuthoringResult.SourceExcerpt
startLine() - Method in record class ch.so.agi.mcp.change.IliSourceSpan: Returns the value of the startLine record component.
startLine() - Method in record class ch.so.agi.mcp.constraint.ConstraintSourceEditService.SourceEdit: Returns the value of the startLine record component.
startOffset - Variable in class ch.so.agi.mcp.model.IliAuthoringResult.SourceEdit
startOffset() - Method in record class ch.so.agi.mcp.change.IliSourceSpan: Returns the value of the startOffset record component.
startOffset() - Method in record class ch.so.agi.mcp.constraint.ConstraintSourceEditService.SourceEdit: Returns the value of the startOffset record component.
state() - Method in record class ch.so.agi.mcp.constraint.ConstraintExpressionEngine.StateCondition: Returns the value of the state record component.
stateBudget() - Method in record class ch.so.agi.mcp.constraint.ConstraintInteractionAnalysis.Result: Returns the value of the stateBudget record component.
StateCondition(ConstraintExpressionEngine.GoalKind, ConstraintExpression) - Constructor for record class ch.so.agi.mcp.constraint.ConstraintExpressionEngine.StateCondition: Creates an instance of a StateCondition record class.
status - Variable in class ch.so.agi.mcp.model.IliAuthoringResult
status() - Method in record class ch.so.agi.mcp.constraint.ConstraintExplanation: Returns the value of the status record component.
status() - Method in record class ch.so.agi.mcp.constraint.ConstraintGoalReachability.Result: Returns the value of the status record component.
status() - Method in record class ch.so.agi.mcp.constraint.ConstraintInteractionAnalysis.ContextResult: Returns the value of the status record component.
status() - Method in record class ch.so.agi.mcp.model.EvidenceSummary.Check: Returns the value of the status record component.
status() - Method in record class ch.so.agi.mcp.service.XtfService.ExampleValidation: Returns the value of the status record component.
step() - Method in record class ch.so.agi.mcp.constraint.ConstraintInteractionAnalysis.Domain: Returns the value of the step record component.
step() - Method in record class ch.so.agi.mcp.constraint.ConstraintModelSynthesizer.NumericDomain: Returns the value of the step record component.
structure - Variable in class ch.so.agi.mcp.change.IliModelChangeRequest.AddStructureChange
structure() - Method in record class ch.so.agi.mcp.model.TypeSpec.NamedType: Returns the value of the structure record component.
STRUCTURE - Enum constant in enum class ch.so.agi.mcp.change.IliSourceLocator.BlockKind
structurePath - Variable in class ch.so.agi.mcp.model.IliAuthoringResult.ProofCase
structures - Variable in class ch.so.agi.mcp.analysis.ModelAnalysisTools.AnalysisData
structures - Variable in class ch.so.agi.mcp.model.IliModelSpec.TopicSpec
StructureSpec() - Constructor for class ch.so.agi.mcp.model.IliModelSpec.StructureSpec
StructureTools - Class in ch.so.agi.mcp.tools
StructureTools() - Constructor for class ch.so.agi.mcp.tools.StructureTools
subjectCount - Variable in class ch.so.agi.mcp.model.IliAuthoringResult.ProofCaseVerification
supportedChBaseTypes(String) - Method in class ch.so.agi.mcp.tools.GeometryTypeRenderer
SURFACE - Enum constant in enum class ch.so.agi.mcp.model.GeometryTypeSpec.InterlisKind
surfaceSyntax() - Method in record class ch.so.agi.mcp.constraint.ConstraintExpression.FunctionDefinition: Returns the value of the surfaceSyntax record component.
symbol() - Method in record class ch.so.agi.mcp.constraint.ConstraintExpression.InfixSyntax: Returns the value of the symbol record component.
syntax(ConstraintExpression.IliVersion) - Method in record class ch.so.agi.mcp.constraint.ConstraintExpression.FunctionDefinition
synthesize(ConstraintModelSynthesizer.ModelBinding, Map<String, Object>, String) - Static method in class ch.so.agi.mcp.constraint.ConstraintModelSynthesizer: Materializes a complete solver assignment into an INTERLIS-shaped object graph.
synthesize(ConstraintModelSynthesizer.ModelBinding, Map<String, Object>, String, ConstraintModelSynthesizer.CountShape) - Static method in class ch.so.agi.mcp.constraint.ConstraintModelSynthesizer
synthesize(NavigationGraphSynthesizer.Binding, int, String) - Static method in class ch.so.agi.mcp.constraint.NavigationGraphSynthesizer

T

targetClassFqn() - Method in record class ch.so.agi.mcp.constraint.ConstraintModelSynthesizer.AssociationBinding: Returns the value of the targetClassFqn record component.
targetClassFqn() - Method in record class ch.so.agi.mcp.constraint.ConstraintModelSynthesizer.NavigationBinding: Returns the value of the targetClassFqn record component.
targetViewableFqn() - Method in record class ch.so.agi.mcp.constraint.SemanticConstraint.ConstraintPath: Returns the value of the targetViewableFqn record component.
technicalName(String, String) - Static method in class ch.so.agi.mcp.model.ConstraintSpecContract
TestCase() - Constructor for class ch.so.agi.mcp.tools.ConstraintTestTools.TestCase
TestGoal(ConstraintExpressionEngine.GoalKind, ConstraintExpression, String) - Constructor for record class ch.so.agi.mcp.constraint.ConstraintExpressionEngine.TestGoal
TestGoal(ConstraintExpressionEngine.GoalKind, ConstraintExpression, String, List<ConstraintExpressionEngine.StateCondition>) - Constructor for record class ch.so.agi.mcp.constraint.ConstraintExpressionEngine.TestGoal: Creates an instance of a TestGoal record class.
testGoals(ConstraintExpression) - Static method in class ch.so.agi.mcp.constraint.ConstraintExpressionEngine: Derives semantic coverage obligations independently of domains and XTF fixture construction.
testIliConstraint(String, String, List<ConstraintTestTools.TestCase>) - Method in class ch.so.agi.mcp.tools.ConstraintTestTools
testIliConstraint(String, String, List<ConstraintTestTools.TestCase>, Boolean) - Method in class ch.so.agi.mcp.tools.ConstraintTestTools
TestLink() - Constructor for class ch.so.agi.mcp.tools.ConstraintTestTools.TestLink
TestObject() - Constructor for class ch.so.agi.mcp.tools.ConstraintTestTools.TestObject
TestXtfOutput - Class in ch.so.agi.mcp.model: Output-only projection after evidence calculation.
text - Variable in class ch.so.agi.mcp.model.IliAuthoringResult.SourceExcerpt
text() - Method in class ch.so.agi.mcp.change.IliSourceDocument
text() - Method in enum class ch.so.agi.mcp.constraint.ConstraintExpression.IliVersion
text() - Method in record class ch.so.agi.mcp.constraint.SemanticConstraint.UntranslatedSetCondition: Returns the value of the text record component.
text() - Method in record class ch.so.agi.mcp.model.IliSpecRenderer.RenderedAttribute: Returns the value of the text record component.
text() - Method in record class ch.so.agi.mcp.model.IliSpecRenderer.RenderedFragment: Returns the value of the text record component.
TEXT - Enum constant in enum class ch.so.agi.mcp.constraint.ConstraintExpression.ScalarKind
TEXT - Enum constant in enum class ch.so.agi.mcp.constraint.StandardFunctionRegistry.Family
TEXT - Enum constant in enum class ch.so.agi.mcp.model.BaseType.Kind
TEXT - Enum constant in enum class ch.so.agi.mcp.model.IliConstraintSpec.ExpressionKind
TEXT - Static variable in class ch.so.agi.mcp.knowledge.ConstraintWorkflowGuidance
TextLiteral(String) - Constructor for record class ch.so.agi.mcp.constraint.ConstraintExpression.TextLiteral
TextLiteral(String, ConstraintExpression.ScalarKind) - Constructor for record class ch.so.agi.mcp.constraint.ConstraintExpression.TextLiteral: Creates an instance of a TextLiteral record class.
textModel() - Method in record class ch.so.agi.mcp.constraint.ConstraintExpression.LanguageProfile: Returns the value of the textModel record component.
threshold - Variable in class ch.so.agi.mcp.model.IliConstraintSpec.ObjectCountSetConditionSpec
threshold() - Method in record class ch.so.agi.mcp.constraint.SemanticConstraint.ObjectCountSetCondition: Returns the value of the threshold record component.
title - Variable in class ch.so.agi.mcp.model.IliAuthoringResult.ReviewFinding
title() - Method in record class ch.so.agi.mcp.knowledge.ModelingRule: Returns the value of the title record component.
toInterlis() - Method in interface ch.so.agi.mcp.constraint.ConstraintExpression
toInterlis(ConstraintExpression.IliVersion) - Method in interface ch.so.agi.mcp.constraint.ConstraintExpression
toInterlis(ConstraintExpression.LanguageProfile) - Method in interface ch.so.agi.mcp.constraint.ConstraintExpression
TOOL - Static variable in class ch.so.agi.mcp.knowledge.ConstraintWorkflowGuidance
toolGuide() - Method in class ch.so.agi.mcp.knowledge.KnowledgeResources
topic - Variable in class ch.so.agi.mcp.change.IliModelChangeRequest.AddTopicChange
TOPIC - Enum constant in enum class ch.so.agi.mcp.change.IliSourceLocator.BlockKind
TOPIC - Enum constant in enum class ch.so.agi.mcp.model.RenameElementKind
topicConstraints(IliModelSpec.TopicSpec, String, String) - Static method in class ch.so.agi.mcp.model.ConstraintSpecContract
topicFqn - Variable in class ch.so.agi.mcp.change.IliModelChangeRequest.AddAssociationChange
topicFqn - Variable in class ch.so.agi.mcp.change.IliModelChangeRequest.AddClassChange
topicFqn - Variable in class ch.so.agi.mcp.change.IliModelChangeRequest.AddStructureChange
topics - Variable in class ch.so.agi.mcp.analysis.ModelAnalysisTools.AnalysisData
topics - Variable in class ch.so.agi.mcp.model.IliModelSpec
TopicSpec() - Constructor for class ch.so.agi.mcp.model.IliModelSpec.TopicSpec
TopicTools - Class in ch.so.agi.mcp.tools
TopicTools() - Constructor for class ch.so.agi.mcp.tools.TopicTools
toResponse(boolean, List<Map<String, Object>>, ModelAnalysisTools.AnalysisData, ModelPurpose) - Method in class ch.so.agi.mcp.analysis.ModelAnalysisTools
toString() - Method in record class ch.so.agi.mcp.change.IliSourceLocator.AttributeLocation: Returns a string representation of this record class.
toString() - Method in record class ch.so.agi.mcp.change.IliSourceLocator.BlockLocation: Returns a string representation of this record class.
toString() - Method in record class ch.so.agi.mcp.change.IliSourceSpan: Returns a string representation of this record class.
toString() - Method in record class ch.so.agi.mcp.change.IliTextPatch: Returns a string representation of this record class.
toString() - Method in record class ch.so.agi.mcp.constraint.CompiledConstraintContext: Returns a string representation of this record class.
toString() - Method in record class ch.so.agi.mcp.constraint.ConstraintAstTranslator.Translation: Returns a string representation of this record class.
toString() - Method in record class ch.so.agi.mcp.constraint.ConstraintAuthoringWorkflow.PreparedConstraint: Returns a string representation of this record class.
toString() - Method in record class ch.so.agi.mcp.constraint.ConstraintContextService.Resolution: Returns a string representation of this record class.
toString() - Method in record class ch.so.agi.mcp.constraint.ConstraintCoveragePlanner.CoverageCase: Returns a string representation of this record class.
toString() - Method in record class ch.so.agi.mcp.constraint.ConstraintCoveragePlanner.CoveragePlan: Returns a string representation of this record class.
toString() - Method in record class ch.so.agi.mcp.constraint.ConstraintCoveragePlanner.GoalExclusion: Returns a string representation of this record class.
toString() - Method in record class ch.so.agi.mcp.constraint.ConstraintExplanation: Returns a string representation of this record class.
toString() - Method in record class ch.so.agi.mcp.constraint.ConstraintExpression.And: Returns a string representation of this record class.
toString() - Method in record class ch.so.agi.mcp.constraint.ConstraintExpression.ArgumentSpec: Returns a string representation of this record class.
toString() - Method in record class ch.so.agi.mcp.constraint.ConstraintExpression.Attribute: Returns a string representation of this record class.
toString() - Method in record class ch.so.agi.mcp.constraint.ConstraintExpression.BooleanLiteral: Returns a string representation of this record class.
toString() - Method in record class ch.so.agi.mcp.constraint.ConstraintExpression.Comparison: Returns a string representation of this record class.
toString() - Method in record class ch.so.agi.mcp.constraint.ConstraintExpression.Defined: Returns a string representation of this record class.
toString() - Method in record class ch.so.agi.mcp.constraint.ConstraintExpression.EnumLiteral: Returns a string representation of this record class.
toString() - Method in record class ch.so.agi.mcp.constraint.ConstraintExpression.FunctionCall: Returns a string representation of this record class.
toString() - Method in record class ch.so.agi.mcp.constraint.ConstraintExpression.FunctionDefinition: Returns a string representation of this record class.
toString() - Method in record class ch.so.agi.mcp.constraint.ConstraintExpression.FunctionSyntax: Returns a string representation of this record class.
toString() - Method in record class ch.so.agi.mcp.constraint.ConstraintExpression.Implies: Returns a string representation of this record class.
toString() - Method in record class ch.so.agi.mcp.constraint.ConstraintExpression.InfixSyntax: Returns a string representation of this record class.
toString() - Method in record class ch.so.agi.mcp.constraint.ConstraintExpression.LanguageProfile: Returns a string representation of this record class.
toString() - Method in record class ch.so.agi.mcp.constraint.ConstraintExpression.Not: Returns a string representation of this record class.
toString() - Method in record class ch.so.agi.mcp.constraint.ConstraintExpression.NumericLiteral: Returns a string representation of this record class.
toString() - Method in record class ch.so.agi.mcp.constraint.ConstraintExpression.ObjectCount: Returns a string representation of this record class.
toString() - Method in record class ch.so.agi.mcp.constraint.ConstraintExpression.ObjectSetPath: Returns a string representation of this record class.
toString() - Method in record class ch.so.agi.mcp.constraint.ConstraintExpression.Or: Returns a string representation of this record class.
toString() - Method in record class ch.so.agi.mcp.constraint.ConstraintExpression.Path: Returns a string representation of this record class.
toString() - Method in record class ch.so.agi.mcp.constraint.ConstraintExpression.Reference: Returns a string representation of this record class.
toString() - Method in record class ch.so.agi.mcp.constraint.ConstraintExpression.TextLiteral: Returns a string representation of this record class.
toString() - Method in record class ch.so.agi.mcp.constraint.ConstraintExpression.Type: Returns a string representation of this record class.
toString() - Method in record class ch.so.agi.mcp.constraint.ConstraintExpressionEngine.EvaluationContext: Returns a string representation of this record class.
toString() - Method in record class ch.so.agi.mcp.constraint.ConstraintExpressionEngine.StateCondition: Returns a string representation of this record class.
toString() - Method in record class ch.so.agi.mcp.constraint.ConstraintExpressionEngine.TestGoal: Returns a string representation of this record class.
toString() - Method in record class ch.so.agi.mcp.constraint.ConstraintGoalReachability.Result: Returns a string representation of this record class.
toString() - Method in record class ch.so.agi.mcp.constraint.ConstraintGoalSolver.Solution: Returns a string representation of this record class.
toString() - Method in record class ch.so.agi.mcp.constraint.ConstraintInteractionAnalysis.ContextResult: Returns a string representation of this record class.
toString() - Method in record class ch.so.agi.mcp.constraint.ConstraintInteractionAnalysis.Domain: Returns a string representation of this record class.
toString() - Method in record class ch.so.agi.mcp.constraint.ConstraintInteractionAnalysis.Gap: Returns a string representation of this record class.
toString() - Method in record class ch.so.agi.mcp.constraint.ConstraintInteractionAnalysis.Result: Returns a string representation of this record class.
toString() - Method in record class ch.so.agi.mcp.constraint.ConstraintModelSynthesizer.AssociationBinding: Returns a string representation of this record class.
toString() - Method in record class ch.so.agi.mcp.constraint.ConstraintModelSynthesizer.CountShape: Returns a string representation of this record class.
toString() - Method in record class ch.so.agi.mcp.constraint.ConstraintModelSynthesizer.GraphLink: Returns a string representation of this record class.
toString() - Method in record class ch.so.agi.mcp.constraint.ConstraintModelSynthesizer.GraphObject: Returns a string representation of this record class.
toString() - Method in record class ch.so.agi.mcp.constraint.ConstraintModelSynthesizer.ModelBinding: Returns a string representation of this record class.
toString() - Method in record class ch.so.agi.mcp.constraint.ConstraintModelSynthesizer.NavigationBinding: Returns a string representation of this record class.
toString() - Method in record class ch.so.agi.mcp.constraint.ConstraintModelSynthesizer.NumericDomain: Returns a string representation of this record class.
toString() - Method in record class ch.so.agi.mcp.constraint.ConstraintModelSynthesizer.ObjectGraph: Returns a string representation of this record class.
toString() - Method in record class ch.so.agi.mcp.constraint.ConstraintModelSynthesizer.ReferenceBinding: Returns a string representation of this record class.
toString() - Method in record class ch.so.agi.mcp.constraint.ConstraintModelSynthesizer.ValueDomain: Returns a string representation of this record class.
toString() - Method in record class ch.so.agi.mcp.constraint.ConstraintSourceEditService.PreparedInsertion: Returns a string representation of this record class.
toString() - Method in record class ch.so.agi.mcp.constraint.ConstraintSourceEditService.SourceEdit: Returns a string representation of this record class.
toString() - Method in record class ch.so.agi.mcp.constraint.NavigationGraphSynthesizer.Binding: Returns a string representation of this record class.
toString() - Method in record class ch.so.agi.mcp.constraint.SemanticConstraint.AllObjects: Returns a string representation of this record class.
toString() - Method in record class ch.so.agi.mcp.constraint.SemanticConstraint.ConstraintPath: Returns a string representation of this record class.
toString() - Method in record class ch.so.agi.mcp.constraint.SemanticConstraint.Existence: Returns a string representation of this record class.
toString() - Method in record class ch.so.agi.mcp.constraint.SemanticConstraint.Mandatory: Returns a string representation of this record class.
toString() - Method in record class ch.so.agi.mcp.constraint.SemanticConstraint.NavigatedObjects: Returns a string representation of this record class.
toString() - Method in record class ch.so.agi.mcp.constraint.SemanticConstraint.ObjectCountSetCondition: Returns a string representation of this record class.
toString() - Method in record class ch.so.agi.mcp.constraint.SemanticConstraint.Plausibility: Returns a string representation of this record class.
toString() - Method in record class ch.so.agi.mcp.constraint.SemanticConstraint.Set: Returns a string representation of this record class.
toString() - Method in record class ch.so.agi.mcp.constraint.SemanticConstraint.Unique: Returns a string representation of this record class.
toString() - Method in record class ch.so.agi.mcp.constraint.SemanticConstraint.UntranslatedSetCondition: Returns a string representation of this record class.
toString() - Method in record class ch.so.agi.mcp.constraint.SemanticConstraint.ValueSetCondition: Returns a string representation of this record class.
toString() - Method in record class ch.so.agi.mcp.constraint.StandardFunctionRegistry.Parameter: Returns a string representation of this record class.
toString() - Method in record class ch.so.agi.mcp.constraint.StandardFunctionRegistry.StandardFunction: Returns a string representation of this record class.
toString() - Method in record class ch.so.agi.mcp.constraint.ViewProofScope: Returns a string representation of this record class.
toString() - Method in record class ch.so.agi.mcp.knowledge.ModelingRule: Returns a string representation of this record class.
toString() - Method in enum class ch.so.agi.mcp.knowledge.ModelingRuleProfile
toString() - Method in record class ch.so.agi.mcp.model.ConstraintSpecContract.Shape: Returns a string representation of this record class.
toString() - Method in record class ch.so.agi.mcp.model.EvidenceSummary.Check: Returns a string representation of this record class.
toString() - Method in record class ch.so.agi.mcp.model.EvidenceSummary: Returns a string representation of this record class.
toString() - Method in class ch.so.agi.mcp.model.IliAuthoringResult.ProofCase
toString() - Method in record class ch.so.agi.mcp.model.IliAuthoringResult.SpecDiagnostic: Returns a string representation of this record class.
toString() - Method in class ch.so.agi.mcp.model.IliAuthoringResult
toString() - Method in record class ch.so.agi.mcp.model.IliSpecRenderer.RenderedAttribute: Returns a string representation of this record class.
toString() - Method in record class ch.so.agi.mcp.model.IliSpecRenderer.RenderedFragment: Returns a string representation of this record class.
toString() - Method in record class ch.so.agi.mcp.model.IliSpecRenderer.RenderedModel: Returns a string representation of this record class.
toString() - Method in record class ch.so.agi.mcp.model.ModelHashes: Returns a string representation of this record class.
toString() - Method in record class ch.so.agi.mcp.model.TypeSpec.NamedType: Returns a string representation of this record class.
toString() - Method in record class ch.so.agi.mcp.service.IliCompilerService.CompilationResult: Returns a string representation of this record class.
toString() - Method in record class ch.so.agi.mcp.service.XtfService.ExampleValidation: Returns a string representation of this record class.
toString() - Method in record class ch.so.agi.mcp.service.XtfService.GenerateExampleResult: Returns a string representation of this record class.
toString() - Method in record class ch.so.agi.mcp.service.XtfService.ValidationResult: Returns a string representation of this record class.
toString() - Method in record class ch.so.agi.mcp.tools.AttributeTools.RenderedAttribute: Returns a string representation of this record class.
toString() - Method in record class ch.so.agi.mcp.tools.GeometryTypeRenderer.RenderedGeometry: Returns a string representation of this record class.
transferDescription() - Method in record class ch.so.agi.mcp.constraint.CompiledConstraintContext: Returns the value of the transferDescription record component.
transferDescription() - Method in record class ch.so.agi.mcp.service.IliCompilerService.CompilationResult: Returns the value of the transferDescription record component.
translate(Constraint) - Static method in class ch.so.agi.mcp.constraint.ConstraintAstTranslator
translate(Constraint) - Static method in class ch.so.agi.mcp.constraint.ConstraintSemanticTranslator
translate(Evaluable, ConstraintExpression.IliVersion) - Static method in class ch.so.agi.mcp.constraint.ConstraintAstTranslator
Translation(String, String, ConstraintExpression.IliVersion, ConstraintExpression) - Constructor for record class ch.so.agi.mcp.constraint.ConstraintAstTranslator.Translation: Creates an instance of a Translation record class.
TRUE - Enum constant in enum class ch.so.agi.mcp.constraint.ConstraintExpressionEngine.GoalKind
type() - Method in record class ch.so.agi.mcp.constraint.ConstraintExpression.And
type() - Method in record class ch.so.agi.mcp.constraint.ConstraintExpression.ArgumentSpec: Returns the value of the type record component.
type() - Method in record class ch.so.agi.mcp.constraint.ConstraintExpression.Attribute: Returns the value of the type record component.
type() - Method in record class ch.so.agi.mcp.constraint.ConstraintExpression.BooleanLiteral
type() - Method in record class ch.so.agi.mcp.constraint.ConstraintExpression.Comparison
type() - Method in record class ch.so.agi.mcp.constraint.ConstraintExpression.Defined
type() - Method in record class ch.so.agi.mcp.constraint.ConstraintExpression.EnumLiteral
type() - Method in record class ch.so.agi.mcp.constraint.ConstraintExpression.FunctionCall
type() - Method in record class ch.so.agi.mcp.constraint.ConstraintExpression.Implies
type() - Method in record class ch.so.agi.mcp.constraint.ConstraintExpression.Not
type() - Method in record class ch.so.agi.mcp.constraint.ConstraintExpression.NumericLiteral
type() - Method in record class ch.so.agi.mcp.constraint.ConstraintExpression.ObjectCount
type() - Method in record class ch.so.agi.mcp.constraint.ConstraintExpression.Or
type() - Method in record class ch.so.agi.mcp.constraint.ConstraintExpression.Path: Returns the value of the type record component.
type() - Method in record class ch.so.agi.mcp.constraint.ConstraintExpression.Reference: Returns the value of the type record component.
type() - Method in record class ch.so.agi.mcp.constraint.ConstraintExpression.TextLiteral
type() - Method in interface ch.so.agi.mcp.constraint.ConstraintExpression
Type(ConstraintExpression.ScalarKind, boolean, boolean) - Constructor for record class ch.so.agi.mcp.constraint.ConstraintExpression.Type: Creates an instance of a Type record class.
typeSpec - Variable in class ch.so.agi.mcp.change.UpdateAttributeChange.AttributePatch
TypeSpec - Class in ch.so.agi.mcp.model
TypeSpec() - Constructor for class ch.so.agi.mcp.model.TypeSpec
TypeSpec.NamedType - Record Class in ch.so.agi.mcp.model
typeText() - Method in record class ch.so.agi.mcp.tools.GeometryTypeRenderer.RenderedGeometry: Returns the value of the typeText record component.

U

unavailable(String) - Static method in record class ch.so.agi.mcp.constraint.ConstraintExplanation
unavailable(String, String) - Static method in class ch.so.agi.mcp.constraint.ConstraintPathSearch
UNAVAILABLE - Enum constant in enum class ch.so.agi.mcp.constraint.ConstraintExplanation.Status
unbounded() - Method in record class ch.so.agi.mcp.constraint.ConstraintModelSynthesizer.AssociationBinding: Returns the value of the unbounded record component.
unbounded() - Method in record class ch.so.agi.mcp.constraint.ConstraintModelSynthesizer.NavigationBinding: Returns the value of the unbounded record component.
UNDEFINED - Enum constant in enum class ch.so.agi.mcp.constraint.ConstraintExpressionEngine.GoalKind
undefinedAttributes() - Method in record class ch.so.agi.mcp.constraint.ConstraintInteractionAnalysis.ContextResult: Returns the value of the undefinedAttributes record component.
UNEXPECTED_SEMANTIC_CHANGE - Enum constant in enum class ch.so.agi.mcp.model.IliAuthoringResult.Status
unicode() - Static method in class ch.so.agi.mcp.util.NameValidator
unique(List<String>, String, List<MetaAttributeSpec>) - Method in class ch.so.agi.mcp.tools.ConstraintTools
Unique() - Constructor for class ch.so.agi.mcp.model.IliConstraintSpec.Unique
Unique(String, String, String, ConstraintExpression.IliVersion, boolean, boolean, ConstraintExpression, SemanticConstraint.ConstraintPath, List<SemanticConstraint.ConstraintPath>) - Constructor for record class ch.so.agi.mcp.constraint.SemanticConstraint.Unique: Creates an instance of a Unique record class.
UNIQUE - Enum constant in enum class ch.so.agi.mcp.constraint.SemanticConstraint.Kind
UNIQUE - Enum constant in enum class ch.so.agi.mcp.model.IliConstraintSpec.Kind
UniqueConstraintAuthoringTools - Class in ch.so.agi.mcp.tools
UniqueConstraintAuthoringTools(ConstraintAuthoringEngine) - Constructor for class ch.so.agi.mcp.tools.UniqueConstraintAuthoringTools
unit - Variable in class ch.so.agi.mcp.change.IliModelChangeRequest.AddUnitChange
UNIT - Enum constant in enum class ch.so.agi.mcp.model.RenameElementKind
unitFqn - Variable in class ch.so.agi.mcp.model.IliModelSpec.DomainSpec
units - Variable in class ch.so.agi.mcp.analysis.ModelAnalysisTools.AnalysisData
units - Variable in class ch.so.agi.mcp.model.IliModelSpec.TopicSpec
units - Variable in class ch.so.agi.mcp.model.IliModelSpec
UnitSpec() - Constructor for class ch.so.agi.mcp.model.IliModelSpec.UnitSpec
UNKNOWN - Enum constant in enum class ch.so.agi.mcp.analysis.ModelPurpose
UNKNOWN - Enum constant in enum class ch.so.agi.mcp.constraint.ConstraintExpression.ScalarKind
UNKNOWN - Enum constant in enum class ch.so.agi.mcp.constraint.ConstraintGoalReachability.Status
UNKNOWN - Enum constant in enum class ch.so.agi.mcp.constraint.ConstraintInteractionAnalysis.Status
unsolved() - Method in record class ch.so.agi.mcp.constraint.ConstraintCoveragePlanner.CoveragePlan: Returns the value of the unsolved record component.
UNSPECIFIED - Enum constant in enum class ch.so.agi.mcp.tools.ConstraintTestTools.ExpectationSource
unsupported() - Method in record class ch.so.agi.mcp.constraint.ConstraintInteractionAnalysis.ContextResult: Returns the value of the unsupported record component.
unsupported(PathEl) - Static method in class ch.so.agi.mcp.constraint.ConstraintPathAnalysis
UntranslatedSetCondition(String, String, String) - Constructor for record class ch.so.agi.mcp.constraint.SemanticConstraint.UntranslatedSetCondition: Creates an instance of a UntranslatedSetCondition record class.
UPDATE_ATTRIBUTE - Enum constant in enum class ch.so.agi.mcp.change.IliModelChangeOperation
UpdateAttributeChange - Class in ch.so.agi.mcp.change
UpdateAttributeChange() - Constructor for class ch.so.agi.mcp.change.UpdateAttributeChange
UpdateAttributeChange.AttributePatch - Class in ch.so.agi.mcp.change
UpdateAttributeChange.IliDocAction - Enum Class in ch.so.agi.mcp.change
UpdateAttributeChange.MetaAttributesAction - Enum Class in ch.so.agi.mcp.change
updatedModelText - Variable in class ch.so.agi.mcp.model.IliAuthoringResult
updatedModelText() - Method in record class ch.so.agi.mcp.constraint.ConstraintSourceEditService.PreparedInsertion: Returns the value of the updatedModelText record component.
uri - Variable in class ch.so.agi.mcp.model.IliModelSpec
USER_CONFIRMED - Enum constant in enum class ch.so.agi.mcp.tools.ConstraintTestTools.ExpectationSource
USER_PROVIDED - Enum constant in enum class ch.so.agi.mcp.tools.ConstraintTestTools.ExpectationSource

V

valid - Variable in class ch.so.agi.mcp.model.IliAuthoringResult.ModelReview
valid() - Method in record class ch.so.agi.mcp.service.IliCompilerService.CompilationResult: Returns the value of the valid record component.
valid() - Method in record class ch.so.agi.mcp.service.XtfService.ExampleValidation: Returns the value of the valid record component.
valid() - Method in record class ch.so.agi.mcp.service.XtfService.ValidationResult: Returns the value of the valid record component.
VALID - Enum constant in enum class ch.so.agi.mcp.service.XtfService.ExampleValidationStatus
validate() - Method in class ch.so.agi.mcp.change.UpdateAttributeChange.AttributePatch
validate() - Method in class ch.so.agi.mcp.model.BaseType
validate() - Method in class ch.so.agi.mcp.model.BasketTypeSpec
validate() - Method in class ch.so.agi.mcp.model.BlackboxTypeSpec
validate() - Method in class ch.so.agi.mcp.model.EnumTreeValueTypeSpec
validate() - Method in class ch.so.agi.mcp.model.MetaobjectTypeSpec
validate() - Method in class ch.so.agi.mcp.model.ObjectTypeSpec
validate() - Method in class ch.so.agi.mcp.model.ReferenceTypeSpec
validate(IliConstraintSpec, String, String) - Static method in class ch.so.agi.mcp.model.ConstraintSpecContract
validateFqn(String, String) - Method in class ch.so.agi.mcp.util.NameValidator
validateIdent(String, String) - Method in class ch.so.agi.mcp.util.NameValidator
validateIliModel(String) - Method in class ch.so.agi.mcp.tools.ValidationTools
validateOneOf() - Method in class ch.so.agi.mcp.model.TypeSpec
validateXtf(String, String) - Method in class ch.so.agi.mcp.tools.XtfTools
validateXtf(String, String, String) - Method in class ch.so.agi.mcp.service.XtfService
validation() - Method in record class ch.so.agi.mcp.service.XtfService.GenerateExampleResult: Returns the value of the validation record component.
VALIDATION - Enum constant in enum class ch.so.agi.mcp.analysis.ModelPurpose
ValidationResult(boolean, List<Map<String, Object>>, int, int) - Constructor for record class ch.so.agi.mcp.service.XtfService.ValidationResult: Creates an instance of a ValidationResult record class.
ValidationTools - Class in ch.so.agi.mcp.tools
ValidationTools(IliCompilerService) - Constructor for class ch.so.agi.mcp.tools.ValidationTools
VALIDATOR_EXTENSION - Enum constant in enum class ch.so.agi.mcp.model.IliConstraintSpec.FunctionOrigin
validForAutomatedRules - Variable in class ch.so.agi.mcp.model.IliAuthoringResult.ModelReview
value - Variable in class ch.so.agi.mcp.model.IliConstraintSpec.ExpressionSpec
value - Variable in class ch.so.agi.mcp.tools.ConstraintDecisionTableTools.DecisionCondition
value() - Method in record class ch.so.agi.mcp.constraint.ConstraintExpression.BooleanLiteral: Returns the value of the value record component.
value() - Method in record class ch.so.agi.mcp.constraint.ConstraintExpression.EnumLiteral: Returns the value of the value record component.
value() - Method in record class ch.so.agi.mcp.constraint.ConstraintExpression.NumericLiteral: Returns the value of the value record component.
value() - Method in record class ch.so.agi.mcp.constraint.ConstraintExpression.TextLiteral: Returns the value of the value record component.
VALUE - Enum constant in enum class ch.so.agi.mcp.constraint.ConstraintExpression.ArgumentSemantics
ValueDomain(ConstraintExpression.ScalarKind, ConstraintModelSynthesizer.NumericDomain, List<String>, boolean) - Constructor for record class ch.so.agi.mcp.constraint.ConstraintModelSynthesizer.ValueDomain: Creates an instance of a ValueDomain record class.
valueOf(String) - Static method in enum class ch.so.agi.mcp.analysis.ModelPurpose: Returns the enum constant of this class with the specified name.
valueOf(String) - Static method in enum class ch.so.agi.mcp.change.IliModelChangeOperation: Returns the enum constant of this class with the specified name.
valueOf(String) - Static method in enum class ch.so.agi.mcp.change.IliSourceLocator.BlockKind: Returns the enum constant of this class with the specified name.
valueOf(String) - Static method in enum class ch.so.agi.mcp.change.UpdateAttributeChange.IliDocAction: Returns the enum constant of this class with the specified name.
valueOf(String) - Static method in enum class ch.so.agi.mcp.change.UpdateAttributeChange.MetaAttributesAction: Returns the enum constant of this class with the specified name.
valueOf(String) - Static method in enum class ch.so.agi.mcp.constraint.ConstraintExplanation.Status: Returns the enum constant of this class with the specified name.
valueOf(String) - Static method in enum class ch.so.agi.mcp.constraint.ConstraintExpression.ArgumentSemantics: Returns the enum constant of this class with the specified name.
valueOf(String) - Static method in enum class ch.so.agi.mcp.constraint.ConstraintExpression.ComparisonOperator: Returns the enum constant of this class with the specified name.
valueOf(String) - Static method in enum class ch.so.agi.mcp.constraint.ConstraintExpression.IliVersion: Returns the enum constant of this class with the specified name.
valueOf(String) - Static method in enum class ch.so.agi.mcp.constraint.ConstraintExpression.ReferenceKind: Returns the enum constant of this class with the specified name.
valueOf(String) - Static method in enum class ch.so.agi.mcp.constraint.ConstraintExpression.ResultTypeRule: Returns the enum constant of this class with the specified name.
valueOf(String) - Static method in enum class ch.so.agi.mcp.constraint.ConstraintExpression.ScalarKind: Returns the enum constant of this class with the specified name.
valueOf(String) - Static method in enum class ch.so.agi.mcp.constraint.ConstraintExpressionEngine.GoalKind: Returns the enum constant of this class with the specified name.
valueOf(String) - Static method in enum class ch.so.agi.mcp.constraint.ConstraintExpressionEngine.NotComputable: Returns the enum constant of this class with the specified name.
valueOf(String) - Static method in enum class ch.so.agi.mcp.constraint.ConstraintExpressionEngine.Undefined: Returns the enum constant of this class with the specified name.
valueOf(String) - Static method in enum class ch.so.agi.mcp.constraint.ConstraintGoalReachability.Status: Returns the enum constant of this class with the specified name.
valueOf(String) - Static method in enum class ch.so.agi.mcp.constraint.ConstraintInteractionAnalysis.Status: Returns the enum constant of this class with the specified name.
valueOf(String) - Static method in enum class ch.so.agi.mcp.constraint.ConstraintModelSynthesizer.NavigationKind: Returns the enum constant of this class with the specified name.
valueOf(String) - Static method in enum class ch.so.agi.mcp.constraint.SemanticConstraint.Kind: Returns the enum constant of this class with the specified name.
valueOf(String) - Static method in enum class ch.so.agi.mcp.constraint.SemanticConstraint.PlausibilityDirection: Returns the enum constant of this class with the specified name.
valueOf(String) - Static method in enum class ch.so.agi.mcp.constraint.StandardFunctionRegistry.Family: Returns the enum constant of this class with the specified name.
valueOf(String) - Static method in enum class ch.so.agi.mcp.knowledge.ModelingRule.CheckKind: Returns the enum constant of this class with the specified name.
valueOf(String) - Static method in enum class ch.so.agi.mcp.knowledge.ModelingRule.Severity: Returns the enum constant of this class with the specified name.
valueOf(String) - Static method in enum class ch.so.agi.mcp.knowledge.ModelingRuleProfile: Returns the enum constant of this class with the specified name.
valueOf(String) - Static method in enum class ch.so.agi.mcp.model.AttributeLineRequest.Collection: Returns the enum constant of this class with the specified name.
valueOf(String) - Static method in enum class ch.so.agi.mcp.model.BaseType.Kind: Returns the enum constant of this class with the specified name.
valueOf(String) - Static method in enum class ch.so.agi.mcp.model.BasketTypeSpec.Kind: Returns the enum constant of this class with the specified name.
valueOf(String) - Static method in enum class ch.so.agi.mcp.model.BlackboxTypeSpec.Kind: Returns the enum constant of this class with the specified name.
valueOf(String) - Static method in enum class ch.so.agi.mcp.model.EvidenceSummary.Status: Returns the enum constant of this class with the specified name.
valueOf(String) - Static method in enum class ch.so.agi.mcp.model.GeometryTypeSpec.InterlisKind: Returns the enum constant of this class with the specified name.
valueOf(String) - Static method in enum class ch.so.agi.mcp.model.GeometryTypeSpec.Provider: Returns the enum constant of this class with the specified name.
valueOf(String) - Static method in enum class ch.so.agi.mcp.model.IliAuthoringResult.Status: Returns the enum constant of this class with the specified name.
valueOf(String) - Static method in enum class ch.so.agi.mcp.model.IliConstraintSpec.ExpressionKind: Returns the enum constant of this class with the specified name.
valueOf(String) - Static method in enum class ch.so.agi.mcp.model.IliConstraintSpec.FunctionOrigin: Returns the enum constant of this class with the specified name.
valueOf(String) - Static method in enum class ch.so.agi.mcp.model.IliConstraintSpec.Kind: Returns the enum constant of this class with the specified name.
valueOf(String) - Static method in enum class ch.so.agi.mcp.model.IliConstraintSpec.PlausibilityDirection: Returns the enum constant of this class with the specified name.
valueOf(String) - Static method in enum class ch.so.agi.mcp.model.IliConstraintSpec.SetScope: Returns the enum constant of this class with the specified name.
valueOf(String) - Static method in enum class ch.so.agi.mcp.model.IliConstraintSpec.UniqueScope: Returns the enum constant of this class with the specified name.
valueOf(String) - Static method in enum class ch.so.agi.mcp.model.IliModelSpec.DomainKind: Returns the enum constant of this class with the specified name.
valueOf(String) - Static method in enum class ch.so.agi.mcp.model.RenameElementKind: Returns the enum constant of this class with the specified name.
valueOf(String) - Static method in enum class ch.so.agi.mcp.service.XtfService.ExampleValidationStatus: Returns the enum constant of this class with the specified name.
valueOf(String) - Static method in enum class ch.so.agi.mcp.tools.ConstraintTestTools.ExpectationSource: Returns the enum constant of this class with the specified name.
values - Variable in class ch.so.agi.mcp.model.IliAuthoringResult.ProofCase
values - Variable in class ch.so.agi.mcp.tools.ConstraintTestTools.TestObject
values() - Static method in enum class ch.so.agi.mcp.analysis.ModelPurpose: Returns an array containing the constants of this enum class, in the order they are declared.
values() - Static method in enum class ch.so.agi.mcp.change.IliModelChangeOperation: Returns an array containing the constants of this enum class, in the order they are declared.
values() - Static method in enum class ch.so.agi.mcp.change.IliSourceLocator.BlockKind: Returns an array containing the constants of this enum class, in the order they are declared.
values() - Static method in enum class ch.so.agi.mcp.change.UpdateAttributeChange.IliDocAction: Returns an array containing the constants of this enum class, in the order they are declared.
values() - Static method in enum class ch.so.agi.mcp.change.UpdateAttributeChange.MetaAttributesAction: Returns an array containing the constants of this enum class, in the order they are declared.
values() - Static method in enum class ch.so.agi.mcp.constraint.ConstraintExplanation.Status: Returns an array containing the constants of this enum class, in the order they are declared.
values() - Static method in enum class ch.so.agi.mcp.constraint.ConstraintExpression.ArgumentSemantics: Returns an array containing the constants of this enum class, in the order they are declared.
values() - Static method in enum class ch.so.agi.mcp.constraint.ConstraintExpression.ComparisonOperator: Returns an array containing the constants of this enum class, in the order they are declared.
values() - Static method in enum class ch.so.agi.mcp.constraint.ConstraintExpression.IliVersion: Returns an array containing the constants of this enum class, in the order they are declared.
values() - Static method in enum class ch.so.agi.mcp.constraint.ConstraintExpression.ReferenceKind: Returns an array containing the constants of this enum class, in the order they are declared.
values() - Static method in enum class ch.so.agi.mcp.constraint.ConstraintExpression.ResultTypeRule: Returns an array containing the constants of this enum class, in the order they are declared.
values() - Static method in enum class ch.so.agi.mcp.constraint.ConstraintExpression.ScalarKind: Returns an array containing the constants of this enum class, in the order they are declared.
values() - Method in record class ch.so.agi.mcp.constraint.ConstraintExpressionEngine.EvaluationContext: Returns the value of the values record component.
values() - Static method in enum class ch.so.agi.mcp.constraint.ConstraintExpressionEngine.GoalKind: Returns an array containing the constants of this enum class, in the order they are declared.
values() - Static method in enum class ch.so.agi.mcp.constraint.ConstraintExpressionEngine.NotComputable: Returns an array containing the constants of this enum class, in the order they are declared.
values() - Static method in enum class ch.so.agi.mcp.constraint.ConstraintExpressionEngine.Undefined: Returns an array containing the constants of this enum class, in the order they are declared.
values() - Static method in enum class ch.so.agi.mcp.constraint.ConstraintGoalReachability.Status: Returns an array containing the constants of this enum class, in the order they are declared.
values() - Static method in enum class ch.so.agi.mcp.constraint.ConstraintInteractionAnalysis.Status: Returns an array containing the constants of this enum class, in the order they are declared.
values() - Method in record class ch.so.agi.mcp.constraint.ConstraintModelSynthesizer.GraphObject: Returns the value of the values record component.
values() - Static method in enum class ch.so.agi.mcp.constraint.ConstraintModelSynthesizer.NavigationKind: Returns an array containing the constants of this enum class, in the order they are declared.
values() - Method in record class ch.so.agi.mcp.constraint.ConstraintModelSynthesizer.ValueDomain: Returns the value of the values record component.
values() - Static method in enum class ch.so.agi.mcp.constraint.SemanticConstraint.Kind: Returns an array containing the constants of this enum class, in the order they are declared.
values() - Static method in enum class ch.so.agi.mcp.constraint.SemanticConstraint.PlausibilityDirection: Returns an array containing the constants of this enum class, in the order they are declared.
values() - Static method in enum class ch.so.agi.mcp.constraint.StandardFunctionRegistry.Family: Returns an array containing the constants of this enum class, in the order they are declared.
values() - Static method in enum class ch.so.agi.mcp.knowledge.ModelingRule.CheckKind: Returns an array containing the constants of this enum class, in the order they are declared.
values() - Static method in enum class ch.so.agi.mcp.knowledge.ModelingRule.Severity: Returns an array containing the constants of this enum class, in the order they are declared.
values() - Static method in enum class ch.so.agi.mcp.knowledge.ModelingRuleProfile: Returns an array containing the constants of this enum class, in the order they are declared.
values() - Static method in enum class ch.so.agi.mcp.model.AttributeLineRequest.Collection: Returns an array containing the constants of this enum class, in the order they are declared.
values() - Static method in enum class ch.so.agi.mcp.model.BaseType.Kind: Returns an array containing the constants of this enum class, in the order they are declared.
values() - Static method in enum class ch.so.agi.mcp.model.BasketTypeSpec.Kind: Returns an array containing the constants of this enum class, in the order they are declared.
values() - Static method in enum class ch.so.agi.mcp.model.BlackboxTypeSpec.Kind: Returns an array containing the constants of this enum class, in the order they are declared.
values() - Static method in enum class ch.so.agi.mcp.model.EvidenceSummary.Status: Returns an array containing the constants of this enum class, in the order they are declared.
values() - Static method in enum class ch.so.agi.mcp.model.GeometryTypeSpec.InterlisKind: Returns an array containing the constants of this enum class, in the order they are declared.
values() - Static method in enum class ch.so.agi.mcp.model.GeometryTypeSpec.Provider: Returns an array containing the constants of this enum class, in the order they are declared.
values() - Static method in enum class ch.so.agi.mcp.model.IliAuthoringResult.Status: Returns an array containing the constants of this enum class, in the order they are declared.
values() - Static method in enum class ch.so.agi.mcp.model.IliConstraintSpec.ExpressionKind: Returns an array containing the constants of this enum class, in the order they are declared.
values() - Static method in enum class ch.so.agi.mcp.model.IliConstraintSpec.FunctionOrigin: Returns an array containing the constants of this enum class, in the order they are declared.
values() - Static method in enum class ch.so.agi.mcp.model.IliConstraintSpec.Kind: Returns an array containing the constants of this enum class, in the order they are declared.
values() - Static method in enum class ch.so.agi.mcp.model.IliConstraintSpec.PlausibilityDirection: Returns an array containing the constants of this enum class, in the order they are declared.
values() - Static method in enum class ch.so.agi.mcp.model.IliConstraintSpec.SetScope: Returns an array containing the constants of this enum class, in the order they are declared.
values() - Static method in enum class ch.so.agi.mcp.model.IliConstraintSpec.UniqueScope: Returns an array containing the constants of this enum class, in the order they are declared.
values() - Static method in enum class ch.so.agi.mcp.model.IliModelSpec.DomainKind: Returns an array containing the constants of this enum class, in the order they are declared.
values() - Static method in enum class ch.so.agi.mcp.model.RenameElementKind: Returns an array containing the constants of this enum class, in the order they are declared.
values() - Static method in enum class ch.so.agi.mcp.service.XtfService.ExampleValidationStatus: Returns an array containing the constants of this enum class, in the order they are declared.
values() - Static method in enum class ch.so.agi.mcp.tools.ConstraintTestTools.ExpectationSource: Returns an array containing the constants of this enum class, in the order they are declared.
ValueSetCondition(ConstraintExpression) - Constructor for record class ch.so.agi.mcp.constraint.SemanticConstraint.ValueSetCondition: Creates an instance of a ValueSetCondition record class.
verification - Variable in class ch.so.agi.mcp.model.IliAuthoringResult.ConstraintProof
VERIFIED - Enum constant in enum class ch.so.agi.mcp.model.IliAuthoringResult.Status
verifyIliModel(String, ModelPurpose, ModelingRuleProfile) - Method in class ch.so.agi.mcp.tools.IliModelAuthoringTools
version - Variable in class ch.so.agi.mcp.model.IliModelSpec
version() - Method in record class ch.so.agi.mcp.constraint.ConstraintAstTranslator.Translation: Returns the value of the version record component.
version() - Method in record class ch.so.agi.mcp.constraint.ConstraintExpression.LanguageProfile: Returns the value of the version record component.
version() - Method in record class ch.so.agi.mcp.constraint.SemanticConstraint.Existence: Returns the value of the version record component.
version() - Method in record class ch.so.agi.mcp.constraint.SemanticConstraint.Mandatory: Returns the value of the version record component.
version() - Method in record class ch.so.agi.mcp.constraint.SemanticConstraint.Plausibility: Returns the value of the version record component.
version() - Method in record class ch.so.agi.mcp.constraint.SemanticConstraint.Set: Returns the value of the version record component.
version() - Method in record class ch.so.agi.mcp.constraint.SemanticConstraint.Unique: Returns the value of the version record component.
version() - Method in interface ch.so.agi.mcp.constraint.SemanticConstraint
view() - Method in record class ch.so.agi.mcp.constraint.ViewProofScope: Returns the value of the view record component.
VIEW - Enum constant in enum class ch.so.agi.mcp.change.IliSourceLocator.BlockKind
VIEW - Enum constant in enum class ch.so.agi.mcp.model.BasketTypeSpec.Kind
viewableFqn - Variable in class ch.so.agi.mcp.model.IliConstraintSpec.ExistenceTargetSpec
ViewableSpec() - Constructor for class ch.so.agi.mcp.model.IliModelSpec.ViewableSpec
viewFqn - Variable in class ch.so.agi.mcp.model.IliAuthoringResult.ProofCaseVerification
ViewProofScope - Record Class in ch.so.agi.mcp.constraint: Compiler-derived scope of direct identity projections supported by the pinned validator.
ViewProofScope(Projection, Table, List<ConstraintExpression>) - Constructor for record class ch.so.agi.mcp.constraint.ViewProofScope: Creates an instance of a ViewProofScope record class.
ViewProofScope.ScopeException - Exception Class in ch.so.agi.mcp.constraint
views - Variable in class ch.so.agi.mcp.analysis.ModelAnalysisTools.AnalysisData
viewScope() - Method in record class ch.so.agi.mcp.constraint.ConstraintModelSynthesizer.ModelBinding: Returns the value of the viewScope record component.

W

WARNING - Enum constant in enum class ch.so.agi.mcp.knowledge.ModelingRule.Severity
warningCount - Variable in class ch.so.agi.mcp.model.IliAuthoringResult.ProofCaseVerification
warningCount() - Method in record class ch.so.agi.mcp.model.EvidenceSummary.Check: Returns the value of the warningCount record component.
warningCount() - Method in record class ch.so.agi.mcp.service.XtfService.ExampleValidation: Returns the value of the warningCount record component.
warningCount() - Method in record class ch.so.agi.mcp.service.XtfService.ValidationResult: Returns the value of the warningCount record component.
where - Variable in class ch.so.agi.mcp.model.IliConstraintSpec.Set
where - Variable in class ch.so.agi.mcp.model.IliConstraintSpec.Unique
whitespace(String) - Static method in class ch.so.agi.mcp.change.IliComments: Preserve line positions and token separation while removing comment content.
wireName() - Method in enum class ch.so.agi.mcp.knowledge.ModelingRuleProfile
withEvidence(String) - Method in class ch.so.agi.mcp.model.IliAuthoringResult
withInteractions(EvidenceSummary.Check) - Method in record class ch.so.agi.mcp.model.EvidenceSummary
withRuleCount(int) - Method in record class ch.so.agi.mcp.model.EvidenceSummary
WORKFLOW - Static variable in class ch.so.agi.mcp.model.ConstraintAuthoringGuidance

X

XML - Enum constant in enum class ch.so.agi.mcp.model.BlackboxTypeSpec.Kind
XtfService - Class in ch.so.agi.mcp.service
XtfService(IliCompilerService) - Constructor for class ch.so.agi.mcp.service.XtfService
XtfService.ExampleValidation - Record Class in ch.so.agi.mcp.service
XtfService.ExampleValidationStatus - Enum Class in ch.so.agi.mcp.service
XtfService.GenerateExampleResult - Record Class in ch.so.agi.mcp.service
XtfService.ValidationResult - Record Class in ch.so.agi.mcp.service
xtfText - Variable in class ch.so.agi.mcp.model.IliAuthoringResult.ProofCaseVerification
xtfText() - Method in record class ch.so.agi.mcp.service.XtfService.GenerateExampleResult: Returns the value of the xtfText record component.
XtfTools - Class in ch.so.agi.mcp.tools
XtfTools(XtfService) - Constructor for class ch.so.agi.mcp.tools.XtfTools

A B C D E F G H I J K L M N O P Q R S T U V W X
All Classes and Interfaces|All Packages|Constant Field Values|Serialized Form