Skip to main content

module IO

rascal-0.28.2

Usage​

import lang::aut::IO;

function readAUT​

Synopsis​

Read relations from an AUT file.

Description​

An AUT file contains tuples of ternary relation as lines with the following format:

  • (<int>,<str>,<int>)
  • each field is separated by a comma

readAUT takes an AUT file and generates a value of type rel[int, str,int].

rel[int, str, int] readAUT(str nameAUTFile)

function writeAUT​

write an AUT file

void writeAUT(str nameAUTFile, rel[int, str, int] r)