Maude-help mailing list

[Paco Durán <duran AT lcc.uma.es>]

Hi Hector,

As Santiago says, there is no direct way to read from files in Maude. 
However, I'm a bit confused about your question, I'm not sure I get what you 
mean with "in one state of a socket". Most applications that require reading 
files use some form of wrapper that injects the terms into Maude, perhaps 
using the LOOP-MODE Santiago was pointing out. But if you are using sockets 
perhaps you don't need to, you can send whatever information you want through 
them, and return any result. 

Best,

Francisco



> On 26 Jun 2017, at 17:26, Santiago Escobar 
> <sescobar AT dsic.upv.es>
>  wrote:
> 
> 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
>