NFATransitionSet

java.lang.Object
- com.oracle.truffle.regex.tregex.dfa.NFATransitionSet

All Implemented Interfaces:

TransitionSet, JsonConvertible, Iterable<NFAStateTransition>

Direct Known Subclasses:

PrioritySensitiveNFATransitionSet
```
public class NFATransitionSet
extends Object
implements TransitionSet, Iterable<NFAStateTransition>
```
This class represents a set of NFA transitions leading to a set of NFA states. The uniqueness of one NFAStateTransition inside this class is defined by its target NFAState as returned by NFAStateTransition.getTarget(boolean), where NFATransitionSet.isForward() is used as the parameter forward. NFATransitionSet.iterator() reflects insertion order.

See Also:

DFAGenerator, DFAStateTransitionBuilder

Method Summary

All Methods Static Methods Instance Methods Concrete Methods
Modifier and Type	Method and Description
`void`	`add(NFAStateTransition transition)` Add a `NFAStateTransition` to this set.
`void`	`addAll(TransitionSet other)` Add all transitions contained in the given transition set.
`static NFATransitionSet`	`create(NFA nfa, boolean forward, NFAStateTransition transition)`
`NFATransitionSet`	`createMerged(TransitionSet other)` Create a merged set of `this` and `other` by copying `this` and adding the contents of `other` to the copy.
`boolean`	`equals(Object obj)` Checks if the set is equal to another given set.
`NFAStateSet`	`getTargetStateSet()`
`int`	`hashCode()` Returns the hash code value for this set.
`boolean`	`isEmpty()`
`boolean`	`isForward()`
`Iterator<NFAStateTransition>`	`iterator()` Returns an iterator that will yield the elements contained in this set in insertion order.
`boolean`	`leadsToFinalState()` Returns `true` if the set contains a transition to a NFA state that in turn contains a transition to an un-anchored NFA final state as denoted by `NFAState.hasTransitionToUnAnchoredFinalState(boolean)`, where `NFATransitionSet.isForward()` is used as the `forward` parameter.
`int`	`size()`
`Stream<NFAStateTransition>`	`stream()` Returns a stream that will yield the elements contained in this set in insertion order.
`JsonValue`	`toJson()`
`String`	`toString()`

Methods inherited from class java.lang.Object
clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Methods inherited from interface java.lang.Iterable
forEach, spliterator

- Method Detail
  - create
```
public static NFATransitionSet create(NFA nfa,
                                      boolean forward,
                                      NFAStateTransition transition)
```
  - createMerged
```
public NFATransitionSet createMerged(TransitionSet other)
```
    Description copied from interface: TransitionSet
    
    Create a merged set of this and other by copying this and adding the contents of other to the copy.
    
    Specified by:
    
    createMerged in interface TransitionSet
    
    Parameters:
    
    other - the TransitionSet to be merged with the copy. Implementing classes may accept objects of their own type only.
    
    Returns:
    
    the merged set. MUST be of the same type as this!
  - isForward
```
public boolean isForward()
```
  - leadsToFinalState
```
public boolean leadsToFinalState()
```
    Returns true if the set contains a transition to a NFA state that in turn contains a transition to an un-anchored NFA final state as denoted by NFAState.hasTransitionToUnAnchoredFinalState(boolean), where NFATransitionSet.isForward() is used as the forward parameter.
  - isEmpty
```
public boolean isEmpty()
```
  - size
```
public int size()
```
  - getTargetStateSet
```
public NFAStateSet getTargetStateSet()
```
  - add
```
public void add(NFAStateTransition transition)
```
    Add a NFAStateTransition to this set. Note that this set will refuse to add the transition if it already contains a transition leading to the same target state as denoted by NFAStateTransition.getTarget(boolean), where NFATransitionSet.isForward() is used as the forward parameter.
  - addAll
```
public void addAll(TransitionSet other)
```
    Add all transitions contained in the given transition set.
    
    Specified by:
    
    addAll in interface TransitionSet
    
    Parameters:
    
    other - the TransitionSet to be merged with this. Implementing classes may accept objects of their own type only.
    
    See Also:
    
    NFATransitionSet.add(NFAStateTransition)
  - hashCode
```
public int hashCode()
```
    Returns the hash code value for this set. The hash is equal to the hashcode of a NFAStateSet containing all target states of the transitions in this transition set.
    
    Specified by:
    
    hashCode in interface TransitionSet
    
    Overrides:
    
    hashCode in class Object
  - equals
```
public boolean equals(Object obj)
```
    Checks if the set is equal to another given set. Two sets are considered equal only if both are NFATransitionSets and have the same set of target states (as returned by NFAStateTransition.getTarget(boolean)).
    
    Specified by:
    
    equals in interface TransitionSet
    
    Overrides:
    
    equals in class Object
  - iterator
```
public Iterator<NFAStateTransition> iterator()
```
    Returns an iterator that will yield the elements contained in this set in insertion order.
    
    Specified by:
    
    iterator in interface Iterable<NFAStateTransition>
  - stream
```
public Stream<NFAStateTransition> stream()
```
    Returns a stream that will yield the elements contained in this set in insertion order.
  - toString
```
public String toString()
```
    Overrides:
    
    toString in class Object
  - toJson
```
public JsonValue toJson()
```
    Specified by:
    
    toJson in interface JsonConvertible

Class NFATransitionSet

Method Summary

Methods inherited from class java.lang.Object

Methods inherited from interface java.lang.Iterable

Method Detail

create

createMerged

isForward

leadsToFinalState

isEmpty

size

getTargetStateSet

add

addAll

hashCode

equals

iterator

stream

toString

toJson