k-user AT lists.cs.illinois.edu

Subject: K-user mailing list

List archive

Re: [K-user] Passing a K object between two different K definitions

From: Chris Hathhorn <chathhorn AT gmail.com>
To: "Park, Daejun" <dpark69 AT illinois.edu>
Cc: Jiho Choi <jray319 AT gmail.com>, "k-user AT cs.uiuc.edu" <k-user AT cs.uiuc.edu>, "Shull, Thomas Edward" <shull1 AT illinois.edu>
Subject: Re: [K-user] Passing a K object between two different K definitions
Date: Wed, 11 Dec 2013 21:06:41 -0600
List-archive: <http://lists.cs.uiuc.edu/pipermail/k-user/>
List-id: <k-user.cs.uiuc.edu>

On Wed, Dec 11, 2013 at 8:54 PM, Park, Daejun
<dpark69 AT illinois.edu>
wrote:
> BTW, Chris:
> Is the option '--load-cfg' has the same meaning with the option '--parser
> "kast --parser binary"'?

It might be, I'm not sure -- it just uses the BinaryLoader.load()
method to deserialize the configuration. I wasn't aware of that
"binary" option to kast.

> It this result intended, or did I something wrong?
> How to get a result without the <generatedTop> wrapper?

Yeah, that's the intended result. I just have something like this in
my configuration:

<k> loadConfig($PGM:Bag) </k>

and then some rules like so:

rule loadConfig(<generatedTop> <global> P:Bag </global> </generatedTop>)
=> loadConfig'(P)

rule <exec>
<k> loadConfig'(C:Bag) => . ...</k>
<global> (_:Bag => C) </global>
...</exec>

Chris

[K-user] Passing a K object between two different K definitions, Park, Daejun, 12/11/2013
- Re: [K-user] Passing a K object between two different K definitions, Traian Florin Șerbănuță, 12/11/2013
  - Re: [K-user] Passing a K object between two different K definitions, Chris Hathhorn, 12/11/2013
    - Re: [K-user] Passing a K object between two different K definitions, Park, Daejun, 12/11/2013
      - Re: [K-user] Passing a K object between two different K definitions, Chris Hathhorn, 12/11/2013