Added forgotten interface

d-leroy · d-leroy · commit 3ecf019f79bd · 2016-06-14T15:27:43.000+02:00
diff --git a/trace/commons/plugins/fr.inria.diverse.trace.gemoc.api/src/fr/inria/diverse/trace/gemoc/api/ITraceExplorer.java b/trace/commons/plugins/fr.inria.diverse.trace.gemoc.api/src/fr/inria/diverse/trace/gemoc/api/ITraceExplorer.java
@@ -20,7 +20,7 @@
 
 public interface ITraceExplorer extends ITraceNotifier, ITraceListener {
 	
-	default boolean compareStates(EObject e1, EObject e2) {
+	default boolean compareStates(EObject e1, EObject e2, List<Integer> l) {
 		return false;
 	}
 

Original file line number	Diff line number	Diff line change
`@@ -20,7 +20,7 @@`
`20`	`20`
`21`	`21`	`public interface ITraceExplorer extends ITraceNotifier, ITraceListener {`
`22`	`22`
`23`		`- default boolean compareStates(EObject e1, EObject e2) {`
	`23`	`+ default boolean compareStates(EObject e1, EObject e2, List<Integer> l) {`
`24`	`24`	`return false;`
`25`	`25`	`}`
`26`	`26`