Package ch.so.agi.mcp.model

Class IliConstraintSpec

java.lang.Object

ch.so.agi.mcp.model.IliConstraintSpec

Direct Known Subclasses:

IliConstraintSpec.Existence, IliConstraintSpec.Mandatory, IliConstraintSpec.Plausibility, IliConstraintSpec.Set, IliConstraintSpec.Unique

public abstract sealed class IliConstraintSpec
extends Object
permits IliConstraintSpec.Mandatory, IliConstraintSpec.Unique, IliConstraintSpec.Existence, IliConstraintSpec.Plausibility, IliConstraintSpec.Set

Closed, discriminated authoring contract for the five INTERLIS constraint kinds.

The type discriminator is deliberately part of the JSON contract. It prevents combinations such as EXISTENCE fields on a UNIQUE constraint from reaching a renderer.

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
static final class	IliConstraintSpec.AllObjectsSpec
static final class	IliConstraintSpec.BooleanSetConditionSpec
static final class	IliConstraintSpec.Existence
static final class	IliConstraintSpec.ExistenceTargetSpec
static enum	IliConstraintSpec.ExpressionKind
static final class	IliConstraintSpec.ExpressionSpec	Recursive semantic expression; raw INTERLIS syntax is intentionally not accepted.
static enum	IliConstraintSpec.FunctionOrigin
static enum	IliConstraintSpec.Kind
static final class	IliConstraintSpec.Mandatory
static final class	IliConstraintSpec.ObjectCountSetConditionSpec
static interface	IliConstraintSpec.ObjectSetSpec
static final class	IliConstraintSpec.PathObjectsSpec
static final class	IliConstraintSpec.Plausibility
static enum	IliConstraintSpec.PlausibilityDirection
static final class	IliConstraintSpec.Set
static interface	IliConstraintSpec.SetConditionSpec
static enum	IliConstraintSpec.SetScope
static final class	IliConstraintSpec.Unique
static enum	IliConstraintSpec.UniqueScope

Field Summary

Fields

Modifier and Type	Field	Description
@Nullable String	iliDoc
@Nullable List<MetaAttributeSpec>	metaAttributes
String	name

Constructor Summary

Constructors

Constructor	Description
IliConstraintSpec()

Method Summary

Modifier and Type	Method	Description
final boolean	hasExternalFunctionSemantics()	True when proof would require semantics not executable from an INTERLIS declaration.
abstract IliConstraintSpec.Kind	kind()

Methods inherited from class java.lang.Object

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

Field Details

name

public String name

iliDoc

public @Nullable String iliDoc

metaAttributes

public @Nullable List<MetaAttributeSpec> metaAttributes

Constructor Details

IliConstraintSpec

public IliConstraintSpec()

Method Details

kind

public abstract IliConstraintSpec.Kind kind()

hasExternalFunctionSemantics

public final boolean hasExternalFunctionSemantics()

True when proof would require semantics not executable from an INTERLIS declaration.