line |
stmt |
bran |
cond |
sub |
pod |
time |
code |
1
|
|
|
|
|
|
|
package Mic::ContractConfig; |
2
|
34
|
|
|
34
|
|
261
|
use strict; |
|
34
|
|
|
|
|
84
|
|
|
34
|
|
|
|
|
7290
|
|
3
|
|
|
|
|
|
|
|
4
|
|
|
|
|
|
|
sub configure { |
5
|
13
|
|
|
13
|
0
|
32
|
my ($contract_for) = @_; |
6
|
|
|
|
|
|
|
|
7
|
13
|
|
|
|
|
26
|
foreach my $class (keys %{ $contract_for }) { |
|
13
|
|
|
|
|
55
|
|
8
|
13
|
|
|
|
|
23
|
foreach my $type (keys %{ $contract_for->{$class} }) { |
|
13
|
|
|
|
|
41
|
|
9
|
15
|
100
|
|
|
|
87
|
if ($contract_for->{$class}{$type} =~ /^off|false$/i) { |
10
|
2
|
|
|
|
|
5
|
$contract_for->{$class}{$type} = 0; |
11
|
|
|
|
|
|
|
} |
12
|
|
|
|
|
|
|
} |
13
|
13
|
|
|
|
|
40
|
$Mic::Contracts_for{$class} = $contract_for->{$class}; |
14
|
13
|
100
|
|
|
|
75
|
if ( $Mic::Contracts_for{$class}{all} ) { |
15
|
1
|
|
|
|
|
2
|
$Mic::Contracts_for{$class} = { map { $_ => 1 } qw/pre post invariant/ }; |
|
3
|
|
|
|
|
12
|
|
16
|
|
|
|
|
|
|
} |
17
|
|
|
|
|
|
|
} |
18
|
|
|
|
|
|
|
} |
19
|
|
|
|
|
|
|
|
20
|
|
|
|
|
|
|
1; |