add some @-magic to generate a workspace
authorRalf Jung <post@ralfj.de>
Fri, 26 Jun 2015 16:43:36 +0000 (18:43 +0200)
committerRalf Jung <post@ralfj.de>
Fri, 26 Jun 2015 16:44:38 +0000 (18:44 +0200)
.gitignore
Makefile
dup-unimpl.sed [new file with mode: 0644]
src/part00.rs
workspace/src/main.rs
workspace/src/part00.rs [deleted file]
workspace/src/part01.rs [deleted file]
workspace/src/part02.rs [deleted file]
workspace/src/part03.rs [deleted file]

index 4903df59e089e43676680bd8dbbafb319fe06b0c..aded1db4b281497738183d2af3878f69c21e8c44 100644 (file)
@@ -1,3 +1,4 @@
 target/
 sync-docs
 target/
 sync-docs
-rawsrc/
+.tmp/
+workspace/src/part*.rs
index eb1851e73d17898b1c95503cde6d469e6dbb468e..0061b2b9faec348e461089d05d15cb6af7cad8ec 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -1,18 +1,33 @@
 FILES=$(wildcard src/*.rs)
 DOCFILES=$(addsuffix .html,$(addprefix docs/,$(notdir $(basename $(FILES)))))
 FILES=$(wildcard src/*.rs)
 DOCFILES=$(addsuffix .html,$(addprefix docs/,$(notdir $(basename $(FILES)))))
+WORKSPACEFILES=$(addprefix workspace/,$(FILES))
 
 
-all: docs crates
-.PHONY: docs rawsrc crates
+all: docs workspace crates
+.PHONY: docs workspace crates
 
 
+# Documentation
 docs: $(DOCFILES)
 
 docs: $(DOCFILES)
 
-docs/%.html: src/%.rs
-       @./pycco-rs $^
+.tmp/docs/%.rs: src/%.rs Makefile
+       @mkdir -p .tmp/docs
+       @echo "$< -> $@"
+       @sed 's|^\(\s*//\)@|\1|;s|\s*/\*@\*/||' $< > $@
 
 
-rawsrc:
-       @mkdir -p rawsrc
-       @for file in $(FILES); do echo "$$file -> rawsrc/$$file"; egrep -v "^[[:space:]]*// " "$$file" > "rawsrc/""$$file"; done
+docs/%.html: .tmp/docs/%.rs
+       @./pycco-rs $<
 
 
+# Workspace
+workspace: $(WORKSPACEFILES)
+
+workspace/src/%.rs: src/%.rs Makefile dup-unimpl.sed
+       @mkdir -p .tmp/docs
+       @echo "$< -> $@"
+       @sed '/^\s*\/\/@/d;s|\(\s*\)[^\s].*/\*@\*/|\1unimplemented!()|' $< | sed -f dup-unimpl.sed > $@
+
+workspace/src/main.rs:
+       # Don't touch this file
+
+# Crates
 crates:
        @cargo build
        @cd solutions && cargo build
 crates:
        @cargo build
        @cd solutions && cargo build
diff --git a/dup-unimpl.sed b/dup-unimpl.sed
new file mode 100644 (file)
index 0000000..6de156b
--- /dev/null
@@ -0,0 +1,8 @@
+/^\s*unimplemented!()$/ { # if the current line is an "unimplemented!()"
+    : isunimp
+    N; # load next line
+    /\n\s*unimplemented!()$/ { # see if that one is also "unimplemented!()"
+        D; # delete first line, keep all the rest
+        b isunimp
+    }
+}
index 1648ba177295beec84ba5f711ab775577ed7bad8..2bc40d99b29c230222088ade013669c968ec747f 100644 (file)
@@ -4,36 +4,36 @@
 // As our first piece of Rust code, we want to write a function that computes the
 // minimum of a list.
 
 // As our first piece of Rust code, we want to write a function that computes the
 // minimum of a list.
 
