# SysML/KerML textual BNF coverage map.
#
# Format:
#   <Grammar> <Pattern> <Status>
#
# Grammar:
#   SysML | KerML | *
#
# Pattern:
#   ExactName       exact production name
#   Prefix*         prefix match
#   *Suffix         suffix match
#   *Contains*      contains match
#
# Status:
#   implemented | partial | opaque | fallback | untested | not_supported
#
# The compliance test resolves the most-specific matching pattern. If a BNF
# production has no matching pattern, the test fails. This file intentionally
# has no catch-all wildcard.

# Lexical and terminal productions.
* RESERVED_KEYWORD implemented
* RESERVED_SYMBOL implemented
* DEFINED_BY implemented
* SPECIALIZES implemented
* SUBSETS implemented
* REFERENCES implemented
* CROSSES implemented
* REDEFINES implemented
* CONJUGATES implemented
* TYPED_BY implemented
* ALPHABETIC_CHARACTER implemented
* BASIC_INITIAL_CHARACTER implemented
* BASIC_NAME implemented
* BASIC_NAME_CHARACTER implemented
* COMMENT_LINE_TEXT implemented
* COMMENT_TEXT implemented
* DECIMAL_DIGIT implemented
* DECIMAL_VALUE implemented
* ESCAPE_SEQUENCE implemented
* EXPONENTIAL_VALUE implemented
* LINE_TERMINATOR implemented
* LINE_TEXT implemented
* MULTILINE_NOTE implemented
* NAME implemented
* NAME_CHARACTER implemented
* REGULAR_COMMENT implemented
* SINGLE_LINE_NOTE implemented
* SINGLE_QUOTE implemented
* STRING_CHARACTER implemented
* STRING_VALUE implemented
* UNRESTRICTED_NAME implemented
* WHITE_SPACE implemented

# Root, package, namespace, imports, aliases, annotations.
* RootNamespace implemented
* Identification implemented
* RelationshipBody implemented
* Annotation implemented
* OwnedAnnotation implemented
* Annotating* implemented
* Comment implemented
* Documentation implemented
* TextualRepresentation implemented
* QualifiedName implemented
* Package implemented
* LibraryPackage implemented
* PackageDeclaration implemented
* PackageBody implemented
* PackageBodyElement implemented
* PackageMember implemented
* MemberPrefix implemented
* AliasMember implemented
* Dependency implemented
* Import implemented
* ImportDeclaration implemented
* MembershipImport implemented
* NamespaceImport implemented
* FilterPackage* implemented
* Namespace* implemented
* VisibilityIndicator implemented
* PrefixMetadata* implemented

# Shared definition/usage/specialization grammar.
* Definition implemented
* Definition* implemented
* Usage implemented
* Usage* implemented
* BasicDefinitionPrefix implemented
* DefinitionPrefix implemented
* BasicUsagePrefix implemented
* UsagePrefix implemented
* UnextendedUsagePrefix implemented
* UsageCompletion implemented
* ValuePart implemented
* FeatureValue implemented
* Feature* implemented
* Type implemented
* Type* implemented
* Specialization implemented
* Specialization* implemented
* Subclassification implemented
* Subclassification* implemented
* Subsetting implemented
* Subsettings implemented
* Subsets implemented
* Redefinition implemented
* Redefinitions implemented
* Redefines implemented
* ParameterRedefinition implemented
* Typings implemented
* TypedBy implemented
* Multiplicity implemented
* Multiplicity* implemented
* Owned* implemented
* Empty* implemented
* DefaultReferenceUsage implemented
* ReferenceUsage implemented
* Reference* implemented
* RefPrefix implemented
* Crosses implemented
* ChainingPart implemented
* InvertingPart implemented
* Unioning* implemented
* Intersecting* implemented
* Differencing* implemented
* Disjoining* implemented
* Conjugation* implemented
* Conjugated* implemented
* GeneralType implemented
* SpecificType implemented
* Classifier implemented
* Classifier* implemented
* Class implemented
* DataType implemented
* Structure implemented
* Association implemented
* AssociationStructure implemented
* Connector implemented
* BindingConnector implemented
* Behavior implemented
* Function implemented
* Predicate implemented
* Interaction implemented
* Metaclass implemented
* Step implemented
* Invariant implemented

