ca.uqac.lif.ecp.atomic

Class AtomicTrace

java.lang.Object

java.util.AbstractCollection<E>

java.util.AbstractList<E>

java.util.AbstractSequentialList<E>

java.util.LinkedList<T>

ca.uqac.lif.ecp.Trace<AtomicEvent>

ca.uqac.lif.ecp.atomic.AtomicTrace

All Implemented Interfaces:

java.io.Serializable, java.lang.Cloneable, java.lang.Iterable<AtomicEvent>, java.util.Collection<AtomicEvent>, java.util.Deque<AtomicEvent>, java.util.List<AtomicEvent>, java.util.Queue<AtomicEvent>

public class AtomicTrace
extends Trace<AtomicEvent>

An ordered sequence of atomic events

Author:

Sylvain Hallé

See Also:

Serialized Form

Field Summary

Fields

Modifier and Type	Field and Description
protected static java.lang.String	CRLF The OS-dependent line separator

Fields inherited from class java.util.AbstractList

modCount

Constructor Summary

Constructors

Constructor and Description
AtomicTrace()

Method Summary

Modifier and Type	Method and Description
static java.util.Set<Trace<AtomicEvent>>	readSet(java.util.Scanner scanner) Reads a set of traces from a text input source.
static Trace<AtomicEvent>	readTrace(java.lang.String line) Reads a trace from a text string

Methods inherited from class ca.uqac.lif.ecp.Trace

equals, hashCode, prefixTo, suffixFrom

Methods inherited from class java.util.LinkedList

add, add, addAll, addAll, addFirst, addLast, clear, clone, contains, descendingIterator, element, get, getFirst, getLast, indexOf, lastIndexOf, listIterator, offer, offerFirst, offerLast, peek, peekFirst, peekLast, poll, pollFirst, pollLast, pop, push, remove, remove, remove, removeFirst, removeFirstOccurrence, removeLast, removeLastOccurrence, set, size, spliterator, toArray, toArray

Methods inherited from class java.util.AbstractSequentialList

iterator

Methods inherited from class java.util.AbstractList

listIterator, removeRange, subList

Methods inherited from class java.util.AbstractCollection

containsAll, isEmpty, removeAll, retainAll, toString

Methods inherited from class java.lang.Object

finalize, getClass, notify, notifyAll, wait, wait, wait

Methods inherited from interface java.util.List

containsAll, isEmpty, iterator, listIterator, removeAll, replaceAll, retainAll, sort, subList

Methods inherited from interface java.util.Deque

iterator

Methods inherited from interface java.util.Collection

parallelStream, removeIf, stream

Methods inherited from interface java.lang.Iterable

forEach

Field Detail

CRLF

protected static final java.lang.String CRLF

The OS-dependent line separator

Constructor Detail

AtomicTrace

public AtomicTrace()

Method Detail

readSet

public static java.util.Set<Trace<AtomicEvent>> readSet(java.util.Scanner scanner)

Reads a set of traces from a text input source. The source must be made of text structured as follows:

• Each trace is on one line
• Events are separated by commas
• Any leading or trailing whitespace is trimmed for each event
• Empty lines, and lines beginning by "#" are ignored

Obviously, this method of reading traces only works for reasonably small, static sets.

Parameters:

scanner - A scanner open on the source to read

Returns:

The set of traces read from the scanner

readTrace

public static Trace<AtomicEvent> readTrace(java.lang.String line)

Reads a trace from a text string

Parameters:

line - The string

Returns:

The trace

See Also:

readSet(Scanner)