Coverage report: 93%

Files Functions Classes

coverage.py v7.16.2, created at 2026-09-30 11:03 +0000

      Statements   Branches   Total
File function   coverage statements missing excluded   coverage branches partial   coverage
trlc.py (no function)   100% 2 0 2   100% 0 0   100%
trlc/__init__.py (no function)   100% 0 0 0   100% 0 0   100%
trlc/ast.py Value.__init__   100% 7 0 0   100% 0 0   100%
trlc/ast.py Value.__eq__   100% 1 0 0   100% 0 0   100%
trlc/ast.py Value.__repr__   100% 0 0 1   100% 0 0   100%
trlc/ast.py Value.resolve_references   0% 3 3 0   0% 2 0   0%
trlc/ast.py Node.__init__   100% 2 0 0   100% 0 0   100%
trlc/ast.py Node.set_ast_link   100% 2 0 0   100% 0 0   100%
trlc/ast.py Node.write_indent   100% 0 0 4   100% 0 0   100%
trlc/ast.py Node.dump   100% 0 0 42   100% 0 0   100%
trlc/ast.py Check_Block.__init__   100% 4 0 0   100% 0 0   100%
trlc/ast.py Check_Block.add_check   100% 2 0 0   100% 0 0   100%
trlc/ast.py Check_Block.dump   100% 0 0 4   100% 0 0   100%
trlc/ast.py Compilation_Unit.__init__   100% 7 0 0   100% 0 0   100%
trlc/ast.py Compilation_Unit.dump   100% 0 0 6   100% 0 0   100%
trlc/ast.py Compilation_Unit.set_package   100% 2 0 0   100% 0 0   100%
trlc/ast.py Compilation_Unit.add_import   93% 14 1 0   88% 8 1   91%
trlc/ast.py Compilation_Unit.resolve_imports   100% 14 0 0   100% 6 0   100%
trlc/ast.py Compilation_Unit.covered_by_wildcard   100% 5 0 0   75% 4 1   89%
trlc/ast.py Compilation_Unit.mark_import_used   100% 7 0 0   100% 4 0   100%
trlc/ast.py Compilation_Unit.is_visible   100% 4 0 0   100% 2 0   100%
trlc/ast.py Compilation_Unit.add_item   100% 2 0 0   100% 0 0   100%
trlc/ast.py Check.__init__   100% 15 0 0   100% 0 0   100%
trlc/ast.py Check.uses_field_access   100% 3 0 0   100% 2 0   100%
trlc/ast.py Check.dump   100% 0 0 9   100% 0 0   100%
trlc/ast.py Check.get_real_location   100% 7 0 0   100% 4 0   100%
trlc/ast.py Check.perform   100% 17 0 0   100% 8 0   100%
trlc/ast.py Expression.__init__   100% 3 0 0   100% 0 0   100%
trlc/ast.py Expression.evaluate   100% 0 0 24   100% 0 0   100%
trlc/ast.py Expression.to_string   100% 0 0 1   100% 0 0   100%
trlc/ast.py Expression.ensure_type   100% 7 0 0   100% 6 0   100%
trlc/ast.py Expression.resolve_references   100% 1 0 0   100% 0 0   100%
trlc/ast.py Expression.can_be_null   100% 0 0 13   100% 0 0   100%
trlc/ast.py Expression.uses_field_access   100% 1 0 0   100% 0 0   100%
trlc/ast.py Implicit_Null.__init__   100% 3 0 0   100% 0 0   100%
trlc/ast.py Implicit_Null.to_string   0% 1 1 0   100% 0 0   0%
trlc/ast.py Implicit_Null.evaluate   100% 4 0 0   100% 0 0   100%
trlc/ast.py Implicit_Null.to_python_object   100% 1 0 0   100% 0 0   100%
trlc/ast.py Implicit_Null.dump   100% 0 0 1   100% 0 0   100%
trlc/ast.py Implicit_Null.can_be_null   0% 1 1 0   100% 0 0   0%
trlc/ast.py Literal.to_python_object   100% 0 0 1   100% 0 0   100%
trlc/ast.py Null_Literal.__init__   100% 4 0 0   100% 0 0   100%
trlc/ast.py Null_Literal.dump   100% 0 0 1   100% 0 0   100%
trlc/ast.py Null_Literal.to_string   100% 1 0 0   100% 0 0   100%
trlc/ast.py Null_Literal.evaluate   100% 4 0 0   100% 0 0   100%
trlc/ast.py Null_Literal.to_python_object   0% 1 1 0   100% 0 0   0%
trlc/ast.py Null_Literal.can_be_null   0% 1 1 0   100% 0 0   0%
trlc/ast.py Integer_Literal.__init__   100% 5 0 0   100% 0 0   100%
trlc/ast.py Integer_Literal.dump   100% 0 0 1   100% 0 0   100%
trlc/ast.py Integer_Literal.to_string   100% 1 0 0   100% 0 0   100%
trlc/ast.py Integer_Literal.evaluate   100% 4 0 0   100% 0 0   100%
trlc/ast.py Integer_Literal.to_python_object   100% 1 0 0   100% 0 0   100%
trlc/ast.py Integer_Literal.can_be_null   0% 1 1 0   100% 0 0   0%
trlc/ast.py Decimal_Literal.__init__   100% 5 0 0   100% 0 0   100%
trlc/ast.py Decimal_Literal.dump   100% 0 0 1   100% 0 0   100%
trlc/ast.py Decimal_Literal.to_string   100% 1 0 0   100% 0 0   100%
trlc/ast.py Decimal_Literal.evaluate   100% 4 0 0   100% 0 0   100%
trlc/ast.py Decimal_Literal.to_python_object   100% 1 0 0   100% 0 0   100%
trlc/ast.py Decimal_Literal.can_be_null   0% 1 1 0   100% 0 0   0%
trlc/ast.py String_Literal.__init__   100% 7 0 0   100% 0 0   100%
trlc/ast.py String_Literal.dump   100% 0 0 5   100% 0 0   100%
trlc/ast.py String_Literal.to_string   100% 1 0 0   100% 0 0   100%
trlc/ast.py String_Literal.evaluate   100% 4 0 0   100% 0 0   100%
trlc/ast.py String_Literal.to_python_object   100% 1 0 0   100% 0 0   100%
trlc/ast.py String_Literal.resolve_references   100% 3 0 0   100% 2 0   100%
trlc/ast.py String_Literal.can_be_null   0% 1 1 0   100% 0 0   0%
trlc/ast.py Boolean_Literal.__init__   100% 6 0 0   100% 0 0   100%
trlc/ast.py Boolean_Literal.dump   100% 0 0 1   100% 0 0   100%
trlc/ast.py Boolean_Literal.to_string   100% 1 0 0   100% 0 0   100%
trlc/ast.py Boolean_Literal.evaluate   100% 4 0 0   100% 0 0   100%
trlc/ast.py Boolean_Literal.to_python_object   100% 1 0 0   100% 0 0   100%
trlc/ast.py Boolean_Literal.can_be_null   0% 1 1 0   100% 0 0   0%
trlc/ast.py Enumeration_Literal.__init__   100% 3 0 0   100% 0 0   100%
trlc/ast.py Enumeration_Literal.dump   100% 0 0 3   100% 0 0   100%
trlc/ast.py Enumeration_Literal.to_string   100% 1 0 0   100% 0 0   100%
trlc/ast.py Enumeration_Literal.evaluate   100% 4 0 0   100% 0 0   100%
trlc/ast.py Enumeration_Literal.to_python_object   100% 1 0 0   100% 0 0   100%
trlc/ast.py Enumeration_Literal.can_be_null   0% 1 1 0   100% 0 0   0%
trlc/ast.py Array_Aggregate.__init__   100% 2 0 0   100% 0 0   100%
trlc/ast.py Array_Aggregate.dump   100% 0 0 3   100% 0 0   100%
trlc/ast.py Array_Aggregate.append   100% 2 0 0   100% 0 0   100%
trlc/ast.py Array_Aggregate.to_string   0% 1 1 0   100% 0 0   0%
trlc/ast.py Array_Aggregate.evaluate   100% 4 0 0   100% 0 0   100%
trlc/ast.py Array_Aggregate.resolve_references   100% 3 0 0   100% 2 0   100%
trlc/ast.py Array_Aggregate.to_python_object   100% 1 0 0   100% 0 0   100%
trlc/ast.py Array_Aggregate.can_be_null   0% 1 1 0   100% 0 0   0%
trlc/ast.py Array_Aggregate.uses_field_access   0% 1 1 0   100% 0 0   0%
trlc/ast.py Tuple_Aggregate.__init__   100% 2 0 0   100% 0 0   100%
trlc/ast.py Tuple_Aggregate.assign   100% 4 0 0   100% 0 0   100%
trlc/ast.py Tuple_Aggregate.dump   100% 0 0 5   100% 0 0   100%
trlc/ast.py Tuple_Aggregate.to_string   0% 16 16 0   0% 12 0   0%
trlc/ast.py Tuple_Aggregate.evaluate   100% 4 0 0   100% 0 0   100%
trlc/ast.py Tuple_Aggregate.resolve_references   100% 3 0 0   100% 2 0   100%
trlc/ast.py Tuple_Aggregate.to_python_object   100% 1 0 0   100% 0 0   100%
trlc/ast.py Tuple_Aggregate.can_be_null   0% 1 1 0   100% 0 0   0%
trlc/ast.py Tuple_Aggregate.uses_field_access   0% 1 1 0   100% 0 0   0%
trlc/ast.py Record_Reference.__init__   100% 8 0 0   100% 0 0   100%
trlc/ast.py Record_Reference.dump   100% 0 0 2   100% 0 0   100%
trlc/ast.py Record_Reference.to_string   0% 1 1 0   100% 0 0   0%
trlc/ast.py Record_Reference.evaluate   100% 4 0 0   100% 0 0   100%
trlc/ast.py Record_Reference.resolve_references   100% 9 0 0   100% 8 0   100%
trlc/ast.py Record_Reference.to_python_object   100% 1 0 0   100% 0 0   100%
trlc/ast.py Record_Reference.can_be_null   0% 1 1 0   100% 0 0   0%
trlc/ast.py Name_Reference.__init__   100% 3 0 0   100% 0 0   100%
trlc/ast.py Name_Reference.dump   100% 0 0 1   100% 0 0   100%
trlc/ast.py Name_Reference.to_string   100% 1 0 0   100% 0 0   100%
trlc/ast.py Name_Reference.evaluate   100% 7 0 0   100% 2 0   100%
trlc/ast.py Name_Reference.can_be_null   0% 3 3 0   0% 2 0   0%
trlc/ast.py Unary_Expression.__init__   100% 18 0 1   100% 10 0   100%
trlc/ast.py Unary_Expression.to_string   100% 6 0 1   100% 2 0   100%
trlc/ast.py Unary_Expression.dump   100% 0 0 3   100% 0 0   100%
trlc/ast.py Unary_Expression.evaluate   91% 22 2 1   88% 16 2   89%
trlc/ast.py Unary_Expression.to_python_object   100% 5 0 0   100% 2 0   100%
trlc/ast.py Unary_Expression.can_be_null   0% 1 1 0   100% 0 0   0%
trlc/ast.py Unary_Expression.uses_field_access   100% 1 0 0   100% 0 0   100%
trlc/ast.py Binary_Expression.__init__   98% 51 1 1   97% 30 1   98%
trlc/ast.py Binary_Expression.dump   100% 0 0 4   100% 0 0   100%
trlc/ast.py Binary_Expression.to_string   100% 8 0 1   100% 4 0   100%
trlc/ast.py Binary_Expression.evaluate   95% 93 5 1   91% 58 5   93%
trlc/ast.py Binary_Expression.can_be_null   0% 1 1 0   100% 0 0   0%
trlc/ast.py Binary_Expression.uses_field_access   100% 1 0 0   100% 0 0   100%
trlc/ast.py Field_Access_Expression.__init__   100% 12 0 0   100% 2 0   100%
trlc/ast.py Field_Access_Expression.dump   100% 0 0 2   100% 0 0   100%
trlc/ast.py Field_Access_Expression.to_string   100% 1 0 0   100% 0 0   100%
trlc/ast.py Field_Access_Expression.evaluate   100% 12 0 0   100% 6 0   100%
trlc/ast.py Field_Access_Expression.can_be_null   0% 1 1 0   100% 0 0   0%
trlc/ast.py Field_Access_Expression.uses_field_access   100% 3 0 0   100% 2 0   100%
trlc/ast.py Range_Test.__init__   100% 11 0 0   100% 0 0   100%
trlc/ast.py Range_Test.to_string   100% 1 0 0   100% 0 0   100%
trlc/ast.py Range_Test.dump   100% 0 0 5   100% 0 0   100%
trlc/ast.py Range_Test.evaluate   77% 13 3 0   50% 6 3   68%
trlc/ast.py Range_Test.can_be_null   0% 1 1 0   100% 0 0   0%
trlc/ast.py Range_Test.uses_field_access   100% 1 0 0   100% 0 0   100%
trlc/ast.py OneOf_Expression.__init__   100% 8 0 0   100% 2 0   100%
trlc/ast.py OneOf_Expression.to_string   100% 1 0 0   100% 0 0   100%
trlc/ast.py OneOf_Expression.dump   100% 0 0 4   100% 0 0   100%
trlc/ast.py OneOf_Expression.evaluate   100% 5 0 0   100% 0 0   100%
trlc/ast.py OneOf_Expression.can_be_null   0% 1 1 0   100% 0 0   0%
trlc/ast.py OneOf_Expression.uses_field_access   100% 1 0 0   100% 0 0   100%
trlc/ast.py Action.__init__   100% 11 0 0   100% 0 0   100%
trlc/ast.py Action.dump   100% 0 0 5   100% 0 0   100%
trlc/ast.py Action.to_string   100% 1 0 0   100% 0 0   100%
trlc/ast.py Conditional_Expression.__init__   100% 5 0 0   100% 0 0   100%
trlc/ast.py Conditional_Expression.add_elsif   100% 5 0 0   100% 0 0   100%
trlc/ast.py Conditional_Expression.set_else_part   100% 4 0 0   100% 0 0   100%
trlc/ast.py Conditional_Expression.dump   100% 0 0 5   100% 0 0   100%
trlc/ast.py Conditional_Expression.to_string   100% 4 0 0   100% 0 0   100%
trlc/ast.py Conditional_Expression.evaluate   90% 10 1 0   83% 6 1   88%
trlc/ast.py Conditional_Expression.can_be_null   0% 3 3 0   0% 2 0   0%
trlc/ast.py Conditional_Expression.uses_field_access   100% 1 0 0   100% 0 0   100%
trlc/ast.py Quantified_Expression.__init__   100% 11 0 0   100% 0 0   100%
trlc/ast.py Quantified_Expression.dump   100% 0 0 6   100% 0 0   100%
trlc/ast.py Quantified_Expression.to_string   100% 1 0 0   100% 0 0   100%
trlc/ast.py Quantified_Expression.evaluate   96% 26 1 0   90% 10 1   94%
trlc/ast.py Quantified_Expression.can_be_null   0% 1 1 0   100% 0 0   0%
trlc/ast.py Quantified_Expression.uses_field_access   100% 1 0 0   100% 0 0   100%
trlc/ast.py Entity.__init__   100% 3 0 0   100% 0 0   100%
trlc/ast.py Typed_Entity.__init__   100% 3 0 0   100% 0 0   100%
trlc/ast.py Quantified_Variable.dump   100% 0 0 2   100% 0 0   100%
trlc/ast.py Type.perform_type_checks   100% 4 0 0   100% 0 0   100%
trlc/ast.py Type.get_example_value   100% 0 0 1   100% 0 0   100%
trlc/ast.py Concrete_Type.__init__   100% 3 0 0   100% 0 0   100%
trlc/ast.py Concrete_Type.fully_qualified_name   100% 1 0 0   100% 0 0   100%
trlc/ast.py Concrete_Type.__hash__   100% 1 0 0   100% 0 0   100%
trlc/ast.py Concrete_Type.__repr__   0% 1 1 0   100% 0 0   0%
trlc/ast.py Builtin_Type.__init__   100% 1 0 0   100% 0 0   100%
trlc/ast.py Builtin_Type.dump   100% 0 0 1   100% 0 0   100%
trlc/ast.py Builtin_Numeric_Type.dump   100% 0 0 1   100% 0 0   100%
trlc/ast.py Builtin_Function.__init__   100% 6 0 0   100% 0 0   100%
trlc/ast.py Builtin_Function.dump   100% 0 0 1   100% 0 0   100%
trlc/ast.py Array_Type.__init__   95% 22 1 0   88% 8 1   93%
trlc/ast.py Array_Type.dump   100% 0 0 7   100% 0 0   100%
trlc/ast.py Array_Type.perform_type_checks   100% 6 0 0   100% 2 0   100%
trlc/ast.py Array_Type.get_example_value   0% 1 1 0   100% 0 0   0%
trlc/ast.py Union_Type.__init__   100% 7 0 0   100% 0 0   100%
trlc/ast.py Union_Type.get_field_map   89% 19 2 0   86% 14 2   88%
trlc/ast.py Union_Type.dump   100% 0 0 3   100% 0 0   100%
trlc/ast.py Union_Type.perform_type_checks   100% 4 0 0   100% 0 0   100%
trlc/ast.py Union_Type.is_compatible   100% 2 0 0   100% 0 0   100%
trlc/ast.py Union_Type.get_example_value   0% 1 1 0   100% 0 0   0%
trlc/ast.py Builtin_Integer.__init__   100% 1 0 0   100% 0 0   100%
trlc/ast.py Builtin_Integer.get_example_value   0% 1 1 0   100% 0 0   0%
trlc/ast.py Builtin_Decimal.__init__   100% 1 0 0   100% 0 0   100%
trlc/ast.py Builtin_Decimal.get_example_value   0% 1 1 0   100% 0 0   0%
trlc/ast.py Builtin_Boolean.__init__   100% 1 0 0   100% 0 0   100%
trlc/ast.py Builtin_Boolean.get_example_value   0% 1 1 0   100% 0 0   0%
trlc/ast.py Builtin_String.__init__   100% 1 0 0   100% 0 0   100%
trlc/ast.py Builtin_String.get_example_value   100% 1 0 0   100% 0 0   100%
trlc/ast.py Builtin_Markup_String.__init__   100% 2 0 0   100% 0 0   100%
trlc/ast.py Builtin_Markup_String.get_example_value   0% 1 1 0   100% 0 0   0%
trlc/ast.py Package.__init__   100% 8 0 0   100% 0 0   100%
trlc/ast.py Package.dump   100% 0 0 3   100% 0 0   100%
trlc/ast.py Package.__repr__   0% 1 1 0   100% 0 0   0%
trlc/ast.py Composite_Type.__init__   100% 6 0 0   100% 0 0   100%
trlc/ast.py Composite_Type.add_check   100% 2 0 0   100% 0 0   100%
trlc/ast.py Composite_Type.iter_checks   100% 1 0 0   100% 0 0   100%
trlc/ast.py Composite_Type.all_components   100% 1 0 0   100% 0 0   100%
trlc/ast.py Composite_Component.__init__   100% 7 0 0   100% 0 0   100%
trlc/ast.py Composite_Component.dump   100% 0 0 5   100% 0 0   100%
trlc/ast.py Composite_Component.__repr__   0% 1 1 0   100% 0 0   0%
trlc/ast.py Record_Type.__init__   100% 7 0 0   100% 0 0   100%
trlc/ast.py Record_Type.iter_checks   100% 3 0 0   100% 2 0   100%
trlc/ast.py Record_Type.dump   100% 0 0 12   100% 0 0   100%
trlc/ast.py Record_Type.all_components   100% 3 0 0   100% 2 0   100%
trlc/ast.py Record_Type.is_subclass_of   100% 7 0 0   100% 4 0   100%
trlc/ast.py Record_Type.is_frozen   100% 6 0 0   100% 4 0   100%
trlc/ast.py Record_Type.get_freezing_expression   60% 5 2 1   50% 2 1   57%
trlc/ast.py Record_Type.get_example_value   0% 1 1 0   100% 0 0   0%
trlc/ast.py Tuple_Type.__init__   100% 2 0 0   100% 0 0   100%
trlc/ast.py Tuple_Type.add_separator   100% 3 0 0   100% 0 0   100%
trlc/ast.py Tuple_Type.iter_separators   0% 1 1 0   100% 0 0   0%
trlc/ast.py Tuple_Type.iter_sequence   100% 6 0 0   100% 6 0   100%
trlc/ast.py Tuple_Type.has_separators   100% 1 0 0   100% 0 0   100%
trlc/ast.py Tuple_Type.dump   100% 0 0 12   100% 0 0   100%
trlc/ast.py Tuple_Type.perform_type_checks   80% 10 2 0   83% 6 1   81%
trlc/ast.py Tuple_Type.get_example_value   0% 8 8 0   0% 6 0   0%
trlc/ast.py Separator.__init__   100% 3 0 0   100% 0 0   100%
trlc/ast.py Separator.to_string   100% 1 0 0   100% 0 0   100%
trlc/ast.py Separator.dump   100% 0 0 1   100% 0 0   100%
trlc/ast.py Enumeration_Type.__init__   100% 4 0 0   100% 0 0   100%
trlc/ast.py Enumeration_Type.dump   100% 0 0 4   100% 0 0   100%
trlc/ast.py Enumeration_Type.get_example_value   0% 5 5 0   0% 2 0   0%
trlc/ast.py Enumeration_Literal_Spec.__init__   100% 4 0 0   100% 0 0   100%
trlc/ast.py Enumeration_Literal_Spec.dump   100% 0 0 3   100% 0 0   100%
trlc/ast.py Record_Object.__init__   100% 7 0 0   100% 0 0   100%
trlc/ast.py Record_Object.fully_qualified_name   100% 1 0 0   100% 0 0   100%
trlc/ast.py Record_Object.to_python_dict   100% 1 0 0   100% 0 0   100%
trlc/ast.py Record_Object.is_component_implicit_null   100% 1 0 0   100% 0 0   100%
trlc/ast.py Record_Object.assign   80% 5 1 0   50% 2 1   71%
trlc/ast.py Record_Object.dump   100% 0 0 7   100% 0 0   100%
trlc/ast.py Record_Object.resolve_references   100% 3 0 0   100% 2 0   100%
trlc/ast.py Record_Object.perform_checks   100% 10 0 0   100% 8 0   100%
trlc/ast.py Record_Object.__repr__   0% 1 1 0   100% 0 0   0%
trlc/ast.py Section.__init__   100% 3 0 0   100% 0 0   100%
trlc/ast.py Section.dump   100% 0 0 5   100% 0 0   100%
trlc/ast.py Symbol_Table.__init__   100% 6 0 0   100% 0 0   100%
trlc/ast.py Symbol_Table.simplified_name   100% 2 0 0   100% 0 0   100%
trlc/ast.py Symbol_Table.all_names   0% 4 4 0   0% 2 0   0%
trlc/ast.py Symbol_Table.iter_record_objects_by_section   100% 14 0 0   80% 10 2   92%
trlc/ast.py Symbol_Table.iter_record_objects   100% 5 0 0   100% 6 0   100%
trlc/ast.py Symbol_Table.values   100% 6 0 0   100% 6 0   100%
trlc/ast.py Symbol_Table.make_visible   100% 2 0 0   100% 0 0   100%
trlc/ast.py Symbol_Table.register   100% 9 0 0   100% 4 0   100%
trlc/ast.py Symbol_Table.register_with_key   90% 10 1 0   75% 4 1   86%
trlc/ast.py Symbol_Table.lookup_sub_package   100% 7 0 0   75% 4 1   91%
trlc/ast.py Symbol_Table.__contains__   100% 1 0 0   100% 0 0   100%
trlc/ast.py Symbol_Table.contains_raw   100% 10 0 0   100% 8 0   100%
trlc/ast.py Symbol_Table.contains   100% 2 0 0   100% 0 0   100%
trlc/ast.py Symbol_Table.lookup_assuming   75% 16 4 0   50% 10 5   65%
trlc/ast.py Symbol_Table.lookup_direct   96% 23 1 0   92% 12 1   94%
trlc/ast.py Symbol_Table.lookup   100% 5 0 0   100% 0 0   100%
trlc/ast.py Symbol_Table.write_indent   100% 0 0 4   100% 0 0   100%
trlc/ast.py Symbol_Table.dump   100% 0 0 10   100% 0 0   100%
trlc/ast.py Symbol_Table.create_global_table   100% 12 0 0   100% 0 0   100%
trlc/ast.py Scope.__init__   100% 1 0 0   100% 0 0   100%
trlc/ast.py Scope.push   100% 2 0 0   100% 0 0   100%
trlc/ast.py Scope.pop   100% 1 0 0   100% 0 0   100%
trlc/ast.py Scope.contains   100% 5 0 0   100% 4 0   100%
trlc/ast.py Scope.lookup   100% 9 0 0   100% 4 0   100%
trlc/ast.py Scope.size   100% 1 0 0   100% 0 0   100%
trlc/ast.py (no function)   100% 312 0 79   100% 0 0   100%
trlc/errors.py Location.__init__   100% 10 0 0   100% 4 0   100%
trlc/errors.py Location.to_string   100% 6 0 0   100% 4 0   100%
trlc/errors.py Location.context_lines   100% 1 0 0   100% 0 0   100%
trlc/errors.py Location.get_end_location   0% 1 1 0   100% 0 0   0%
trlc/errors.py Kind.__str__   100% 1 0 0   100% 0 0   100%
trlc/errors.py TRLC_Error.__init__   100% 7 0 0   100% 0 0   100%
trlc/errors.py Message_Handler.__init__   88% 16 2 0   50% 2 1   83%
trlc/errors.py Message_Handler.close   33% 3 2 0   50% 2 1   40%
trlc/errors.py Message_Handler.__enter__   0% 1 1 0   100% 0 0   0%
trlc/errors.py Message_Handler.__exit__   0% 1 1 0   100% 0 0   0%
trlc/errors.py Message_Handler.__del__   100% 1 0 0   100% 0 0   100%
trlc/errors.py Message_Handler.suppress   0% 2 2 0   100% 0 0   0%
trlc/errors.py Message_Handler.cross_file_reference   100% 4 0 0   100% 2 0   100%
trlc/errors.py Message_Handler.emit   97% 29 1 0   94% 16 1   96%
trlc/errors.py Message_Handler.emit._loc_str   75% 4 1 0   50% 2 1   67%
trlc/errors.py Message_Handler.lex_error   100% 4 0 0   100% 0 0   100%
trlc/errors.py Message_Handler.error   100% 10 0 0   100% 2 0   100%
trlc/errors.py Message_Handler.warning   100% 9 0 0   100% 2 0   100%
trlc/errors.py Message_Handler.check   100% 6 0 0   100% 0 0   100%
trlc/errors.py Message_Handler.ice_loc   100% 0 0 12   100% 0 0   100%
trlc/errors.py (no function)   100% 31 0 1   100% 0 0   100%
trlc/lexer.py triple_quoted_string_value   100% 24 0 5   100% 12 0   100%
trlc/lexer.py Source_Reference.__init__   100% 10 0 0   100% 0 0   100%
trlc/lexer.py Source_Reference.text   100% 1 0 0   100% 0 0   100%
trlc/lexer.py Source_Reference.context_lines   100% 19 0 0   100% 8 0   100%
trlc/lexer.py Source_Reference.get_end_location   100% 8 0 0   100% 4 0   100%
trlc/lexer.py Token_Base.__init__   100% 5 0 0   100% 0 0   100%
trlc/lexer.py Token.__init__   100% 10 0 0   100% 6 0   100%
trlc/lexer.py Token.__repr__   100% 3 0 0   100% 2 0   100%
trlc/lexer.py Lexer_Base.__init__   100% 14 0 0   100% 0 0   100%
trlc/lexer.py Lexer_Base.is_alpha   100% 1 0 0   100% 0 0   100%
trlc/lexer.py Lexer_Base.is_numeric   100% 1 0 0   100% 0 0   100%
trlc/lexer.py Lexer_Base.is_alnum   100% 1 0 0   100% 0 0   100%
trlc/lexer.py Lexer_Base.file_location   100% 0 0 1   100% 0 0   100%
trlc/lexer.py Lexer_Base.token   100% 0 0 1   100% 0 0   100%
trlc/lexer.py Lexer_Base.skip_whitespace   100% 3 0 0   100% 2 0   100%
trlc/lexer.py Lexer_Base.advance   100% 9 0 0   100% 4 0   100%
trlc/lexer.py TRLC_Lexer.__init__   100% 10 0 0   100% 2 0   100%
trlc/lexer.py TRLC_Lexer.current_location   100% 1 0 0   100% 0 0   100%
trlc/lexer.py TRLC_Lexer.file_location   100% 1 0 0   100% 0 0   100%
trlc/lexer.py TRLC_Lexer.token   100% 164 0 2   100% 118 0   100%
trlc/lexer.py Token_Stream.token   100% 4 0 0   100% 2 0   100%
trlc/lexer.py (no function)   100% 34 0 4   100% 0 0   100%
trlc/lexer_md.py MD_Source_Reference.__init__   100% 2 0 0   100% 0 0   100%
trlc/lexer_md.py MD_Source_Reference.context_lines   100% 5 0 0   100% 0 0   100%
trlc/lexer_md.py MD_Lexer._is_alpha   100% 1 0 0   100% 0 0   100%
trlc/lexer_md.py MD_Lexer._is_numeric   0% 1 1 0   100% 0 0   0%
trlc/lexer_md.py MD_Lexer._is_alnum   100% 1 0 0   100% 0 0   100%
trlc/lexer_md.py MD_Lexer._is_ident_start   100% 1 0 0   100% 0 0   100%
trlc/lexer_md.py MD_Lexer._is_ident_cont   100% 1 0 0   100% 0 0   100%
trlc/lexer_md.py MD_Lexer._is_hex_digit   100% 1 0 0   100% 0 0   100%
trlc/lexer_md.py MD_Lexer._scan_integer   100% 7 0 0   100% 4 0   100%
trlc/lexer_md.py MD_Lexer._scan_hex   86% 7 1 0   75% 4 1   82%
trlc/lexer_md.py MD_Lexer._scan_binary   86% 7 1 0   75% 4 1   82%
trlc/lexer_md.py MD_Lexer._scan_ident   88% 8 1 0   75% 4 1   83%
trlc/lexer_md.py MD_Lexer._parse_heading   89% 9 1 0   83% 6 1   87%
trlc/lexer_md.py MD_Lexer._is_hr   100% 18 0 0   100% 12 0   100%
trlc/lexer_md.py MD_Lexer.__init__   100% 16 0 0   100% 2 0   100%
trlc/lexer_md.py MD_Lexer.file_location   0% 1 1 0   100% 0 0   0%
trlc/lexer_md.py MD_Lexer.token   100% 5 0 0   100% 2 0   100%
trlc/lexer_md.py MD_Lexer._process_preamble   100% 15 0 0   100% 8 0   100%
trlc/lexer_md.py MD_Lexer.prepare_phase2   100% 6 0 0   100% 0 0   100%
trlc/lexer_md.py MD_Lexer._resolve_record_type   88% 16 2 0   80% 10 2   85%
trlc/lexer_md.py MD_Lexer._get_field_type   80% 5 1 0   50% 2 1   71%
trlc/lexer_md.py MD_Lexer._is_tuple_array_field   100% 2 0 0   100% 0 0   100%
trlc/lexer_md.py MD_Lexer._is_string_field   100% 2 0 0   100% 0 0   100%
trlc/lexer_md.py MD_Lexer._emit_field_value   91% 11 1 0   90% 10 1   90%
trlc/lexer_md.py MD_Lexer._loc   100% 1 0 0   100% 0 0   100%
trlc/lexer_md.py MD_Lexer._source_ref   100% 1 0 0   100% 0 0   100%
trlc/lexer_md.py MD_Lexer._emit   100% 3 0 0   100% 2 0   100%
trlc/lexer_md.py MD_Lexer._heading_to_identifier   100% 10 0 0   100% 6 0   100%
trlc/lexer_md.py MD_Lexer._is_valid_identifier   0% 5 5 0   0% 4 0   0%
trlc/lexer_md.py MD_Lexer._skip_spaces   100% 2 0 0   100% 0 0   100%
trlc/lexer_md.py MD_Lexer._validate_identifier   86% 7 1 0   88% 8 1   87%
trlc/lexer_md.py MD_Lexer._is_separator_row   86% 7 1 0   83% 6 1   85%
trlc/lexer_md.py MD_Lexer._parse_table_row   88% 8 1 0   75% 4 1   83%
trlc/lexer_md.py MD_Lexer._emit_qualified_identifier   100% 5 0 0   100% 4 0   100%
trlc/lexer_md.py MD_Lexer._emit_package_name   100% 15 0 0   100% 8 0   100%
trlc/lexer_md.py MD_Lexer._normalize_array_value   100% 13 0 0   88% 8 1   95%
trlc/lexer_md.py MD_Lexer._looks_like_array   100% 4 0 0   100% 0 0   100%
trlc/lexer_md.py MD_Lexer._looks_like_simple_tuple   32% 25 17 0   10% 10 1   26%
trlc/lexer_md.py MD_Lexer._looks_like_simple_tuple.skip_ws   50% 2 1 0   50% 2 1   50%
trlc/lexer_md.py MD_Lexer._maybe_emit_simple_tuple   88% 40 5 0   75% 20 5   83%
trlc/lexer_md.py MD_Lexer._maybe_emit_simple_tuple.skip_ws   50% 2 1 0   50% 2 1   50%
trlc/lexer_md.py MD_Lexer._maybe_emit_parentheses_tuple   93% 14 1 0   88% 8 1   91%
trlc/lexer_md.py MD_Lexer._parse_number   67% 9 3 0   75% 4 1   69%
trlc/lexer_md.py MD_Lexer._check_bracket_array   88% 8 1 0   75% 4 1   83%
trlc/lexer_md.py MD_Lexer._maybe_emit_array   100% 25 0 0   92% 12 1   97%
trlc/lexer_md.py MD_Lexer._emit_value   97% 58 2 0   88% 42 5   93%
trlc/lexer_md.py MD_Lexer._looks_like_scalar_value   69% 32 10 0   58% 26 9   64%
trlc/lexer_md.py MD_Lexer._process   88% 134 16 0   81% 52 8   86%
trlc/lexer_md.py MD_Lexer._process.flush_string_field   83% 23 4 0   70% 10 3   79%
trlc/lexer_md.py MD_Lexer._process.flush_record   94% 17 1 0   75% 4 1   90%
trlc/lexer_md.py MD_Lexer._process.open_section   100% 4 0 0   100% 0 0   100%
trlc/lexer_md.py MD_Lexer._process.close_section   100% 3 0 0   100% 2 0   100%
trlc/lexer_md.py (no function)   100% 87 0 0   100% 0 0   100%
trlc/lint.py Linter.__init__   100% 10 0 0   100% 0 0   100%
trlc/lint.py Linter.perform_sanity_checks   83% 12 2 0   100% 10 0   91%
trlc/lint.py Linter.verify_type   100% 19 0 0   100% 20 0   100%
trlc/lint.py Linter.verify_tuple_type   100% 25 0 0   93% 14 1   97%
trlc/lint.py Linter.verify_record_type   100% 16 0 0   100% 14 0   100%
trlc/lint.py Linter.verify_array_type   100% 11 0 0   100% 10 0   100%
trlc/lint.py Linter._find_import_location   75% 4 1 0   75% 4 1   75%
trlc/lint.py Linter._import_in_markup   58% 12 5 0   42% 12 1   50%
trlc/lint.py Linter.verify_imports   92% 40 3 0   82% 40 7   88%
trlc/lint.py (no function)   100% 13 0 0   100% 0 0   100%
trlc/location_md.py MD_Location.__init__   100% 7 0 0   50% 2 1   89%
trlc/location_md.py MD_Location.text   100% 1 0 0   100% 0 0   100%
trlc/location_md.py (no function)   100% 5 0 0   100% 0 0   100%
trlc/math.py remainder   100% 6 0 0   100% 2 0   100%
trlc/math.py round_nearest_away   75% 4 1 0   50% 2 1   67%
trlc/math.py (no function)   100% 4 0 0   100% 0 0   100%
trlc/nested.py Nested_Lexer.__init__   100% 10 0 0   100% 2 0   100%
trlc/nested.py Nested_Lexer.source_location   100% 10 0 0   100% 2 0   100%
trlc/nested.py Nested_Lexer.file_location   100% 0 0 1   100% 0 0   100%
trlc/nested.py Nested_Lexer.token   100% 0 0 1   100% 0 0   100%
trlc/nested.py (no function)   100% 6 0 4   100% 0 0   100%
trlc/parser.py Markup_Token.__init__   100% 2 0 0   100% 0 0   100%
trlc/parser.py Markup_Lexer.__init__   100% 2 0 0   100% 0 0   100%
trlc/parser.py Markup_Lexer.file_location   0% 1 1 0   100% 0 0   0%
trlc/parser.py Markup_Lexer.token   97% 33 1 0   95% 22 1   96%
trlc/parser.py Parser_Base.__init__   100% 13 0 0   100% 0 0   100%
trlc/parser.py Parser_Base.advance   100% 5 0 0   100% 2 0   100%
trlc/parser.py Parser_Base.skip_until_newline   80% 5 1 0   75% 4 1   78%
trlc/parser.py Parser_Base.peek   100% 2 0 0   100% 0 0   100%
trlc/parser.py Parser_Base.peek_eof   100% 1 0 0   100% 0 0   100%
trlc/parser.py Parser_Base.peek_kw   100% 2 0 0   100% 0 0   100%
trlc/parser.py Parser_Base.match   88% 8 1 0   83% 6 1   86%
trlc/parser.py Parser_Base.match_eof   50% 2 1 0   50% 2 1   50%
trlc/parser.py Parser_Base.match_kw   90% 10 1 0   88% 8 1   89%
trlc/parser.py Markup_Parser.__init__   100% 4 0 0   100% 0 0   100%
trlc/parser.py Markup_Parser.parse_all_references   100% 6 0 0   100% 4 0   100%
trlc/parser.py Markup_Parser.parse_ref_list   100% 6 0 0   100% 2 0   100%
trlc/parser.py Markup_Parser.parse_qualified_name   100% 10 0 0   100% 4 0   100%
trlc/parser.py Parser.__init__   96% 25 1 0   50% 2 1   93%
trlc/parser.py Parser.parse_described_name   100% 7 0 0   100% 2 0   100%
trlc/parser.py Parser.parse_dotted_name   100% 11 0 0   100% 2 0   100%
trlc/parser.py Parser.parse_import_name   100% 19 0 0   100% 4 0   100%
trlc/parser.py Parser.check_not_self_descendant   100% 5 0 0   100% 4 0   100%
trlc/parser.py Parser.descend_sub_packages   77% 22 5 0   62% 8 1   73%
trlc/parser.py Parser.parse_qualified_name   100% 11 0 0   100% 4 0   100%
trlc/parser.py Parser.parse_type_declaration   100% 7 0 0   100% 4 0   100%
trlc/parser.py Parser.parse_enum_declaration   100% 25 0 0   100% 8 0   100%
trlc/parser.py Parser.parse_tuple_field   100% 24 0 0   100% 10 0   100%
trlc/parser.py Parser.parse_tuple_declaration   100% 40 0 0   94% 16 1   98%
trlc/parser.py Parser.parse_union_type   100% 24 0 0   100% 6 0   100%
trlc/parser.py Parser.parse_record_component   98% 46 1 0   93% 14 1   97%
trlc/parser.py Parser.parse_record_declaration   100% 61 0 0   100% 24 0   100%
trlc/parser.py Parser.parse_expression   100% 33 0 0   100% 12 0   100%
trlc/parser.py Parser.parse_relation   98% 43 1 0   93% 14 1   96%
trlc/parser.py Parser.parse_simple_expression   100% 28 0 0   100% 10 0   100%
trlc/parser.py Parser.parse_term   100% 12 0 0   100% 2 0   100%
trlc/parser.py Parser.parse_factor   96% 27 1 0   88% 8 1   94%
trlc/parser.py Parser.parse_primary   100% 39 0 0   100% 16 0   100%
trlc/parser.py Parser.parse_quantified_expression   100% 36 0 0   100% 6 0   100%
trlc/parser.py Parser.parse_conditional_expression   100% 29 0 0   100% 4 0   100%
trlc/parser.py Parser.parse_builtin   96% 51 2 2   88% 26 3   94%
trlc/parser.py Parser.parse_name   95% 61 3 0   86% 28 4   92%
trlc/parser.py Parser.parse_check_block   91% 74 7 0   84% 32 5   89%
trlc/parser.py Parser.parse_section_declaration   100% 14 0 0   100% 2 0   100%
trlc/parser.py Parser.parse_boolean   75% 4 1 0   50% 2 1   67%
trlc/parser.py Parser.parse_value   99% 107 1 3   98% 54 1   99%
trlc/parser.py Parser.parse_markup_string   100% 5 0 0   100% 0 0   100%
trlc/parser.py Parser.parse_record_object_declaration   100% 33 0 0   100% 18 0   100%
trlc/parser.py Parser.parse_trlc_entry   100% 3 0 0   100% 2 0   100%
trlc/parser.py Parser.parse_preamble   100% 24 0 0   90% 10 1   97%
trlc/parser.py Parser.parse_rsl_file   100% 22 0 0   100% 14 0   100%
trlc/parser.py Parser.parse_trlc_file   87% 30 4 0   82% 22 2   85%
trlc/parser.py (no function)   100% 66 0 0   100% 0 0   100%
trlc/trlc.py Source_Manager.__init__   100% 23 0 0   100% 0 0   100%
trlc/trlc.py Source_Manager.callback_parse_begin   100% 1 0 0   100% 0 0   100%
trlc/trlc.py Source_Manager.callback_parse_progress   100% 1 0 0   100% 0 0   100%
trlc/trlc.py Source_Manager.callback_parse_end   100% 1 0 0   100% 0 0   100%
trlc/trlc.py Source_Manager.signal_progress   100% 4 0 2   100% 0 0   100%
trlc/trlc.py Source_Manager.cross_file_reference   83% 6 1 0   75% 4 1   80%
trlc/trlc.py Source_Manager.update_common_root   100% 8 0 0   100% 6 0   100%
trlc/trlc.py Source_Manager.create_parser   100% 8 0 0   100% 2 0   100%
trlc/trlc.py Source_Manager.register_include   36% 11 7 0   30% 10 1   33%
trlc/trlc.py Source_Manager.register_file   100% 10 0 3   100% 2 0   100%
trlc/trlc.py Source_Manager.register_directory   100% 16 0 0   100% 14 0   100%
trlc/trlc.py Source_Manager.register_rsl_file   100% 10 0 0   100% 2 0   100%
trlc/trlc.py Source_Manager.register_trlc_file   100% 10 0 2   100% 2 0   100%
trlc/trlc.py Source_Manager.build_graph   95% 73 4 0   97% 38 1   95%
trlc/trlc.py Source_Manager.parse_rsl_files   100% 21 0 0   100% 6 0   100%
trlc/trlc.py Source_Manager.parse_trlc_files   100% 13 0 0   100% 6 0   100%
trlc/trlc.py Source_Manager.resolve_record_references   100% 8 0 0   100% 4 0   100%
trlc/trlc.py Source_Manager.verify_subpackage_distinctness   100% 9 0 0   100% 6 0   100%
trlc/trlc.py Source_Manager.verify_subpackage_object_distinctness   82% 11 2 0   83% 6 1   82%
trlc/trlc.py Source_Manager.perform_checks   100% 9 0 0   100% 6 0   100%
trlc/trlc.py Source_Manager.process   97% 36 1 12   89% 18 2   94%
trlc/trlc.py trlc   92% 76 6 35   86% 28 2   90%
trlc/trlc.py trlc.count   100% 7 0 0   100% 4 0   100%
trlc/trlc.py trlc.get_status   100% 0 0 6   100% 0 0   100%
trlc/trlc.py main   33% 6 4 0   100% 0 0   33%
trlc/trlc.py (no function)   100% 41 0 4   100% 0 0   100%
trlc/trlc_markdown_parser.py TrlcMarkdownParser.__init__   100% 3 0 0   50% 2 1   80%
trlc/trlc_markdown_parser.py TrlcMarkdownParser.parse_preamble   100% 2 0 0   100% 0 0   100%
trlc/trlc_markdown_parser.py TrlcMarkdownParser.parse_section_declaration   100% 14 0 0   100% 2 0   100%
trlc/trlc_markdown_parser.py TrlcMarkdownParser.parse_trlc_entry   100% 3 0 0   100% 2 0   100%
trlc/trlc_markdown_parser.py TrlcMarkdownParser.parse_trlc_file   74% 35 9 0   62% 26 6   69%
trlc/trlc_markdown_parser.py (no function)   100% 12 0 0   100% 0 0   100%
trlc/vcg.py Unsupported.__init__   100% 0 0 7   100% 0 0   100%
trlc/vcg.py Feedback.__init__   100% 8 0 0   100% 0 0   100%
trlc/vcg.py VCG.__init__   100% 25 0 0   100% 0 0   100%
trlc/vcg.py VCG.flag_unsupported   100% 0 0 2   100% 0 0   100%
trlc/vcg.py VCG.new_temp_name   100% 2 0 0   100% 0 0   100%
trlc/vcg.py VCG.get_uf_matches   100% 4 0 0   100% 2 0   100%
trlc/vcg.py VCG.create_return   100% 10 0 0   75% 4 1   93%
trlc/vcg.py VCG.attach_validity_check   100% 11 0 0   100% 4 0   100%
trlc/vcg.py VCG.attach_int_division_check   90% 10 1 0   50% 2 1   83%
trlc/vcg.py VCG.attach_real_division_check   90% 10 1 0   50% 2 1   83%
trlc/vcg.py VCG.attach_index_check   93% 14 1 0   50% 2 1   88%
trlc/vcg.py VCG.attach_feasability_check   100% 9 0 0   100% 2 0   100%
trlc/vcg.py VCG.attach_assumption   100% 7 0 0   100% 0 0   100%
trlc/vcg.py VCG.attach_temp_declaration   100% 8 0 0   100% 0 0   100%
trlc/vcg.py VCG.attach_empty_assumption   100% 4 0 0   100% 0 0   100%
trlc/vcg.py VCG.analyze   100% 2 0 2   100% 0 0   100%
trlc/vcg.py VCG.checks_on_composite_type   95% 41 2 4   96% 26 1   96%
trlc/vcg.py VCG.create_counterexample   92% 13 1 0   88% 8 1   90%
trlc/vcg.py VCG.fraction_to_decimal_string   100% 23 0 0   100% 14 0   100%
trlc/vcg.py VCG.value_to_trlc   95% 43 2 2   94% 34 2   95%
trlc/vcg.py VCG.tr_component_value_name   100% 1 0 0   100% 0 0   100%
trlc/vcg.py VCG.tr_component_valid_name   100% 1 0 0   100% 0 0   100%
trlc/vcg.py VCG.emit_tuple_constraints   96% 25 1 0   93% 14 1   95%
trlc/vcg.py VCG.tr_component_decl   100% 31 0 0   100% 12 0   100%
trlc/vcg.py VCG.tr_type   100% 35 0 2   100% 26 0   100%
trlc/vcg.py VCG.tr_check   100% 9 0 0   100% 4 0   100%
trlc/vcg.py VCG.tr_expression   100% 32 0 2   100% 28 0   100%
trlc/vcg.py VCG.tr_name_reference   100% 16 0 0   100% 8 0   100%
trlc/vcg.py VCG.tr_unary_expression   100% 28 0 1   100% 20 0   100%
trlc/vcg.py VCG.tr_binary_expression   94% 62 4 2   93% 42 1   93%
trlc/vcg.py VCG.tr_range_test   100% 9 0 0   100% 0 0   100%
trlc/vcg.py VCG.tr_oneof_test   100% 22 0 0   100% 12 0   100%
trlc/vcg.py VCG.tr_conditional_expression_functional   100% 7 0 0   100% 2 0   100%
trlc/vcg.py VCG.tr_conditional_expression   100% 21 0 0   100% 2 0   100%
trlc/vcg.py VCG.tr_op_implication   100% 23 0 0   100% 2 0   100%
trlc/vcg.py VCG.tr_op_and   100% 23 0 0   100% 2 0   100%
trlc/vcg.py VCG.tr_op_or   87% 23 3 0   50% 2 1   84%
trlc/vcg.py VCG.tr_core_equality_tuple_component   100% 11 0 0   100% 2 0   100%
trlc/vcg.py VCG.tr_core_equality   88% 16 2 0   80% 10 2   85%
trlc/vcg.py VCG.tr_op_equality   95% 19 1 0   92% 12 1   94%
trlc/vcg.py VCG.tr_quantified_expression   100% 29 0 2   100% 2 0   100%
trlc/vcg.py VCG._ensure_record_deref   100% 13 0 0   100% 6 0   100%
trlc/vcg.py VCG.tr_field_access_expression   100% 31 0 1   100% 12 0   100%
trlc/vcg.py (no function)   100% 56 0 9   100% 0 0   100%
trlc/version.py (no function)   100% 8 0 0   100% 0 0   100%
Total     94% 5225 293 470   89% 1984 154   93%

No items found using the specified filter.