From: "Mr.Spark" <malmanea@gmail.com>
Subject: a slight problem need some help. Simulation Control System
Date: Fri, 13 Nov 2009 08:09:01 -0800 (PST)
Date: 2009-11-13T08:09:01-08:00 [thread overview]
Message-ID: <1ca4f848-7e5e-4524-8df3-43ea76caafbc@s15g2000yqs.googlegroups.com> (raw)
I had a problem when I run examiner to check if the body package is
working fine but the problem it gives me:
Specification Part:
with Sensor, Pump;
--# inherit Sensor, Pump;
package Tank
--# own Tank_Level;
--# initializes Tank_Level;
is
procedure Control;
--# global out Tank_Level;
--# in Sensor.Level;
--# in out Pump.Pump_Open;
--# derives Tank_Level from Sensor.Level &
--# Pump.Pump_Open from Sensor.Level, Pump.Pump_Open;
end Tank;
Body Package Is :
with Sensor, Pump;
package body Tank
is
Empty: constant Sensor.Level_Type := 10;
Full: constant Sensor.Level_Type := 60;
-- this procedure controls the operation of pumps when they should
be opened
-- or closed for the safety of the system. The pump will be closed
if the
-- Water Level Tank is <= 10 and it will be Opened if the Water
Level
-- in Tank >= 60.
procedure Control
is
Tank_Level: Sensor.Level_Type;
begin
Tank_Level:= Sensor.Get_Level;
if Tank_Level <= Empty then
Pump.Close;
elsif Tank_Level >= Full then
Pump.Open;
end if;
end Control;
end Tank;
The errors that it shows are :
1.Semantic Error : Ilegal redeclaration of identifier Tank_Level;
2.Semantic Error : The Identifier is either undeclared or not visible
at his point
3.Semantic Error : The Identifier is either undeclared or not visible
at his point1.
4.Semantic Error : The Identifier is either undeclared or not visible
at his point
5.Semantic Error : The own variable Tank_Level does not have a
definition
If you could give me a hint how to solve this problem it would be
great.
next reply other threads:[~2009-11-13 16:09 UTC|newest]
Thread overview: 3+ messages / expand[flat|nested] mbox.gz Atom feed top
2009-11-13 16:09 Mr.Spark [this message]
2009-11-13 16:54 ` a slight problem need some help. Simulation Control System Phil Thornley
2009-11-14 9:06 ` Mr.Spark
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox