using System;
using setPoint.programAnnotation;

namespace HelloWorldAspect {
    class MainClass {
        static void Main() {
            IOManager ioManager = new IOManager();
            ioManager.printToConsole("Enter a number: ");
	    int number = ioManager.readNumber();
	    ioManager.printToConsole("You`ve entered " + number + "\n");			
        }
    }
    
    class IOManager {
        [ProgramAnnotation("semantics://architecture#output")]
	public void printToConsole(string str) {
	    Console.Write(str);
	}

	[ProgramAnnotation("semantics://architecture#input")]
	public int readNumber() {
	    int number = int.Parse(Console.ReadLine());
	    return number;
	}
    }
}

/************************************/
/* Logging Aspect                   */
/************************************/

pointcut InputMessages{
    message is [semantics://architecture#input];
}
    
pointcut OutputMessages{        
    message is [semantics://architecture#output];
}
    
aspect LoggingAspect{
    event startLogging;
    event endLogging;
}
    
advice LogEvents : LoggingAspect{       
    trigger startLogging before {InputMessages, OutputMessages};
    trigger endLogging after {InputMessages, OutputMessages};
}

using System;
using System.IO;
using setPoint.messageReifying;
using setPoint.weaving;

namespace LENDLConfiguration {
    public class LoggingAspect : IAspect {
        private DateTime _startTime;        

        public LoggingAspect() {
        }

        public void startLogging(IJoinPoint aJoinpoint) {
            this._startTime = DateTime.Now;         
        }

        public void endLogging(IJoinPoint aJoinpoint) {
            DateTime _endTime = DateTime.Now;           
            string message =
                "-----------------------------------\n" + 
                "Message: " + aJoinpoint.message.uri + "\n" +
                " Sender: " + aJoinpoint.sender.uri + "\n" +
                " Receiver: " + aJoinpoint.receiver.uri + "\n" + 
                " Start: " + this._startTime + " End: " + _endTime;
            writeLineToLog(message);
        }

        private static void writeLineToLog(string message)
        {
            StreamWriter file = new StreamWriter("helloWorldAspect.log", true);
            file.WriteLine(message);
            file.Close();
        }

        public bool mustCancelExecution {
            get { return false; }
        }
    }
}