|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object is.lill.acre.protocol.Protocol
public class Protocol
Class to represent a communication protocol as a finite state machine.
Constructor Summary | |
---|---|
Protocol()
Default constructor to create an empty protocol |
|
Protocol(ProtocolDescriptor descriptor)
Create protocol with specified name |
Method Summary | |
---|---|
protected void |
addImport(ProtocolDescriptor desc)
|
void |
addState(State state)
Add a State to this Protocol |
void |
addTransition(Transition transition)
|
boolean |
equals(java.lang.Object o)
|
ProtocolDescriptor |
getDescriptor()
|
State |
getInitialState()
|
State |
getStateByName(java.lang.String name)
|
java.util.Collection<State> |
getStates()
|
java.util.Set<Transition> |
getTransitions()
Retrieve the set of transitions associated with this protocol |
int |
hashCode()
|
boolean |
importsFrom(ProtocolDescriptor desc)
|
boolean |
initiates(IACREMessage m)
|
void |
merge(Protocol p)
Merge the states and transitions of the provided protocol into this one |
void |
setDescriptor(ProtocolDescriptor descriptor)
|
java.lang.String |
toDebuggingString()
|
java.lang.String |
toString()
|
Methods inherited from class java.lang.Object |
---|
clone, finalize, getClass, notify, notifyAll, wait, wait, wait |
Constructor Detail |
---|
public Protocol(ProtocolDescriptor descriptor)
name
- The protocol's namepublic Protocol()
Method Detail |
---|
public void setDescriptor(ProtocolDescriptor descriptor)
public ProtocolDescriptor getDescriptor()
public void addState(State state)
State
to this Protocol
state
- The to add
public void addTransition(Transition transition)
public State getInitialState()
public java.lang.String toString()
toString
in class java.lang.Object
public java.lang.String toDebuggingString()
public State getStateByName(java.lang.String name)
public java.util.Set<Transition> getTransitions()
public java.util.Collection<State> getStates()
public boolean importsFrom(ProtocolDescriptor desc)
protected void addImport(ProtocolDescriptor desc)
public boolean equals(java.lang.Object o)
equals
in class java.lang.Object
public int hashCode()
hashCode
in class java.lang.Object
public void merge(Protocol p)
p
- The Protocol
to be mergedpublic boolean initiates(IACREMessage m)
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |