From be4f78978faba3d3ceb88df02a7f93a2e09ff1e0 Mon Sep 17 00:00:00 2001 From: Kenji Hosokawa Date: Tue, 3 Aug 2021 18:42:39 +0900 Subject: Initial commit Bug-AGL: SPEC-4033 Signed-off-by: Kenji Hosokawa --- .../tool/editor/generator/z3/IConstraintGenerator.xtend | 15 +++++++++++++++ 1 file changed, 15 insertions(+) create mode 100644 rba.tool.editor/src/rba/tool/editor/generator/z3/IConstraintGenerator.xtend (limited to 'rba.tool.editor/src/rba/tool/editor/generator/z3/IConstraintGenerator.xtend') diff --git a/rba.tool.editor/src/rba/tool/editor/generator/z3/IConstraintGenerator.xtend b/rba.tool.editor/src/rba/tool/editor/generator/z3/IConstraintGenerator.xtend new file mode 100644 index 0000000..b1e01a9 --- /dev/null +++ b/rba.tool.editor/src/rba/tool/editor/generator/z3/IConstraintGenerator.xtend @@ -0,0 +1,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); +} \ No newline at end of file -- cgit 1.2.3-korg