modelverse/models/Conformance/AToMPM.alc

include "primitives.alh"

Boolean function main(model : Element):
	// Contains three types of models: model, metamodel, and type_mapping.
	// Each with the obvious meanings.

	// Note that this is only a placeholder that serves as a proof of concept.
	// Thus only the check for multiple inheritance is being done, which checks for attributes.
	// A full example is given in the Modelverse's internal conformance relation.

	// Find all instances of classes

	// Figure out the set of required attributes

	// Check if each attribute is there, and satisfies the constraints
	log("Performing conformance check!")

	return True!