static void doSCInterfaceDev()
{
CMethodInterface mi = new CInterfaceClass();
error("safe-critical-interface-derived object instantiated");
mi.Method();
error("safe-critical-interface-derived method called");
}
static void doSCInterfaceDev()
{
CMethodInterface mi = new CInterfaceClass ();
error ("safe-critical-interface-derived object instantiated");
mi.Method ();
error ("safe-critical-interface-derived method called");
}