Referenced from lesson Solving Word Problems

Match each Example on the left with the Contract on the right. NOTE: Multiple examples may match to the same contract!

Contract Examples

examples: match(circle(10, "solid", "green")) is rotate(37, circle(10, "solid", "green")) end

1

A

# match :​: Number, Image -> Image

examples: match(triangle(20, "solid", "blue"), 3) is scale(3, triangle(20, "solid", "blue")) end

2

examples: match(circle(20, "outline", "gold")) is rotate(37, circle(20, "outline", "gold")) end

3

B

# match :​: Image, Number -> Image

examples: match(30, "red") is 30 + string-length("red") end

4

examples: match(circle(10, "solid", "orange"), 22) is scale(22, circle(10, "solid", "orange")) end

5

examples: match(10, "blue") is 10 + string-length("blue") end

6

C

# match :​: Image -> Image

examples: match(5, star(20, "solid", "red")) is rotate(90 - 5, star(20, "solid", "red")) end

7

examples: match(abs(-4), "45") is 4 end

8

D

# match :​: Number, String -> Number

These materials were developed partly through support of the National Science Foundation, (awards 1042210, 1535276, 1648684, and 1738598). CCbadge Bootstrap:Integrated Oklahoma by Jen Poole is licensed under a Creative Commons 4.0 Unported License. Based on a work at www.BootstrapWorld.org. Permissions beyond the scope of this license may be available by contacting schanzer@BootstrapWorld.org.