-// ## Getting started
-// Let us start by thinking about the *type* of our function. Rust forces us to give the types of
-// all arguments, and the return type, before we even start writing the body. In the case of our minimum
-// function, we may be inclined to say that it returns a number. But then we would be in trouble: What's
-// the minimum of an empty list? The type of the function says we have to return *something*.
-// We could just choose 0, but that would be kind of arbitrary. What we need
-// is a type that is "a number, or nothing". Such a type (of multiple exclusive options)
-// is called an "algebraic datatype", and Rust lets us define such types with the keyword `enum`.
-// Coming from C(++), you can think of such a type as a `union`, together with a field that
-// stores the variant of the union that's currently used.
+//@ ## Getting started
+//@ Let us start by thinking about the *type* of our function. Rust forces us to give the types of
+//@ all arguments, and the return type, before we even start writing the body. In the case of our minimum
+//@ function, we may be inclined to say that it returns a number. But then we would be in trouble: What's
+//@ the minimum of an empty list? The type of the function says we have to return *something*.
+//@ We could just choose 0, but that would be kind of arbitrary. What we need
+//@ is a type that is "a number, or nothing". Such a type (of multiple exclusive options)
+//@ is called an "algebraic datatype", and Rust lets us define such types with the keyword `enum`.
+//@ Coming from C(++), you can think of such a type as a `union`, together with a field that
+//@ stores the variant of the union that's currently used.
 
 // An `enum` for "a number or nothing" could look as follows:
 enum NumberOrNothing {
     Number(i32),
     Nothing
 }
 
 // An `enum` for "a number or nothing" could look as follows:
 enum NumberOrNothing {
     Number(i32),
     Nothing
 }
