Input stream line position and read term start and end lines
See original GitHub issueAs a future enhancement, it would be quite useful if we could call the stream_property/2
predicate to get the current line and if the read_term/3
predicate could support an option to get the term start and ending lines. In my particular case, Logtalk uses these features to pinpoint warnings and errors when compiling a file. When we use the sandbox in the Tau Prolog website, warnings and errors tell us the source file line number. Thus, I assume the some of the necessary bits to support these features are already present internally?
Issue Analytics
- State:
- Created 3 years ago
- Comments:7 (4 by maintainers)
Top Results From Across the Web
Read a line of text from an input stream in Java keeping the ...
I'm reading a POST request. They consists of pure text messages where the lines always end with \r\n (by the standard specification). However ......
Read more >BufferedReader (Java Platform SE 8 ) - Oracle Help Center
Reads text from a character-input stream, buffering characters so as to provide for the efficient reading of characters, arrays, and lines.
Read more >StreamReader.ReadLine Method (System.IO) - Microsoft Learn
Reads a line of characters from the current stream and returns the data as a string.
Read more >Reading a File Line by Line in Java - Stack Abuse
This method returns the rest of the current line, excluding any line separator at the end of the line. The read position is...
Read more >How to Read a File in Java - Baeldung
JDK8 offers the lines() method inside the Files class. It returns a Stream of String elements. Let's look at an example of how...
Read more >
Top Related Medium Post
No results found
Top Related StackOverflow Question
No results found
Troubleshoot Live Code
Lightrun enables developers to add logs, metrics and snapshots to live code - no restarts or redeploys required.
Start Free
Top Related Reddit Thread
No results found
Top Related Hackernoon Post
No results found
Top Related Tweet
No results found
Top Related Dev.to Post
No results found
Top Related Hashnode Post
No results found
Thanks. Fixed!
Added
stream_position_data/3
built-in predicate.stream_position_data(?Field, +Pos, -Data)
.Field
is one ofline_count
,line_position
orchar_count
.