@@ -0,0 +1,777 @@
+package monitoring.impl;%0D%0A%0D%0Aimport monitoring.intf.Monitor;%0D%0Aimport structure.impl.Verdict;%0D%0Aimport structure.intf.QEA;%0D%0A%0D%0A/**%0D%0A * A small-step monitor for a simple QEA with no quantified variables%0D%0A * %0D%0A * @author Helena Cuenca%0D%0A * @author Giles Reger%0D%0A */%0D%0Apublic class SmallStepQEANoQVMonitor extends Monitor %7B%0D%0A%09%0D%0A%09private int currentState;%0D%0A%09%0D%0A%09private QEA qea;%0D%0A%09%0D%0A%09public SmallStepQEANoQVMonitor(QEA qea) %7B%0D%0A%09%09this.qea = qea;%0D%0A%09%7D%0D%0A%0D%0A%09@Override%0D%0A%09public Verdict step(int eventName, Object%5B%5D args) %7B%0D%0A%09%09// TODO Auto-generated method stub%0D%0A%09%09return null;%0D%0A%09%7D%0D%0A%0D%0A%09@Override%0D%0A%09public Verdict step(int eventName) %7B%0D%0A%09%09// TODO Auto-generated method stub%0D%0A%09%09return null;%0D%0A%09%7D%0D%0A%0D%0A%09@Override%0D%0A%09public Verdict end() %7B%0D%0A%09%09// TODO Auto-generated method stub%0D%0A%09%09return null;%0D%0A%09%7D%0D%0A%0D%0A%7D%0D%0A

Monitor for QEA with no quantified variables added