dk.brics.string.stringoperations
Class Replace3

java.lang.Object
  extended by dk.brics.string.stringoperations.Operation
      extended by dk.brics.string.stringoperations.UnaryOperation
          extended by dk.brics.string.stringoperations.Replace3

public class Replace3
extends UnaryOperation

Automaton operation for String.replace(char,char) where only the second character is known.


Constructor Summary
Replace3(char d)
          Automaton operation for String.replace(char,char) where only the second character is 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

Replace3

public Replace3(char d)
Automaton operation for String.replace(char,char) where only the second character is known.

Parameters:
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 transitions are supplemented with 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


Copyright © 2003-2009 Anders Møller, Aske Simon Christensen, Asger Feldthaus.