/**
Generated from platform:/resource/hu.bme.mit.massif.simulink.incquery/src/hu/bme/mit/massif/models/simulink/validation/simulinkValidation.vql
*/
package hu.bme.mit.massif.models.simulink.validation;
import java.util.List;
import java.util.Map;
import java.util.Set;
import com.google.common.collect.ImmutableList;
import com.google.common.collect.ImmutableMap;
import com.google.common.collect.ImmutableSet;
import org.eclipse.viatra.addon.validation.core.api.Severity;
import org.eclipse.viatra.addon.validation.core.api.IConstraintSpecification;
import org.eclipse.viatra.query.runtime.api.IPatternMatch;
import org.eclipse.viatra.query.runtime.api.IQuerySpecification;
import org.eclipse.viatra.query.runtime.api.ViatraQueryMatcher;
import org.eclipse.viatra.query.runtime.exception.ViatraQueryException;
import hu.bme.mit.massif.models.simulink.validation.util.IdentifierNameContainsSlashQuerySpecification;
public class IdentifierNameContainsSlashConstraint0 implements IConstraintSpecification {
private IdentifierNameContainsSlashQuerySpecification querySpecification;
public IdentifierNameContainsSlashConstraint0() throws ViatraQueryException {
querySpecification = IdentifierNameContainsSlashQuerySpecification.instance();
}
@Override
public String getMessageFormat() {
return "Identifier $id$ must not contain \'/\'!";
}
@Override
public Map<String,Object> getKeyObjects(IPatternMatch signature) {
Map<String,Object> map = ImmutableMap.of(
"id",signature.get("id")
);
return map;
}
@Override
public List<String> getKeyNames() {
List<String> keyNames = ImmutableList.of(
"id"
);
return keyNames;
}
@Override
public List<String> getPropertyNames() {
List<String> propertyNames = ImmutableList.of(
);
return propertyNames;
}
@Override
public Set<List<String>> getSymmetricPropertyNames() {
Set<List<String>> symmetricPropertyNamesSet = ImmutableSet.<List<String>>of(
);
return symmetricPropertyNamesSet;
}
@Override
public Set<List<String>> getSymmetricKeyNames() {
Set<List<String>> symmetricKeyNamesSet = ImmutableSet.<List<String>>of(
);
return symmetricKeyNamesSet;
}
@Override
public Severity getSeverity() {
return Severity.ERROR;
}
@Override
public IQuerySpecification<? extends ViatraQueryMatcher<? extends IPatternMatch>> getQuerySpecification() {
return querySpecification;
}
}