[sv-ec] RE: [sv-bc] Is 'kill' a task or function

This was fixed in Mantis 1424.
await() is a task, the others are functions, including resume().
 
Shalom


________________________________

	From: owner-sv-bc@server.eda.org
[mailto:owner-sv-bc@server.eda.org] On Behalf Of Surya Pratik Saha
	Sent: Monday, July 23, 2007 10:33 AM
	To: sv-bc@eda-stds.org; SV-EC
	Subject: [sv-bc] Is 'kill' a task or function
	
	
	Hi,
	There is a method inside 'process' class called 'kill'. The
definition of 'kill' is given different in two places. 
	LRM section 11.9 (page no. 150)
	class process; 
	enum state { FINISHED, RUNNING, WAITING, SUSPENDED, KILLED }; 
	static function process self(); 
	function state status(); 
	function void kill(); // Here it is a void function
	task await(); 
	function void suspend(); 
	task resume(); 
	endclass
	
	Now in Annex C (page no. 554) it is written as:
	class process; 
	enum state { FINISHED, RUNNING, WAITING, SUSPENDED, KILLED }; 
	static function process self(); 
	function state status(); 
	task kill(); // Here it is a task
	task await(); 
	task suspend(); 
	task resume(); 
	endclass
	
	Which definition is correct?
	
	-- 
	Regards
	Surya

	-- 
	This message has been scanned for viruses and 
	dangerous content by MailScanner <http://www.mailscanner.info/>
, and is 
	believed to be clean. 


-- 
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.