ATNConfigSet (ANTLR 4 Runtime 4.0 API)

java.lang.Object
- org.antlr.v4.runtime.atn.ATNConfigSet

All Implemented Interfaces:

Iterable<ATNConfig>, Collection<ATNConfig>, Set<ATNConfig>

Direct Known Subclasses:

OrderedATNConfigSet
```
public class ATNConfigSet
extends Object
implements Set<ATNConfig>
```
Specialized OrderedHashSet that can track info about the set. Might be able to optimize later w/o affecting code that uses this set. histogram of lexer DFA configset size: 206 30 <- 206 sets with size 30 47 1 17 31 12 2 10 3 7 32 4 4 3 35 2 9 2 6 2 5 2 34 1 7 1 33 1 29 1 12 1 119 <- max size 322 set size for SLL parser java.* in DFA states: 888 1 411 54 365 88 304 56 206 80 182 16 167 86 166 78 158 84 131 2 121 20 120 8 119 112 82 10 73 6 53 174 47 90 45 4 39 12 38 122 37 89 37 62 34 3 34 18 32 81 31 87 28 45 27 144 25 41 24 132 22 91 22 7 21 82 21 28 21 27 17 9 16 29 16 155 15 51 15 118 14 146 14 114 13 5 13 38 12 48 11 64 11 50 11 22 11 134 11 131 10 79 10 76 10 59 10 58 10 55 10 39 10 116 9 74 9 47 9 310 ... javalr, java.* configs with # preds histogram: 4569 0 57 1 27 27 5 76 4 28 3 72 3 38 3 30 2 6 2 32 1 9 1 2 javalr, java.* all atnconfigsets; max size = 322, num sets = 269088 114186 1 <-- optimize 35712 6 28081 78 15252 54 14171 56 13159 12 11810 88 6873 86 6158 80 5169 4 3773 118 2350 16 1002 112 915 28 898 44 734 2 632 62 575 8 566 59 474 20 388 84 343 48 333 55 328 47 311 41 306 38 277 81 263 79 255 66 245 90 245 87 234 50 224 10 220 60 194 64 186 32 184 82 150 18 125 7 121 132 116 30 103 51 95 114 84 36 82 40 78 22 77 89 55 9 53 174 48 152 44 67 44 5 42 115 41 58 38 122 37 134 34 13 34 116 29 45 29 3 29 24 27 144 26 146 25 91 24 113 20 27 ... number with 1-9 elements: 114186 1 35712 6 5169 4 734 2 575 8 125 7 55 9 44 5 29 3 Can cover 60% of sizes with size up to 6 Can cover 44% of sizes with size up to 4 Can cover 42% of sizes with size up to 1

Nested Class Summary

Nested Classes
Modifier and Type	Class and Description
`static class`	`ATNConfigSet.AbstractConfigHashSet`
`static class`	`ATNConfigSet.ConfigEqualityComparator`
`static class`	`ATNConfigSet.ConfigHashSet`

Field Summary

Fields
Modifier and Type	Field and Description
`ATNConfigSet.AbstractConfigHashSet`	`configLookup` All configs but hashed by (s, i, _, pi) not incl context.
`ArrayList<ATNConfig>`	`configs` Track the elements as they are added to the set; supports get(i)
`protected BitSet`	`conflictingAlts`
`boolean`	`dipsIntoOuterContext`
`boolean`	`fullCtx` Indicates that this configuration set is part of a full context LL prediction.
`boolean`	`hasSemanticContext`
`protected boolean`	`readonly` Indicates that the set of configurations is read-only.
`int`	`uniqueAlt`

Constructor Summary

Constructors
Constructor and Description

ATNConfigSet()

ATNConfigSet(ATNConfigSet old)

ATNConfigSet(boolean fullCtx)

Constructors
Constructor and Description
`ATNConfigSet()`
`ATNConfigSet(ATNConfigSet old)`
`ATNConfigSet(boolean fullCtx)`

