Package ch.so.agi.mcp.constraint

Class ConstraintContextService

java.lang.Object

ch.so.agi.mcp.constraint.ConstraintContextService

@Service
public class ConstraintContextService
extends Object

Compiles and resolves constraints once for reuse by review/authoring/proof stages.

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
static final record	ConstraintContextService.Resolution

Constructor Summary

Constructors

Constructor	Description
ConstraintContextService(IliCompilerService compilerService)

Method Summary

Modifier and Type	Method	Description
ConstraintContextService.Resolution	compileAndResolve(String modelText, String requestedConstraint, @Nullable String modelRepositories, String tempPrefix)
ConstraintContextService.Resolution	resolveCompiled(String modelText, String requestedConstraint, @Nullable String modelRepositories, IliCompilerService.CompilationResult compilation)

Methods inherited from class java.lang.Object

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

Constructor Details

ConstraintContextService

public ConstraintContextService(IliCompilerService compilerService)

Method Details

compileAndResolve

public ConstraintContextService.Resolution compileAndResolve(String modelText,
 String requestedConstraint,
 @Nullable String modelRepositories,
 String tempPrefix)

resolveCompiled

public ConstraintContextService.Resolution resolveCompiled(String modelText,
 String requestedConstraint,
 @Nullable String modelRepositories,
 IliCompilerService.CompilationResult compilation)