Enhancement of Jac reference

jac/examples/data_spatial/create_node.jac

@@ -0,0 +1,14 @@
+node MyNode{}
+
+with entry{
+ first_tier =[MyNode() for i in range(2)];
+ second_tier =[MyNode() for i in range(2)];
+
+ root ++> first_tier;
+ first_tier ++> second_tier;
+
+ end_tier = MyNode();
+ second_tier ++> end_tier;
+
+
+}

jac/examples/data_spatial/custom_edge.jac

@@ -0,0 +1,23 @@
+node MyNode{
+ has val:int =0;
+}
+
+edge a{}
+
+edge b{}
+
+edge c{}
+
+with entry{
+ Start = MyNode(5);
+ root +:a:+> Start;
+ Start +:b:+> MyNode(10) +:c:+> MyNode(15);
+ Start +:b:+> MyNode(20) +:a:+> MyNode(25);
+
+ print([root-->]);
+ print([root<--]);
+ print([root-:a:->]);
+ print([root-:a:-> -:b:->]);
+ print([root-:a:-> -:b:->-:c:->]);
+
+}

jac/examples/data_spatial/define_walker.jac

@@ -0,0 +1,25 @@
+node A{
+ has val:int =0;
+}
+
+edge a{
+}
+
+walker W{
+ can create with `root entry;
+}
+
+:walker:W:can:create{
+ Start = A(5);
+ here +:a:+> Start;
+ Start +:a:+> A(10) +:a:+> A(15);
+ Start +:a:+> A(20) +:a:+> A(25);
+}
+
+
+
+with entry{
+ root spawn W();
+ print([root-->-->(`?A)]);
+ print([root--> --> -->(`?A)]);
+}

jac/examples/data_spatial/ds_entry_exit.jac

@@ -0,0 +1,36 @@
+node test_node {
+ has value: int;
+}
+
+walker test_walker {
+ has visited_nodes: list = [];
+ has entry_count: int = 0;
+ has exit_count: int = 0;
+
+ can traverse with `root entry {
+ visit [-->](`?test_node);
+ }
+
+ can log_entry with entry {
+ print("Entering at the beginning of walker: ",here);
+ self.entry_count += 1;
+ }
+
+ can log_visit with test_node exit {
+ print("Visiting node : ", here);
+ self.visited_nodes.append(here);
+ }
+
+ can log_exit with exit {
+ print("Exiting at the end of walker: ",here);
+ self.exit_count += 1;
+ }
+}
+
+with entry {
+ for i in range(10) {
+ root ++> (next:=test_node(value=i));
+ }
+ wlk_obj = root spawn test_walker();
+ print(wlk_obj);
+}

jac/examples/data_spatial/edge_filtering.jac

@@ -0,0 +1,22 @@
+node A{
+ has val:int =0;
+}
+
+edge a{
+ has val:int = 0;
+}
+edge b{
+ has val:int = 0;
+}
+
+with entry{
+
+ root +:a:val=10:+> A(10);
+ root +:a:val=20:+> A(20);
+ root +:b:val=30:+> A(30);
+
+ print([root--> ]);
+ print([root-:a:-> ]);
+ print([root-:a:val<=15:-> ]);
+ print([root-:a:val>=20:-> ]);
+}

jac/examples/data_spatial/filtering.jac

@@ -0,0 +1,31 @@
+node A{
+ has val:int =0;
+}
+node B{
+ has val:int =0;
+}
+node C{
+ has val:int =0;
+}
+
+edge a{}
+
+edge b{}
+
+edge c{}
+
+with entry{
+ Start = A(5);
+ Intermediate = B(10);
+ End = C(25);
+ root +:a:+> Start;
+ Start +:b:+> Intermediate +:c:+> C(15);
+ Start +:b:+> A(20) +:a:+> End;
+ Intermediate +:c:+> End;
+
+ print([root-->-:b:->(`?A)]);
+ print([root-:a:-> -:b:-> -:a:->(`?C)]);
+ print([root-:a:-> -:b:-> -:c:->(`?C)]);
+ print([root-:a:-> -:b:-> -:c:->(?val==25)]);
+ print([root-:a:-> -:b:-> -:c:->(?val<20)]);
+}

jac/examples/data_spatial/node_connections.jac

@@ -0,0 +1,25 @@
+node a{
+ has value:int =10;
+}
+
+edge b{
+ has value:int = 20;
+}
+
+with entry{
+ node_1 = a(value=5);
+ node_2 = a();
+ node_3 = a(value=15);
+ node_4 = a(value=20);
+ node_5 = a(value=25);
+
+ root ++> node_1;
+ node_1 +:edge_1:= b(value=5):+> node_2;
+ node_1 +:edge_2:=b(value=10):+> node_3;
+ node_1 +:edge_3:=b(value=15):+> node_4;
+ node_1 +:edge_4:=b():+> node_5;
+
+ node_1 del --> node_2;
+ del node_3;
+
+}

jac/examples/data_spatial/visiting.jac

@@ -0,0 +1,20 @@
+node MyNode{
+ has Name:str;
+}
+
+edge a{}
+
+
+with entry{
+ Start = MyNode("Start");
+ End = MyNode("End");
+ root <+:a:+ Start;
+ root +:a:+> End;
+
+ print([root-->]);
+ print([root<--]);
+ print([Start-->]);
+ print([End<--]);
+
+
+}

jac/examples/reference/enumerations.jac

@@ -1,8 +1,23 @@
-enum Color {
- RED=1,
- pencil
+import from enum { unique }
+
+@unique
+enum Color;
+
+:enum:Color {
+ RED = 1,
+ GREEN = 2
 }
 
+enum :protect Role {
+ ADMIN = 'admin',
+ USER = 'user',
+ with entry {
+ print('Initializing role system..');
+ },
+ can foo -> str {
+ return 'Accessing privileged Data';
+ }
+}
 with entry {
- print(Color.RED.value);
+ print(Color.RED.value, Role.foo());
 }

jac/examples/reference/enumerations.py

@@ -1,10 +1,20 @@
-from __future__ import annotations
-from enum import Enum, auto
+from enum import Enum, auto, unique
 
 
+@unique
 class Color(Enum):
  RED = 1
  pencil = auto()
 
 
-print(Color.RED.value)
+class Role(Enum):
+ ADMIN = ("admin",)
+ USER = "user"
+
+ print("Initializing role system..")
+
+ def foo():
+ return "Accessing privileged Data"
+
+
+print(Color.RED.value, Role.foo())

jac/examples/reference/global_variables.jac

@@ -8,6 +8,6 @@ glob z = 20;
 
 obj:priv Myobj{}
 
-with entry {
+with entry:__main__ {
  print(a, X, y, z);
 }

jac/examples/reference/import_include_statements.jac

@@ -1,11 +1,16 @@
 import:py os;
-import:py from math, sqrt as square_root;
 import:py datetime as dt;
-import:jac from base_module_structure, add;
-import from base_module_structure, subtract;
+import from math { sqrt as square_root, log }
+import:jac from base_module_structure { add }
+import from base_module_structure { subtract }
+include global_variables;
 
 with entry {
  for i in range(int(square_root(dt.datetime.now().year))) {
- print(os.getcwd(), add(i, subtract(i, 1)));
+ print(
+ os.getcwd(),
+ add(i, subtract(i, 1)),
+ int(log(i + 1))
+ );
  }
 }

jac/examples/reference/import_include_statements.py

@@ -1,7 +1,7 @@
 from jaclang import jac_import as __jac_import__
 import os
-from math import sqrt as square_root
 import datetime as dt
+from math import sqrt as square_root, log
 
 (add, subtract) = __jac_import__(
  target="base_module_structure",
@@ -10,4 +10,4 @@
 )
 
 for i in range(int(square_root(dt.datetime.now().year))):
- print(os.getcwd(), add(i, subtract(i, 1)))
+ print(os.getcwd(), add(i, subtract(i, 1)), int(log(i + 1)))

jac/examples/reference/match_patterns.jac

@@ -1,5 +1,5 @@
 obj Point {
- has x: flaot,
+ has x: float,
  y: float;
 }
 

jac/examples/reference/names_and_references.jac

@@ -1,24 +1,30 @@
 obj Animal {
- can init(species: str) {
-  self.species = species;
- }
+ has species: str;
+ has sound: str;
+
 }
 
 obj Dog :Animal: {
- can init(breed: str) {
-  super.init(species='Dog');
- self.breed = breed;
-  self.sound = "";
- self.postinit();
+ has breed: str;
+ has trick: str by postinit;
+
+ can postinit {
+ self.trick = "Roll over";
  }
- can postinit;
 }
 
-:obj:Dog:can:postinit {
- self.sound = 'woof woof';
+obj Cat :Animal: {
+ can init(fur_color: str) {
+ super.init(species="Cat", sound="Meow!");
+ self.fur_color = fur_color;
+ }
 }
 
 with entry {
- dog1 = Dog("Labrador");
- print(dog1.species, dog1.breed, dog1.sound);
+ dog = Dog(breed="Labrador", species="Dog", sound="Woof!");
+ cat = Cat(fur_color="Tabby");
+
+ print(dog.breed, dog.sound, dog.trick);
+ # print(f"The dog is a {dog.breed} and says '{dog.sound}'");
+ # print(f"The cat's fur color is {cat.fur_color}");
 }

jac/examples/reference/names_and_references.py

@@ -1,18 +1,32 @@
+from dataclasses import dataclass, field
+
+
+@dataclass
 class Animal:
- def __init__(self, animal_type):
-  self.animal_type = animal_type
+ species: str
+ sound: str
 
 
+@dataclass
 class Dog(Animal):
- def __init__(self, breed):
- super().__init__("Dog")
- self.breed = breed
- self.sound = ""
- self._post_init()
+ breed: str
+ trick: str = field(init=False)
+
+ def __post_init__(self):
+ self.trick = "Roll over"
+
+
+@dataclass
+class Cat(Animal):
+
+ def __init__(self, fur_color: str):
+ super().__init__(species="Cat", sound="Meow!")
+ self.fur_color = fur_color
 
- def _post_init(self):
- self.sound = "woof woof"
 
+dog = Dog(breed="Labrador", species="Dog", sound="Woof!")
+cat = Cat(fur_color="Tabby")
 
-dog1 = Dog(breed="Labrador")
-print(dog1.animal_type, dog1.breed, dog1.sound)
+print(dog.breed, dog.sound, dog.trick)
+# print(f'The dog is a {dog.breed} and says "{dog.sound}"')
+# print(f"The cat's fur color is {cat.fur_color}")