creation features
exported features
Initializing the parser_buffer:
Access and moves into the parser_buffer:
is_ready: BOOLEAN
effective function
Is the parser_buffer ready to be used?
hashed_path: HASHED_STRING
writable attribute
When is_ready, gives the path of the corresponding buffered file.
path: STRING
effective function
An alias of hashed_path.to_string.
load_file (a_path: STRING)
effective procedure
Try to load a_path and set is_ready when corresponding file has been sucessfully loaded.
effective procedure
To be called at the end of parsing to release the parser_buffer.
cluster: CLUSTER
writable attribute
The corresponding one when the buffered file is an Eiffel source file.
count: INTEGER_32
writable attribute
Number of lines in the source file.