package org.eclipse.qvto.examples.xtext.imperativeocl.cs2as;
import org.eclipse.jdt.annotation.NonNull;
import org.eclipse.ocl.pivot.internal.utilities.EnvironmentFactoryInternal;
import org.eclipse.ocl.pivot.resource.ASResource;
import org.eclipse.ocl.xtext.base.cs2as.CS2ASConversion;
import org.eclipse.ocl.xtext.base.utilities.BaseCSResource;
import org.eclipse.ocl.xtext.essentialocl.cs2as.EssentialOCLCS2AS;
import org.eclipse.xtext.diagnostics.IDiagnosticConsumer;
public class ImperativeOCLCS2AS extends EssentialOCLCS2AS {
public ImperativeOCLCS2AS(@NonNull EnvironmentFactoryInternal environmentFactory,
@NonNull BaseCSResource csResource, @NonNull ASResource asResource) {
super(environmentFactory, csResource, asResource);
}
@Override
protected @NonNull CS2ASConversion createConversion(@NonNull IDiagnosticConsumer diagnosticsConsumer,
@NonNull BaseCSResource csResource) {
return new NewCS2AS(this, diagnosticsConsumer);
}
}