~eda-qa/leaflang/misc

« back to all changes in this revision

Viewing changes to src/test/type_identifier_infer.cpp

  • Committer: edA-qa mort-ora-y
  • Date: 2017-07-22 19:48:13 UTC
  • mfrom: (99.1.41 error)
  • Revision ID: eda-qa@disemia.com-20170722194813-h3yqkhe1j2ouwga4
merging error handling

Show diffs side-by-side

added added

removed removed

Lines of Context:
30
30
                auto vt_assign = determine_type( assign, flags );
31
31
 
32
32
                try {
33
 
                        result = type_identifier::infer( the_context, *vt_spec, vt_assign, init_refer );
 
33
                        result = type_identifier::infer( the_context(), *vt_spec, vt_assign, init_refer );
34
34
                } catch( ... ) {
35
35
                        ex.except();
36
36
                }
50
50
 
51
51
                type_identifier::resolve_t result;
52
52
                try {
53
 
                        result = type_identifier::infer( the_context, *vt_spec, vt_assign, init_refer );
 
53
                        result = type_identifier::infer( the_context(), *vt_spec, vt_assign, init_refer );
54
54
                } catch( ... ) {
55
55
                        ex.except();
56
56
                }
69
69
                auto vt_spec = parse_spec( spec );
70
70
 
71
71
                try {
72
 
                        result = type_identifier::infer( the_context, *vt_spec, vt_assign, init_refer );
 
72
                        result = type_identifier::infer( the_context(), *vt_spec, vt_assign, init_refer );
73
73
                } catch( ... ) {
74
74
                        ex.except();
75
75
                }
94
94
                auto vt_assign = determine_type( assign );
95
95
 
96
96
                try {
97
 
                        result = type_identifier::infer_spec( the_context, *vt_spec, vt_assign, false );
 
97
                        result = type_identifier::infer_spec( the_context(), *vt_spec, vt_assign, false );
98
98
                } catch( ... ) {
99
99
                        ex.except();
100
100
                }
121
121
                auto vt_assign = determine_type( assign );
122
122
 
123
123
                try {
124
 
                        result = type_identifier::infer_value_list( the_context, vt_assign, init_refer );
 
124
                        result = type_identifier::infer_value_list( the_context(), vt_assign, init_refer );
125
125
                } catch( ... ) {
126
126
                        ex.except();
127
127
                }
329
329
        t( "(:array<:integer:>)->()", "(:array<:any:>)-> $implicit", "( : ^array「 integer 」 ) -> ( )");
330
330
}
331
331
 
332
 
BOOST_AUTO_TEST_CASE( range ) {
333
 
        tester_infer t;
334
 
        
335
 
        t( "", "__integer_range", "__integer_range" );
336
 
}
337
 
 
338
332
BOOST_AUTO_TEST_SUITE_END()
 
 
b'\\ No newline at end of file'