class SourceTyper

• SourceTyper
• Reference
• Object

Defined in:

Constructors

• .new(entrypoint : String, def_locators : Array(String), excludes : Array(String), type_blocks : Bool, type_splats : Bool, type_double_splats : Bool, prelude : String = "prelude", stats : Bool = false, progress : Bool = false, error_trace : Bool = false)

Instance Method Summary

• #files : Set(String)
• #flatten_types(types : Array(Crystal::Type)) : Array(Crystal::Type)
• #program : Crystal::Program
• #run : Hash(String, String)

  Run the entire typing flow, from semantic to file reformatting

• #semantic(entrypoint, entrypoint_content) : Nil

  Take the entrypoint file (and its textual content) and run semantic on it.

• #signatures : Hash(String, Signature)

  Signatures represents a mapping of location => Signature for def at that location

• #type_name(type : Crystal::Type) : String
• #type_source(filename, source) : String | Nil

  Given a (presumably) crystal file and its content, re-format it with the crystal-formatter-that-types-things (SourceTyperFormatter).

Constructor Detail

Instance Method Detail