ProgramFacts.Program (program_facts v0.2.1)

Copy Markdown View Source

A generated program with source files and expected structural facts.

Summary

Types

t()

Functions

model(program)

Projects this program into its semantic summary model.

Types

t()

@type t() :: %ProgramFacts.Program{
  facts: ProgramFacts.Facts.t(),
  files: [ProgramFacts.File.t()],
  id: String.t(),
  metadata: map(),
  seed: integer()
}

Functions

model(program)

Projects this program into its semantic summary model.