module SOFA {
  module demos {
    module logdemo {

      interface LogInterface {
        void log(in string number);
      };

      frame Tester {
        requires:
          LogInterface Log;
      };

      frame Logger {
        provides:
          LogInterface Log;
      };
    };
  };
};

architecture CUNI ::SOFA::demos::logdemo::Tester implements ::SOFA::demos::logdemo::Tester primitive;
architecture CUNI ::SOFA::demos::logdemo::Logger implements ::SOFA::demos::logdemo::Logger primitive;

system architecture CUNI ::SOFA::demos::logdemo::logdemo implements ::SOFA::libs::Application {
  inst ::SOFA::demos::logdemo::Tester tester;
  inst ::SOFA::demos::logdemo::Logger logger;

  bind tester:Log to logger:Log using CSProcCall;
};