Package ch.so.agi.mcp.model

Class IliAuthoringResult

java.lang.Object

ch.so.agi.mcp.model.IliAuthoringResult

public class IliAuthoringResult
extends Object

Stable, typed output contract shared by high-level authoring and change tools.

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
static final class	IliAuthoringResult.CompilerDiagnostic
static final class	IliAuthoringResult.ConstraintProof
static final class	IliAuthoringResult.CoverageExclusion
static final class	IliAuthoringResult.CoverageGap
static final class	IliAuthoringResult.CoverageGoal
static final class	IliAuthoringResult.ModelReview
static final class	IliAuthoringResult.OpenQuestion
static final class	IliAuthoringResult.ProofCase
static final class	IliAuthoringResult.ProofCaseVerification
static final class	IliAuthoringResult.ProofVerification
static final class	IliAuthoringResult.ReviewFinding
static final class	IliAuthoringResult.SemanticChange	A normalized semantic change.
static final class	IliAuthoringResult.SemanticDiff
static final class	IliAuthoringResult.SourceEdit
static final class	IliAuthoringResult.SourceExcerpt
static final record	IliAuthoringResult.SpecDiagnostic
static enum	IliAuthoringResult.Status

Field Summary

Fields

Modifier and Type	Field	Description
List<IliAuthoringResult.SemanticChange>	added
List<IliAuthoringResult.CompilerDiagnostic>	afterDiagnostics
@Nullable IliAuthoringResult.ModelReview	afterReview
@Nullable Boolean	applied
List<IliAuthoringResult.CompilerDiagnostic>	beforeDiagnostics
@Nullable String	candidateModelText
List<IliAuthoringResult.SemanticChange>	changed
List<IliAuthoringResult.CompilerDiagnostic>	compilerDiagnostics
@Nullable EvidenceSummary.Check	compilerEvidence
boolean	complete
List<IliAuthoringResult.ConstraintProof>	constraintProofs
List<String>	derivedImports
@Nullable Map<String,Object>	details
EvidenceSummary	evidence
@Nullable Boolean	generated
@Nullable String	impact
@Nullable ModelHashes	modelHashes
@Nullable Integer	omittedSuccessfulTestXtfCount
List<IliAuthoringResult.OpenQuestion>	openQuestions
List<IliAuthoringResult.SemanticChange>	potentiallyBreakingChanges
@Nullable Boolean	proofVerified
@Nullable String	reason
@Nullable String	reasonCode
List<IliAuthoringResult.SemanticChange>	removed
boolean	requiresUserDecision
@Nullable IliAuthoringResult.SemanticDiff	semanticDiff
List<IliAuthoringResult.SourceEdit>	sourceEdits
List<IliAuthoringResult.SpecDiagnostic>	specDiagnostics	Request-contract diagnostics; additive to status/reason and compiler diagnostics.
IliAuthoringResult.Status	status
@Nullable String	updatedModelText

Constructor Summary

Constructors

Constructor	Description
IliAuthoringResult()

Method Summary

Modifier and Type	Method	Description
static IliAuthoringResult.ConstraintProof	constraintProof(String constraintFqn, boolean proofVerified, @Nullable Map<String,Object> proof)
static List<IliAuthoringResult.CompilerDiagnostic>	diagnostics(List<Map<String,Object>> input)
static @Nullable IliAuthoringResult.ModelReview	modelReview(@Nullable Object value)
static IliAuthoringResult.OpenQuestion	openQuestion(String question)
static List<IliAuthoringResult.OpenQuestion>	openQuestions(@Nullable Object value)
static List<IliAuthoringResult.SemanticChange>	semanticChanges(@Nullable Object value)
static IliAuthoringResult.SemanticDiff	semanticDiff(Map<String,Object> review)
static IliAuthoringResult.SourceEdit	sourceEdit(int startOffset, int endOffset, int startLine, int endLine, String before, String after, String description)
static IliAuthoringResult.SourceEdit	sourceEdit(Map<String,Object> input)
static List<IliAuthoringResult.SourceEdit>	sourceEdits(List<Map<String,Object>> input)
String	toString()
IliAuthoringResult	withEvidence(String scope)

