Coverage report: 94%

Files Functions Classes

coverage.py v7.7.1, created at 2025-03-27 00:52 +0000

File function statements missing excluded branches partial coverage
trlc.py (no function) 2 0 2 0 0 100%
trlc/__init__.py (no function) 0 0 0 0 0 100%
trlc/ast.py Value.__init__ 7 0 0 0 0 100%
trlc/ast.py Value.__eq__ 1 0 0 0 0 100%
trlc/ast.py Value.__repr__ 0 0 1 0 0 100%
trlc/ast.py Value.resolve_references 3 3 0 2 0 0%
trlc/ast.py Node.__init__ 2 0 0 0 0 100%
trlc/ast.py Node.set_ast_link 2 0 0 0 0 100%
trlc/ast.py Node.write_indent 0 0 4 0 0 100%
trlc/ast.py Node.dump 0 0 42 0 0 100%
trlc/ast.py Check_Block.__init__ 4 0 0 0 0 100%
trlc/ast.py Check_Block.add_check 2 0 0 0 0 100%
trlc/ast.py Check_Block.dump 0 0 4 0 0 100%
trlc/ast.py Compilation_Unit.__init__ 5 0 0 0 0 100%
trlc/ast.py Compilation_Unit.dump 0 0 6 0 0 100%
trlc/ast.py Compilation_Unit.set_package 2 0 0 0 0 100%
trlc/ast.py Compilation_Unit.add_import 10 0 0 6 0 100%
trlc/ast.py Compilation_Unit.resolve_imports 10 2 0 2 0 83%
trlc/ast.py Compilation_Unit.is_visible 3 0 0 0 0 100%
trlc/ast.py Compilation_Unit.add_item 2 0 0 0 0 100%
trlc/ast.py Check.__init__ 14 0 0 0 0 100%
trlc/ast.py Check.dump 0 0 9 0 0 100%
trlc/ast.py Check.get_real_location 7 0 0 4 0 100%
trlc/ast.py Check.perform 13 0 0 6 0 100%
trlc/ast.py Expression.__init__ 3 0 0 0 0 100%
trlc/ast.py Expression.evaluate 0 0 19 0 0 100%
trlc/ast.py Expression.to_string 0 0 2 0 0 100%
trlc/ast.py Expression.ensure_type 7 0 0 6 0 100%
trlc/ast.py Expression.resolve_references 1 0 0 0 0 100%
trlc/ast.py Expression.can_be_null 0 0 14 0 0 100%
trlc/ast.py Implicit_Null.__init__ 3 0 0 0 0 100%
trlc/ast.py Implicit_Null.to_string 1 1 0 0 0 0%
trlc/ast.py Implicit_Null.evaluate 3 0 0 0 0 100%
trlc/ast.py Implicit_Null.to_python_object 1 0 0 0 0 100%
trlc/ast.py Implicit_Null.dump 0 0 1 0 0 100%
trlc/ast.py Implicit_Null.can_be_null 1 1 0 0 0 0%
trlc/ast.py Literal.to_python_object 0 0 1 0 0 100%
trlc/ast.py Null_Literal.__init__ 4 0 0 0 0 100%
trlc/ast.py Null_Literal.dump 0 0 1 0 0 100%
trlc/ast.py Null_Literal.to_string 1 0 0 0 0 100%
trlc/ast.py Null_Literal.evaluate 3 0 0 0 0 100%
trlc/ast.py Null_Literal.to_python_object 1 1 0 0 0 0%
trlc/ast.py Null_Literal.can_be_null 1 1 0 0 0 0%
trlc/ast.py Integer_Literal.__init__ 5 0 0 0 0 100%
trlc/ast.py Integer_Literal.dump 0 0 1 0 0 100%
trlc/ast.py Integer_Literal.to_string 1 0 0 0 0 100%
trlc/ast.py Integer_Literal.evaluate 3 0 0 0 0 100%
trlc/ast.py Integer_Literal.to_python_object 1 0 0 0 0 100%
trlc/ast.py Integer_Literal.can_be_null 1 1 0 0 0 0%
trlc/ast.py Decimal_Literal.__init__ 5 0 0 0 0 100%
trlc/ast.py Decimal_Literal.dump 0 0 1 0 0 100%
trlc/ast.py Decimal_Literal.to_string 1 0 0 0 0 100%
trlc/ast.py Decimal_Literal.evaluate 3 0 0 0 0 100%
trlc/ast.py Decimal_Literal.to_python_object 1 0 0 0 0 100%
trlc/ast.py Decimal_Literal.can_be_null 1 1 0 0 0 0%
trlc/ast.py String_Literal.__init__ 7 0 0 0 0 100%
trlc/ast.py String_Literal.dump 0 0 5 0 0 100%
trlc/ast.py String_Literal.to_string 1 0 0 0 0 100%
trlc/ast.py String_Literal.evaluate 3 0 0 0 0 100%
trlc/ast.py String_Literal.to_python_object 1 0 0 0 0 100%
trlc/ast.py String_Literal.resolve_references 3 0 0 2 0 100%
trlc/ast.py String_Literal.can_be_null 1 1 0 0 0 0%
trlc/ast.py Boolean_Literal.__init__ 6 0 0 0 0 100%
trlc/ast.py Boolean_Literal.dump 0 0 1 0 0 100%
trlc/ast.py Boolean_Literal.to_string 1 0 0 0 0 100%
trlc/ast.py Boolean_Literal.evaluate 3 0 0 0 0 100%
trlc/ast.py Boolean_Literal.to_python_object 1 0 0 0 0 100%
trlc/ast.py Boolean_Literal.can_be_null 1 1 0 0 0 0%
trlc/ast.py Enumeration_Literal.__init__ 3 0 0 0 0 100%
trlc/ast.py Enumeration_Literal.dump 0 0 3 0 0 100%
trlc/ast.py Enumeration_Literal.to_string 1 0 0 0 0 100%
trlc/ast.py Enumeration_Literal.evaluate 3 0 0 0 0 100%
trlc/ast.py Enumeration_Literal.to_python_object 1 0 0 0 0 100%
trlc/ast.py Enumeration_Literal.can_be_null 1 1 0 0 0 0%
trlc/ast.py Array_Aggregate.__init__ 2 0 0 0 0 100%
trlc/ast.py Array_Aggregate.dump 0 0 3 0 0 100%
trlc/ast.py Array_Aggregate.append 2 0 0 0 0 100%
trlc/ast.py Array_Aggregate.to_string 1 1 0 0 0 0%
trlc/ast.py Array_Aggregate.evaluate 3 0 0 0 0 100%
trlc/ast.py Array_Aggregate.resolve_references 3 0 0 2 0 100%
trlc/ast.py Array_Aggregate.to_python_object 1 0 0 0 0 100%
trlc/ast.py Array_Aggregate.can_be_null 1 1 0 0 0 0%
trlc/ast.py Tuple_Aggregate.__init__ 2 0 0 0 0 100%
trlc/ast.py Tuple_Aggregate.assign 4 0 0 0 0 100%
trlc/ast.py Tuple_Aggregate.dump 0 0 5 0 0 100%
trlc/ast.py Tuple_Aggregate.to_string 16 16 0 12 0 0%
trlc/ast.py Tuple_Aggregate.evaluate 3 0 0 0 0 100%
trlc/ast.py Tuple_Aggregate.resolve_references 3 0 0 2 0 100%
trlc/ast.py Tuple_Aggregate.to_python_object 1 0 0 0 0 100%
trlc/ast.py Tuple_Aggregate.can_be_null 1 1 0 0 0 0%
trlc/ast.py Record_Reference.__init__ 8 0 0 0 0 100%
trlc/ast.py Record_Reference.dump 0 0 3 0 0 100%
trlc/ast.py Record_Reference.to_string 1 1 0 0 0 0%
trlc/ast.py Record_Reference.evaluate 3 0 0 0 0 100%
trlc/ast.py Record_Reference.resolve_references 6 0 0 4 0 100%
trlc/ast.py Record_Reference.to_python_object 1 0 0 0 0 100%
trlc/ast.py Record_Reference.can_be_null 1 1 0 0 0 0%
trlc/ast.py Name_Reference.__init__ 3 0 0 0 0 100%
trlc/ast.py Name_Reference.dump 0 0 1 0 0 100%
trlc/ast.py Name_Reference.to_string 1 0 0 0 0 100%
trlc/ast.py Name_Reference.evaluate 6 0 0 2 0 100%
trlc/ast.py Name_Reference.can_be_null 3 3 0 2 0 0%
trlc/ast.py Unary_Expression.__init__ 18 0 1 10 0 100%
trlc/ast.py Unary_Expression.to_string 6 0 1 2 0 100%
trlc/ast.py Unary_Expression.dump 0 0 3 0 0 100%
trlc/ast.py Unary_Expression.evaluate 21 2 1 16 2 89%
trlc/ast.py Unary_Expression.to_python_object 5 0 0 2 0 100%
trlc/ast.py Unary_Expression.can_be_null 1 1 0 0 0 0%
trlc/ast.py Binary_Expression.__init__ 42 0 1 24 0 100%
trlc/ast.py Binary_Expression.dump 0 0 4 0 0 100%
trlc/ast.py Binary_Expression.to_string 8 0 1 4 0 100%
trlc/ast.py Binary_Expression.evaluate 92 5 1 58 5 93%
trlc/ast.py Binary_Expression.can_be_null 1 1 0 0 0 0%
trlc/ast.py Field_Access_Expression.__init__ 7 0 0 0 0 100%
trlc/ast.py Field_Access_Expression.dump 0 0 2 0 0 100%
trlc/ast.py Field_Access_Expression.to_string 1 0 0 0 0 100%
trlc/ast.py Field_Access_Expression.evaluate 3 0 0 0 0 100%
trlc/ast.py Field_Access_Expression.can_be_null 1 1 0 0 0 0%
trlc/ast.py Range_Test.__init__ 11 0 0 0 0 100%
trlc/ast.py Range_Test.to_string 1 0 0 0 0 100%
trlc/ast.py Range_Test.dump 0 0 5 0 0 100%
trlc/ast.py Range_Test.evaluate 12 3 0 6 3 67%
trlc/ast.py Range_Test.can_be_null 1 1 0 0 0 0%
trlc/ast.py OneOf_Expression.__init__ 8 0 0 2 0 100%
trlc/ast.py OneOf_Expression.to_string 1 0 0 0 0 100%
trlc/ast.py OneOf_Expression.dump 0 0 4 0 0 100%
trlc/ast.py OneOf_Expression.evaluate 4 0 0 0 0 100%
trlc/ast.py OneOf_Expression.can_be_null 1 1 0 0 0 0%
trlc/ast.py Action.__init__ 11 0 0 0 0 100%
trlc/ast.py Action.dump 0 0 5 0 0 100%
trlc/ast.py Action.to_string 1 0 0 0 0 100%
trlc/ast.py Conditional_Expression.__init__ 5 0 0 0 0 100%
trlc/ast.py Conditional_Expression.add_elsif 5 0 0 0 0 100%
trlc/ast.py Conditional_Expression.set_else_part 4 0 0 0 0 100%
trlc/ast.py Conditional_Expression.dump 0 0 5 0 0 100%
trlc/ast.py Conditional_Expression.to_string 4 0 0 0 0 100%
trlc/ast.py Conditional_Expression.evaluate 9 1 0 6 1 87%
trlc/ast.py Conditional_Expression.can_be_null 3 3 0 2 0 0%
trlc/ast.py Quantified_Expression.__init__ 11 0 0 0 0 100%
trlc/ast.py Quantified_Expression.dump 0 0 6 0 0 100%
trlc/ast.py Quantified_Expression.to_string 1 0 0 0 0 100%
trlc/ast.py Quantified_Expression.evaluate 25 1 0 10 1 94%
trlc/ast.py Quantified_Expression.can_be_null 1 1 0 0 0 0%
trlc/ast.py Entity.__init__ 3 0 0 0 0 100%
trlc/ast.py Typed_Entity.__init__ 3 0 0 0 0 100%
trlc/ast.py Quantified_Variable.dump 0 0 2 0 0 100%
trlc/ast.py Type.perform_type_checks 3 0 0 0 0 100%
trlc/ast.py Type.get_example_value 0 0 1 0 0 100%
trlc/ast.py Concrete_Type.__init__ 3 0 0 0 0 100%
trlc/ast.py Concrete_Type.fully_qualified_name 1 0 0 0 0 100%
trlc/ast.py Concrete_Type.__hash__ 1 0 0 0 0 100%
trlc/ast.py Concrete_Type.__repr__ 1 1 0 0 0 0%
trlc/ast.py Builtin_Type.__init__ 1 0 0 0 0 100%
trlc/ast.py Builtin_Type.dump 0 0 1 0 0 100%
trlc/ast.py Builtin_Numeric_Type.dump 0 0 1 0 0 100%
trlc/ast.py Builtin_Function.__init__ 6 0 0 0 0 100%
trlc/ast.py Builtin_Function.dump 0 0 1 0 0 100%
trlc/ast.py Array_Type.__init__ 22 1 0 8 1 93%
trlc/ast.py Array_Type.dump 0 0 8 0 0 100%
trlc/ast.py Array_Type.perform_type_checks 5 0 0 2 0 100%
trlc/ast.py Array_Type.get_example_value 1 1 0 0 0 0%
trlc/ast.py Builtin_Integer.__init__ 1 0 0 0 0 100%
trlc/ast.py Builtin_Integer.get_example_value 1 1 0 0 0 0%
trlc/ast.py Builtin_Decimal.__init__ 1 0 0 0 0 100%
trlc/ast.py Builtin_Decimal.get_example_value 1 1 0 0 0 0%
trlc/ast.py Builtin_Boolean.__init__ 1 0 0 0 0 100%
trlc/ast.py Builtin_Boolean.get_example_value 1 1 0 0 0 0%
trlc/ast.py Builtin_String.__init__ 1 0 0 0 0 100%
trlc/ast.py Builtin_String.get_example_value 1 0 0 0 0 100%
trlc/ast.py Builtin_Markup_String.__init__ 2 0 0 0 0 100%
trlc/ast.py Builtin_Markup_String.get_example_value 1 1 0 0 0 0%
trlc/ast.py Package.__init__ 6 0 0 0 0 100%
trlc/ast.py Package.dump 0 0 3 0 0 100%
trlc/ast.py Package.__repr__ 1 1 0 0 0 0%
trlc/ast.py Composite_Type.__init__ 6 0 0 0 0 100%
trlc/ast.py Composite_Type.add_check 2 0 0 0 0 100%
trlc/ast.py Composite_Type.iter_checks 1 0 0 0 0 100%
trlc/ast.py Composite_Type.all_components 1 0 0 0 0 100%
trlc/ast.py Composite_Component.__init__ 7 0 0 0 0 100%
trlc/ast.py Composite_Component.dump 0 0 5 0 0 100%
trlc/ast.py Composite_Component.__repr__ 1 1 0 0 0 0%
trlc/ast.py Record_Type.__init__ 7 0 0 0 0 100%
trlc/ast.py Record_Type.iter_checks 3 0 0 2 0 100%
trlc/ast.py Record_Type.dump 0 0 12 0 0 100%
trlc/ast.py Record_Type.all_components 3 0 0 2 0 100%
trlc/ast.py Record_Type.is_subclass_of 7 0 0 4 0 100%
trlc/ast.py Record_Type.is_frozen 6 0 0 4 0 100%
trlc/ast.py Record_Type.get_freezing_expression 5 2 1 2 1 57%
trlc/ast.py Record_Type.get_example_value 1 1 0 0 0 0%
trlc/ast.py Tuple_Type.__init__ 2 0 0 0 0 100%
trlc/ast.py Tuple_Type.add_separator 3 0 0 0 0 100%
trlc/ast.py Tuple_Type.iter_separators 1 1 0 0 0 0%
trlc/ast.py Tuple_Type.iter_sequence 6 0 0 6 0 100%
trlc/ast.py Tuple_Type.has_separators 1 0 0 0 0 100%
trlc/ast.py Tuple_Type.dump 0 0 12 0 0 100%
trlc/ast.py Tuple_Type.perform_type_checks 9 3 0 6 2 67%
trlc/ast.py Tuple_Type.get_example_value 8 8 0 6 0 0%
trlc/ast.py Separator.__init__ 3 0 0 0 0 100%
trlc/ast.py Separator.to_string 1 0 0 0 0 100%
trlc/ast.py Separator.dump 0 0 1 0 0 100%
trlc/ast.py Enumeration_Type.__init__ 4 0 0 0 0 100%
trlc/ast.py Enumeration_Type.dump 0 0 4 0 0 100%
trlc/ast.py Enumeration_Type.get_example_value 5 5 0 2 0 0%
trlc/ast.py Enumeration_Literal_Spec.__init__ 4 0 0 0 0 100%
trlc/ast.py Enumeration_Literal_Spec.dump 0 0 3 0 0 100%
trlc/ast.py Record_Object.__init__ 7 0 0 0 0 100%
trlc/ast.py Record_Object.fully_qualified_name 1 0 0 0 0 100%
trlc/ast.py Record_Object.to_python_dict 1 0 0 0 0 100%
trlc/ast.py Record_Object.is_component_implicit_null 1 0 0 0 0 100%
trlc/ast.py Record_Object.assign 5 1 0 2 1 71%
trlc/ast.py Record_Object.dump 0 0 7 0 0 100%
trlc/ast.py Record_Object.resolve_references 3 0 0 2 0 100%
trlc/ast.py Record_Object.perform_checks 9 1 0 8 1 88%
trlc/ast.py Record_Object.__repr__ 1 1 0 0 0 0%
trlc/ast.py Section.__init__ 3 0 0 0 0 100%
trlc/ast.py Section.dump 0 0 5 0 0 100%
trlc/ast.py Symbol_Table.__init__ 6 0 0 0 0 100%
trlc/ast.py Symbol_Table.simplified_name 2 0 0 0 0 100%
trlc/ast.py Symbol_Table.all_names 4 4 0 2 0 0%
trlc/ast.py Symbol_Table.iter_record_objects_by_section 14 0 0 10 2 92%
trlc/ast.py Symbol_Table.iter_record_objects 5 0 0 6 0 100%
trlc/ast.py Symbol_Table.values 6 0 0 6 0 100%
trlc/ast.py Symbol_Table.make_visible 2 0 0 0 0 100%
trlc/ast.py Symbol_Table.register 9 0 0 4 0 100%
trlc/ast.py Symbol_Table.__contains__ 1 0 0 0 0 100%
trlc/ast.py Symbol_Table.contains_raw 10 0 0 8 0 100%
trlc/ast.py Symbol_Table.contains 2 0 0 0 0 100%
trlc/ast.py Symbol_Table.lookup_assuming 16 4 0 10 5 65%
trlc/ast.py Symbol_Table.lookup_direct 23 1 0 12 1 94%
trlc/ast.py Symbol_Table.lookup 5 0 0 0 0 100%
trlc/ast.py Symbol_Table.write_indent 0 0 4 0 0 100%
trlc/ast.py Symbol_Table.dump 0 0 10 0 0 100%
trlc/ast.py Symbol_Table.create_global_table 12 0 0 0 0 100%
trlc/ast.py Scope.__init__ 1 0 0 0 0 100%
trlc/ast.py Scope.push 2 0 0 0 0 100%
trlc/ast.py Scope.pop 1 0 0 0 0 100%
trlc/ast.py Scope.contains 5 0 0 4 0 100%
trlc/ast.py Scope.lookup 9 0 0 4 0 100%
trlc/ast.py Scope.size 1 0 0 0 0 100%
trlc/ast.py (no function) 290 0 77 0 0 100%
trlc/errors.py Location.__init__ 10 0 0 4 0 100%
trlc/errors.py Location.to_string 6 0 0 4 0 100%
trlc/errors.py Location.context_lines 1 0 0 0 0 100%
trlc/errors.py Location.get_end_location 1 1 0 0 0 0%
trlc/errors.py Kind.__str__ 1 0 0 0 0 100%
trlc/errors.py TRLC_Error.__init__ 7 0 0 0 0 100%
trlc/errors.py Message_Handler.__init__ 8 0 0 0 0 100%
trlc/errors.py Message_Handler.suppress 2 2 0 0 0 0%
trlc/errors.py Message_Handler.cross_file_reference 4 1 0 2 1 67%
trlc/errors.py Message_Handler.emit 28 1 0 16 1 95%
trlc/errors.py Message_Handler.lex_error 4 0 0 0 0 100%
trlc/errors.py Message_Handler.error 10 0 0 2 0 100%
trlc/errors.py Message_Handler.warning 9 0 0 2 0 100%
trlc/errors.py Message_Handler.check 6 0 0 0 0 100%
trlc/errors.py Message_Handler.ice_loc 0 0 10 0 0 100%
trlc/errors.py (no function) 27 0 1 0 0 100%
trlc/lexer.py triple_quoted_string_value 24 0 5 12 0 100%
trlc/lexer.py Source_Reference.__init__ 10 0 0 0 0 100%
trlc/lexer.py Source_Reference.text 1 0 0 0 0 100%
trlc/lexer.py Source_Reference.context_lines 19 0 0 8 0 100%
trlc/lexer.py Source_Reference.get_end_location 8 0 0 4 0 100%
trlc/lexer.py Token_Base.__init__ 5 0 0 0 0 100%
trlc/lexer.py Token.__init__ 10 0 0 6 0 100%
trlc/lexer.py Token.__repr__ 3 0 0 2 0 100%
trlc/lexer.py Lexer_Base.__init__ 14 0 0 0 0 100%
trlc/lexer.py Lexer_Base.is_alpha 1 0 0 0 0 100%
trlc/lexer.py Lexer_Base.is_numeric 1 0 0 0 0 100%
trlc/lexer.py Lexer_Base.is_alnum 1 0 0 0 0 100%
trlc/lexer.py Lexer_Base.file_location 0 0 1 0 0 100%
trlc/lexer.py Lexer_Base.token 0 0 1 0 0 100%
trlc/lexer.py Lexer_Base.skip_whitespace 3 0 0 2 0 100%
trlc/lexer.py Lexer_Base.advance 9 0 0 4 0 100%
trlc/lexer.py TRLC_Lexer.__init__ 10 0 0 2 0 100%
trlc/lexer.py TRLC_Lexer.current_location 1 0 0 0 0 100%
trlc/lexer.py TRLC_Lexer.file_location 1 0 0 0 0 100%
trlc/lexer.py TRLC_Lexer.token 164 0 2 118 0 100%
trlc/lexer.py Token_Stream.token 4 0 0 2 0 100%
trlc/lexer.py sanity_test 0 0 9 0 0 100%
trlc/lexer.py (no function) 35 0 8 0 0 100%
trlc/lint.py Linter.__init__ 12 0 0 0 0 100%
trlc/lint.py Linter.perform_sanity_checks 12 2 0 10 0 91%
trlc/lint.py Linter.verify_type 10 0 0 8 0 100%
trlc/lint.py Linter.verify_tuple_type 25 0 0 14 1 97%
trlc/lint.py Linter.verify_record_type 13 0 0 12 0 100%
trlc/lint.py Linter.verify_array_type 11 0 0 10 0 100%
trlc/lint.py Linter.markup_ref 5 3 0 6 1 27%
trlc/lint.py Linter.verify_imports 13 1 0 12 1 92%
trlc/lint.py (no function) 12 0 0 0 0 100%
trlc/math.py remainder 6 0 0 2 0 100%
trlc/math.py round_nearest_away 4 1 0 2 1 67%
trlc/math.py (no function) 4 0 0 0 0 100%
trlc/nested.py Nested_Lexer.__init__ 10 0 0 2 0 100%
trlc/nested.py Nested_Lexer.source_location 10 0 0 2 0 100%
trlc/nested.py Nested_Lexer.file_location 0 0 1 0 0 100%
trlc/nested.py Nested_Lexer.token 0 0 1 0 0 100%
trlc/nested.py (no function) 6 0 4 0 0 100%
trlc/parser.py Markup_Token.__init__ 2 0 0 0 0 100%
trlc/parser.py Markup_Lexer.__init__ 2 0 0 0 0 100%
trlc/parser.py Markup_Lexer.file_location 1 1 0 0 0 0%
trlc/parser.py Markup_Lexer.token 33 1 0 22 1 96%
trlc/parser.py Parser_Base.__init__ 13 0 0 0 0 100%
trlc/parser.py Parser_Base.advance 4 0 0 2 0 100%
trlc/parser.py Parser_Base.skip_until_newline 5 1 0 4 1 78%
trlc/parser.py Parser_Base.peek 2 0 0 0 0 100%
trlc/parser.py Parser_Base.peek_eof 1 0 0 0 0 100%
trlc/parser.py Parser_Base.peek_kw 2 0 0 0 0 100%
trlc/parser.py Parser_Base.match 8 1 0 6 1 86%
trlc/parser.py Parser_Base.match_eof 2 1 0 2 1 50%
trlc/parser.py Parser_Base.match_kw 10 1 0 8 1 89%
trlc/parser.py Markup_Parser.__init__ 4 0 0 0 0 100%
trlc/parser.py Markup_Parser.parse_all_references 6 0 0 4 0 100%
trlc/parser.py Markup_Parser.parse_ref_list 6 0 0 2 0 100%
trlc/parser.py Markup_Parser.parse_qualified_name 10 0 0 4 0 100%
trlc/parser.py Parser.__init__ 24 1 0 2 1 92%
trlc/parser.py Parser.parse_described_name 7 0 0 2 0 100%
trlc/parser.py Parser.parse_qualified_name 15 0 0 6 0 100%
trlc/parser.py Parser.parse_type_declaration 7 0 0 4 0 100%
trlc/parser.py Parser.parse_enum_declaration 25 0 0 8 0 100%
trlc/parser.py Parser.parse_tuple_field 22 0 0 8 0 100%
trlc/parser.py Parser.parse_tuple_declaration 40 0 0 16 1 98%
trlc/parser.py Parser.parse_record_component 44 1 0 12 1 96%
trlc/parser.py Parser.parse_record_declaration 61 0 0 24 0 100%
trlc/parser.py Parser.parse_expression 33 0 0 12 0 100%
trlc/parser.py Parser.parse_relation 43 1 0 14 1 96%
trlc/parser.py Parser.parse_simple_expression 28 0 0 10 0 100%
trlc/parser.py Parser.parse_term 12 0 0 2 0 100%
trlc/parser.py Parser.parse_factor 27 1 0 8 1 94%
trlc/parser.py Parser.parse_primary 39 0 0 16 0 100%
trlc/parser.py Parser.parse_quantified_expression 36 0 0 6 0 100%
trlc/parser.py Parser.parse_conditional_expression 29 0 0 4 0 100%
trlc/parser.py Parser.parse_builtin 51 3 2 26 4 91%
trlc/parser.py Parser.parse_name 46 2 0 20 3 92%
trlc/parser.py Parser.parse_check_block 74 7 0 32 5 89%
trlc/parser.py Parser.parse_section_declaration 14 0 0 2 0 100%
trlc/parser.py Parser.parse_boolean 4 1 0 2 1 67%
trlc/parser.py Parser.parse_value 113 3 3 56 3 96%
trlc/parser.py Parser.parse_markup_string 5 0 0 0 0 100%
trlc/parser.py Parser.parse_record_object_declaration 33 0 0 18 0 100%
trlc/parser.py Parser.parse_trlc_entry 3 0 0 2 0 100%
trlc/parser.py Parser.parse_preamble 21 0 0 8 1 97%
trlc/parser.py Parser.parse_rsl_file 22 1 0 14 1 94%
trlc/parser.py Parser.parse_trlc_file 30 5 0 22 3 81%
trlc/parser.py (no function) 60 0 0 0 0 100%
trlc/trlc.py Source_Manager.__init__ 25 0 0 0 0 100%
trlc/trlc.py Source_Manager.callback_parse_begin 1 0 0 0 0 100%
trlc/trlc.py Source_Manager.callback_parse_progress 1 0 0 0 0 100%
trlc/trlc.py Source_Manager.callback_parse_end 1 0 0 0 0 100%
trlc/trlc.py Source_Manager.signal_progress 4 0 2 0 0 100%
trlc/trlc.py Source_Manager.cross_file_reference 6 1 0 4 1 80%
trlc/trlc.py Source_Manager.update_common_root 8 0 0 6 0 100%
trlc/trlc.py Source_Manager.create_parser 5 0 0 0 0 100%
trlc/trlc.py Source_Manager.register_include 11 7 0 10 1 33%
trlc/trlc.py Source_Manager.register_file 11 0 3 2 0 100%
trlc/trlc.py Source_Manager.register_directory 16 0 0 14 0 100%
trlc/trlc.py Source_Manager.register_rsl_file 10 0 0 2 0 100%
trlc/trlc.py Source_Manager.register_trlc_file 10 0 2 2 0 100%
trlc/trlc.py Source_Manager.build_graph 43 1 0 20 1 97%
trlc/trlc.py Source_Manager.parse_rsl_files 21 2 0 6 0 93%
trlc/trlc.py Source_Manager.parse_trlc_files 13 0 0 6 0 100%
trlc/trlc.py Source_Manager.resolve_record_references 8 0 0 4 0 100%
trlc/trlc.py Source_Manager.perform_checks 9 0 0 6 0 100%
trlc/trlc.py Source_Manager.process 20 0 12 8 0 100%
trlc/trlc.py trlc 69 2 46 26 2 96%
trlc/trlc.py trlc.count 7 0 0 4 0 100%
trlc/trlc.py trlc.get_status 0 0 6 0 0 100%
trlc/trlc.py main 6 4 0 0 0 33%
trlc/trlc.py (no function) 37 0 4 0 0 100%
trlc/vcg.py Unsupported.__init__ 0 0 6 0 0 100%
trlc/vcg.py Feedback.__init__ 8 0 0 0 0 100%
trlc/vcg.py VCG.__init__ 27 0 0 0 0 100%
trlc/vcg.py VCG.flag_unsupported 0 0 2 0 0 100%
trlc/vcg.py VCG.new_temp_name 2 0 0 0 0 100%
trlc/vcg.py VCG.get_uf_matches 4 0 0 2 0 100%
trlc/vcg.py VCG.create_return 10 0 0 4 1 93%
trlc/vcg.py VCG.attach_validity_check 11 0 0 4 0 100%
trlc/vcg.py VCG.attach_int_division_check 10 1 0 2 1 83%
trlc/vcg.py VCG.attach_real_division_check 10 1 0 2 1 83%
trlc/vcg.py VCG.attach_index_check 14 1 0 2 1 88%
trlc/vcg.py VCG.attach_feasability_check 9 0 0 2 0 100%
trlc/vcg.py VCG.attach_assumption 7 0 0 0 0 100%
trlc/vcg.py VCG.attach_temp_declaration 8 0 0 0 0 100%
trlc/vcg.py VCG.attach_empty_assumption 4 0 0 0 0 100%
trlc/vcg.py VCG.analyze 2 0 2 0 0 100%
trlc/vcg.py VCG.checks_on_composite_type 40 2 4 24 1 95%
trlc/vcg.py VCG.create_counterexample 13 1 0 8 1 90%
trlc/vcg.py VCG.fraction_to_decimal_string 23 0 0 14 0 100%
trlc/vcg.py VCG.value_to_trlc 41 2 2 32 2 95%
trlc/vcg.py VCG.tr_component_value_name 1 0 0 0 0 100%
trlc/vcg.py VCG.tr_component_valid_name 1 0 0 0 0 100%
trlc/vcg.py VCG.emit_tuple_constraints 25 1 0 14 1 95%
trlc/vcg.py VCG.tr_component_decl 31 0 0 12 0 100%
trlc/vcg.py VCG.tr_type 35 0 2 26 1 98%
trlc/vcg.py VCG.tr_check 9 0 0 4 0 100%
trlc/vcg.py VCG.tr_expression 32 0 2 28 0 100%
trlc/vcg.py VCG.tr_name_reference 16 0 0 8 0 100%
trlc/vcg.py VCG.tr_unary_expression 28 0 1 20 0 100%
trlc/vcg.py VCG.tr_binary_expression 62 4 2 42 1 93%
trlc/vcg.py VCG.tr_range_test 9 0 0 0 0 100%
trlc/vcg.py VCG.tr_oneof_test 22 0 0 12 0 100%
trlc/vcg.py VCG.tr_conditional_expression_functional 7 0 0 2 0 100%
trlc/vcg.py VCG.tr_conditional_expression 21 0 0 2 0 100%
trlc/vcg.py VCG.tr_op_implication 23 0 0 2 0 100%
trlc/vcg.py VCG.tr_op_and 23 0 0 2 0 100%
trlc/vcg.py VCG.tr_op_or 23 3 0 2 1 84%
trlc/vcg.py VCG.tr_core_equality_tuple_component 11 0 0 2 0 100%
trlc/vcg.py VCG.tr_core_equality 16 2 0 10 2 85%
trlc/vcg.py VCG.tr_op_equality 19 1 0 12 1 94%
trlc/vcg.py VCG.tr_quantified_expression 29 0 2 2 0 100%
trlc/vcg.py VCG.tr_field_access_expression 8 0 0 2 0 100%
trlc/vcg.py (no function) 56 0 9 0 0 100%
trlc/version.py (no function) 8 0 0 0 0 100%
Total   3981 180 484 1416 83 94%

No items found using the specified filter.