Method Summary

Methods
Modifier and Type	Method and Description
`boolean`	`add(ATNConfig config)`
`boolean`	`add(ATNConfig config, DoubleKeyMap<PredictionContext,PredictionContext,PredictionContext> mergeCache)` Adding a new config means merging contexts with existing configs for `(s, i, pi, _)`, where `s` is the `ATNConfig.state`, `i` is the `ATNConfig.alt`, and `pi` is the `ATNConfig.semanticContext`.
`boolean`	`addAll(Collection<? extends ATNConfig> coll)`
`void`	`clear()`
`boolean`	`contains(Object o)`
`boolean`	`containsAll(Collection<?> c)`
`boolean`	`containsFast(ATNConfig obj)`
`List<ATNConfig>`	`elements()` Return a List holding list of configs
`boolean`	`equals(Object o)`
`ATNConfig`	`get(int i)`
`List<SemanticContext>`	`getPredicates()`
`Set<ATNState>`	`getStates()`
`int`	`hashCode()`
`boolean`	`isEmpty()`
`Iterator<ATNConfig>`	`iterator()`
`void`	`optimizeConfigs(ATNSimulator interpreter)`
`boolean`	`remove(Object o)`
`boolean`	`removeAll(Collection<?> c)`
`boolean`	`retainAll(Collection<?> c)`
`void`	`setReadonly(boolean readonly)`
`int`	`size()`
`ATNConfig[]`	`toArray()`
`<T> T[]`	`toArray(T[] a)`
`String`	`toString()`

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

- Field Detail
  - readonly
```
protected boolean readonly
```
    Indicates that the set of configurations is read-only. Do not allow any code to manipulate the set; DFA states will point at the sets and they must not change. This does not protect the other fields; in particular, conflictingAlts is set after we've made this readonly.
  - configLookup
```
public ATNConfigSet.AbstractConfigHashSet configLookup
```
    All configs but hashed by (s, i, _, pi) not incl context. Wiped out when we go readonly as this set becomes a DFA state.
  - configs
```
public final ArrayList<ATNConfig> configs
```
    Track the elements as they are added to the set; supports get(i)
  - uniqueAlt
```
public int uniqueAlt
```
  - conflictingAlts
```
protected BitSet conflictingAlts
```
  - hasSemanticContext
```
public boolean hasSemanticContext
```
  - dipsIntoOuterContext
```
public boolean dipsIntoOuterContext
```
  - fullCtx
```
public final boolean fullCtx
```
    Indicates that this configuration set is part of a full context LL prediction. It will be used to determine how to merge $. With SLL it's a wildcard whereas it is not for LL context merge.
- Constructor Detail
  - ATNConfigSet
```
public ATNConfigSet(boolean fullCtx)
```
  - ATNConfigSet
```
public ATNConfigSet()
```
  - ATNConfigSet
```
public ATNConfigSet(ATNConfigSet old)
```
- Method Detail
  - add
```
public boolean add(@NotNull
          ATNConfig config)
```
    Specified by:
    
    add in interface Collection<ATNConfig>
    
    Specified by:
    
    add in interface Set<ATNConfig>
  - add
```
public boolean add(@NotNull
          ATNConfig config,
          @Nullable
          DoubleKeyMap<PredictionContext,PredictionContext,PredictionContext> mergeCache)
```
    Adding a new config means merging contexts with existing configs for (s, i, pi, _), where s is the ATNConfig.state, i is the ATNConfig.alt, and pi is the ATNConfig.semanticContext. We use (s,i,pi) as key.
    This method updates dipsIntoOuterContext and hasSemanticContext when necessary.
  - elements
```
public List<ATNConfig> elements()
```
    Return a List holding list of configs
  - getStates
```
public Set<ATNState> getStates()
```
  - getPredicates
```
public List<SemanticContext> getPredicates()
```
  - get
```
public ATNConfig get(int i)
```
  - optimizeConfigs
