CLIPS: allowed-symbol -


i defined class restricted options slot:

(defclass target (is-a user)     (slot uuid         (type string))     (slot function         (type symbol)         (allowed-symbols a1 a2 b c d e f g)) )  (make-instance target of target     (uuid "a123")       (function zzz)     )

i expected clips complain "zzz" (not allowed), didn't. why?

best regards. nicola

constraint checking done statically (during parsing) , dynamically (during execution). default, static constraint checking enabled. slot assignments instances done dynamically when messages passing invoked because it's possible illegal value replaced legal value during execution of message handler.

in following case, definstances not generate error when defined because invalid value replaced @ run time, defrule generate error because object patterns directly grab value of slot without using message passing.

clips> (clear) clips>  (defclass target (is-a user)    (slot uuid       (type string))    (slot function       (type symbol)       (allowed-symbols a1 a2 b c d e f g))) clips>  (definstances static    (target1 of target (uuid "a123") (function zzz))) clips>     (defrule static    (object (is-a target) (function zzz))    =>)  [cstrnchk1] literal restriction value found in ce #1 not match allowed values slot function.  error: (defrule main::static    (object (is-a target)            (function zzz))    =>) clips> (reset) clips>           (make-instance target2 of target     (uuid "b456")       (function zzz)) [target2] clips>

if enable dynamic constraint checking, you'll see errors during execution when instances created:

clips> (set-dynamic-constraint-checking true) false clips>  (make-instance target3 of target     (uuid "c789")       (function zzz)) [cstrnchk1] zzz slot function of instance [target3] found in put-function primary in class target not match allowed values. [prccode4] execution halted during actions of message-handler put-function primary in class target false clips> (reset) [cstrnchk1] zzz slot function of instance [target1] found in put-function primary in class target not match allowed values. [prccode4] execution halted during actions of message-handler put-function primary in class target clips>

-

Comments

Post a Comment

Popular posts from this blog

python - How to insert QWidgets in the middle of a Layout? -

Image
i'm using qt framework build graphical user interface. use qgridlayout position qwidgets neatly. gui looks this: my application regularly adds new widgets gui @ runtime. these new widgets not added @ end of qlayout, somewhere in middle. the procedure bit cumbersome. applied on figure above, need take out widg_c , widg_d , ... qgridlayout. next, add widg_x and widg_y , , put other widgets again. how remove widgets qgridlayout: for in reversed(range(mygridlayout.count())): self.itemat(i).widget().setparent(none) ### as long you're dealing small amount of widgets, procedure not disaster. in application display lot of small widgets - perhaps 50 or more! application freezes second while procedure ongoing, annoying user. there way insert widgets somewhere in qlayout, without need take out other widgets? edit: apparently solution qvboxlayout simple. use function insertwidget(..) instead of addwidget(..) . docs can found link: http://doc.qt.io/qt-5/qboxlayou
Read more

python - serve multiple gunicorn django instances under nginx ubuntu -

i need serve 2 webs apps (django) on gunicorn under different domain names using nginx on ubuntu. started using tutorial: https://www.digitalocean.com/community/tutorials/how-to-set-up-django-with-postgres-nginx-and-gunicorn-on-ubuntu-16-04 it worked fine 1 using that. tried same thing second gives me 502 gateway second domain. tried following tutorial: http://michal.karzynski.pl/blog/2013/10/29/serving-multiple-django-applications-with-nginx-gunicorn-supervisor/ i'm @ part run gunicorn start script: sudo bin/gunicorn_start i response: starting webuildblack root traceback (most recent call last): file "/home/devin/webuildblack/bin/gunicorn", line 7, in <module> gunicorn.app.wsgiapp import run importerror: no module named 'gunicorn.app'; 'gunicorn' not package you have named program gunicorn.py gunicorn -package. rename file , remove gunicorn.pyc file.
Read more

module - Prestashop displayPaymentReturn hook url -

i new prestashop developer , trying create paymentmodule. have got show payment method can not proceed purchase because not know hot works. does know should redirect run hooddisplaypaymentreturn method? i happy if explain me complete navigation map make purchase. anyway, can find relation between hooks , pages? when have new module payment rely on simplest provided prestashop: bankwire. inside can find 3 hooks. hookpayment: public function hookpayment($params) { if (!$this->active) return; if (!$this->checkcurrency($params['cart'])) return; $this->smarty->assign(array( 'this_path' => $this->_path, 'this_path_bw' => $this->_path, 'this_path_ssl' => tools::getshopdomainssl(true, true).__ps_base_uri__.'modules/'.$this->name.'/' )); return $this->display(__file__, 'payment.tpl'); } hookdisplaypaymenteu: public fun
Read more