1.1 --- a/encoders.py Wed Sep 28 22:57:04 2016 +0200
1.2 +++ b/encoders.py Wed Sep 28 22:59:21 2016 +0200
1.3 @@ -107,21 +107,21 @@
1.4 def test_for_kinds(prefix, all_kinds):
1.5
1.6 """
1.7 - Return identifiers describing test conditions incorporating the given
1.8 + Return an identifier describing test conditions incorporating the given
1.9 'prefix' and involving 'all_kinds', being a collection of object kinds.
1.10 """
1.11
1.12 return test_for_kind(prefix, first(all_kinds))
1.13
1.14 -def test_for_types(prefix, all_types):
1.15 +def test_for_type(prefix, ref):
1.16
1.17 """
1.18 - Return identifiers describing test conditions incorporating the given
1.19 - 'prefix' and involving 'all_types', being a collection of references to
1.20 - program types.
1.21 + Return an identifier describing a test condition incorporating the given
1.22 + 'prefix' and involving 'ref', being a program type reference. The kind of
1.23 + the reference is employed in the identifier.
1.24 """
1.25
1.26 - return test_for_kind(prefix, first(all_types).get_kind())
1.27 + return test_for_kind(prefix, ref.get_kind())
1.28
1.29
1.30