ETB issueshttps://git.fortiss.org/evidentia/etb/-/issues2022-12-15T14:06:23Zhttps://git.fortiss.org/evidentia/etb/-/issues/11--add-claim query / file path issue2022-12-15T14:06:23ZRadouane Bouchekir--add-claim query / file path issueWhen running the etb add-claim --query="path, variables", the all path, from the root, should be specified.
Ex. etb add-claim --query="twoStepCR('/home/bouchekir/Documents/etb-master/etb-master/Demo/null_pointer.c', Mr, Rr, Fr)"When running the etb add-claim --query="path, variables", the all path, from the root, should be specified.
Ex. etb add-claim --query="twoStepCR('/home/bouchekir/Documents/etb-master/etb-master/Demo/null_pointer.c', Mr, Rr, Fr)"https://git.fortiss.org/evidentia/etb/-/issues/10Dockerize evidentia2021-04-13T07:53:23ZAnastasios KalogeropoulosDockerize evidentiaNot easy to run evidentia in a container.
Evidentia keeps the node state in a file and reads from that file to restore on every command execution.
Container needs to store the state on the host and read on every run.Not easy to run evidentia in a container.
Evidentia keeps the node state in a file and reads from that file to restore on every command execution.
Container needs to store the state on the host and read on every run.https://git.fortiss.org/evidentia/etb/-/issues/9Use logging framework for printing messages2021-04-08T08:02:50ZAnastasios KalogeropoulosUse logging framework for printing messageshttps://git.fortiss.org/evidentia/etb/-/issues/8workflow example in Datalog missing from readme2021-03-31T07:28:40ZAnastasios Kalogeropoulosworkflow example in Datalog missing from readmehttps://git.fortiss.org/evidentia/etb/-/issues/7Network creation from node2021-04-14T07:22:13ZAnastasios KalogeropoulosNetwork creation from nodeAnastasios KalogeropoulosAnastasios Kalogeropouloshttps://git.fortiss.org/evidentia/etb/-/issues/6HLF Logging mechanism2021-04-09T14:30:20ZAnastasios KalogeropoulosHLF Logging mechanismAnastasios KalogeropoulosAnastasios Kalogeropouloshttps://git.fortiss.org/evidentia/etb/-/issues/5Info about IPFS usage2021-03-29T15:08:00ZAnastasios KalogeropoulosInfo about IPFS usagehttps://git.fortiss.org/evidentia/etb/-/issues/4Java 8 not supported?2021-03-29T15:07:32ZAnastasios KalogeropoulosJava 8 not supported?https://git.fortiss.org/evidentia/etb/-/issues/3error adding claim while running visa example2021-03-29T15:03:37ZAnastasios Kalogeropouloserror adding claim while running visa example1. Consulate running in server mode
2. Adding claim in requester (`-add-claim "getVisa(V)"`)
#### Requester logs:
```
=> valid input query: getVisa(V)
=> number of matching applicable workflows: 1
=> found a Datalog workflow
=> entity ...1. Consulate running in server mode
2. Adding claim in requester (`-add-claim "getVisa(V)"`)
#### Requester logs:
```
=> valid input query: getVisa(V)
=> number of matching applicable workflows: 1
=> found a Datalog workflow
=> entity ID: requester
---------------------------
=> entity ID: requester
---------------------------
=> goal being resolved: getVisa(V)
---------------------------
=> goal being resolved: getVisa(V)
-> no matching facts
-> rule: getVisa(Visa) :- getRequesterInfo(Passport, Docs), issueVisa(Passport, Docs, Visa)
bindings: {Visa=V}
rule after substitution : attests [getVisa(V) :- getRequesterInfo(Passport, Docs), issueVisa(Passport, Docs, V)]
=> goal successfully resolved
=> goal being back-chained: getRequesterInfo(Passport, Docs)
=> Authority:
---------------------------
=> entity ID: requester
---------------------------
=> goal being resolved: getRequesterInfo(Passport, Docs)
---------------------------
=> goal being resolved: getRequesterInfo(Passport, Docs)
-> no matching facts
-> no matching rules
=> [warning] claim addition not successful
=> goal successfully resolved
=> goal being back-chained: issueVisa(am12312, mydocs, V)
=> Authority:
---------------------------
=> entity ID: requester
---------------------------
=> goal being resolved: issueVisa(am12312, mydocs, V)
---------------------------
=> goal being resolved: issueVisa(am12312, mydocs, V)
-> no matching facts
-> no matching rules
=> number of matching applicable workflows: 0
=> no matching applicable workflow
-> no local service found matching the query
-> processing as a remote service
-> server spec
==> name: consulate [IP : 127.0.1.1 port : 4050]
--> services: [issueVisa, valid, prepareVisa]
-> arg1 : am12312
-> THIS IS A GROUND TERM
-> arg2 : mydocs
-> THIS IS A GROUND TERM
-> arg3 : V
-> THIS IS A VAR TERM
-> service invocation args sent successfully
error: problem while sending service to remote server
-> no matching service
=> query processing not successful
=> [warning] claim addition not successful
-> no matching external tools
=> no facts, no rules, and no services supporting goal predicate
[datalog engine backtracks]
=> query processing not successful (workflow: wfRequester)
=> no matching applicable workflow
-> no local service found matching the query
-> no matching service
=> query processing not successful
=> [warning] claim addition not successful
```
#### Consulate logs
```
entity: consulate -- [IP: 127.0.1.1, port: 4050]
==> local repo path : /home/kalogeropoulos/Projects/Evidentia/visa/consulate/consulate-workspace
==> number of claims: 0
==> number of workflows: 1
==> [workflow : wfConsulate]
--> scriptPath: /home/kalogeropoulos/Projects/Evidentia/visa/consulate/consulate-workspace/wfConsulate.txt
--> queries: [<issueVisa/3, [string, string, string], ++->]
==> number of local services: 2
==> [service : valid]
--> signature: [string, string]
--> modes: [++]
==> [service : prepareVisa]
--> signature: [string, string]
--> modes: [+-]
==> number of servers: 1
==> name: bank [IP : 127.0.1.1 port : 4060]
--> services: [getBankStatement]
waiting for a client ...
connected to client : 127.0.0.1
=> request received for service execution
-> serviceName : issueVisa
-> serviceInvMode : ++-
serviceArgType : string
serviceArgType : string
serviceArgType : VAR
-> serviceArgs : [am12312, mydocs, V]
-> serviceSign : 111
=> number of matching applicable workflows: 1
=> found a Datalog workflow
=> entity ID: consulate
---------------------------
=> entity ID: consulate
---------------------------
=> goal being resolved: issueVisa()
---------------------------
=> goal being resolved: issueVisa()
-> no matching facts
-> rule: issueVisa(Passport, Docs, Visa) :- validateDocs(Passport, Docs), prepareVisa(Passport, Visa)
[WARNING]
java.lang.IndexOutOfBoundsException: Index 0 out of bounds for length 0
at jdk.internal.util.Preconditions.outOfBounds (Preconditions.java:64)
at jdk.internal.util.Preconditions.outOfBoundsCheckIndex (Preconditions.java:70)
at jdk.internal.util.Preconditions.checkIndex (Preconditions.java:248)
at java.util.Objects.checkIndex (Objects.java:372)
at java.util.ArrayList.get (ArrayList.java:459)
at evidentia.etbDL.utils.Expr.unify2 (Expr.java:316)
at evidentia.etbDL.DatalogEngine.resolveRules (DatalogEngine.java:125)
at evidentia.etbDL.DatalogEngine.resolveGoal (DatalogEngine.java:170)
at evidentia.etbDL.DatalogEngine.resolve (DatalogEngine.java:195)
at evidentia.etbDL.DatalogEngine.run (DatalogEngine.java:253)
at evidentia.etbCS.utils.claimsPack.runQuery (claimsPack.java:186)
at evidentia.etbCS.utils.claimsPack.add (claimsPack.java:155)
at evidentia.etbCS.serverMode.run (serverMode.java:66)
at evidentia.Entity.run (Entity.java:368)
at evidentia.Evidentia.run (Evidentia.java:129)
at evidentia.Evidentia.main (Evidentia.java:284)
at jdk.internal.reflect.NativeMethodAccessorImpl.invoke0 (Native Method)
at jdk.internal.reflect.NativeMethodAccessorImpl.invoke (NativeMethodAccessorImpl.java:62)
at jdk.internal.reflect.DelegatingMethodAccessorImpl.invoke (DelegatingMethodAccessorImpl.java:43)
at java.lang.reflect.Method.invoke (Method.java:566)
at org.codehaus.mojo.exec.ExecJavaMojo$1.run (ExecJavaMojo.java:282)
at java.lang.Thread.run (Thread.java:834)
```Tewodros BeyeneTewodros Beyenehttps://git.fortiss.org/evidentia/etb/-/issues/2add/remove server - show commands in "-help"2021-04-09T07:58:24ZAnastasios Kalogeropoulosadd/remove server - show commands in "-help"https://git.fortiss.org/evidentia/etb/-/issues/1add service error2021-03-17T08:15:38ZAnastasios Kalogeropoulosadd service errorThe following error occurs while adding a new service:
```
# service.txt
{
"ID": "genPDF",
"signature": ["file", "file", "file"],
"modes":["++-"]
}
```
Error:
```
Exception in thread "main" java.lang.ClassCastException: class org...The following error occurs while adding a new service:
```
# service.txt
{
"ID": "genPDF",
"signature": ["file", "file", "file"],
"modes":["++-"]
}
```
Error:
```
Exception in thread "main" java.lang.ClassCastException: class org.json.simple.JSONArray cannot be cast to class java.lang.String (org.json.simple.JSONArray is in unnamed module of loader 'app'; java.lang.String is in module java.base of loader 'bootstrap')
at evidentia.etbCS.utils.servicePackage.add(servicePackage.java:57)
at evidentia.Entity.run(Entity.java:387)
at evidentia.Evidentia.run(Evidentia.java:129)
at evidentia.Evidentia.main(Evidentia.java:284)
```Tewodros BeyeneTewodros Beyene