/dports/lang/erlang-runtime21/otp-OTP-21.3.8.24/lib/compiler/test/ |
H A D | record_SUITE.erl | 124 true = is_record(#foo{}, foo), 126 false = is_record({foo}, foo), 132 false = is_record([], foo), 133 false = is_record(Config, foo), 210 [X || X <- List, ((not is_record(X, bar)) and (not is_record(X, foo)))], 212 [X || X <- List, ((is_record(X, bar)) or (is_record(X, foo)))], 229 begin is_record(X, foo) or 269 false = is_record([], foo), 340 [X || X <- List, ((not is_record(X, bar, 5)) and (not is_record(X, foo, 5)))], 342 [X || X <- List, ((is_record(X, bar, 5)) or (is_record(X, foo, 5)))], [all …]
|
/dports/lang/erlang-runtime22/otp-OTP-22.3.4.24/lib/debugger/test/ |
H A D | record_SUITE.erl | 125 true = is_record(#foo{}, foo), 126 false = is_record(#foo{}, barf), 127 false = is_record({foo}, foo), 133 false = is_record([], foo), 134 false = is_record(Config, foo), 144 ?FalseGuard(is_record([], foo)), 202 [X || X <- List, ((not is_record(X, bar)) and (not is_record(X, foo)))], 204 [X || X <- List, ((is_record(X, bar)) or (is_record(X, foo)))], 221 begin is_record(X, foo) or 224 begin not is_record(X, foo) or [all …]
|
/dports/lang/erlang-runtime23/otp-OTP-23.3.4.10/lib/debugger/test/ |
H A D | record_SUITE.erl | 125 true = is_record(#foo{}, foo), 126 false = is_record(#foo{}, barf), 127 false = is_record({foo}, foo), 133 false = is_record([], foo), 134 false = is_record(Config, foo), 144 ?FalseGuard(is_record([], foo)), 202 [X || X <- List, ((not is_record(X, bar)) and (not is_record(X, foo)))], 204 [X || X <- List, ((is_record(X, bar)) or (is_record(X, foo)))], 221 begin is_record(X, foo) or 224 begin not is_record(X, foo) or [all …]
|
/dports/lang/erlang-runtime21/otp-OTP-21.3.8.24/lib/debugger/test/ |
H A D | record_SUITE.erl | 125 true = is_record(#foo{}, foo), 126 false = is_record(#foo{}, barf), 127 false = is_record({foo}, foo), 133 false = is_record([], foo), 134 false = is_record(Config, foo), 144 ?FalseGuard(is_record([], foo)), 202 [X || X <- List, ((not is_record(X, bar)) and (not is_record(X, foo)))], 204 [X || X <- List, ((is_record(X, bar)) or (is_record(X, foo)))], 221 begin is_record(X, foo) or 224 begin not is_record(X, foo) or [all …]
|
/dports/lang/erlang-runtime23/corba-5.0.2/lib/ic/src/ |
H A D | ic_forms.erl | 51 get_dimension(X) when is_record(X, array) -> 58 get_id(X) when is_record(X, scoped_id) -> X#scoped_id.id; 59 get_id(X) when is_record(X, array) -> get_id(X#array.id); 131 get_id2(X) when is_record(X, op) -> get_id(X#op.id); 155 get_type(X) when is_record(X, op) -> X#op.type; 168 get_tk(X) when is_record(X, enum) -> X#enum.tk; 169 get_tk(X) when is_record(X, attr) -> X#attr.tk; 171 get_tk(X) when is_record(X, op) -> X#op.tk; 181 get_idlist(X) when is_record(X, attr) -> X#attr.id. 184 is_oneway(X) when is_record(X, op) -> [all …]
|
/dports/lang/erlang-runtime24/corba-5.0.2/lib/ic/src/ |
H A D | ic_forms.erl | 51 get_dimension(X) when is_record(X, array) -> 58 get_id(X) when is_record(X, scoped_id) -> X#scoped_id.id; 59 get_id(X) when is_record(X, array) -> get_id(X#array.id); 131 get_id2(X) when is_record(X, op) -> get_id(X#op.id); 155 get_type(X) when is_record(X, op) -> X#op.type; 168 get_tk(X) when is_record(X, enum) -> X#enum.tk; 169 get_tk(X) when is_record(X, attr) -> X#attr.tk; 171 get_tk(X) when is_record(X, op) -> X#op.tk; 181 get_idlist(X) when is_record(X, attr) -> X#attr.id. 184 is_oneway(X) when is_record(X, op) -> [all …]
|
/dports/lang/erlang-runtime22/corba-4.5.2/lib/ic/src/ |
H A D | ic_forms.erl | 51 get_dimension(X) when is_record(X, array) -> 58 get_id(X) when is_record(X, scoped_id) -> X#scoped_id.id; 59 get_id(X) when is_record(X, array) -> get_id(X#array.id); 131 get_id2(X) when is_record(X, op) -> get_id(X#op.id); 155 get_type(X) when is_record(X, op) -> X#op.type; 168 get_tk(X) when is_record(X, enum) -> X#enum.tk; 169 get_tk(X) when is_record(X, attr) -> X#attr.tk; 171 get_tk(X) when is_record(X, op) -> X#op.tk; 181 get_idlist(X) when is_record(X, attr) -> X#attr.id. 184 is_oneway(X) when is_record(X, op) -> [all …]
|
/dports/lang/erlang/corba-5.0.2/lib/ic/src/ |
H A D | ic_forms.erl | 51 get_dimension(X) when is_record(X, array) -> 58 get_id(X) when is_record(X, scoped_id) -> X#scoped_id.id; 59 get_id(X) when is_record(X, array) -> get_id(X#array.id); 131 get_id2(X) when is_record(X, op) -> get_id(X#op.id); 155 get_type(X) when is_record(X, op) -> X#op.type; 168 get_tk(X) when is_record(X, enum) -> X#enum.tk; 169 get_tk(X) when is_record(X, attr) -> X#attr.tk; 171 get_tk(X) when is_record(X, op) -> X#op.tk; 181 get_idlist(X) when is_record(X, attr) -> X#attr.id. 184 is_oneway(X) when is_record(X, op) -> [all …]
|
/dports/lang/erlang-runtime21/corba-4.5.2/lib/ic/src/ |
H A D | ic_forms.erl | 51 get_dimension(X) when is_record(X, array) -> 58 get_id(X) when is_record(X, scoped_id) -> X#scoped_id.id; 59 get_id(X) when is_record(X, array) -> get_id(X#array.id); 131 get_id2(X) when is_record(X, op) -> get_id(X#op.id); 155 get_type(X) when is_record(X, op) -> X#op.type; 168 get_tk(X) when is_record(X, enum) -> X#enum.tk; 169 get_tk(X) when is_record(X, attr) -> X#attr.tk; 171 get_tk(X) when is_record(X, op) -> X#op.tk; 181 get_idlist(X) when is_record(X, attr) -> X#attr.id. 184 is_oneway(X) when is_record(X, op) -> [all …]
|
/dports/lang/erlang-runtime24/otp-OTP-24.1.7/lib/compiler/test/ |
H A D | record_SUITE.erl | 125 true = is_record(#foo{}, foo), 127 false = is_record({foo}, foo), 133 false = is_record([], foo), 134 false = is_record(Config, foo), 211 [X || X <- List, ((not is_record(X, bar)) and (not is_record(X, foo)))], 213 [X || X <- List, ((is_record(X, bar)) or (is_record(X, foo)))], 230 begin is_record(X, foo) or 270 false = is_record([], foo), 341 [X || X <- List, ((not is_record(X, bar, 5)) and (not is_record(X, foo, 5)))], 343 [X || X <- List, ((is_record(X, bar, 5)) or (is_record(X, foo, 5)))], [all …]
|
/dports/lang/erlang-runtime23/otp-OTP-23.3.4.10/lib/compiler/test/ |
H A D | record_SUITE.erl | 125 true = is_record(#foo{}, foo), 127 false = is_record({foo}, foo), 133 false = is_record([], foo), 134 false = is_record(Config, foo), 211 [X || X <- List, ((not is_record(X, bar)) and (not is_record(X, foo)))], 213 [X || X <- List, ((is_record(X, bar)) or (is_record(X, foo)))], 230 begin is_record(X, foo) or 270 false = is_record([], foo), 341 [X || X <- List, ((not is_record(X, bar, 5)) and (not is_record(X, foo, 5)))], 343 [X || X <- List, ((is_record(X, bar, 5)) or (is_record(X, foo, 5)))], [all …]
|
/dports/lang/erlang-wx/otp-OTP-24.1.7/lib/compiler/test/ |
H A D | record_SUITE.erl | 125 true = is_record(#foo{}, foo), 127 false = is_record({foo}, foo), 133 false = is_record([], foo), 134 false = is_record(Config, foo), 211 [X || X <- List, ((not is_record(X, bar)) and (not is_record(X, foo)))], 213 [X || X <- List, ((is_record(X, bar)) or (is_record(X, foo)))], 230 begin is_record(X, foo) or 270 false = is_record([], foo), 341 [X || X <- List, ((not is_record(X, bar, 5)) and (not is_record(X, foo, 5)))], 343 [X || X <- List, ((is_record(X, bar, 5)) or (is_record(X, foo, 5)))], [all …]
|
/dports/lang/erlang/otp-OTP-24.1.7/lib/compiler/test/ |
H A D | record_SUITE.erl | 125 true = is_record(#foo{}, foo), 127 false = is_record({foo}, foo), 133 false = is_record([], foo), 134 false = is_record(Config, foo), 211 [X || X <- List, ((not is_record(X, bar)) and (not is_record(X, foo)))], 213 [X || X <- List, ((is_record(X, bar)) or (is_record(X, foo)))], 230 begin is_record(X, foo) or 270 false = is_record([], foo), 341 [X || X <- List, ((not is_record(X, bar, 5)) and (not is_record(X, foo, 5)))], 343 [X || X <- List, ((is_record(X, bar, 5)) or (is_record(X, foo, 5)))], [all …]
|
/dports/lang/erlang-java/otp-OTP-24.1.7/lib/compiler/test/ |
H A D | record_SUITE.erl | 125 true = is_record(#foo{}, foo), 127 false = is_record({foo}, foo), 133 false = is_record([], foo), 134 false = is_record(Config, foo), 211 [X || X <- List, ((not is_record(X, bar)) and (not is_record(X, foo)))], 213 [X || X <- List, ((is_record(X, bar)) or (is_record(X, foo)))], 230 begin is_record(X, foo) or 270 false = is_record([], foo), 341 [X || X <- List, ((not is_record(X, bar, 5)) and (not is_record(X, foo, 5)))], 343 [X || X <- List, ((is_record(X, bar, 5)) or (is_record(X, foo, 5)))], [all …]
|
/dports/lang/erlang-runtime22/otp-OTP-22.3.4.24/lib/compiler/test/ |
H A D | record_SUITE.erl | 125 true = is_record(#foo{}, foo), 127 false = is_record({foo}, foo), 133 false = is_record([], foo), 134 false = is_record(Config, foo), 211 [X || X <- List, ((not is_record(X, bar)) and (not is_record(X, foo)))], 213 [X || X <- List, ((is_record(X, bar)) or (is_record(X, foo)))], 230 begin is_record(X, foo) or 270 false = is_record([], foo), 341 [X || X <- List, ((not is_record(X, bar, 5)) and (not is_record(X, foo, 5)))], 343 [X || X <- List, ((is_record(X, bar, 5)) or (is_record(X, foo, 5)))], [all …]
|
/dports/lang/erlang-runtime24/otp-OTP-24.1.7/lib/debugger/test/ |
H A D | record_SUITE.erl | 127 true = is_record(#foo{}, foo), 128 false = is_record(#foo{}, barf), 129 false = is_record({foo}, foo), 135 false = is_record([], foo), 136 false = is_record(Config, foo), 146 ?FalseGuard(is_record([], foo)), 204 [X || X <- List, ((not is_record(X, bar)) and (not is_record(X, foo)))], 206 [X || X <- List, ((is_record(X, bar)) or (is_record(X, foo)))], 223 begin is_record(X, foo) or 226 begin not is_record(X, foo) or [all …]
|
/dports/lang/erlang-wx/otp-OTP-24.1.7/lib/debugger/test/ |
H A D | record_SUITE.erl | 127 true = is_record(#foo{}, foo), 128 false = is_record(#foo{}, barf), 129 false = is_record({foo}, foo), 135 false = is_record([], foo), 136 false = is_record(Config, foo), 146 ?FalseGuard(is_record([], foo)), 204 [X || X <- List, ((not is_record(X, bar)) and (not is_record(X, foo)))], 206 [X || X <- List, ((is_record(X, bar)) or (is_record(X, foo)))], 223 begin is_record(X, foo) or 226 begin not is_record(X, foo) or [all …]
|
/dports/lang/erlang/otp-OTP-24.1.7/lib/debugger/test/ |
H A D | record_SUITE.erl | 127 true = is_record(#foo{}, foo), 128 false = is_record(#foo{}, barf), 129 false = is_record({foo}, foo), 135 false = is_record([], foo), 136 false = is_record(Config, foo), 146 ?FalseGuard(is_record([], foo)), 204 [X || X <- List, ((not is_record(X, bar)) and (not is_record(X, foo)))], 206 [X || X <- List, ((is_record(X, bar)) or (is_record(X, foo)))], 223 begin is_record(X, foo) or 226 begin not is_record(X, foo) or [all …]
|
/dports/lang/erlang-java/otp-OTP-24.1.7/lib/debugger/test/ |
H A D | record_SUITE.erl | 127 true = is_record(#foo{}, foo), 128 false = is_record(#foo{}, barf), 129 false = is_record({foo}, foo), 135 false = is_record([], foo), 136 false = is_record(Config, foo), 146 ?FalseGuard(is_record([], foo)), 204 [X || X <- List, ((not is_record(X, bar)) and (not is_record(X, foo)))], 206 [X || X <- List, ((is_record(X, bar)) or (is_record(X, foo)))], 223 begin is_record(X, foo) or 226 begin not is_record(X, foo) or [all …]
|
/dports/lang/erlang-runtime23/corba-5.0.2/lib/orber/src/ |
H A D | orber_ifr_utils.erl | 64 select(Record,Field) when is_record(Record,ir_IRObject) -> 66 select(Record,Field) when is_record(Record,ir_Contained) -> 68 select(Record,Field) when is_record(Record,ir_Container) -> 70 select(Record,Field) when is_record(Record,ir_IDLType) -> 74 select(Record,Field) when is_record(Record,ir_ModuleDef) -> 80 select(Record,Field) when is_record(Record,ir_StructDef) -> 82 select(Record,Field) when is_record(Record,ir_UnionDef) -> 84 select(Record,Field) when is_record(Record,ir_EnumDef) -> 86 select(Record,Field) when is_record(Record,ir_AliasDef) -> 96 select(Record,Field) when is_record(Record,ir_ArrayDef) -> [all …]
|
/dports/lang/erlang-runtime24/corba-5.0.2/lib/orber/src/ |
H A D | orber_ifr_utils.erl | 64 select(Record,Field) when is_record(Record,ir_IRObject) -> 66 select(Record,Field) when is_record(Record,ir_Contained) -> 68 select(Record,Field) when is_record(Record,ir_Container) -> 70 select(Record,Field) when is_record(Record,ir_IDLType) -> 74 select(Record,Field) when is_record(Record,ir_ModuleDef) -> 80 select(Record,Field) when is_record(Record,ir_StructDef) -> 82 select(Record,Field) when is_record(Record,ir_UnionDef) -> 84 select(Record,Field) when is_record(Record,ir_EnumDef) -> 86 select(Record,Field) when is_record(Record,ir_AliasDef) -> 96 select(Record,Field) when is_record(Record,ir_ArrayDef) -> [all …]
|
/dports/lang/erlang-runtime22/corba-4.5.2/lib/orber/src/ |
H A D | orber_ifr_utils.erl | 64 select(Record,Field) when is_record(Record,ir_IRObject) -> 66 select(Record,Field) when is_record(Record,ir_Contained) -> 68 select(Record,Field) when is_record(Record,ir_Container) -> 70 select(Record,Field) when is_record(Record,ir_IDLType) -> 74 select(Record,Field) when is_record(Record,ir_ModuleDef) -> 80 select(Record,Field) when is_record(Record,ir_StructDef) -> 82 select(Record,Field) when is_record(Record,ir_UnionDef) -> 84 select(Record,Field) when is_record(Record,ir_EnumDef) -> 86 select(Record,Field) when is_record(Record,ir_AliasDef) -> 96 select(Record,Field) when is_record(Record,ir_ArrayDef) -> [all …]
|
/dports/lang/erlang/corba-5.0.2/lib/orber/src/ |
H A D | orber_ifr_utils.erl | 64 select(Record,Field) when is_record(Record,ir_IRObject) -> 66 select(Record,Field) when is_record(Record,ir_Contained) -> 68 select(Record,Field) when is_record(Record,ir_Container) -> 70 select(Record,Field) when is_record(Record,ir_IDLType) -> 74 select(Record,Field) when is_record(Record,ir_ModuleDef) -> 80 select(Record,Field) when is_record(Record,ir_StructDef) -> 82 select(Record,Field) when is_record(Record,ir_UnionDef) -> 84 select(Record,Field) when is_record(Record,ir_EnumDef) -> 86 select(Record,Field) when is_record(Record,ir_AliasDef) -> 96 select(Record,Field) when is_record(Record,ir_ArrayDef) -> [all …]
|
/dports/lang/erlang-runtime21/corba-4.5.2/lib/orber/src/ |
H A D | orber_ifr_utils.erl | 64 select(Record,Field) when is_record(Record,ir_IRObject) -> 66 select(Record,Field) when is_record(Record,ir_Contained) -> 68 select(Record,Field) when is_record(Record,ir_Container) -> 70 select(Record,Field) when is_record(Record,ir_IDLType) -> 74 select(Record,Field) when is_record(Record,ir_ModuleDef) -> 80 select(Record,Field) when is_record(Record,ir_StructDef) -> 82 select(Record,Field) when is_record(Record,ir_UnionDef) -> 84 select(Record,Field) when is_record(Record,ir_EnumDef) -> 86 select(Record,Field) when is_record(Record,ir_AliasDef) -> 96 select(Record,Field) when is_record(Record,ir_ArrayDef) -> [all …]
|
/dports/lang/erlang-runtime22/otp-OTP-22.3.4.24/lib/dialyzer/test/opaque_SUITE_data/src/simple/ |
H A D | is_rec.erl | 10 is_record(A, r). % opaque term 1 15 is_record(A, r, I). % opaque term 1 19 if is_record(A, r) -> true end. % breaks the opacity 23 if is_record({A, 1}, r) -> true end. % breaks the opacity 41 is_record(A, R). % opaque term 1 45 is_record(A, A, 1). % opaque term 2 49 is_record(A, hipp:hopp(), 1). % opaque term 1 53 is_record(A, A, hipp:hopp()). % opaque term 2 57 if is_record(A, r) -> true end. % breaks opacity 61 if is_record({r, A}, r) -> true end. % A violates #r{} [all …]
|