Permalink
Browse files

Fix extraction.

Fix problems where the timestamp and count 
initialization methods did not get extracted
properly.
  • Loading branch information...
cmeiklejohn committed Dec 15, 2013
1 parent 3927367 commit 4d0b91cc3bec83bd59f4f69509b426878a9f1665
Showing with 8 additions and 6 deletions.
  1. +8 −6 src/vvclock.core
View
@@ -1,10 +1,13 @@
-module 'vvclock' [ 'fresh'/0, 'incr_timestamp'/1, 'incr_count'/1, 'increment'/2, 'equal@'/2, 'equal'/2, 'ble_nat'/2, 'descends@'/2, 'descends'/2, 'max@'/2, 'merge'/2, 'get_counter'/2, 'get_timestamp'/2, 'all_nodes'/1, 'bgt_nat'/2, 'prune@'/5 ] attributes [ ]
+module 'vvclock' [ 'fresh'/0, 'init_timestamp'/0, 'incr_timestamp'/1, 'init_count'/0, 'incr_count'/1, 'increment'/2, 'equal@'/2, 'equal'/2, 'ble_nat'/2, 'descends@'/2, 'descends'/2, 'max@'/2, 'merge'/2, 'get_counter'/2, 'get_timestamp'/2, 'all_nodes'/1, 'bgt_nat'/2, 'prune@'/5 ] attributes [ ]
-'fresh'/0 = fun() ->
+'fresh'/0 = fun () ->
[]
+'init_timestamp'/0 = fun () ->
+ 'O'
'incr_timestamp'/1 = fun (_timestamp) ->
{'S', _timestamp}
-
+'init_count'/0 = fun () ->
+ 'O'
'incr_count'/1 = fun (_count) ->
{'S', _count}
'increment'/2 = fun (_actor, _vclock) ->
@@ -59,8 +62,8 @@ module 'vvclock' [ 'fresh'/0, 'incr_timestamp'/1, 'incr_count'/1, 'increment'/2,
[{ 'Pair'
, _actor
, { 'Pair'
- , 'init_count'
- , 'init_timestamp'
+ , call 'vvclock':'init_count' ()
+ , call 'vvclock':'init_timestamp' ()
}
}|_vclock]
end
@@ -170,7 +173,6 @@ module 'vvclock' [ 'fresh'/0, 'incr_timestamp'/1, 'incr_count'/1, 'increment'/2,
end
end
'ble_nat'/2 = fun (_n, _m) ->
- call 'io':'format' ("****")
case _n of
'O' when 'true' ->
'True'

0 comments on commit 4d0b91c

Please sign in to comment.