Class Ops

java.lang.Object

easyIO.regexp.Ops

public final class Ops
extends Object

Tag operations applied to a capture environment at the current input position: first all the starts (⊢k), then all the ends (⊣k). Ops never mention a position, so they depend only on the skeleton and can be cached with derivatives. Each capture fires at most once on any path, so a set of starts and a set of ends suffice.

Field Summary

Fields

Modifier and Type	Field	Description
static final Ops	NONE

Method Summary

Modifier and Type	Method	Description
boolean	equals(Object o)
int	hashCode()
String	toString()

Methods inherited from class Object

getClass, notify, notifyAll, wait, wait, wait

Field Details

NONE

public static final Ops NONE

Method Details

equals

public boolean equals(Object o)

Overrides:

equals in class Object

hashCode

public int hashCode()

Overrides:

hashCode in class Object

toString

public String toString()

Overrides:

toString in class Object