jaclang 0.6.1__py3-none-any.whl → 0.6.2__py3-none-any.whl

jaclang/compiler/passes/tool/tests/fixtures/genai/wikipedia.jac

@@ -0,0 +1,63 @@
+import:py wikipedia;
+import:py from jaclang.core.llms, Anthropic;
+
+glob llm = Anthropic(model_name="claude-3-sonnet-20240229");
+
+obj 'Question Answering'
+QA {
+    has qa_example: 'QA example with Thoughts and Actions': list[dict] = [
+        {
+            "Question": "What is the elevation range for the area that the eastern sector of the Colorado orogeny extends into?",
+            "Thoughts and Observations": [
+                {
+                    "Thought": "I need to search Colorado orogeny, find the area that the eastern sector of the Colorado ...",
+                    "Action": "Search: Colorado orogeny",
+                    "Observation": "The Colorado orogeny was an episode of mountain building (an orogeny) ..."
+                },
+                {
+                    "Thought": "It does not mention the eastern sector. So I need to look up eastern sector.",
+                    "Action": "Search: eastern sector of the Colorado orogeny",
+                    "Observation": "The eastern sector of the Colorado orogeny extends into the High Plains."
+                },
+                {
+                    "Thought": "High Plains rise in elevation from around 1,800 to 7,000 ft, so the answer is 1,800 to 7,000 ft.",
+                    "Action": "Finish: 1,800 to 7,000 ft"
+                }
+            ]
+        }
+    ];
+
+    can 'Get next Thought and Action. Action should always startswith "Search" or "Finish"'
+    get_throught_and_actions(question: 'Question': str, prev_info: 'Previous Thoughts, Actions, and Observations': list[dict]=[]) -> 'Next Thought and Action': dict by llm(incl_info=(self.qa_example));
+    can get_answer(question: str) -> str {
+        prev_info = [];
+        while len(prev_info) < 100 {
+            next_info = self.get_throught_and_actions(question, prev_info);
+            if next_info["Action"].startswith("Search:") {
+                obs = wikipedia.summary(
+                    next_info["Action"].replace("Search: ", "")
+                );
+                next_info["Observation"] = obs;
+            } elif next_info["Action"].startswith("Finish:") {
+                return next_info["Action"].replace("Finish: ", "");
+            }
+            prev_info.append(next_info);
+        }
+        return "I am sorry, I could not find the answer.";
+    }
+}
+
+with entry {
+    qa = QA();
+    question = "Where is Apple Headquaters located?";
+    answer = qa.get_answer(question);
+    print("Question: ", question);
+    print("Answer: ", answer);
+    question = "Who is Jason Mars?";
+    answer = qa.get_answer(question);
+    print("Question: ", question);
+    print("Answer: ", answer);
+    question = input("Ask me a Question: ");
+    answer = qa.get_answer(question);
+    print("Answer: ", answer);
+}

jaclang/compiler/passes/tool/tests/fixtures/multi_def_err.dot

@@ -0,0 +1,39 @@
+digraph graph1 {0 [label="Module"];
+0  -> 1;
+0  -> 2;
+0  -> 3;
+0  -> 4;
+1 [label=<String<BR/> name=DOC_STRING<BR/> value=&quot;&quot;&quot;Test for base classes.&quot;&quot;&quot;> shape="box"];
+2 [label="Architype" shape="box" style="filled" fillcolor="red"];
+2  -> 5;
+2  -> 6;
+2  -> 7;
+5 [label=<Token<BR/> name=KW_OBJECT<BR/> value=obj> shape="box"];
+6 [label=<Name<BR/> name=NAME<BR/> value=MyObject> shape="box"];
+7 [label="SubNodeList"];
+7  -> 8;
+7  -> 9;
+8 [label=<Token<BR/> name=LBRACE<BR/> value={> shape="box"];
+9 [label=<Token<BR/> name=RBRACE<BR/> value=}> shape="box"];
+3 [label="Architype" shape="box" style="filled" fillcolor="red"];
+3  -> 10;
+3  -> 11;
+3  -> 12;
+10 [label=<Token<BR/> name=KW_OBJECT<BR/> value=obj> shape="box"];
+11 [label=<Name<BR/> name=NAME<BR/> value=AnotherObject> shape="box"];
+12 [label="SubNodeList"];
+12  -> 13;
+12  -> 14;
+13 [label=<Token<BR/> name=LBRACE<BR/> value={> shape="box"];
+14 [label=<Token<BR/> name=RBRACE<BR/> value=}> shape="box"];
+4 [label="Architype" shape="box" style="filled" fillcolor="red"];
+4  -> 15;
+4  -> 16;
+4  -> 17;
+15 [label=<Token<BR/> name=KW_OBJECT<BR/> value=obj> shape="box"];
+16 [label=<Name<BR/> name=NAME<BR/> value=MyObject> shape="box"];
+17 [label="SubNodeList"];
+17  -> 18;
+17  -> 19;
+18 [label=<Token<BR/> name=LBRACE<BR/> value={> shape="box"];
+19 [label=<Token<BR/> name=RBRACE<BR/> value=}> shape="box"];}

