Package: IIterableTraceNode

IIterableTraceNode

Coverage

1: package org.overture.interpreter.traces;
2:
3: public interface IIterableTraceNode
4: {
5:
6:         public abstract CallSequence get(int index);
7:
8:         public abstract int size();
9:
10: }