Where is `isa` defined

kristoffer.carlsson · November 10, 2022, 7:24am

JuliaLang/julia/blob/0a65af86ad2b14d28c85d3afce161cdf24a93f66/src/builtins.c#L1940


      
          {
              return jl_mk_builtin_func(NULL, name, fptr)->instance;
          }
          
          
void jl_init_primitives(void) JL_GC_DISABLED
          {
              jl_builtin_is = add_builtin_func("===", jl_f_is);
              jl_builtin_typeof = add_builtin_func("typeof", jl_f_typeof);
              jl_builtin_sizeof = add_builtin_func("sizeof", jl_f_sizeof);
              jl_builtin_issubtype = add_builtin_func("<:", jl_f_issubtype);
              jl_builtin_isa = add_builtin_func("isa", jl_f_isa);
              jl_builtin_typeassert = add_builtin_func("typeassert", jl_f_typeassert);
              jl_builtin_throw = add_builtin_func("throw", jl_f_throw);
              jl_builtin_tuple = add_builtin_func("tuple", jl_f_tuple);
              jl_builtin_ifelse = add_builtin_func("ifelse", jl_f_ifelse);
          
          
    // field access
              jl_builtin_getfield = add_builtin_func("getfield",  jl_f_getfield);
              jl_builtin_setfield = add_builtin_func("setfield!",  jl_f_setfield);
              jl_builtin_swapfield = add_builtin_func("swapfield!",  jl_f_swapfield);
              jl_builtin_modifyfield = add_builtin_func("modifyfield!",  jl_f_modifyfield);

github.com

JuliaLang/julia/blob/0a65af86ad2b14d28c85d3afce161cdf24a93f66/src/builtins.c#L512-L517


      
          JL_CALLABLE(jl_f_isa)
          {
              JL_NARGS(isa, 2, 2);
              JL_TYPECHK(isa, type, args[1]);
              return (jl_isa(args[0],args[1]) ? jl_true : jl_false);
          }

github.com

JuliaLang/julia/blob/0a65af86ad2b14d28c85d3afce161cdf24a93f66/src/subtype.c#L2073-L2123


      
          JL_DLLEXPORT int jl_isa(jl_value_t *x, jl_value_t *t)
          {
              if (jl_typeis(x,t) || t == (jl_value_t*)jl_any_type)
                  return 1;
              if (jl_is_type(x)) {
                  if (t == (jl_value_t*)jl_type_type)
                      return 1;
                  if (!jl_has_free_typevars(x)) {
                      if (jl_is_concrete_type(t))
                          return 0;
                      if (jl_is_type_type(t))
                          return jl_types_equal(x, jl_tparam0(t));
                      jl_value_t *t2 = jl_unwrap_unionall(t);
                      if (jl_is_datatype(t2)) {
                          if (((jl_datatype_t*)t2)->name == jl_type_typename) {
                              jl_value_t *tp = jl_tparam0(t2);
                              if (jl_is_typevar(tp)) {
                                  if (((jl_tvar_t*)tp)->lb == jl_bottom_type) {
                                      while (jl_is_typevar(tp))
                                          tp = ((jl_tvar_t*)tp)->ub;

This file has been truncated. show original

Topic		Replies	Views
What is the type 'Method' and where is it defined? New to Julia	2	342	September 18, 2020
How to determine where a macro is defined? General Usage macros , metaprogramming	3	1057	November 29, 2019
Is it possible in Julia?: Support a limited type inference version in order to decide whether a function is defined or not General Usage question	20	1239	August 27, 2020
Isdefined function in Julia General Usage	2	617	July 5, 2019
Finding function/method definition (in e.g. VSCode) and Intellisense General Usage	0	437	February 24, 2021

Where is `isa` defined

Related topics