← Back to branch summary

~ubuntu-branches/ubuntu/trusty/erlang/trusty

« back to all changes in this revision

Viewing changes to lib/dialyzer/test/opaque_tests_SUITE_data/src/mixed_opaque/mixed_opaque_use.erl

  • Committer: Bazaar Package Importer
  • Author(s): Clint Byrum
  • Date: 2011-05-05 15:48:43 UTC
  • mfrom: (3.5.13 sid)
  • Revision ID: james.westby@ubuntu.com-20110505154843-0om6ekzg6m7ugj27
Tags: 1:14.b.2-dfsg-3ubuntu1
* Merge from debian unstable.  Remaining changes:
  - Drop libwxgtk2.8-dev build dependency. Wx isn't in main, and not
    supposed to.
  - Drop erlang-wx binary.
  - Drop erlang-wx dependency from -megaco, -common-test, and -reltool, they
    do not really need wx. Also drop it from -debugger; the GUI needs wx,
    but it apparently has CLI bits as well, and is also needed by -megaco,
    so let's keep the package for now.
  - debian/patches/series: Do what I meant, and enable build-options.patch
    instead.
* Additional changes:
  - Drop erlang-wx from -et
* Dropped Changes:
  - patches/pcre-crash.patch: CVE-2008-2371: outer level option with
    alternatives caused crash. (Applied Upstream)
  - fix for ssl certificate verification in newSSL: 
    ssl_cacertfile_fix.patch (Applied Upstream)
  - debian/patches/series: Enable native.patch again, to get stripped beam
    files and reduce the package size again. (build-options is what
    actually accomplished this)
  - Remove build-options.patch on advice from upstream and because it caused
    odd build failures.

Show diffs side-by-side

added added

removed removed

Lines of Context:
lib/dialyzer/test/opaque_tests_SUITE_data/src/mixed_opaque/mixed_opaque_use.erl
 
1
%%---------------------------------------------------------------------------
 
2
%% Test that tries some combinations of using more than one opaque data type
 
3
%% in the same function(s).
 
4
%%----------------------------------------------------------------------------
 
5
-module(mixed_opaque_use).
 
6
 
 
7
-export([ok1/1, ok2/0, wrong1/0]).
 
8
 
 
9
-define(REC, mixed_opaque_rec_adt).
 
10
-define(QUEUE, mixed_opaque_queue_adt).
 
11
 
 
12
%% Currently returning unions of opaque types is considered OK
 
13
ok1(Type) ->
 
14
    case Type of
 
15
        queue -> ?QUEUE:new();
 
16
        rec -> ?REC:new()
 
17
    end.
 
18
 
 
19
%% Constructing a queue of records is OK
 
20
ok2() ->
 
21
    Q0 = ?QUEUE:new(),
 
22
    R0 = ?REC:new(),
 
23
    Q1 = ?QUEUE:add(R0, Q0),
 
24
    {R1,_Q2} = ?QUEUE:dequeue(Q1),
 
25
    ?REC:get_a(R1).
 
26
 
 
27
%% But of course calling a function expecting some opaque type
 
28
%% with some other opaque typs is not OK
 
29
wrong1() ->
 
30
    Q = ?QUEUE:new(),
 
31
    ?REC:get_a(Q).