dk.brics.string.stringoperations
Class Trim

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

public class Trim
extends UnaryOperation

Automaton operation for String.trim().

Constructor Summary

Trim()
Constructs new operation object.

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

Trim

public Trim()

Constructs new operation object.

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 with a new initial state and a new accept state. Non-epsilon transitions are added from the new initial state to states that are reachable from the old initial state in zero or more special chars followed by one non-special char, thereby skipping initial special chars. Similarly, non-epsilon transitions are added from states that can reach the old final state in one non-special char followed by zero or more special chars to the new final state, thereby skipping final special chars. ("Special" chars are those with value less than or equal to 0x20.) The new initial state is accepting if the old one could reach an accept state by zero or more special chars.

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