Strategy details
|
ATerm
|
debug
|
File
|
term.str
|
Author
|
unknown
|
Since
|
unknown
|
|
Prints the current term to stderr without changing it.This is a useful strategy for debugging specifications (hence its name).
|
|
ATerm
|
debug(Strategy msg)
|
File
|
term.str
|
Author
|
unknown
|
Since
|
unknown
|
|
Prints the term produced by applying msg followed by the current term to stderr.
|
|
ATerm
|
error
|
File
|
term.str
|
Author
|
unknown
|
Since
|
unknown
|
|
Prints a list of terms to stderr using fprintnl.
|
|
ATerm
|
fatal-error
|
File
|
term.str
|
Author
|
unknown
|
Since
|
unknown
|
|
Prints a list of terms to stderr using fprintnl and exits with code 1.
|
|
ATerm
|
fprint
|
File
|
term.str
|
Author
|
unknown
|
Since
|
unknown
|
|
Prints the terms to a stream. If a term is a string it is printed without quotes, otherwise it is printed as a term.
type
|
Stream * [a] -> Stream
|
|
|
ATerm
|
fprintnl
|
File
|
term.str
|
Author
|
unknown
|
Since
|
unknown
|
|
fprint, followed by a newline.
type
|
Stream * [a] -> Stream
|
|
|
ATerm
|
giving-up
|
File
|
term.str
|
Author
|
unknown
|
Since
|
unknown
|
|
Prints giving-up to stderr and exits with code 1.
|
|
ATerm
|
obsolete(Strategy msg)
|
File
|
term.str
|
Author
|
unknown
|
Since
|
unknown
|
|
Parameters
Strategy
msg
|
Strategy that produces a string message.
|
|
Logs an obsolete strategy message with the given message.
|
|
ATerm
|
read-from-stream
|
File
|
term.str
|
Author
|
unknown
|
Since
|
unknown
|
|
Reads an ATerm from a Stream
|
|
ATerm
|
read-from-string
|
File
|
term.str
|
Author
|
unknown
|
Since
|
unknown
|
|
Reads an ATerm from a String
|
|
ATerm
|
ReadFromFile
|
File
|
term.str
|
Author
|
unknown
|
Since
|
unknown
|
|
<ReadFromFile> file reads the term in file. The file needs to be in textual or binary ATerm format.
|
|
ATerm
|
risky(Strategy msg, Strategy s)
|
File
|
term.str
|
Author
|
unknown
|
Since
|
unknown
|
|
Parameters
Strategy
msg
|
Strategy that produces a string message
|
Strategy
s
|
Strategy to apply
|
|
Tries to apply s and prints msg to stderr if this fails.Risky preserves the failure of s: if s fails, then risky willfail as well.
|
|
ATerm
|
say(Strategy msg)
|
File
|
term.str
|
Author
|
unknown
|
Since
|
unknown
|
|
Parameters
Strategy
msg
|
term to print to stderr
|
|
Prints the term produced by applying msg to stderr.
|
|
ATerm
|
write-to-binary-string
|
File
|
term.str
|
Author
|
unknown
|
Since
|
unknown
|
|
Writes an ATerm to a binary string represented as a list of chars.
|
|
ATerm
|
write-to-shared-string
|
File
|
term.str
|
Author
|
unknown
|
Since
|
unknown
|
|
Writes an ATerm to a shared string represented as a list of chars.
|
|
ATerm
|
write-to-stream
|
File
|
term.str
|
Author
|
unknown
|
Since
|
unknown
|
|
Writes an ATerm to a Stream.
type
|
Stream * _ -> Stream
|
|
|
ATerm
|
write-to-string
|
File
|
term.str
|
Author
|
unknown
|
Since
|
unknown
|
|
Writes an ATerm to a String
|
|
ATerm
|
WriteToBinaryFile
|
File
|
term.str
|
Author
|
unknown
|
Since
|
unknown
|
|
<WriteToBinaryFile> (file, term) writes term to file in BAF format.i
|
|
ATerm
|
WriteToFile(Strategy writer)
|
File
|
term.str
|
Author
|
unknown
|
Since
|
unknown
|
|
<WriteToFile(s)> (file, term) writes term to file with the writer s.
type
|
(Stream * a -> Stream) * File * a -> a
|
|
|
ATerm
|
WriteToTextFile
|
File
|
term.str
|
Author
|
unknown
|
Since
|
unknown
|
|
<WriteToTextFile> (file, term) writes term to file in textual ATerm format.
|
|