Personal tools
You are here: Home Software Kepler SRB Actors Documentation SRB Actors SRB File Reader Usage Notes
Document Actions

5. Usage Notes

Up one level
details on specific usage notes for this actor

If there is the possibility that the file being read in is empty (i.e. has size 0), then the zeroToken port should be checked every time before trying to read the output port.

This is because, at the time of writing, array tokens cannot be of size 0, and in PN domains it is impossible to check if there are going to be tokens on a port.



dart@dart.edu.au | DART Project Office, Monash University, Victoria 3800, Australia; Telephone +61 3 9905 4187; Facsimile +61 3 9905 3024