Methods inherited from class java.lang.Object

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

Field Details

specDiagnostics

public List<IliAuthoringResult.SpecDiagnostic> specDiagnostics

Request-contract diagnostics; additive to status/reason and compiler diagnostics.

modelHashes

public @Nullable ModelHashes modelHashes

omittedSuccessfulTestXtfCount

public @Nullable Integer omittedSuccessfulTestXtfCount

evidence

public EvidenceSummary evidence

compilerEvidence

public @Nullable EvidenceSummary.Check compilerEvidence

status

public IliAuthoringResult.Status status

complete

public boolean complete

generated

public @Nullable Boolean generated

applied

public @Nullable Boolean applied

updatedModelText

public @Nullable String updatedModelText

candidateModelText

public @Nullable String candidateModelText

compilerDiagnostics

public List<IliAuthoringResult.CompilerDiagnostic> compilerDiagnostics

beforeDiagnostics

public List<IliAuthoringResult.CompilerDiagnostic> beforeDiagnostics

afterDiagnostics

public List<IliAuthoringResult.CompilerDiagnostic> afterDiagnostics

sourceEdits

public List<IliAuthoringResult.SourceEdit> sourceEdits

derivedImports

public List<String> derivedImports

added

public List<IliAuthoringResult.SemanticChange> added

removed

public List<IliAuthoringResult.SemanticChange> removed

changed

public List<IliAuthoringResult.SemanticChange> changed

potentiallyBreakingChanges

public List<IliAuthoringResult.SemanticChange> potentiallyBreakingChanges

impact

public @Nullable String impact

semanticDiff

public @Nullable IliAuthoringResult.SemanticDiff semanticDiff

afterReview

public @Nullable IliAuthoringResult.ModelReview afterReview

proofVerified

public @Nullable Boolean proofVerified

constraintProofs

public List<IliAuthoringResult.ConstraintProof> constraintProofs

openQuestions

public List<IliAuthoringResult.OpenQuestion> openQuestions

requiresUserDecision

public boolean requiresUserDecision

reasonCode

public @Nullable String reasonCode

reason

public @Nullable String reason

details

public @Nullable Map<String,Object> details

Constructor Details

IliAuthoringResult

public IliAuthoringResult()

Method Details

withEvidence

public IliAuthoringResult withEvidence(String scope)

diagnostics

public static List<IliAuthoringResult.CompilerDiagnostic> diagnostics(List<Map<String,Object>> input)

sourceEdits

public static List<IliAuthoringResult.SourceEdit> sourceEdits(List<Map<String,Object>> input)

sourceEdit

public static IliAuthoringResult.SourceEdit sourceEdit(Map<String,Object> input)

sourceEdit

public static IliAuthoringResult.SourceEdit sourceEdit(int startOffset,
 int endOffset,
 int startLine,
 int endLine,
 String before,
 String after,
 String description)

semanticChanges

public static List<IliAuthoringResult.SemanticChange> semanticChanges(@Nullable Object value)

semanticDiff

public static IliAuthoringResult.SemanticDiff semanticDiff(Map<String,Object> review)

modelReview

public static @Nullable IliAuthoringResult.ModelReview modelReview(@Nullable Object value)

constraintProof

public static IliAuthoringResult.ConstraintProof constraintProof(String constraintFqn,
 boolean proofVerified,
 @Nullable Map<String,Object> proof)

openQuestions

public static List<IliAuthoringResult.OpenQuestion> openQuestions(@Nullable Object value)

openQuestion

public static IliAuthoringResult.OpenQuestion openQuestion(String question)

toString

public String toString()

Overrides:

toString in class Object