Add the node the graph @param node the node to add

Compares the specified object with this message for equality. Returns <tt>true</tt> if the given object is a message of the same type (as defined by

Merge {@code other} into the message being built. {@code other} must have the exact same type as {@code this} (i.e. {@code getDescriptorForType() ==

Returns the number of event nodes this partition contains.

Hook that replicates behavior of super and also updates propertyVectors to maintain a list of property values per key

Creates a new StringEventType that is an INITIAL.

Add a transition from this node to node dest with multiple relations. @param dest The destination of the transition. @param relation

Returns {@code true} if the size is {@code 0}, {@code false} otherwise.

Converts the message to a string in protocol buffer text format. This is just a trivial wrapper around {@link TextFormat#printToString(Message)}.

Returns the label of the node. NOTE: This call is used by the LTLChecker to retrieve the canonical representation of the event type. @return the node

Returns the hash code value for this message. The hash code of a message is defined to be <tt>getDescriptor().hashCode() ^ map.hashCode()</tt>, where

Get the target node. @return the target node

Get the {@link UnknownFieldSet} for this message.

Adds an individual trace line type, which consists of a regex with additional syntax. <b>The regex must match the entire line.</b> The additional synt

An event type represents a possible transition/action that the CFSM, or one of the FSMs that make up a CFSM can handle. Event types that are communica

Adds a new transition to a state s on event e from this state. @param e @param s

Returns the number of events in the queue.

Returns true if all required fields in the message and all embedded messages are set, false otherwise.

Construct an UninitializedMessageException reporting missing fields in the given message.

Set the {@link UnknownFieldSet} for this message.

Mutates the StateSet, according to which states could be inhabited after the given input is provided. @param input The input event to tran

Adds the {@code values} to the {@code list}. This is a helper method used by generated code. Users should ignore it. @throws NullPointerException i

Parses a string containing a log into a list of log events. @param trace The trace, with lines separated by newlines. @param traceName

Tests whether two invariant sets are equivalent. @param set2 the other set to test equality with. @return true if the two sets are equal,

Returns a character encoding for the given EventType, assigning a new character if this EventType has not yet been seen.

Resets the stateset to be as if it started on the passed node. This should be called for all initial statesets.

Get all nodes in this graph @return the set of nodes in the graph.

Adds a resource for the transition between the source and target nodes. @param delta The resource between nodes.

Shortened from: http://www.javalobby.org/java/forums/t18515.html

Outputs a textual representation of the Protocol Message supplied into the parameter output. (This representation is the new version of the classic "P

Generates parameters for this unit test. The first instance of this test (using first set of parameters) will run using the FSM checker, while the sec

Get the number of bytes required to encode this message. The result is only computed on the first call and memoized after that.

Returns the index of searchString as a substring of string with the condition that the searchString is followed by a newline character, carriage retur

Return the singleton instance of AbstractMain, first asserting that the instance isn't null.

Checks if this stateset inhabits any failure states.

Get the time of this event. @return the time when this event occurred.

Gets the number of bytes.

Serializes the message and writes it to {@code output}. This does not flush or close the stream.

Whether or not the queue is empty.

Exports a graph to a png file. The index parameter is used to differentiate graphs that are generated by the same test. The reason we require it expli

Attempt to read a field tag, returning zero if we have reached EOF. Protocol message parsers use this to read tags, since a protocol message may legal

Whether or not this is the dummy initial node.

Named states.

Read an embedded message field value from the stream.

Get the source node. @return the source node

Get the {@link UnknownFieldSet} for this message.

Converts a list of FSMState instances into a set, and returns the set.

Converts this exception to an {@link InvalidProtocolBufferException}. When a parsed message is missing required fields, this should be thrown instead

Compute the number of bytes that would be needed to encode an embedded message field, including tag.

Write an embedded message field, including tag, to the stream.

Merge some unknown fields into the {@link UnknownFieldSet} for this message.

Called by subclasses to parse an unknown field. @return {@code true} unless the tag is an end-group tag.