"""

@relation(SDOC-SRS-155, scope=file)

"""

QUERY_GRAMMAR = r"""

Query:

 root_expression = BooleanExpression

;

AndExpression:

  '('

  expressions += BooleanExpression

  ('and' expressions += BooleanExpression)+

  ')'

;

OrExpression:

  '('

  expressions += BooleanExpression

  ('or' expressions += BooleanExpression)+

  ')'

;

NotExpression:

  'not'

  expression = BooleanExpression

;

BooleanExpression:

  AndExpression

  |

  OrExpression

  |

  NotExpression

  |

  NodeHasParentRequirementsExpression

  |

  NodeHasChildRequirementsExpression

  |

  AnyInExpression

  |

  AllInExpression

  |

  NoneInExpression

  |

  InExpression

  |

  NotInExpression

  |

  NodeContainsExpression

  |

  NodeContainsAnyFreeTextExpression

  |

  NodeIsRequirementExpression

  |

  NodeIsSectionExpression

  |

  NodeIsSourceFileExpression

  |

  NodeIsSourceFileWithCompleteCoverageExpression

  |

  NodeIsSourceFileWithPartialCoverageExpression

  |

  NodeIsSourceFileWithNoCoverageExpression

  |

  NodeIsRootExpression

  |

  EqualExpression

  |

  NotEqualExpression

;

StringExpression:

  '"' string = /[^"]+/ '"'

;

NoneExpression:

  _ = 'None'

;

StringListExpression:

  '[' strings += StringExpression[','] ']'

;

NodeFieldExpression:

  'node["' field_name = /[A-Za-z0-9]+/ '"]'

;

NodeContainsExpression:

  'node.contains("' string = /[A-Za-z0-9]+/ '")'

;

NodeContainsAnyFreeTextExpression:

  _ = 'node.contains_any_text'

;

NodeHasParentRequirementsExpression:

  _ = 'node.has_parent_requirements'

;

NodeHasChildRequirementsExpression:

  _ = 'node.has_child_requirements'

;

NodeIsRequirementExpression:

  _ = 'node.is_requirement' '()'?

;

NodeIsRootExpression:

  _ = 'node.is_root'

;

NodeIsSectionExpression:

  _ = 'node.is_section' '()'?

;

NodeIsSourceFileExpression:

  _ = 'node.is_source_file()'

;

NodeIsSourceFileWithCompleteCoverageExpression:

  _ = 'node.is_source_file_with_complete_coverage()'

;

NodeIsSourceFileWithPartialCoverageExpression:

  _ = 'node.is_source_file_with_partial_coverage()'

;

NodeIsSourceFileWithNoCoverageExpression:

  _ = 'node.is_source_file_with_no_coverage()'

;

EqualExpression:

  lhs_expr = ComparableExpression '==' rhs_expr = ComparableExpression

;

NotEqualExpression:

  lhs_expr = ComparableExpression '!=' rhs_expr = ComparableExpression

;

ComparableExpression:

  NodeFieldExpression | StringExpression | NoneExpression

;

InExpression:

  lhs_expr = InableLHSExpression 'in' rhs_expr = InableRHSExpression

;

NotInExpression:

  lhs_expr = InableLHSExpression 'not in' rhs_expr = InableRHSExpression

;

AnyInExpression:

  'any' '(' lhs_expr = StringListExpression ')' 'in' rhs_expr = InableRHSExpression

;

AllInExpression:

  'all' '(' lhs_expr = StringListExpression ')' 'in' rhs_expr = InableRHSExpression

;

NoneInExpression:

  'none' '(' lhs_expr = StringListExpression ')' 'in' rhs_expr = InableRHSExpression

;

InableLHSExpression:

  NodeFieldExpression | StringExpression

;

InableRHSExpression:

  NodeFieldExpression | StringExpression

;

"""