jaclang/compiler/passes/tool/tests/fixtures/multi_def_err.jac

@@ -0,0 +1,7 @@
+"""Test for base classes."""
+
+obj MyObject { }
+
+obj AnotherObject { }
+
+obj MyObject { }

jaclang/compiler/passes/tool/tests/fixtures/multi_def_err.txt

@@ -0,0 +1,20 @@
+1:1 - 7:17        Module
+1:1 - 1:29      +-- String - """Test for base classes."""
+3:1 - 3:17      +-- Architype - MyObject
+3:1 - 3:4       |   +-- Token - obj
+3:5 - 3:13      |   +-- Name - MyObject
+3:14 - 3:17     |   +-- SubNodeList
+3:14 - 3:15     |       +-- Token - {
+3:16 - 3:17     |       +-- Token - }
+5:1 - 5:22      +-- Architype - AnotherObject
+5:1 - 5:4       |   +-- Token - obj
+5:5 - 5:18      |   +-- Name - AnotherObject
+5:19 - 5:22     |   +-- SubNodeList
+5:19 - 5:20     |       +-- Token - {
+5:21 - 5:22     |       +-- Token - }
+7:1 - 7:17      +-- Architype - MyObject
+7:1 - 7:4           +-- Token - obj
+7:5 - 7:13          +-- Name - MyObject
+7:14 - 7:17         +-- SubNodeList
+7:14 - 7:15             +-- Token - {
+7:16 - 7:17             +-- Token - }

jaclang/compiler/passes/tool/tests/fixtures/myca_formatted_code/ability_impl_long_comprehension.jac

@@ -0,0 +1,15 @@
+node user_root {}
+node day {}
+
+walker update_graph {
+    has user_jid: str;
+    has date: str;
+
+    can go_to_user with `root entry;
+}
+
+:walker:update_graph:can:go_to_user {
+    visit [-->(`?user_root)](?jid == self.user_jid);
+    next = [-->];
+    visit [i for i in next if isinstance(i, day) and i.date == self.date];
+}

jaclang/compiler/passes/tool/tests/fixtures/myca_formatted_code/call_with_many_parameters.jac

