CA

Class CATransition

java.lang.Object

FSA.Transition

CA.CATransition

All Implemented Interfaces:

java.io.Serializable

public class CATransition
extends Transition
implements java.io.Serializable

Transition of a contract automaton

Author:

Davide Basile

See Also:

Serialized Form

Constructor Summary

Constructors

Constructor and Description
CATransition(int i) Take in input a transition
CATransition(int[] initial, int[] label2, int[] fina)

Method Summary

Methods

Modifier and Type	Method and Description
boolean	equals(java.lang.Object t)
int[]	getFinalP()
int[]	getInitialP()
int[]	getLabelP()
boolean	match()
static boolean	match(int[] l, int[] ll) check if labels l and ll are in match
boolean	offer()
int	receiver()
boolean	request()
int	sender()
java.lang.String	toString() override of toString

Methods inherited from class FSA.Transition

getFinal, getInitial, getLabel, getTransitionByLabel, getTransitionFrom

Methods inherited from class java.lang.Object

clone, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

CATransition

public CATransition(int[] initial,
            int[] label2,
            int[] fina)

Parameters:

initial - initial state

label2 - label

fina - final state

CATransition

public CATransition(int i)

Take in input a transition

Parameters:

i - the index of the transition to be showed as a message to the user

Method Detail

getInitialP

public int[] getInitialP()

Returns:

the initial state of the transition

getFinalP

public int[] getFinalP()

Returns:

the final state of the transition

getLabelP

public int[] getLabelP()

Returns:

the label of the transition

match

public boolean match()

Returns:

true if the transition is a match

offer

public boolean offer()

Returns:

true if the transition is an offer

request

public boolean request()

Returns:

true if the transition is a request

sender

public int sender()

Returns:

the index of the sender or -1

receiver

public int receiver()

Returns:

the index of the receiver or -1

toString

public java.lang.String toString()

override of toString

Overrides:

toString in class Transition

equals

public boolean equals(java.lang.Object t)

Overrides:

equals in class java.lang.Object

match

public static boolean match(int[] l,
            int[] ll)

check if labels l and ll are in match

Parameters:

l -

ll -

Returns:

true if there is a match, false otherwise