Struct Sketch 

pub struct Sketch {
    pub source: String,
    pub holes: Vec<Hole>,
}

A program sketch: a partial program with holes to fill.

Fields

source: String

The sketch source text (holes written as ??<id>).

holes: Vec<Hole>

The holes present in this sketch.

Implementations

impl Sketch

pub fn new(source: impl Into<String>, holes: Vec<Hole>) -> Self

Create a new sketch from source text and holes.

pub fn num_holes(&self) -> usize

Count the number of holes.

pub fn fill_hole(&self, hole_id: usize, expr: &str) -> Sketch

Fill a hole with the given expression, returning a new sketch.

pub fn is_complete(&self) -> bool

Check if the sketch is complete (no holes remaining).

Trait Implementations

impl Clone for Sketch

fn clone(&self) -> Sketch

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for Sketch

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.