@@ -0,0 +1,24 @@
+node user_root {}
+
+walker create_user {
+    has user_info: dict = {};
+
+    can spawn_user_root;
+}
+
+:walker:create_user:can:spawn_user_root {
+    if self.user_info == {} {
+        self.user_info = {
+            "jid": "xxxx",
+            "email": "yiping@myca.ai",
+            "name": "Yiping Kang"
+        };
+    }
+    visit [-->(`?user_root)](?jid == self.user_info["jid"]) else {
+        n = here ++> user_root(
+            jid=self.user_info["jid"],
+            email=self.user_info["user"],
+            name=self.user_info["name"]
+        );
+    }
+}

jaclang/compiler/passes/tool/tests/fixtures/myca_formatted_code/entry_main.jac

@@ -0,0 +1,4 @@
+# Entry point
+with entry:__main__ {
+    server_run();
+}

jaclang/compiler/passes/tool/tests/fixtures/myca_formatted_code/long_line_nested_dict_access.jac

@@ -0,0 +1,10 @@
+with entry {
+    user_level_buddy_schedule = {};
+    user_root_node_messages = {};
+    if last_run is None {
+        user_level_buddy_schedule["d1_reminder"]["last_run"] = "2021-06-01T00:00:00Z";
+        user_root_node_messages["web"].append(
+            {"type": "mid_day_nudge", "message": res["response"]}
+        );
+    }
+}

jaclang/compiler/passes/tool/tests/fixtures/myca_formatted_code/multiline_fstrings.jac

@@ -0,0 +1,16 @@
+with entry {
+    context_str = "woooo";
+    # Construct prompt here
+    prompt = (f"Myca is a personal productivity platform that helps people manage many aspects of their life better and become better versions of themselves. "
+        f"It is morning time right now and I am starting my day."
+        f"{context_str}\n"
+        f"Given this information, answer a query for me.\n"
+        f"Some rules to follow:\n"
+        f"1. Avoid statements like 'Based on the context, ...' or "
+        f"'The context information ...' or anything along "
+        f"those lines.\n"
+        f"Write a quick and motivational message to start my day off right. Focus your message on planning, intentionality, positivity, and productivity."
+        f"Talk to me like you are my friend. Use personable wording and tone. Use emojis if it makes sense."
+        f"Keep the response within just one sentence. This will be shown as a mobile push notification.\n"
+        f"Answer: ");
+}

jaclang/compiler/passes/tool/tests/fixtures/myca_formatted_code/nested_dict.jac

@@ -0,0 +1,15 @@
+walker test {
+    has user_level_buddy_schedule: dict = {
+        "d1_reminder": {"status": "pending", "walker": "d1_reminder"},
+        "inactive_user": {
+            "status": "pending",
+            "last_run": None,
+            "walker": "inactive_user"
+        },
+        "morning_greeting": {
+            "status": "pending",
+            "last_run": None,
+            "walker": "morning_greeting"
+        }
+    };
+}

jaclang/compiler/passes/tool/tests/fixtures/myca_formatted_code/nested_loop_and_incrementer.jac

@@ -0,0 +1,13 @@
+with entry {
+    # find the token to delete
+    tokens = [];
+    token = "xx";
+    idx = 0;
+    for token_tup in tokens {
+        if token_tup == token {
+            break;
+        }
+        idx += 1;
+    }
+    tokens.pop(idx);
+}

jaclang/compiler/passes/tool/tests/fixtures/myca_formatted_code/simple_walker.jac

@@ -0,0 +1,25 @@
+node day {}
+edge future {}
+edge parent {}
+
+walker get_last_active_day {
+    can post_init() {
+        self.last_active_day: day | None = None;
+    }
+    # has last_active_day: day | None by postinit;
+    can go_back with day entry {
+        items = [-:parent:->];
+        if items == [] {
+            old_day = [<-:future:-];
+            if len(old_day) == 0 {
+                self.last_active_day = here;
+                return;
+            } else {
+                visit old_day[0];
+            }
+        } else {
+            self.last_active_day = here;
+            return;
+        }
+    }
+}

jaclang/compiler/passes/tool/tests/fixtures/myca_formatted_code/try_block_and_walker_spawn_and_fstrings.jac

@@ -0,0 +1,26 @@
+node user_root {}
+walker update_graph {}
+
+walker cycle {
+    can cycle with user_root entry {
+        self.jaseci_sdk = {};
+        res = f"> Processing for {here.name} {here.jid}";
+        try  {
+            user_jid = here.jid;
+            day_graph = self.jaseci_sdk.fetch_graph(
+                user_jid=user_jid,
+                date=self.today
+            );
+            here spawn update_graph(
+                user_jid=user_jid,
+                date=self.today,
+                day_graph=day_graph,
+                buddy_schedule=self.buddy_schedule,
+                user_level_buddy_schedule=self.user_level_buddy_schedule
+            );
+            here spawn push_to_mobile(user_jid=user_jid, date=self.today);
+        } except Exception as e {
+            print(f"Error processing for {here.name} {here.jid}: {e}");
+        }
+    }
+}

jaclang/compiler/passes/tool/tests/fixtures/myca_formatted_code/tuple_iteration_and_not_negation.jac

@@ -0,0 +1,20 @@
+node n {}
+
+walker test {
+    can c with n entry {
+        self.user_level_buddy_schedule = {};
+        # Update any new user level buddy schedule
+        for (k, v) in self.user_level_buddy_schedule.items() {
+            if k not in here.user_level_buddy_schedule {
+                here.user_level_buddy_schedule[k] = v;
+            } else {
+                # update one lever deeper, for new fields in each buddy schedule
+                for (bk, bv) in v.items() {
+                    if bk not in here.user_level_buddy_schedule[k] {
+                        here.user_level_buddy_schedule[k][bk] = bv;
+                    }
+                }
+            }
+        }
+    }
+}

jaclang/compiler/passes/tool/tests/fixtures/myca_formatted_code/type_annotation.jac

@@ -0,0 +1,3 @@
+can gen_node(node_info: dict) -> day | item | None {
+    n: day | item | None = None;
+}

jaclang/compiler/passes/tool/tests/fixtures/myca_formatted_code/walker_decl_only.jac

@@ -0,0 +1,12 @@
+# Walker to create that graph under that user_root
+walker update_graph {
+    has user_jid: str;
+    has date: str;
+    has day_graph: dict;
+    has buddy_schedule: dict = {};
+    has user_level_buddy_schedule: dict = {};
+
+    async can go_to_user with `root entry;
+    async can go_to_day with user_root entry;
+    async can update_day_graph with day entry;
+}

jaclang/compiler/passes/tool/tests/fixtures/myca_formatted_code/walker_with_default_values_types_and_docstrings.jac

@@ -0,0 +1,18 @@
+"""
+The cycle walker
+"""
+
+walker cycle {
+    has buddy_schedule: dict = {};
+    has user_level_buddy_schedule: dict = {
+        "d1_reminder": {
+            "status": "pending",
+            "last_run": None,
+            "walker": "d1_reminder"
+        }
+    };
+    has use_fixture: bool = False;
+    has user_list: list = [];
+    has today: str = "";
+    has force: bool = False;
+}

jaclang/compiler/passes/tool/tests/fixtures/myca_formatted_code/walker_with_inline_ability_impl.jac

@@ -0,0 +1,8 @@
+walker update_timezone {
+    has timezone_str: str;
+
+    async can update_timezone with user_root entry {
+        here.timezone_str = self.timezone_str;
+        report here.timezone_str;
+    }
+}

jaclang/compiler/passes/tool/tests/fixtures/simple_walk.jac

@@ -0,0 +1,47 @@
+"""Example of simple walker walking nodes."""
+
+node Item {
+    has value: int = 1;
+}
+
+edge Checking {}
+
+walker Creator {
+    has count: int = 0;
+
+    can create with `root | Item entry {
+        here ++> Item();
+        self.count += 1;
+        if self.count < 10 {
+            visit [-->];
+        }
+    }
+}
+
+walker Walk {
+    has count: int = 0;
+
+    can skip_root with `root entry {
+        visit [-->];
+    }
+
+    can step with Item entry {
+        here.value = self.count;
+        self.count += 1;
+        visit [-->] else {
+            print(f"Final Value: {here.value - 1}");
+            "Done walking." |> print;
+            disengage;
+        }
+        f"Value: {here.value - 1}" |> print;
+    }
+}
+
+can test_run {
+    root spawn Creator();
+    Walk() spawn root;
+}
+
+with entry {
+    test_run();
+}

jaclang/compiler/passes/tool/tests/fixtures/simple_walk_fmt.jac

@@ -0,0 +1,47 @@
+"""Example of simple walker walking nodes."""
+
+node Item {
+    has value: int = 1;
+}
+
+edge Checking {}
+
+walker Creator {
+    has count: int = 0;
+
+    can create with `root | Item entry {
+        here ++> Item();
+        self.count += 1;
+        if self.count < 10 {
+            visit [-->];
+        }
+    }
+}
+
+walker Walk {
+    has count: int = 0;
+
+    can skip_root with `root entry {
+        visit [-->];
+    }
+
+    can step with Item entry {
+        here.value = self.count;
+        self.count += 1;
+        visit [-->] else {
+            print(f"Final Value: {here.value - 1}");
+            "Done walking." |> print;
+            disengage;
+        }
+        f"Value: {here.value - 1}" |> print;
+    }
+}
+
+can test_run {
+    root spawn Creator();
+    Walk() spawn root;
+}
+
+with entry {
+    test_run();
+}

jaclang/compiler/tests/fixtures/fam.jac

@@ -0,0 +1,67 @@
+# This is a comment
+
+#*
+This is multi line comment
+Many styles!
+*#
+"""
+These are doc strings and can be used as comments
+Use them to document your code
+"""
+
+import:jac stuff;
+import:py from .activity, Activity as Actvy;
+
+node location {
+    has x: int,
+        y: int,
+        name: str = True;
+    has activities: list[Activity];
+    has intro: str = "Welcome";
+    has visited: int = 0;
+
+    can record with tourist entry {
+        visited+=1;
+
+        for i in activities {
+            i.duration = visitor.duration;
+            if here.name not in visitor.passport {
+                if i.name == "Hiking" {
+                    for j=0 to j<3 by j+=1  {
+                        i.duration+=1;
+                    }
+                    i.duration+=1;
+                }
+                visitor.passport.append(here.name);
+            }
+        }
+    }
+}
+
+walker tourist {
+    has duration: float = .435e-2;
+    has budget: int;
+    has passport: list[str];
+
+    can make_visit with location | other exit {
+        b = tourist;
+        a = spawn tourist;
+        a = [<-:myedge:a == 1, b == 2:-];
+        a = b +:myedge:a=1:+> c;
+        a = b <+:myedge:a=1:+ c;
+        a = here +:myedge:a=1:+> spawn tourist;
+        tourist |> here;
+        report here.activities;
+    }
+
+    can do_something(app: int=Actvy) -> Actvy {
+        app.do_something();
+    }
+
+    can do_something(app: int=Actvy, other: float=Actvy) -> Actvy {
+        return app?.do_something(other);
+    }
+    can outside_func() -> None;
+}
+
+:walker:tourist:can:outside_func {}

jaclang/compiler/tests/fixtures/hello_world.jac

@@ -0,0 +1,5 @@
+""" Basic Hello World function """
+
+can hello() {
+    return "Hello World!";
+}

jaclang/compiler/tests/fixtures/kwesc.jac

@@ -0,0 +1,5 @@
+"""Obligatory docstring, I need to change this"""
+
+with entry {
+    myobj = otherobj.<>walker.<>type;
+}

jaclang/compiler/tests/fixtures/mod_doc_test.jac

@@ -0,0 +1 @@
+with entry { print("hello"); }

jaclang/compiler/tests/fixtures/staticcheck.jac

@@ -0,0 +1,20 @@
+obj Calc {
+    @staticmethod
+    can add(a: int, b: int) -> int {
+        return a + b;
+    }
+
+    @staticmethod
+    static
+    can sub(a: int, b: int) -> int {
+        return a - b;
+    }
+}
+
+with entry {
+    print(Calc.add(1, 2));
+    print(Calc.sub(1, 2));
+    my_calc = Calc();
+    print(my_calc.add(1, 2));
+    print(my_calc.sub(1, 2));
+}

jaclang/compiler/tests/fixtures/stuff.jac

@@ -0,0 +1,6 @@
+glob x = 54;
+
+edge path {
+    has distance: int = 0;
+    # has: int visited = 0;
+}

jaclang/plugin/tests/fixtures/impl_match.jac

@@ -0,0 +1,9 @@
+include:jac impl_match_impl;
+
+obj Check {
+    can run;
+}
+
+with entry {
+    Check().run();
+}

jaclang/plugin/tests/fixtures/impl_match_impl.jac

@@ -0,0 +1,3 @@
+:obj:Check:can:run {
+    1/0;
+}

jaclang/plugin/tests/fixtures/simple_node_connection.jac

@@ -0,0 +1,55 @@
+node simple {
+    has tag: str;
+}
+edge simple_edge {
+    has index: int = 0;
+}
+with entry {
+    if (not [root -->]) {
+        root +:simple_edge:index=0:+> simple(tag="first");
+        root +:simple_edge:index=1:+> simple(tag="second");
+    }
+}
+
+walker filter_on_edge_get_edge {
+    can filter with `root entry {
+        print(:e:[-:simple_edge:index==1:->]);
+    }
+}
+
+walker filter_on_edge_get_node {
+    can filter with `root entry {
+        print([-:simple_edge:index==1:->]);
+    }
+}
+
+walker filter_on_node_get_node {
+    can filter with `root entry {
+        print([-->](?tag=="second"));
+    }
+}
+
+walker filter_on_node_get_edge {
+    can filter with `root entry {
+        print(:e:[-->](?tag=="second"));
+    }
+}
+
+walker filter_on_edge_visit {
+    can filter with `root entry {
+        visit ([-:simple_edge:index==0:->]);
+    }
+    can end with simple entry {
+        print(here);
+    }
+}
+
+walker filter_on_node_visit {
+    can filter with `root entry {
+        visit ([-->](?tag=="first"));
+    }
+
+    can end with simple entry {
+        print(here);
+    }
+}