dialyzer: Substitute 'opacity' for 'opaqueness'

Suggested by Kostis.

4 files changed, 21 insertions, 21 deletions

diff --git a/lib/dialyzer/test/opaque_SUITE_data/src/simple/exact_api.erl b/lib/dialyzer/test/opaque_SUITE_data/src/simple/exact_api.erl
index c19330eb30..597460ce77 100644
--- a/lib/dialyzer/test/opaque_SUITE_data/src/simple/exact_api.erl
+++ b/lib/dialyzer/test/opaque_SUITE_data/src/simple/exact_api.erl
@@ -52,7 +52,7 @@ exact_api_set_type(#exact_api{}=E) -> E.
 -record(exact_adt, {}).
 
 exact_adt_test(X) ->
-    #exact_adt{} = exact_adt:exact_adt_set_type(X). % breaks the opaqueness
+    #exact_adt{} = exact_adt:exact_adt_set_type(X). % breaks the opacity
 
 exact_adt_new(A) ->
     A = #exact_adt{},
diff --git a/lib/dialyzer/test/opaque_SUITE_data/src/simple/is_rec.erl b/lib/dialyzer/test/opaque_SUITE_data/src/simple/is_rec.erl
index 2b157483bc..b906431b44 100644
--- a/lib/dialyzer/test/opaque_SUITE_data/src/simple/is_rec.erl
+++ b/lib/dialyzer/test/opaque_SUITE_data/src/simple/is_rec.erl
@@ -16,11 +16,11 @@ ri11() ->
 
 ri13() ->
     A = simple1_adt:d1(),
-    if is_record(A, r) -> true end. % breaks the opaqueness
+    if is_record(A, r) -> true end. % breaks the opacity
 
 ri14() ->
     A = simple1_adt:d1(),
-    if is_record({A, 1}, r) -> true end. % breaks the opaqueness
+    if is_record({A, 1}, r) -> true end. % breaks the opacity
 
 -type '1-3-t'() :: 1..3.
 
@@ -54,7 +54,7 @@ ri5() ->
 
 ri6() ->
     A = simple1_adt:d1(),
-    if is_record(A, r) -> true end. % breaks opaqueness
+    if is_record(A, r) -> true end. % breaks opacity
 
 ri7() ->
     A = simple1_adt:d1(),
diff --git a/lib/dialyzer/test/opaque_SUITE_data/src/simple/rec_api.erl b/lib/dialyzer/test/opaque_SUITE_data/src/simple/rec_api.erl
index fb6d59d263..59b9e0fec4 100644
--- a/lib/dialyzer/test/opaque_SUITE_data/src/simple/rec_api.erl
+++ b/lib/dialyzer/test/opaque_SUITE_data/src/simple/rec_api.erl
@@ -30,7 +30,7 @@ t3() ->
 
 adt_t1() ->
     R = rec_adt:r1(),
-    {r1, a} = R. % breaks the opaqueness
+    {r1, a} = R. % breaks the opacity
 
 -spec adt_t1(rec_adt:r1()) -> rec_adt:r1(). % invalid type spec
 
@@ -82,7 +82,7 @@ f() ->
 
 r_adt() ->
     {{r, rec_adt:f(), 2},
-     #r{f = rec_adt:f(), o = 2}}. % breaks the opaqueness
+     #r{f = rec_adt:f(), o = 2}}. % breaks the opacity
 
 -record(r2, % like #r1{}, but with initial value
         {f1 = a :: a()}).
@@ -110,7 +110,7 @@ u3() ->
 
 v1() ->
     A = #r3{f1 = queue:new()},
-    {r3, a} = A. % breaks the opaqueness
+    {r3, a} = A. % breaks the opacity
 
 v2() ->
     A = {r3, 10},
@@ -120,4 +120,4 @@ v2() ->
 
 v3() ->
     A = {r3, 10},
-    #r3{f1 = 10} = A. % breaks the opaqueness
+    #r3{f1 = 10} = A. % breaks the opacity
diff --git a/lib/dialyzer/test/opaque_SUITE_data/src/simple/simple1_api.erl b/lib/dialyzer/test/opaque_SUITE_data/src/simple/simple1_api.erl
index 7db1100597..d67aa913d8 100644
--- a/lib/dialyzer/test/opaque_SUITE_data/src/simple/simple1_api.erl
+++ b/lib/dialyzer/test/opaque_SUITE_data/src/simple/simple1_api.erl
@@ -194,7 +194,7 @@ tt1() ->
 
 tt2() ->
     A = simple1_adt:d1(),
-    is_integer(A). % breaks the opaqueness
+    is_integer(A). % breaks the opacity
 
 %% Comparison with integers
 
@@ -262,11 +262,11 @@ f2() ->
 
 adt_f1() ->
     T = simple1_adt:n1(),
-    if is_function(T) -> ok end. % breaks the opaqueness
+    if is_function(T) -> ok end. % breaks the opacity
 
 adt_f2() ->
     T = simple1_adt:n1(),
-    is_function(T). % breaks the opaqueness
+    is_function(T). % breaks the opacity
 
 f3() ->
     A = i1(),
@@ -281,12 +281,12 @@ f4() ->
 adt_f3() ->
     A = simple1_adt:i1(),
     T = simple1_adt:n1(),
-    if is_function(T, A) -> ok end. % breaks the opaqueness
+    if is_function(T, A) -> ok end. % breaks the opacity
 
 adt_f4() ->
     A = simple1_adt:i1(),
     T = simple1_adt:n1(),
-    is_function(T, A). % breaks the opaqueness
+    is_function(T, A). % breaks the opacity
 
 adt_f4_a() ->
     A = simple1_adt:i1(),
@@ -297,7 +297,7 @@ adt_f4_a() ->
 adt_f4_b() ->
     A = i1(),
     T = simple1_adt:n1(),
-    is_function(T, A). % breaks the opaqueness
+    is_function(T, A). % breaks the opacity
 
 %% A few Boolean examples
 
@@ -404,7 +404,7 @@ bit_t1() ->
 
 bit_adt_t1() ->
     A = simple1_adt:i1(),
-    <<100:(A)>>. % breaks the opaqueness
+    <<100:(A)>>. % breaks the opacity
 
 bit_t3(A) ->
     B = i1(),
@@ -415,14 +415,14 @@ bit_t3(A) ->
 bit_adt_t2() ->
     A = simple1_adt:i1(),
     case <<"hej">> of
-        <<_:A>> -> ok % breaks the opaqueness (but the message is strange)
+        <<_:A>> -> ok % breaks the opacity (but the message is strange)
     end.
 
 
 bit_adt_t3(A) ->
     B = simple1_adt:i1(),
     case none:none() of
-        <<A:  % breaks the opaqueness (the message is less than perfect)
+        <<A:  % breaks the opacity (the message is less than perfect)
           B>> -> 1
     end.
 
@@ -445,7 +445,7 @@ bit_t4(A) ->
 bit_adt_t4(A) ->
     Sz = simple1_adt:i1(),
     case A of
-        <<_:Sz>> -> 1 % breaks the opaqueness
+        <<_:Sz>> -> 1 % breaks the opacity
     end.
 
 bit_t5() ->
@@ -457,7 +457,7 @@ bit_t5() ->
 bit_adt_t5() ->
     A = simple1_adt:bit1(),
     case A of
-        <<_/binary>> -> 1 % breaks the opaqueness
+        <<_/binary>> -> 1 % breaks the opacity
     end.
 
 -opaque bit1() :: binary().
@@ -475,7 +475,7 @@ call_f(A) ->
 
 call_f_adt(A) ->
     A = simple1_adt:a(),
-    foo:A(A). % breaks the opaqueness
+    foo:A(A). % breaks the opacity
 
 call_m(A) ->
     A = a(),
@@ -483,7 +483,7 @@ call_m(A) ->
 
 call_m_adt(A) ->
     A = simple1_adt:a(),
-    A:foo(A). % breaks the opaqueness
+    A:foo(A). % breaks the opacity
 
 -opaque a() :: atom().