Skip to content

Crystal

RecursiveStructChecker

class `Crystal::RecursiveStructChecker`
inherits `Reference` ¶

Checks that there are no recursive structs in the program.

An example of a recursive struct is:

struct Test
  def initialize(@test : Test | Nil)
  end
end

Test.new(Test.new(nil))

Because the type of Test.@test would be: Test | Nil.

Class methods¶

`.new(program)` ¶

Methods¶

`#check_generic_instances(type)` ¶

`#check_recursive(target, type, checked, path)` ¶

`#check_recursive_instance_var_container(target, type, checked, path)` ¶

`#check_single(type)` ¶

`#check_types(type)` ¶

`#path_to_s(path)` ¶

`#push` ¶

`#run` ¶

`#struct?(type)` ¶