dk.brics.string.stringoperations
Class Replace1

java.lang.Object
  dk.brics.string.stringoperations.Operation
      dk.brics.string.stringoperations.UnaryOperation
          dk.brics.string.stringoperations.Replace1

public class Replace1
extends UnaryOperation

Automaton operation for String.replace(char,char) where both characters are known.

Constructor Summary

Replace1(char c, char d)
Automaton operation for String.replace(char,char) where both characters are known.

Method Summary

CharSet	charsetTransfer(CharSet a) Transfer function for character set analysis.
boolean	equals(Object obj)
int	getPriority() Returns priority of this operation.
int	hashCode()
Automaton	op(Automaton a) Automaton operation.
String	toString() Returns name of this operation.

Methods inherited from class dk.brics.string.stringoperations.UnaryOperation

isAssertion

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Constructor Detail

Replace1

public Replace1(char c,
                char d)

Automaton operation for String.replace(char,char) where both characters are known.

Parameters:

c - the known value of the first argument

d - the known value of the second argument

Method Detail

charsetTransfer

public CharSet charsetTransfer(CharSet a)

Description copied from class: UnaryOperation

Transfer function for character set analysis.

Specified by:

charsetTransfer in class UnaryOperation

equals

public boolean equals(Object obj)

Overrides:

equals in class Object

getPriority

public int getPriority()

Description copied from class: Operation

Returns priority of this operation. When approximating operation loops in grammars, operations with high priority are considered first.

Specified by:

getPriority in class Operation

hashCode

public int hashCode()

Overrides:

hashCode in class Object

op

public Automaton op(Automaton a)

Automaton operation. Constructs new automaton as copy of a where all c transitions are replaced by d transitions.

Specified by:

op in class UnaryOperation

Parameters:

a - input automaton

Returns:

resulting automaton

toString

public String toString()

Description copied from class: Operation

Returns name of this operation.

Specified by:

toString in class Operation