rationals

Class DefaultSynchronization

java.lang.Object

rationals.DefaultSynchronization

All Implemented Interfaces:

Synchronization

public class DefaultSynchronization
extends Object
implements Synchronization

Default synchronization scheme for standard automaton. This class synchronizes the labels of two transitions if they are equal.

Version:

$Id: DefaultSynchronization.java 2 2006-08-24 14:41:48Z oqube $

Author:

nono

Constructor Summary

Constructors

Constructor and Description
DefaultSynchronization()

Method Summary

Modifier and Type	Method and Description
<T> Set<T>	synchronizable(Collection<Set<T>> alphl) Construct the synchronization alphabet from a collection of alphabets.
<T> Set<T>	synchronizable(Set<T> a, Set<T> b) Compute the synchronizable letters from two alphabets.
Object	synchronize(Object t1, Object t2) Synchronize two transitions.
boolean	synchronizeWith(Object object, Set<Object> alph) Checks whether or not the given letter is synchronizable in the given automaton's alphabet.

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

DefaultSynchronization

public DefaultSynchronization()

Method Detail

synchronize

public Object synchronize(Object t1,
                          Object t2)

Description copied from interface: Synchronization

Synchronize two transitions. This method should return a letter denoting the result of synchronizing the two transitions' labels. If the result is null, then no synchronization occurs.

Specified by:

synchronize in interface Synchronization

Parameters:

t1 - first label to synchronize

t2 - second label to synchronize

Returns:

a non null Object if the two transitions can be synchronized.

synchronizable

public <T> Set<T> synchronizable(Set<T> a,
                                 Set<T> b)

Description copied from interface: Synchronization

Compute the synchronizable letters from two alphabets. This method returns the set of letters from a and b that can be synchronized. In the default case, this method simply computes the intersection of the two sets.

Specified by:

synchronizable in interface Synchronization

Type Parameters:

T - type

Parameters:

a - an alphabet

b - another alphabet

Returns:

a new Set of letters (may be empty) from a and b that can be synchronized.

synchronizable

public <T> Set<T> synchronizable(Collection<Set<T>> alphl)

Description copied from interface: Synchronization

Construct the synchronization alphabet from a collection of alphabets.

Specified by:

synchronizable in interface Synchronization

Type Parameters:

T - type

Parameters:

alphl - alphl

Returns:

a Set implementation containing all letters of all alphabets in alphl that could be synchronized.

synchronizeWith

public boolean synchronizeWith(Object object,
                               Set<Object> alph)

Description copied from interface: Synchronization

Checks whether or not the given letter is synchronizable in the given automaton's alphabet. This method checks in a synchronization dependant way that the given letter pertains to the synchronization set.

Specified by:

synchronizeWith in interface Synchronization

Parameters:

object - the letter to check

alph - the alphabet

Returns:

true if object is synchronizable with some letter in alph, false otherwise.