maude-help AT lists.cs.illinois.edu

Subject: Maude-help mailing list

List archive

Re: [[Maude-help] ] About reading a file in maude

From: Santiago Escobar <sescobar AT dsic.upv.es>
To: Héctor David Delgado Ríos <hectordavid1228 AT gmail.com>
Cc: maude-help AT lists.cs.illinois.edu
Subject: Re: [[Maude-help] ] About reading a file in maude
Date: Mon, 26 Jun 2017 17:26:52 +0200

Dear Hector, Maude does not have libraries for reading or writing files.

I think the best way is to use the LOOP-MODE. Please read Chapter 13 of the Maude manual.

—Santiago

On 26 Jun 2017, at 16:35, Héctor David Delgado Ríos <hectordavid1228 AT gmail.com> wrote:

Hello,

My name is Héctor Delgado and I'm new here. My question is if anybody know how can I read a file inside an execution of a maude program. I'm trying to read a file in one state of a socket. I'm trying to read a file for sending the content as the answer.

Regards,

Héctor David Delgado Ríos
Pontificia Universidad Javeriana
Facultad de Ingeniería
Ing. de Sistemas y Computación
CEL: (+57) 3188949987 - (+33) 612548850

[[Maude-help] ] About reading a file in maude, Héctor David Delgado Ríos, 06/26/2017
- Re: [[Maude-help] ] About reading a file in maude, Santiago Escobar, 06/26/2017
  - Re: [[Maude-help] ] About reading a file in maude, Paco Durán, 06/26/2017