public class ViolationCreationProcessor
extends java.lang.Object
implements org.eclipse.viatra.query.runtime.api.IMatchProcessor<org.eclipse.viatra.query.runtime.api.IPatternMatch>
Constructor and Description |
---|
ViolationCreationProcessor(Constraint constraint,
org.apache.log4j.Logger logger,
java.util.Map<ViolationKey,Violation> violationMap) |
Modifier and Type | Method and Description |
---|---|
void |
process(org.eclipse.viatra.query.runtime.api.IPatternMatch match) |
public ViolationCreationProcessor(Constraint constraint, org.apache.log4j.Logger logger, java.util.Map<ViolationKey,Violation> violationMap)