rba.tool.editor/src/rba/tool/editor/generator/z3/IConstraintGenerator.xtend


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);
}