Skip to main content

module lang::aterm::IO

rascal-0.40.16

Usage​

import lang::aterm::IO;

function readTextATermFile​

Read an ATerm from a text file.

&T readTextATermFile(type[&T] begin, loc location)

value readTextATermFile(loc location)

function readATermFromFile​

Read an ATerm from a named file.

value readATermFromFile(str fileName)

function writeTextATermFile​

Write an ATerm to a text file.

void writeTextATermFile(loc location, value v)