View GitHub Repository python-structured-data

Schedule Inspection
Subscribe
Passed
Push — master ( d0bb4f...766b8c )
by Max
51s
created

test_resources.adt_with_current   A

↳ Parent: Project

Complexity

Total Complexity 0

Size/Duplication

Total Lines 46
Duplicated Lines 0 %

Importance

Changes 0
Metric Value
eloc 28
dl 0
loc 46
rs 10
c 0
b 0
f 0
wmc 0
1 
from structured_data import adt
2 

            


            
                                                        
            
                                    
            
            

                
                    3
                

                                    
                                                    
                
                
                

            


            
                                                        
            
                                    
            
            

                
                    4
                

                                    
                                                    
                
                
                
@adt.adt

            


            
                                                        
            
                                    
            
            

                
                    5
                

                                    
                                                    
                
                
                
class Basic:

            


            
                                                        
            
                                    
            
            

                
                    6
                

                                    
                                                    
                
                
                

            


            
                                                        
            
                                    
            
            

                
                    7
                

                                    
                                                    
                
                
                
    Left: adt.Ctor[int]

            


            
                                                        
            
                                    
            
            

                
                    8
                

                                    
                                                    
                
                
                
    Right: adt.Ctor[str]

            


            
                                                        
            
                                    
            
            

                
                    9
                

                                    
                                                    
                
                
                

            


            
                                                        
            
                                    
            
            

                
                    10
                

                                    
                                                    
                
                
                
    left_type = (int,)

            


            
                                                        
            
                                    
            
            

                
                    11
                

                                    
                                                    
                
                
                
    right_type = (str,)

            


            
                                                        
            
                                    
            
            

                
                    12
                

                                    
                                                    
                
                
                

            


            
                                                        
            
                                    
            
            

                
                    13
                

                                    
                                                    
                
                
                

            


            
                                                        
            
                                    
            
            

                
                    14
                

                                    
                                                    
                
                
                
@adt.adt

            


            
                                                        
            
                                    
            
            

                
                    15
                

                                    
                                                    
                
                
                
class StringedInternally:

            


            
                                                        
            
                                    
            
            

                
                    16
                

                                    
                                                    
                
                
                

            


            
                                                        
            
                                    
            
            

                
                    17
                

                                    
                                                    
                
                
                
    Left: adt.Ctor['int']

            


            
                                                        
            
                                    
            
            

                
                    18
                

                                    
                                                    
                
                
                
    Right: adt.Ctor['str']

            


            
                                                        
            
                                    
            
            

                
                    19
                

                                    
                                                    
                
                
                

            


            
                                                        
            
                                    
            
            

                
                    20
                

                                    
                                                    
                
                
                
    left_type = (int,)

            


            
                                                        
            
                                    
            
            

                
                    21
                

                                    
                                                    
                
                
                
    right_type = (str,)

            


            
                                                        
            
                                    
            
            

                
                    22
                

                                    
                                                    
                
                
                

            


            
                                                        
            
                                    
            
            

                
                    23
                

                                    
                                                    
                
                
                

            


            
                                                        
            
                                    
            
            

                
                    24
                

                                    
                                                    
                
                
                
@adt.adt

            


            
                                                        
            
                                    
            
            

                
                    25
                

                                    
                                                    
                
                
                
class StringedExternally:

            


            
                                                        
            
                                    
            
            

                
                    26
                

                                    
                                                    
                
                
                

            


            
                                                        
            
                                    
            
            

                
                    27
                

                                    
                                                    
                
                
                
    Left: 'adt.Ctor[int]'

            


            
                                                        
            
                                    
            
            

                
                    28
                

                                    
                                                    
                
                
                
    Right: 'adt.Ctor[str]'

            


            
                                                        
            
                                    
            
            

                
                    29
                

                                    
                                                    
                
                
                

            


            
                                                        
            
                                    
            
            

                
                    30
                

                                    
                                                    
                
                
                
    left_type = (int,)

            


            
                                                        
            
                                    
            
            

                
                    31
                

                                    
                                                    
                
                
                
    right_type = (str,)

            


            
                                                        
            
                                    
            
            

                
                    32
                

                                    
                                                    
                
                
                

            


            
                                                        
            
                                    
            
            

                
                    33
                

                                    
                                                    
                
                
                

            


            
                                                        
            
                                    
            
            

                
                    34
                

                                    
                                                    
                
                
                
@adt.adt

            


            
                                                        
            
                                    
            
            

                
                    35
                

                                    
                                                    
                
                
                
class Tupled:

            


            
                                                        
            
                                    
            
            

                
                    36
                

                                    
                                                    
                
                
                

            


            
                                                        
            
                                    
            
            

                
                    37
                

                                    
                                                    
                
                
                
    Left: adt.Ctor[int, 'int']

            


            
                                                        
            
                                    
            
            

                
                    38
                

                                    
                                                    
                
                
                
    Right: "adt.Ctor[str, str]"

            


            
                                                        
            
                                    
            
            

                
                    39
                

                                    
                                                    
                
                
                

            


            
                                                        
            
                                    
            
            

                
                    40
                

                                    
                                                    
                
                
                
    left_type = (int, int)

            


            
                                                        
            
                                    
            
            

                
                    41
                

                                    
                                                    
                
                
                
    right_type = (str, str)

            


            
                                                        
            
                                    
            
            

                
                    42
                

                                    
                                                    
                
                
                

            


            
                                                        
            
                                    
            
            

                
                    43
                

                                    
                                                    
                
                
                

            


            
                                                        
            
                                    
            
            

                
                    44
                

                                    
                                                    
                
                
                
TEST_CLASSES = [

            


            
                                                        
            
                                    
            
            

                
                    45
                

                                    
                                                    
                
                
                
    Basic, StringedInternally, StringedExternally, Tupled]

            


            
                                                        
            
                                    
            
            

                
                    46