K-user mailing list

["Park, Daejun" <dpark69 AT illinois.edu>]

Hi Michael,

If you want to write something to a file at once,  you can go with  #open and 
 #write .

For example, 

  rule <k> run => writeFile("file", "content") ... </k>

  syntax K ::= writeFile(String,String)
  rule writeFile(File:String, Content:String)
    => writeFD(#open(File), Content)

  syntax K ::= writeFD(Int,String)
  rule writeFD(FD:Int, Content:String)
    => #write(FD, Content) ~> #close(FD)

I'll get back to you after figuring out how to read from a file.

Daejun

On Nov 1, 2013, at 12:54 PM, Michael D. Adams 
<adamsmd AT illinois.edu>
 wrote:

> If you figure out how to do this, let me know.  I need it in the AST 
> generator.
> 
> For my use, it would be nice if we had some high-level functions like 
> Haskell's readFile and writeFile that read or write the entire file in one 
> go.
> 
> On 11/01/2013 12:52 PM, Park, Daejun wrote:
>> Thank you very much, Brandon!!
>> 
>> Daejun
>> 
>> On Nov 1, 2013, at 12:43 PM, "Moore, Brandon Michael" 
>> <bmmoore AT illinois.edu>
>>  wrote:
>> 
>>> The first thing grep suggests is
>>> tests/regression/java-rewrite-engine/io/test1
>>> None of the tutorials or samples call #open.
>>> 
>>> Brandon
>>> ________________________________________
>>> From: 
>>> k-user-bounces AT cs.uiuc.edu
>>>  
>>> [k-user-bounces AT cs.uiuc.edu]
>>>  on behalf of Park, Daejun 
>>> [dpark69 AT illinois.edu]
>>> Sent: Friday, November 01, 2013 12:35 PM
>>> To: 
>>> k-user AT cs.uiuc.edu
>>> Subject: [K-user] file read/write
>>> 
>>> Hi all,
>>> 
>>> Is there an easy way to read/write a file in K?
>>> While dealing with stdin/stdout is very simple, how can I do such a thing 
>>> for a file?
>>> I'd appreciate it if you give a pointer to an example.
>>> 
>>> Thanks,
>>> Daejun
>>> _______________________________________________
>>> k-user mailing list
>>> k-user AT cs.uiuc.edu
>>> http://lists.cs.uiuc.edu/mailman/listinfo/k-user
>>> 
>> 
>> 
>> _______________________________________________
>> k-user mailing list
>> k-user AT cs.uiuc.edu
>> http://lists.cs.uiuc.edu/mailman/listinfo/k-user
>> 
> 
> _______________________________________________
> k-user mailing list
> k-user AT cs.uiuc.edu
> http://lists.cs.uiuc.edu/mailman/listinfo/k-user