package hu.bme.mit.inf.dslreasoner.run

import hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra.ModelGenerationMethod
import hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation
import hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner.ModelGenerationMethodBasedGlobalConstraint
import org.eclipse.viatra.dse.base.ThreadContext
import org.eclipse.viatra.query.runtime.api.ViatraQueryMatcher

class SGraphInconsistencyDetector extends ModelGenerationMethodBasedGlobalConstraint {
	
	var PartialInterpretation partialInterpretation
	var ViatraQueryMatcher<?> noEntry
	var ViatraQueryMatcher<?> entryHasNoOutgoing
	var ViatraQueryMatcher<?>  choiceHasNoOutgiong
	var ViatraQueryMatcher<?>  choiceHasNoIncoming
	//var ViatraQueryMatcher<?> noSynch
	var ViatraQueryMatcher<?> synchronizationHasNoOutgoing
	
	var ViatraQueryMatcher<?> synchronizedSiblingRegions
	var ViatraQueryMatcher<?> noStateInRegion
	
	new(ModelGenerationMethod method) {
		super(method)
	}
	
	override getName() {
		return SGraphInconsistencyDetector.simpleName
	}
	
	override init(ThreadContext context) {
		partialInterpretation = context.model as PartialInterpretation
		
		try{
			this.noEntry = method.unfinishedWF.filter[
				it.fullyQualifiedName.equals("unfinishedBy_pattern_hu_bme_mit_inf_dslreasoner_partialsnapshot_mavo_yakindu_noEntryInRegion")
			].head.getMatcher(context.queryEngine)
			
			this.entryHasNoOutgoing = method.unfinishedWF.filter[
				it.fullyQualifiedName.equals("unfinishedBy_pattern_hu_bme_mit_inf_dslreasoner_partialsnapshot_mavo_yakindu_noOutgoingTransitionFromEntry")
			].head.getMatcher(context.queryEngine)
			
			this.noStateInRegion = method.unfinishedWF.filter[
				it.fullyQualifiedName.equals("unfinishedBy_pattern_hu_bme_mit_inf_dslreasoner_partialsnapshot_mavo_yakindu_noStateInRegion")
			].head.getMatcher(context.queryEngine)
			
			this.choiceHasNoOutgiong = method.unfinishedWF.filter[
				it.fullyQualifiedName.equals("unfinishedBy_pattern_hu_bme_mit_inf_dslreasoner_partialsnapshot_mavo_yakindu_choiceHasNoOutgoing")
			].head.getMatcher(context.queryEngine)
			
//			this.choiceHasNoIncoming = method.unfinishedWF.filter[
//				it.fullyQualifiedName.equals("unfinishedBy_pattern_hu_bme_mit_inf_dslreasoner_partialsnapshot_mavo_yakindu_choiceHasNoIncoming")
//			].head.getMatcher(context.queryEngine)
		} catch(Exception e) {	}
		try{
//			this.noSynch = method.unfinishedWF.filter[
//				it.fullyQualifiedName.equals("unfinishedBy_pattern_hu_bme_mit_inf_dslreasoner_partialsnapshot_mavo_yakindu_noSynch")
//			].head.getMatcher(context.queryEngine)
//			
			this.synchronizedSiblingRegions = method.unfinishedWF.filter[
				it.fullyQualifiedName.equals("unfinishedBy_pattern_hu_bme_mit_inf_dslreasoner_partialsnapshot_mavo_yakindu_SynchronizedRegionDoesNotHaveMultipleRegions")
			].head.getMatcher(context.queryEngine)
			
			this.synchronizationHasNoOutgoing = method.unfinishedWF.filter[
				it.fullyQualifiedName.equals("unfinishedBy_pattern_hu_bme_mit_inf_dslreasoner_partialsnapshot_mavo_yakindu_synchHasNoOutgoing")
			].head.getMatcher(context.queryEngine)
		} catch(Exception e) {	}
	}
	
	override checkGlobalConstraint(ThreadContext context) {
		if(noEntry !== null) {
			var requiredNewObjects = 
				noEntry.countMatches*2 +
				entryHasNoOutgoing.countMatches + 
				choiceHasNoOutgiong.countMatches+
				//choiceHasNoIncoming.countMatches+
				noStateInRegion.countMatches
			if(synchronizationHasNoOutgoing!= null) {
				requiredNewObjects += 
					//noSynch.countMatches*2 + 
					synchronizationHasNoOutgoing.countMatches +
					synchronizedSiblingRegions.countMatches*4 
			}
				
			val availableNewObjects = partialInterpretation.maxNewElements
			val res = availableNewObjects >= requiredNewObjects
			//println('''[«availableNewObjects» >= «requiredNewObjects»] = «res»''')
			return res
		} else {
			true
		}
		
	}
	override createNew() {
		return new SGraphInconsistencyDetector(this.method)
	}
//	
//	def hasSynchronization() {
//		this.partialInterpretation.partialtypeinterpratation.
//	}
}