This code is actually in error; the editor *should* show an error,
although the root cause error isn't the one that's being displayed
here. Start at the top of file B, and trace through it. Note at what
point VariabilityMechanismInstance is declared, and at what point
defmodule A is executed. You'll see that at the time the template is
defined, there *is* no module A, so the template ends up in module B.
The set-current-module function reports an error here (try running the
code from the Jess prompt) but for some reason, the editor isn't
displaying it; I'll have to track that down. It's not that
set-current-module isn't being executed in the editor; if you play
around when both modules have been defined, you should be able to
convince yourself that it is.
I think Felix Bachmann wrote:
[Charset iso-8859-1 unsupported, filtering to ASCII...]
I work with 7.0a6. Here the concrete (shortened) example:
Module A
(defmodule A)
(provide A)
(deftemplate RealizeRelation
(slot id)
(slot source)
(slot parent)
(slot child)
(slot childType)
)
Module B
(defmodule B)
(set-current-module A)
(deftemplate VariabilityMechanismInstance
(slot instantiationCost)
(slot patternGroup)
(slot name)
(slot description)
(slot skills)
(multislot methode)
(slot automation)
(slot cost)
(slot owner)
(slot source)
(slot status)
)
(set-current-module B)
(require A)
(deffunction InstantiateVariabilityMechanism (?template)
(return (assert (A::VariabilityMechanismInstance this
fact ist not recognized!!!
(name (str-cat Instance of (fact-slot-value ?template name)))
(description (fact-slot-value ?template description))
(skills (fact-slot-value ?template skills))
(methode (fact-slot-value ?template methode))
(automation (fact-slot-value ?template automation))
(cost (fact-slot-value ?template cost))
(patternGroup (fact-slot-value ?template name)
)
---
The line after (return (assert shows error Undefined function name
...
Actually provide and require should not be needed in this case because
the deftemplate is in the same file, only in a different module
Felix
[EMAIL PROTECTED] wrote:
I think Felix H. Bachmann wrote:
[Charset iso-8859-1 unsupported, filtering to ASCII...]
A couple of minor issues with JessDE
1) the editor shows undefined function for a recursive function call
Yes, indeed. Thanks.
2) the editor does not recognise (set-current-module) which leads to
undefined facts. Example: I have a module A in file A.clp. Somewhere in
the middle of that module I need some new definitions for module B. So,
inside A.clp I do (set-current-module B), write the definitions and
switch back to module A. When I now have rules that use the templates
from module B then the editor doesn't recognize that. Execution of the
code itself works just fine.
Editor support for set-current-module was added in 7.0a6; are you
using the latest release? So, for example, if you have the two files:
a.clp:
--
(defmodule a)
(set-current-module b)
(deftemplate foo
(slot bar))
(provide a)
--
b.clp
--
(defmodule b)
(require a)
(defrule foo
(foo (bar x))
=)
--
Neither of these files gets any error markers in 7.0a6.
-
Ernest Friedman-Hill
Advanced Software Research Phone: (925) 294-2154
Sandia National LabsFAX: (925) 294-2234
PO Box 969, MS 9012 [EMAIL PROTECTED]
Livermore, CA 94550 http://herzberg.ca.sandia.gov
To unsubscribe, send the words 'unsubscribe jess-users [EMAIL PROTECTED]'
in the BODY of a message to [EMAIL PROTECTED], NOT to the list
(use your own address!) List problems? Notify [EMAIL PROTECTED]
[Attachment, skipping...]
-
Ernest Friedman-Hill
Advanced Software Research Phone: (925) 294-2154
Sandia National LabsFAX: (925) 294-2234
PO Box 969, MS 9012 [EMAIL PROTECTED]
Livermore, CA 94550 http://herzberg.ca.sandia.gov
To unsubscribe, send the words 'unsubscribe jess-users [EMAIL PROTECTED]'
in the BODY of a message to [EMAIL PROTECTED], NOT to the list
(use your own address!) List problems?
