# autogenerated from MPS
from util.parser import load_parser
from util.test_script_base import Test

class ProverTest(Test):

	def __init__(self, args):
		Test.__init__(self)


		#============TRANSFORMATION=================
		self.full_transformation = []
		self.full_transformation.append(['H02Package2ERModel',]) #L1
		self.full_transformation.append(['H03Class2EntityType',]) #L2
		self.full_transformation.append(['H05aProperty2AttributeNoType','H05bProperty2AttributeType',]) #L3
		self.full_transformation.append(['H07Property2WeakReference','H08Property2StrongReference',]) #L5
		self.full_transformation.append(['H09ConnectClass',]) #L7
		self.full_transformation.append(['H10ConnectProperty',]) #L8
		self.full_transformation.append(['H11ConnectReference',]) #L9
		self.artifact_directory = "~/Projects/SyVOLT/"
		self.transformation_directory = "UML2ER/transformation/"


		#=====METAMODELS=================
		self.inputMM = "~/Projects/SyVOLT/UML2ER/UML.ecore"
		self.outputMM = "~/Projects/SyVOLT/UML2ER/ER.ecore"


		#====CONTRACTS==================
		if not hasattr(args, "integration_contracts") or args.integration_contracts:
			self.contract_directory = "UML2ER/contracts/"
			self.atomic_contracts = [
				"Contract02",
				"Contract03",
				"Contract05",
				"Contract06",
				"Contract07",
				"Contract08",
				"Contract09",
				"Contract10",
				"Contract12a",
				"Contract12b",
				#			"Contract13Then",
				#			"Contract13If",
				#			"Contract14Then",
				#			"Contract14If",
			]
			self.if_then_contracts = [
				[["Contract13If"], ["Contract13Then"]],
				[["Contract14If"], ["Contract14Then"]],
			]
		else:
			self.contract_directory = "ExFamToPerson/contracts/unit"

			self.atomic_contracts = [
				"ContractUnitR02",
				"ContractUnitR03",
				"ContractUnitR05a",
				"ContractUnitR05b",
				"ContractUnitR07",
				"ContractUnitR08",
				"ContractUnitR09",
				"ContractUnitR10",
				"ContractUnitR14",
			]
		self.if_then_contracts = []




		#=========PC SAVE LOCATION

		self.pc_save_filename = "pcs_UML2ER.txt"



if __name__ == "__main__":
	parser = load_parser()
	args = parser.parse_args()

	test = ProverTest(args)
	test.test_correct(args)

# autogenerated from MPS
from util.parser import load_parser
from util.test_script_base import Test

class ProverTest(Test):

	def __init__(self, args):
		Test.__init__(self)


		#============TRANSFORMATION=================
		self.full_transformation = []
		self.full_transformation.append(['H02Package2ERModel',]) #L1
		self.full_transformation.append(['H03Class2EntityType',]) #L2
		self.full_transformation.append(['H05aProperty2AttributeNoType','H05bProperty2AttributeType',]) #L3
		self.full_transformation.append(['H07Property2WeakReference','H08Property2StrongReference',]) #L5
		self.full_transformation.append(['H09ConnectClass',]) #L7
		self.full_transformation.append(['H10ConnectProperty',]) #L8
		self.full_transformation.append(['H11ConnectReference',]) #L9
		self.artifact_directory = "~/Projects/SyVOLT/"
		self.transformation_directory = "UML2ER/transformation/"


		#=====METAMODELS=================
		self.inputMM = "~/Projects/SyVOLT/UML2ER/UML.ecore"
		self.outputMM = "~/Projects/SyVOLT/UML2ER/ER.ecore"


		#====CONTRACTS==================
		if not hasattr(args, "integration_contracts") or args.integration_contracts:
			self.contract_directory = "UML2ER/contracts/"
			self.atomic_contracts = [
				"Contract02",
				"Contract03",
				"Contract05",
				"Contract06",
				"Contract07",
				"Contract08",
				"Contract09",
				"Contract10",
				"Contract12a",
				"Contract12b",
				#			"Contract13Then",
				#			"Contract13If",
				#			"Contract14Then",
				#			"Contract14If",
			]
			self.if_then_contracts = [
				[["Contract13If"], ["Contract13Then"]],
				[["Contract14If"], ["Contract14Then"]],
			]
		else:
			self.contract_directory = "UML2ER/contracts/unit"

			self.atomic_contracts = [
				"ContractUnitR02",
				"ContractUnitR03",
				"ContractUnitR05a",
				"ContractUnitR05b",
				"ContractUnitR07",
				"ContractUnitR08",
				"ContractUnitR09",
				"ContractUnitR10",
				"ContractUnitR14",
			]
		self.if_then_contracts = []




		#=========PC SAVE LOCATION

		self.pc_save_filename = "pcs_UML2ER.txt"



if __name__ == "__main__":
	parser = load_parser()
	args = parser.parse_args()

	test = ProverTest(args)
	test.test_correct(args)

Use correct uml2er unit contracts directory.