| Class | Description |
|---|---|
| AddEndStateComputer |
deal with add operations..
|
| BufferStateUtilities | |
| ModifyEndStateComputer |
computes the end state for a given buffer where the action is a modify and
possibly a condition (well, there'd better be a condition).
|
| PMAddEndStateComputer |
deal with add operations..
|
| RemovalEndStateComputer |
creates an end state for productions that have an explicit remove, OR a match
but no modify.
|
| SimpleBufferEndState |
| Enum | Description |
|---|---|
| BufferStateUtilities.Consistent |
means that given the values and the conditions the slots
have, they COULD be equivalent (but still might not be)
means that given the values and the conditions, the two slots can never be equivalent means that the given values and conditions are not sufficient to make any judgement. |