| validate(int, Object, DiagnosticChain, Map) |   | 53% | | 52% | 129 | 273 | 131 | 277 | 0 | 1 |
| validate_MultiplicityConforms(EObject, EStructuralFeature, DiagnosticChain, Map) | | 34% | | 41% | 13 | 18 | 30 | 53 | 0 | 1 |
| isEcoreString(String) | | 0% | | 0% | 5 | 5 | 3 | 3 | 1 | 1 |
| getUpperBound(EObject, EStructuralFeature) | | 65% | | 25% | 2 | 3 | 2 | 5 | 0 | 1 |
| validateElement(Element, DiagnosticChain, Map) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| validateComment(Comment, DiagnosticChain, Map) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| validateType(Type, DiagnosticChain, Map) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| validateTypedElement(TypedElement, DiagnosticChain, Map) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| validatePropertyType(PropertyType, DiagnosticChain, Map) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| validateAbstractNamedValue(AbstractNamedValue, DiagnosticChain, Map) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| validateArraySizeProperty(ArraySizeProperty, DiagnosticChain, Map) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| validatePropertyExpression(PropertyExpression, DiagnosticChain, Map) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| validatePropertyOwner(PropertyOwner, DiagnosticChain, Map) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| validateClassifier(Classifier, DiagnosticChain, Map) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| validateNamespace(Namespace, DiagnosticChain, Map) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| validateClassifierFeature(ClassifierFeature, DiagnosticChain, Map) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| validateGeneralization(Generalization, DiagnosticChain, Map) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| validateDirectedRelationship(DirectedRelationship, DiagnosticChain, Map) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| validateRelationship(Relationship, DiagnosticChain, Map) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| validateModalElement(ModalElement, DiagnosticChain, Map) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| validateModeFeature(ModeFeature, DiagnosticChain, Map) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| validatePrototype(Prototype, DiagnosticChain, Map) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| validateStructuralFeature(StructuralFeature, DiagnosticChain, Map) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| validateRefinableElement(RefinableElement, DiagnosticChain, Map) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| validateCalledSubprogram(CalledSubprogram, DiagnosticChain, Map) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| validatePrototypeBinding(PrototypeBinding, DiagnosticChain, Map) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| validateBehavioralFeature(BehavioralFeature, DiagnosticChain, Map) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| validateArrayableElement(ArrayableElement, DiagnosticChain, Map) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| validateComponentImplementation(ComponentImplementation, DiagnosticChain, Map) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| validateComponentClassifier(ComponentClassifier, DiagnosticChain, Map) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| validateSubcomponentType(SubcomponentType, DiagnosticChain, Map) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| validateFeatureClassifier(FeatureClassifier, DiagnosticChain, Map) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| validateContext(Context, DiagnosticChain, Map) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| validateTriggerPort(TriggerPort, DiagnosticChain, Map) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| validateComponentType(ComponentType, DiagnosticChain, Map) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| validateFeature(Feature, DiagnosticChain, Map) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| validateFeatureConnectionEnd(FeatureConnectionEnd, DiagnosticChain, Map) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| validateConnectionEnd(ConnectionEnd, DiagnosticChain, Map) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| validateComponentPrototype(ComponentPrototype, DiagnosticChain, Map) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| validateFlowFeature(FlowFeature, DiagnosticChain, Map) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| validateFlow(Flow, DiagnosticChain, Map) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| validateModalPath(ModalPath, DiagnosticChain, Map) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| validateFlowElement(FlowElement, DiagnosticChain, Map) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| validateEndToEndFlowElement(EndToEndFlowElement, DiagnosticChain, Map) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| validateCallContext(CallContext, DiagnosticChain, Map) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| validateDirectedFeature(DirectedFeature, DiagnosticChain, Map) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| validateFeatureGroupConnectionEnd(FeatureGroupConnectionEnd, DiagnosticChain, Map) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| validateFeatureType(FeatureType, DiagnosticChain, Map) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| validateAccess(Access, DiagnosticChain, Map) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| validateAccessConnectionEnd(AccessConnectionEnd, DiagnosticChain, Map) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| validateBusFeatureClassifier(BusFeatureClassifier, DiagnosticChain, Map) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| validateBusSubcomponentType(BusSubcomponentType, DiagnosticChain, Map) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| validateParameterConnectionEnd(ParameterConnectionEnd, DiagnosticChain, Map) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| validatePortConnectionEnd(PortConnectionEnd, DiagnosticChain, Map) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| validateDataSubcomponentType(DataSubcomponentType, DiagnosticChain, Map) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| validateAbstractFeatureClassifier(AbstractFeatureClassifier, DiagnosticChain, Map) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| validatePort(Port, DiagnosticChain, Map) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| validateSubprogramSubcomponentType(SubprogramSubcomponentType, DiagnosticChain, Map) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| validateSubprogramGroupSubcomponentType(SubprogramGroupSubcomponentType, DiagnosticChain, Map) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| validateSubcomponent(Subcomponent, DiagnosticChain, Map) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| validateConnection(Connection, DiagnosticChain, Map) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| validateAbstract(Abstract, DiagnosticChain, Map) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| validateAbstractSubcomponentType(AbstractSubcomponentType, DiagnosticChain, Map) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| validateProcessorFeature(ProcessorFeature, DiagnosticChain, Map) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| validateInternalFeature(InternalFeature, DiagnosticChain, Map) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| validateData(Data, DiagnosticChain, Map) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| validateSubprogramClassifier(SubprogramClassifier, DiagnosticChain, Map) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| validateSubprogram(Subprogram, DiagnosticChain, Map) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| validateAnnexLibrary(AnnexLibrary, DiagnosticChain, Map) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| validateDefaultAnnexLibrary(DefaultAnnexLibrary, DiagnosticChain, Map) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| validatePackageSection(PackageSection, DiagnosticChain, Map) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| validateModelUnit(ModelUnit, DiagnosticChain, Map) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| validatePrivatePackageSection(PrivatePackageSection, DiagnosticChain, Map) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| validateComponentTypeRename(ComponentTypeRename, DiagnosticChain, Map) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| validateFeatureGroupTypeRename(FeatureGroupTypeRename, DiagnosticChain, Map) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| validateFeaturePrototypeActual(FeaturePrototypeActual, DiagnosticChain, Map) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| validateBehavioredImplementation(BehavioredImplementation, DiagnosticChain, Map) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| validateAbstractClassifier(AbstractClassifier, DiagnosticChain, Map) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| validateVirtualProcessorSubcomponentType(VirtualProcessorSubcomponentType, DiagnosticChain, Map) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| validateVirtualBusSubcomponentType(VirtualBusSubcomponentType, DiagnosticChain, Map) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| validateThreadGroupSubcomponentType(ThreadGroupSubcomponentType, DiagnosticChain, Map) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| validateThreadSubcomponentType(ThreadSubcomponentType, DiagnosticChain, Map) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| validateSystemSubcomponentType(SystemSubcomponentType, DiagnosticChain, Map) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| validateProcessSubcomponentType(ProcessSubcomponentType, DiagnosticChain, Map) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| validateMemorySubcomponentType(MemorySubcomponentType, DiagnosticChain, Map) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| validateDeviceSubcomponentType(DeviceSubcomponentType, DiagnosticChain, Map) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| validateProcessorSubcomponentType(ProcessorSubcomponentType, DiagnosticChain, Map) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| validateBus(Bus, DiagnosticChain, Map) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| validateDevice(Device, DiagnosticChain, Map) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| validateMemory(Memory, DiagnosticChain, Map) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| validateProcess(Process, DiagnosticChain, Map) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| validateProcessor(Processor, DiagnosticChain, Map) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| validateSystem(System, DiagnosticChain, Map) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| validateSubprogramGroup(SubprogramGroup, DiagnosticChain, Map) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| validateThread(Thread, DiagnosticChain, Map) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| validateThreadGroup(ThreadGroup, DiagnosticChain, Map) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| validateVirtualBus(VirtualBus, DiagnosticChain, Map) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| validateVirtualProcessor(VirtualProcessor, DiagnosticChain, Map) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| validateBusClassifier(BusClassifier, DiagnosticChain, Map) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| validateBusPrototype(BusPrototype, DiagnosticChain, Map) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| validateDeviceClassifier(DeviceClassifier, DiagnosticChain, Map) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| validateDeviceImplementation(DeviceImplementation, DiagnosticChain, Map) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| validateDevicePrototype(DevicePrototype, DiagnosticChain, Map) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| validateMemoryClassifier(MemoryClassifier, DiagnosticChain, Map) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| validateMemoryPrototype(MemoryPrototype, DiagnosticChain, Map) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| validateSubprogramGroupClassifier(SubprogramGroupClassifier, DiagnosticChain, Map) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| validateSystemClassifier(SystemClassifier, DiagnosticChain, Map) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| validateSystemPrototype(SystemPrototype, DiagnosticChain, Map) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| validateProcessorClassifier(ProcessorClassifier, DiagnosticChain, Map) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| validateProcessorPrototype(ProcessorPrototype, DiagnosticChain, Map) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| validateProcessClassifier(ProcessClassifier, DiagnosticChain, Map) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| validateProcessPrototype(ProcessPrototype, DiagnosticChain, Map) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| validateThreadClassifier(ThreadClassifier, DiagnosticChain, Map) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| validateThreadPrototype(ThreadPrototype, DiagnosticChain, Map) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| validateThreadGroupClassifier(ThreadGroupClassifier, DiagnosticChain, Map) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| validateVirtualBusClassifier(VirtualBusClassifier, DiagnosticChain, Map) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| validateVirtualBusPrototype(VirtualBusPrototype, DiagnosticChain, Map) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| validateVirtualProcessorClassifier(VirtualProcessorClassifier, DiagnosticChain, Map) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| validateVirtualProcessorImplementation(VirtualProcessorImplementation, DiagnosticChain, Map) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| validateVirtualProcessorPrototype(VirtualProcessorPrototype, DiagnosticChain, Map) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| validateNumberValue(NumberValue, DiagnosticChain, Map) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| validateEnumerationLiteral(EnumerationLiteral, DiagnosticChain, Map) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| validateOperation(Operation, DiagnosticChain, Map) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| validateGlobalNamespace(GlobalNamespace, DiagnosticChain, Map) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| validateNonListType(NonListType, DiagnosticChain, Map) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| validateNumberType(NumberType, DiagnosticChain, Map) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| validateEnumerationType(EnumerationType, DiagnosticChain, Map) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| validateNumericRange(NumericRange, DiagnosticChain, Map) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| validateRangeType(RangeType, DiagnosticChain, Map) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| validateRecordField(RecordField, DiagnosticChain, Map) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| validateReferenceType(ReferenceType, DiagnosticChain, Map) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| getResourceLocator() | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| validate_EveryDefaultConstraint(EObject, DiagnosticChain, Map) | | 97% | | 73% | 7 | 14 | 1 | 16 | 0 | 1 |
| validateOperationKind(OperationKind, DiagnosticChain, Map) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| getLowerBound(EObject, EStructuralFeature) | | 95% | | 75% | 1 | 3 | 1 | 5 | 0 | 1 |
| getRedefinitionDetail(EClass, String, String) | | 100% | | 100% | 0 | 5 | 0 | 12 | 0 | 1 |
| validateNamedElement(NamedElement, DiagnosticChain, Map) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| validatePropertyAssociation(PropertyAssociation, DiagnosticChain, Map) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| validateProperty(Property, DiagnosticChain, Map) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| validateBasicProperty(BasicProperty, DiagnosticChain, Map) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| validateMetaclassReference(MetaclassReference, DiagnosticChain, Map) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| validateAnnexSubclause(AnnexSubclause, DiagnosticChain, Map) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| validateMode(Mode, DiagnosticChain, Map) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| validateContainedNamedElement(ContainedNamedElement, DiagnosticChain, Map) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| validateContainmentPathElement(ContainmentPathElement, DiagnosticChain, Map) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| validateArrayRange(ArrayRange, DiagnosticChain, Map) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| validateModalPropertyValue(ModalPropertyValue, DiagnosticChain, Map) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| validateArrayDimension(ArrayDimension, DiagnosticChain, Map) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| validateArraySize(ArraySize, DiagnosticChain, Map) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| validateComponentImplementationReference(ComponentImplementationReference, DiagnosticChain, Map) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| validateModeTransition(ModeTransition, DiagnosticChain, Map) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| validateModeTransitionTrigger(ModeTransitionTrigger, DiagnosticChain, Map) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| validateFlowSpecification(FlowSpecification, DiagnosticChain, Map) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| validateFlowEnd(FlowEnd, DiagnosticChain, Map) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| validateTypeExtension(TypeExtension, DiagnosticChain, Map) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| validateFeatureGroup(FeatureGroup, DiagnosticChain, Map) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| validateFeatureGroupType(FeatureGroupType, DiagnosticChain, Map) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| validateGroupExtension(GroupExtension, DiagnosticChain, Map) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| validateBusAccess(BusAccess, DiagnosticChain, Map) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| validateDataAccess(DataAccess, DiagnosticChain, Map) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| validateDataPort(DataPort, DiagnosticChain, Map) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| validateEventDataPort(EventDataPort, DiagnosticChain, Map) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| validateEventPort(EventPort, DiagnosticChain, Map) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| validateParameter(Parameter, DiagnosticChain, Map) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| validateSubprogramAccess(SubprogramAccess, DiagnosticChain, Map) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| validateSubprogramGroupAccess(SubprogramGroupAccess, DiagnosticChain, Map) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| validateAbstractFeature(AbstractFeature, DiagnosticChain, Map) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| validateFeaturePrototype(FeaturePrototype, DiagnosticChain, Map) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| validateFeatureGroupPrototype(FeatureGroupPrototype, DiagnosticChain, Map) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| validateModeBinding(ModeBinding, DiagnosticChain, Map) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| validateFlowImplementation(FlowImplementation, DiagnosticChain, Map) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| validateFlowSegment(FlowSegment, DiagnosticChain, Map) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| validateConnectedElement(ConnectedElement, DiagnosticChain, Map) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| validateImplementationExtension(ImplementationExtension, DiagnosticChain, Map) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| validateRealization(Realization, DiagnosticChain, Map) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| validateEndToEndFlow(EndToEndFlow, DiagnosticChain, Map) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| validateEndToEndFlowSegment(EndToEndFlowSegment, DiagnosticChain, Map) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| validateAbstractSubcomponent(AbstractSubcomponent, DiagnosticChain, Map) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| validateAccessConnection(AccessConnection, DiagnosticChain, Map) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| validateParameterConnection(ParameterConnection, DiagnosticChain, Map) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| validatePortConnection(PortConnection, DiagnosticChain, Map) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| validateFeatureConnection(FeatureConnection, DiagnosticChain, Map) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| validateFeatureGroupConnection(FeatureGroupConnection, DiagnosticChain, Map) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| validateEventSource(EventSource, DiagnosticChain, Map) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| validateEventDataSource(EventDataSource, DiagnosticChain, Map) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| validateDataClassifier(DataClassifier, DiagnosticChain, Map) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| validatePortProxy(PortProxy, DiagnosticChain, Map) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| validateSubprogramProxy(SubprogramProxy, DiagnosticChain, Map) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| validateDefaultAnnexSubclause(DefaultAnnexSubclause, DiagnosticChain, Map) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| validatePublicPackageSection(PublicPackageSection, DiagnosticChain, Map) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| validatePackageRename(PackageRename, DiagnosticChain, Map) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| validateAadlPackage(AadlPackage, DiagnosticChain, Map) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| validateComponentPrototypeBinding(ComponentPrototypeBinding, DiagnosticChain, Map) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| validateComponentPrototypeActual(ComponentPrototypeActual, DiagnosticChain, Map) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| validateFeatureGroupPrototypeBinding(FeatureGroupPrototypeBinding, DiagnosticChain, Map) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| validateFeatureGroupPrototypeActual(FeatureGroupPrototypeActual, DiagnosticChain, Map) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| validateFeaturePrototypeBinding(FeaturePrototypeBinding, DiagnosticChain, Map) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| validateAccessSpecification(AccessSpecification, DiagnosticChain, Map) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| validatePortSpecification(PortSpecification, DiagnosticChain, Map) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| validateFeaturePrototypeReference(FeaturePrototypeReference, DiagnosticChain, Map) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| validateSubprogramCallSequence(SubprogramCallSequence, DiagnosticChain, Map) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| validateSubprogramCall(SubprogramCall, DiagnosticChain, Map) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| validateAbstractType(AbstractType, DiagnosticChain, Map) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| validateAbstractImplementation(AbstractImplementation, DiagnosticChain, Map) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| validateBusSubcomponent(BusSubcomponent, DiagnosticChain, Map) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| validateDataSubcomponent(DataSubcomponent, DiagnosticChain, Map) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| validateDeviceSubcomponent(DeviceSubcomponent, DiagnosticChain, Map) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| validateMemorySubcomponent(MemorySubcomponent, DiagnosticChain, Map) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| validateProcessSubcomponent(ProcessSubcomponent, DiagnosticChain, Map) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| validateProcessorSubcomponent(ProcessorSubcomponent, DiagnosticChain, Map) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| validateSystemSubcomponent(SystemSubcomponent, DiagnosticChain, Map) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| validateSubprogramSubcomponent(SubprogramSubcomponent, DiagnosticChain, Map) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| validateSubprogramGroupSubcomponent(SubprogramGroupSubcomponent, DiagnosticChain, Map) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| validateThreadSubcomponent(ThreadSubcomponent, DiagnosticChain, Map) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| validateThreadGroupSubcomponent(ThreadGroupSubcomponent, DiagnosticChain, Map) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| validateVirtualBusSubcomponent(VirtualBusSubcomponent, DiagnosticChain, Map) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| validateVirtualProcessorSubcomponent(VirtualProcessorSubcomponent, DiagnosticChain, Map) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| validateAbstractPrototype(AbstractPrototype, DiagnosticChain, Map) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| validateBusType(BusType, DiagnosticChain, Map) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| validateBusImplementation(BusImplementation, DiagnosticChain, Map) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| validateDataType(DataType, DiagnosticChain, Map) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| validateDataImplementation(DataImplementation, DiagnosticChain, Map) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| validateDataPrototype(DataPrototype, DiagnosticChain, Map) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| validateDeviceType(DeviceType, DiagnosticChain, Map) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| validateMemoryType(MemoryType, DiagnosticChain, Map) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| validateMemoryImplementation(MemoryImplementation, DiagnosticChain, Map) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| validateSubprogramType(SubprogramType, DiagnosticChain, Map) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| validateSubprogramImplementation(SubprogramImplementation, DiagnosticChain, Map) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| validateSubprogramPrototype(SubprogramPrototype, DiagnosticChain, Map) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| validateSubprogramGroupType(SubprogramGroupType, DiagnosticChain, Map) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| validateSubprogramGroupImplementation(SubprogramGroupImplementation, DiagnosticChain, Map) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| validateSubprogramGroupPrototype(SubprogramGroupPrototype, DiagnosticChain, Map) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| validateSystemType(SystemType, DiagnosticChain, Map) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| validateSystemImplementation(SystemImplementation, DiagnosticChain, Map) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| validateProcessorType(ProcessorType, DiagnosticChain, Map) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| validateProcessorImplementation(ProcessorImplementation, DiagnosticChain, Map) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| validateProcessType(ProcessType, DiagnosticChain, Map) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| validateProcessImplementation(ProcessImplementation, DiagnosticChain, Map) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| validateThreadType(ThreadType, DiagnosticChain, Map) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| validateThreadImplementation(ThreadImplementation, DiagnosticChain, Map) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| validateThreadGroupType(ThreadGroupType, DiagnosticChain, Map) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| validateThreadGroupImplementation(ThreadGroupImplementation, DiagnosticChain, Map) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| validateThreadGroupPrototype(ThreadGroupPrototype, DiagnosticChain, Map) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| validateVirtualBusType(VirtualBusType, DiagnosticChain, Map) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| validateVirtualBusImplementation(VirtualBusImplementation, DiagnosticChain, Map) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| validateVirtualProcessorType(VirtualProcessorType, DiagnosticChain, Map) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| validateBasicPropertyAssociation(BasicPropertyAssociation, DiagnosticChain, Map) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| validatePropertyConstant(PropertyConstant, DiagnosticChain, Map) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| validateStringLiteral(StringLiteral, DiagnosticChain, Map) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| validatePropertyValue(PropertyValue, DiagnosticChain, Map) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| validateUnitLiteral(UnitLiteral, DiagnosticChain, Map) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| validateClassifierValue(ClassifierValue, DiagnosticChain, Map) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| validateReferenceValue(ReferenceValue, DiagnosticChain, Map) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| validateBooleanLiteral(BooleanLiteral, DiagnosticChain, Map) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| validateRangeValue(RangeValue, DiagnosticChain, Map) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| validateIntegerLiteral(IntegerLiteral, DiagnosticChain, Map) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| validateRealLiteral(RealLiteral, DiagnosticChain, Map) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| validateRecordValue(RecordValue, DiagnosticChain, Map) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| validateComputedValue(ComputedValue, DiagnosticChain, Map) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| validateListValue(ListValue, DiagnosticChain, Map) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| validateNamedValue(NamedValue, DiagnosticChain, Map) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| validatePropertySet(PropertySet, DiagnosticChain, Map) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| validateAadlBoolean(AadlBoolean, DiagnosticChain, Map) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| validateAadlString(AadlString, DiagnosticChain, Map) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| validateAadlInteger(AadlInteger, DiagnosticChain, Map) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| validateUnitsType(UnitsType, DiagnosticChain, Map) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| validateAadlReal(AadlReal, DiagnosticChain, Map) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| validateClassifierType(ClassifierType, DiagnosticChain, Map) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| validateRecordType(RecordType, DiagnosticChain, Map) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| validateListType(ListType, DiagnosticChain, Map) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| static {...} | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| Aadl2Validator() | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| getEPackage() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| validateFlowKind(FlowKind, DiagnosticChain, Map) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| validateDirectionType(DirectionType, DiagnosticChain, Map) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| validateAccessType(AccessType, DiagnosticChain, Map) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| validateAccessCategory(AccessCategory, DiagnosticChain, Map) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| validatePortCategory(PortCategory, DiagnosticChain, Map) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| validateComponentCategory(ComponentCategory, DiagnosticChain, Map) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| validateString(String, DiagnosticChain, Map) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| validateBoolean(boolean, DiagnosticChain, Map) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| validateInteger(long, DiagnosticChain, Map) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| validateReal(double, DiagnosticChain, Map) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |