public static class ConstraintSpecification.ConstraintSpecificationBuilder
extends java.lang.Object
Constructor and Description |
---|
ConstraintSpecification.ConstraintSpecificationBuilder(org.eclipse.viatra.query.runtime.api.IQuerySpecification<? extends org.eclipse.viatra.query.runtime.api.ViatraQueryMatcher<? extends org.eclipse.viatra.query.runtime.api.IPatternMatch>> querySpecification,
java.lang.String messageFormat,
Severity severity) |
Modifier and Type | Method and Description |
---|---|
ConstraintSpecification |
build() |
ConstraintSpecification.ConstraintSpecificationBuilder |
keyNames(java.util.List<java.lang.String> keyNames) |
ConstraintSpecification.ConstraintSpecificationBuilder |
symmetricParameters(java.util.List<java.lang.String> symmetricParameters) |
public ConstraintSpecification.ConstraintSpecificationBuilder(org.eclipse.viatra.query.runtime.api.IQuerySpecification<? extends org.eclipse.viatra.query.runtime.api.ViatraQueryMatcher<? extends org.eclipse.viatra.query.runtime.api.IPatternMatch>> querySpecification, java.lang.String messageFormat, Severity severity)
querySpecification
- messageFormat
- severity
- public ConstraintSpecification.ConstraintSpecificationBuilder keyNames(java.util.List<java.lang.String> keyNames)
keyNames
- public ConstraintSpecification.ConstraintSpecificationBuilder symmetricParameters(java.util.List<java.lang.String> symmetricParameters)
symmetricParameters
- public ConstraintSpecification build()