```
public void optimizeConfigs(ATNSimulator interpreter)
```
  - addAll
```
public boolean addAll(Collection<? extends ATNConfig> coll)
```
    Specified by:
    
    addAll in interface Collection<ATNConfig>
    
    Specified by:
    
    addAll in interface Set<ATNConfig>
  - equals
```
public boolean equals(Object o)
```
    Specified by:
    
    equals in interface Collection<ATNConfig>
    
    Specified by:
    
    equals in interface Set<ATNConfig>
    
    Overrides:
    
    equals in class Object
  - hashCode
```
public int hashCode()
```
    Specified by:
    
    hashCode in interface Collection<ATNConfig>
    
    Specified by:
    
    hashCode in interface Set<ATNConfig>
    
    Overrides:
    
    hashCode in class Object
  - size
```
public int size()
```
    Specified by:
    
    size in interface Collection<ATNConfig>
    
    Specified by:
    
    size in interface Set<ATNConfig>
  - isEmpty
```
public boolean isEmpty()
```
    Specified by:
    
    isEmpty in interface Collection<ATNConfig>
    
    Specified by:
    
    isEmpty in interface Set<ATNConfig>
  - contains
```
public boolean contains(Object o)
```
    Specified by:
    
    contains in interface Collection<ATNConfig>
    
    Specified by:
    
    contains in interface Set<ATNConfig>
  - containsFast
```
public boolean containsFast(ATNConfig obj)
```
  - iterator
```
public Iterator<ATNConfig> iterator()
```
    Specified by:
    
    iterator in interface Iterable<ATNConfig>
    
    Specified by:
    
    iterator in interface Collection<ATNConfig>
    
    Specified by:
    
    iterator in interface Set<ATNConfig>
  - clear
```
public void clear()
```
    Specified by:
    
    clear in interface Collection<ATNConfig>
    
    Specified by:
    
    clear in interface Set<ATNConfig>
  - setReadonly
```
public void setReadonly(boolean readonly)
```
  - toString
```
public String toString()
```
    Overrides:
    
    toString in class Object
  - toArray
```
public ATNConfig[] toArray()
```
    Specified by:
    
    toArray in interface Collection<ATNConfig>
    
    Specified by:
    
    toArray in interface Set<ATNConfig>
  - toArray
```
public <T> T[] toArray(T[] a)
```
    Specified by:
    
    toArray in interface Collection<ATNConfig>
    
    Specified by:
    
    toArray in interface Set<ATNConfig>
  - remove
```
public boolean remove(Object o)
```
    Specified by:
    
    remove in interface Collection<ATNConfig>
    
    Specified by:
    
    remove in interface Set<ATNConfig>
  - containsAll
```
public boolean containsAll(Collection<?> c)
```
    Specified by:
    
    containsAll in interface Collection<ATNConfig>
    
    Specified by:
    
    containsAll in interface Set<ATNConfig>
  - retainAll
```
public boolean retainAll(Collection<?> c)
```
    Specified by:
    
    retainAll in interface Collection<ATNConfig>
    
    Specified by:
    
    retainAll in interface Set<ATNConfig>
  - removeAll
```
public boolean removeAll(Collection<?> c)
```
    Specified by:
    
    removeAll in interface Collection<ATNConfig>
    
    Specified by:
    
    removeAll in interface Set<ATNConfig>

Class ATNConfigSet

Nested Class Summary

Field Summary

Constructor Summary

Method Summary

Methods inherited from class java.lang.Object

Field Detail

readonly

configLookup

configs

uniqueAlt

conflictingAlts

hasSemanticContext

dipsIntoOuterContext

fullCtx

Constructor Detail

ATNConfigSet

ATNConfigSet

ATNConfigSet

Method Detail

add

add

elements

getStates

getPredicates

get

optimizeConfigs

addAll

equals

hashCode

size

isEmpty

contains

containsFast

iterator

clear

setReadonly

toString

toArray

toArray

remove

containsAll

retainAll

removeAll