module ca.mcgill.ecse.dslreasoner.GenerateVampireLanguage

import org.eclipse.xtext.xtext.generator.*
import org.eclipse.xtext.xtext.generator.model.project.*

var rootPath = ".."

Workflow {
	//TODO
	component = XtextGenerator {
		configuration = {
			project = StandardProjectConfig {
				baseName = "ca.mcgill.ecse.dslreasoner.vampire.language"
				rootPath = rootPath
				runtimeTest = {
					enabled = true
				}
				eclipsePlugin = {
					enabled = true
				}
				eclipsePluginTest = {
					enabled = true
				}
				createEclipseMetaData = true
			}
			code = {
				encoding = "UTF-8"
				lineDelimiter = "\r\n"
				fileHeader = "/*\n * generated by Xtext \${version}\n */"
			}
		}
		language = StandardLanguage {
			name = "ca.mcgill.ecse.dslreasoner.VampireLanguage"
			fileExtensions = "tptp"

			serializer = {
				generateStub = false
			}
			validator = {
				// composedCheck = "org.eclipse.xtext.validation.NamesAreUniqueValidator"
			}
			formatter={
				generateStub=true
			}
		}
	}
}