-// Notice that `i32` is the type of (signed, 32-bit) integers. To write down the type of
-// the minimum function, we need just one more ingredient: `Vec<i32>` is the type of
-// (growable) arrays of numbers, and we will use that as our list type.
+//@ Notice that `i32` is the type of (signed, 32-bit) integers. To write down the type of
+//@ the minimum function, we need just one more ingredient: `Vec<i32>` is the type of
+//@ (growable) arrays of numbers, and we will use that as our list type.
 
 // Observe how in Rust, the return type comes *after* the arguments.
 fn vec_min(vec: Vec<i32>) -> NumberOrNothing {
 
 // Observe how in Rust, the return type comes *after* the arguments.
 fn vec_min(vec: Vec<i32>) -> NumberOrNothing {
-    // In the function, we first need some variable to store the minimum as computed so far.
-    // Since we start out with nothing computed, this will again be a 
-    // "number or nothing":
+    //@ In the function, we first need some variable to store the minimum as computed so far.
+    //@ Since we start out with nothing computed, this will again be a 
+    //@ "number or nothing":
     let mut min = NumberOrNothing::Nothing;
     let mut min = NumberOrNothing::Nothing;
-    // We do not have to write a type next to `min`, Rust can figure that out automatically
-    // (a bit like `auto` in C++11). Also notice the `mut`: In Rust, variables are
-    // immutable per default, and you need to tell Rust if you want
-    // to change a variable later.
+    //@ We do not have to write a type next to `min`, Rust can figure that out automatically
+    //@ (a bit like `auto` in C++11). Also notice the `mut`: In Rust, variables are
+    //@ immutable per default, and you need to tell Rust if you want
+    //@ to change a variable later.
 
     // Now we want to *iterate* over the list. Rust has some nice syntax for
     // iterators:
 
     // Now we want to *iterate* over the list. Rust has some nice syntax for
     // iterators:
@@ -43,13 +43,13 @@ fn vec_min(vec: Vec<i32>) -> NumberOrNothing {
         match min {
             // In this case (*arm*) of the `match`, `min` is currently nothing, so let's just make it the number `el`.
             NumberOrNothing::Nothing => {
         match min {
             // In this case (*arm*) of the `match`, `min` is currently nothing, so let's just make it the number `el`.
             NumberOrNothing::Nothing => {
-                min = NumberOrNothing::Number(el);
+                min = NumberOrNothing::Number(el);                  /*@*/
             },
             // In this arm, `min` is currently the number `n`, so let's compute the new minimum and store it. We will write
             // the function `min_i32` just after we completed this one.
             NumberOrNothing::Number(n) => {
             },
             // In this arm, `min` is currently the number `n`, so let's compute the new minimum and store it. We will write
             // the function `min_i32` just after we completed this one.
             NumberOrNothing::Number(n) => {
-                let new_min = min_i32(n, el);
-                min = NumberOrNothing::Number(new_min);
+                let new_min = min_i32(n, el);                       /*@*/
+                min = NumberOrNothing::Number(new_min);             /*@*/
             }
         }
     }
             }
         }
     }
@@ -60,9 +60,9 @@ fn vec_min(vec: Vec<i32>) -> NumberOrNothing {
 // Now that we reduced the problem to computing the minimum of two integers, let's do that.
 fn min_i32(a: i32, b: i32) -> i32 {
     if a < b {
 // Now that we reduced the problem to computing the minimum of two integers, let's do that.
 fn min_i32(a: i32, b: i32) -> i32 {
     if a < b {
-        return a;
+        return a;                                                   /*@*/
     } else {
     } else {
-        return b;
+        return b;                                                   /*@*/
     }
 }
 
     }
 }
 
@@ -88,9 +88,9 @@ fn read_vec() -> Vec<i32> {
 // Of course Rust can print numbers, but after calling `vec_min`, we have a `NumberOrNothing`.
 // So let's write a small helper function that prints such values.
 
 // Of course Rust can print numbers, but after calling `vec_min`, we have a `NumberOrNothing`.
 // So let's write a small helper function that prints such values.
 
-// `println!` is again a macro, where the first argument is a *format string*. For
-// now, you just need to know that `{}` is the placeholder for a value, and that Rust
-// will check at compile-time that you supplied the right number of arguments.
+//@ `println!` is again a macro, where the first argument is a *format string*. For
+//@ now, you just need to know that `{}` is the placeholder for a value, and that Rust
+//@ will check at compile-time that you supplied the right number of arguments.
 fn print_number_or_nothing(n: NumberOrNothing) {
     match n {
         Nothing => println!("The number is: <nothing>"),
 fn print_number_or_nothing(n: NumberOrNothing) {
     match n {
         Nothing => println!("The number is: <nothing>"),
@@ -107,8 +107,8 @@ pub fn main() {
 
 // Now try `cargo run` on the console to run above code.
 
 
 // Now try `cargo run` on the console to run above code.
 
-// Yay, it said "1"! That's actually the right answer. Okay, we could have
-// computed that ourselves, but that's besides the point. More importantly:
-// You completed the first part of the course.
+//@ Yay, it said "1"! That's actually the right answer. Okay, we could have
+//@ computed that ourselves, but that's besides the point. More importantly:
+//@ You completed the first part of the course.
 
 // [index](main.html) | previous | [next](part01.html)
 
 // [index](main.html) | previous | [next](part01.html)
index 272258985cb469e3c343d4144a8d18a5a9fb98c9..2db78196815ec87c61e775a8babd05349ef93f9c 100644 (file)
@@ -1,10 +1,13 @@
+#![allow(dead_code, unused_imports, unused_variables, unused_mut)]
+
+// Only the files imported here will be compiled. Remember to add or enable new
+// parts here as you progress through the course.
 mod part00;
 mod part00;
-mod part01;
-mod part02;
-mod part03;
+// mod part01;
+// mod part02;
+// mod part03;
 
 
-#[cfg(not(test))] /* If you get warnings about functions not being used on "crate test", adding this attribute will fix them.
-                     It says that the function is only to be compiled if we are *not* compiling for tests. */
+// This decides which part is actually run.
 fn main() {
    part00::main();
 }
 fn main() {
    part00::main();
 }
diff --git a/workspace/src/part00.rs b/workspace/src/part00.rs
deleted file mode 100644 (file)
index 8d1c8b6..0000000
+++ /dev/null
@@ -1 +0,0 @@
diff --git a/workspace/src/part01.rs b/workspace/src/part01.rs
deleted file mode 100644 (file)
index 8d1c8b6..0000000
+++ /dev/null
@@ -1 +0,0 @@
diff --git a/workspace/src/part02.rs b/workspace/src/part02.rs
deleted file mode 100644 (file)
index 8d1c8b6..0000000
+++ /dev/null
@@ -1 +0,0 @@
diff --git a/workspace/src/part03.rs b/workspace/src/part03.rs
deleted file mode 100644 (file)
index 8d1c8b6..0000000
+++ /dev/null
@@ -1 +0,0 @@