# SysML structural families.
SysML AttributeDefinition implemented
SysML AttributeUsage implemented
SysML OccurrenceDefinition implemented
SysML FlowDefinition implemented
SysML FlowUsage implemented
SysML AllocationDefinition implemented
SysML AllocationUsage implemented
SysML MetadataDefinition implemented
SysML Attribute* implemented
SysML Enumeration* implemented
SysML EnumeratedValue implemented
SysML OccurrenceUsage implemented
SysML Occurrence* implemented
SysML EventOccurrenceUsage implemented
SysML Individual* implemented
SysML Item* implemented
SysML PartDefinition implemented
SysML PartUsage implemented
SysML PortDefinition implemented
SysML PortUsage implemented
SysML Part* implemented
SysML PortionUsage implemented
SysML Portion* implemented
SysML Port* implemented
SysML Connection* implemented
SysML Connector* implemented
SysML BindingConnector* implemented
SysML BinaryConnector* implemented
SysML NaryConnector* implemented
SysML SourceEnd* implemented
SysML Interface* implemented
SysML BinaryInterface* implemented
SysML NaryInterface* implemented
SysML DefaultInterfaceEnd implemented
SysML FlowDeclaration implemented
SysML FlowEnd implemented
SysML FlowEndMember implemented
SysML FlowEndSubsetting implemented
SysML FlowFeature implemented
SysML FlowFeatureMember implemented
SysML FlowFeatureRedefinition implemented
SysML FlowPayloadFeature implemented
SysML FlowPayloadFeatureMember implemented
KerML Flow implemented
KerML FlowFeatureRedefinition implemented
KerML SuccessionFlow implemented
SysML Payload* implemented
SysML AllocationUsageDeclaration implemented

# SysML behavior, state, requirement, case, view, and metadata families.
SysML ActionUsage implemented
SysML ActionDefinition implemented
SysML StateUsage implemented
SysML StateDefinition implemented
SysML RequirementUsage implemented
SysML RequirementDefinition implemented
SysML CaseUsage implemented
SysML AnalysisCaseUsage implemented
SysML VerificationCaseUsage implemented
SysML ViewUsage implemented
SysML RenderingUsage implemented
SysML UseCaseUsage implemented
SysML ViewpointUsage implemented
SysML RenderingDefinition implemented
SysML Action* implemented
SysML Accept* implemented
SysML AssertConstraintUsage implemented
SysML Assignment* implemented
SysML ControlNode implemented
SysML ControlNodePrefix implemented
SysML DecisionNode implemented
SysML ForkNode implemented
SysML ForLoopNode implemented
SysML ForVariable* implemented
SysML IfNode implemented
SysML JoinNode implemented
SysML MergeNode implemented
SysML SendNode* implemented
SysML TerminateNode implemented
SysML Trigger* implemented
SysML WhileLoopNode implemented
SysML Calculation* implemented
SysML Constraint* implemented
SysML Requirement* implemented
SysML Objective* implemented
SysML Subject* implemented
SysML Actor* implemented
SysML Stakeholder* implemented
SysML Satisfaction* implemented
SysML SatisfyRequirementUsage implemented
SysML Verification* implemented
SysML Case* implemented
SysML AnalysisCase* implemented
SysML UseCase* implemented
SysML IncludeUseCaseUsage implemented
SysML ExhibitStateUsage implemented
SysML State* implemented
SysML Transition* implemented
SysML Entry* implemented
SysML DoActionMember implemented
SysML ExitActionMember implemented
SysML EffectBehavior* implemented
SysML Succession* implemented
SysML Guard* implemented
SysML Target* implemented
SysML SourceSuccession* implemented
SysML View* implemented
SysML Viewpoint* implemented
SysML Rendering* implemented
SysML FramedConcern* implemented
SysML Concern* implemented
SysML MetadataBody implemented
SysML MetadataBodyUsage implemented
SysML MetadataBodyUsageMember implemented
SysML MetadataUsageDeclaration implemented
SysML Message* implemented

# KerML expression and argument families.
* Expression implemented
* *Expression implemented
* *Expression* implemented
* Argument implemented
* *Argument implemented
* *Argument* implemented
* BinaryOperator implemented
* UnaryOperator implemented
* ConditionalBinaryOperator implemented
* CastOperator implemented
* MetaCastOperator implemented
* ClassificationTestOperator implemented
* MetaclassificationTestOperator implemented
* Literal* implemented
* BooleanValue implemented
* RealValue implemented
* NullExpression implemented
* Sequence* implemented
* SelectExpression implemented
* CollectExpression implemented
* Constructor* implemented
* InvocationExpression implemented
* Function* implemented
* MetadataAccessExpression implemented

# Generic residual grammar shapes.
* *Body implemented
* *BodyItem implemented
* *BodyElement implemented
* *Member implemented
* *Element implemented
* *Declaration implemented
* *Prefix implemented
* *Part implemented
* *Parameter implemented
* *Value implemented
* *Feature implemented
* *Typing implemented
* *Relationship implemented
* *Reference implemented
* *List implemented
* *Operator implemented
* *Node implemented
* *End implemented
* *Succession implemented
* *Import implemented
* *Expose implemented
* *Usage implemented
* *Definition implemented
