🚧 rewrite example notebook

Author: comavius

pylib/traopy/example/problems/addition/main.ipynb

@@ -27,7 +27,7 @@
    "metadata": {},
    "outputs": [],
    "source": [
-    "judge_env = traopy.PyProcedure()"
+    "builder = traopy.PRocedureBuilder()"
    ]
   },
   {
@@ -37,21 +37,21 @@
    "outputs": [],
    "source": [
     "base_path = Path(\".\").resolve()\n",
-    "input_text = traopy.PyResourceKind.TextFile(\n",
+    "input_text = traopy.ResourceKind.TextFile(\n",
     "    traopy.PyText(\n",
     "        \"input\",\n",
     "        f\"{base_path}/testcases/input.txt\",\n",
     "    )\n",
     ")\n",
-    "output_text = traopy.PyResourceKind.TextFile(\n",
+    "output_text = traopy.ResourceKind.TextFile(\n",
     "    traopy.PyText(\n",
     "        \"output\",\n",
     "        f\"{base_path}/testcases/output.txt\",\n",
     "    )\n",
     ")\n",
     "\n",
-    "input_result = judge_env.add_resource(input_text)\n",
-    "output_result = judge_env.add_resource(output_text)"
+    "input_result = builder.add_resource(input_text)\n",
+    "output_result = builder.add_resource(output_text)"
    ]
   },
   {
@@ -60,14 +60,14 @@
    "metadata": {},
    "outputs": [],
    "source": [
-    "actual_output = traopy.PyResourceKind.RuntimeTextFile(\n",
+    "actual_output = traopy.ResourceKind.RuntimeTextFile(\n",
     "    traopy.PyRuntimeText(\n",
     "        \"actual\",\n",
     "        \"actual\"\n",
     "    )\n",
     ")\n",
     "\n",
-    "actual_result = judge_env.add_resource(actual_output)"
+    "actual_result = builder.add_resource(actual_output)"
    ]
   },
   {
@@ -76,12 +76,12 @@
    "metadata": {},
    "outputs": [],
    "source": [
-    "script = traopy.PyText(\n",
+    "script = traopy.Text(\n",
     "    \"script\",\n",
     "    f\"{base_path}/tester.py\",\n",
     ")\n",
     "\n",
-    "script_result = judge_env.add_script(script)"
+    "script_result = builder.add_script(script)"
    ]
   },
   {
@@ -90,7 +90,7 @@
    "metadata": {},
    "outputs": [],
    "source": [
-    "execution = traopy.PyExecution(\n",
+    "execution = traopy.Execution(\n",
     "    \"test\",\n",
     "    script_result,\n",
     "    [\n",
@@ -105,7 +105,7 @@
     "    ],\n",
     ")\n",
     "\n",
-    "execution_result = judge_env.add_execution(execution)"
+    "execution_result = builder.add_execution(execution)"
    ]
   },
   {
@@ -114,7 +114,7 @@
    "metadata": {},
    "outputs": [],
    "source": [
-    "judge_env.write_to(\"judge_procedure.json\")"
+    "builder.write_to(\"judge_procedure.json\")"
    ]
   },
   {
@@ -124,7 +124,7 @@
    "outputs": [],
    "source": [
     "local_judge = traopy.LocalJudge(base_path.joinpath(\"tempdir\"))\n",
-    "result = await local_judge.run(judge_env, {\"actual\": \"3\\n\"})\n",
+    "result = await local_judge.run(builder, {\"actual\": \"3\\n\"})\n",
     "import json\n",
     "parsed = json.loads(result)\n",
     "pretty = json.dumps(parsed, indent=4)\n",