public class ConstraintSpecification extends java.lang.Object implements IConstraintSpecification
| Modifier and Type | Class and Description |
|---|---|
static class |
ConstraintSpecification.ConstraintSpecificationBuilder
Static builder class provided to construct ConstraintSpecification instances.
|
| Modifier and Type | Method and Description |
|---|---|
java.util.List<java.lang.String> |
getKeyNames()
Returns the key parameter names of the constraint specification.
|
java.util.Map<java.lang.String,java.lang.Object> |
getKeyObjects(IPatternMatch signature)
Returns the key objects (parameter names with the corresponding EObject objects) of a violation for the given
pattern match.
|
java.lang.String |
getMessageFormat()
Returns the format message of the constraint specification to compose the corresponding message for a particular
violation of the constraint.
|
java.util.List<java.lang.String> |
getPropertyNames()
Returns the property parameter names of the constraint specification.
|
IQuerySpecification<? extends ViatraQueryMatcher<? extends IPatternMatch>> |
getQuerySpecification()
Returns the VIATRA Query-specific query specification of the constraint specification.
|
Severity |
getSeverity()
Returns the severity of the violations corresponding to the constraint specified by the constraint specification.
|
java.util.Set<java.util.List<java.lang.String>> |
getSymmetricKeyNames()
Returns the lists of symmetric key parameter names, where the permutation of the same objects for the parameters
count as the same key, thus the same violation.
|
java.util.Set<java.util.List<java.lang.String>> |
getSymmetricPropertyNames()
Returns the lists symmetric parameter names, where the permutation of the same objects for the parameters count
as the same match.
|
public java.lang.String getMessageFormat()
IConstraintSpecificationgetMessageFormat in interface IConstraintSpecificationpublic java.util.Map<java.lang.String,java.lang.Object> getKeyObjects(IPatternMatch signature)
IConstraintSpecificationgetKeyObjects in interface IConstraintSpecificationsignature - The pattern match for which the key objects should be retrieved.public java.util.List<java.lang.String> getKeyNames()
IConstraintSpecificationgetKeyNames in interface IConstraintSpecificationpublic java.util.List<java.lang.String> getPropertyNames()
IConstraintSpecificationgetPropertyNames in interface IConstraintSpecificationpublic Severity getSeverity()
IConstraintSpecificationgetSeverity in interface IConstraintSpecificationpublic java.util.Set<java.util.List<java.lang.String>> getSymmetricPropertyNames()
IConstraintSpecificationgetSymmetricPropertyNames in interface IConstraintSpecificationpublic java.util.Set<java.util.List<java.lang.String>> getSymmetricKeyNames()
IConstraintSpecificationgetSymmetricKeyNames in interface IConstraintSpecificationpublic IQuerySpecification<? extends ViatraQueryMatcher<? extends IPatternMatch>> getQuerySpecification()
IConstraintSpecificationgetQuerySpecification in interface IConstraintSpecification