Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : comment erroneous ignore (not completely sure ...)
[simgrid.git] / examples / java / surfPlugin / TracePlugin.java
1 /* Copyright (c) 2014. The SimGrid Team.
2  * All rights reserved.                                                     */
3
4 /* This program is free software; you can redistribute it and/or modify it
5  * under the terms of the license (GNU LGPL) which comes with this package. */
6
7 package surfPlugin;
8
9 import org.simgrid.surf.*;
10 import org.simgrid.msg.Msg;
11 import java.util.HashMap;
12
13 public class TracePlugin extends Plugin {
14
15   public TracePlugin() {
16     activateCpuCreatedCallback();
17     activateCpuDestructedCallback();
18     activateCpuStateChangedCallback();
19     activateCpuActionStateChangedCallback();
20
21     activateNetworkLinkCreatedCallback();
22     activateNetworkLinkDestructedCallback();
23     activateNetworkLinkStateChangedCallback();
24     activateNetworkActionStateChangedCallback();
25   }
26
27   public void cpuCreatedCallback(Cpu cpu) {
28     Msg.info("Trace: Cpu created "+cpu.getName());
29   }
30
31   public void cpuDestructedCallback(Cpu cpu) {
32     Msg.info("Trace: Cpu destructed "+cpu.getName());
33   }
34
35   public void cpuStateChangedCallback(Cpu cpu, ResourceState old, ResourceState cur){
36     Msg.info("Trace: Cpu state changed "+cpu.getName());
37   }
38
39   public void cpuActionStateChangedCallback(CpuAction action, ActionState old, ActionState cur){
40     Msg.info("Trace: CpuAction state changed "+action.getModel().getName());
41   }
42
43   public void networkLinkCreatedCallback(NetworkLink link) {
44     Msg.info("Trace: NetworkLink created "+link.getName());
45   }
46
47   public void networkLinkDestructedCallback(NetworkLink link) {
48     Msg.info("Trace: NetworkLink destructed "+link.getName());
49   }
50
51   public void networkLinkStateChangedCallback(NetworkLink link, ResourceState old, ResourceState cur){
52     Msg.info("Trace: NetworkLink state changed "+link.getName());
53   }
54
55   public void networkActionStateChangedCallback(NetworkAction action, ActionState old, ActionState cur){
56     Msg.info("Trace: NetworkAction state changed "+action.getModel().getName());
57   }
58
59 }