blob: b1e01a95e513529d3540a0e7e6bce5462580707e (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
|
package rba.tool.editor.generator.z3
import org.eclipse.emf.ecore.resource.ResourceSet
import org.eclipse.xtext.generator.IFileSystemAccess2
import org.eclipse.xtext.generator.IGenerator2
import org.eclipse.xtext.generator.IGeneratorContext
interface IConstraintGenerator extends IGenerator2 {
def void doGenerate(ResourceSet input, IFileSystemAccess2 fsa, IGeneratorContext context);
def void beforeGenerate(ResourceSet input, IFileSystemAccess2 fsa, IGeneratorContext context);
def void afterGenerate(ResourceSet input, IFileSystemAccess2 fsa, IGeneratorContext context);
}
|