Serialized Form

Package ch.so.agi.mcp.constraint

Exception Class ch.so.agi.mcp.constraint.ConstraintAstTranslator.TranslationException

class TranslationException extends IllegalArgumentException implements Serializable

Serialized Fields

reasonCode

String reasonCode

Exception Class ch.so.agi.mcp.constraint.ConstraintExpressionEngine.UnsupportedFunctionSemanticsException

class UnsupportedFunctionSemanticsException extends IllegalArgumentException implements Serializable

Serialized Fields

semanticId

String semanticId

Exception Class ch.so.agi.mcp.constraint.ConstraintSemanticTranslator.TranslationException

class TranslationException extends IllegalArgumentException implements Serializable

Serialized Fields

reasonCode

String reasonCode

Exception Class ch.so.agi.mcp.constraint.ViewProofScope.ScopeException

class ScopeException extends IllegalArgumentException implements Serializable

Serialized Fields

reasonCode

String reasonCode

Package ch.so.agi.mcp.model

Exception Class ch.so.agi.mcp.model.SpecValidationException

class SpecValidationException extends IllegalArgumentException implements Serializable

Serialized Fields

diagnostic

IliAuthoringResult.SpecDiagnostic diagnostic