dk.brics.string.stringoperations
Class CharAt1

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

public class CharAt1
extends UnaryOperation

Automaton operation for String.charAt(int) with a constant index.

Author:

Asger

Constructor Summary

CharAt1(int index)

Method Summary

CharSet	charsetTransfer(CharSet a) Transfer function for character set analysis.
int	getPriority() Returns priority of this operation.
Automaton	op(Automaton a) Unary operation on automata.
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, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

CharAt1

public CharAt1(int index)

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

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

op

public Automaton op(Automaton a)

Description copied from class: UnaryOperation

Unary operation on automata.

Specified by:

op in class UnaryOperation

Parameters:

a - input automaton, should not be modified

Returns:

output automaton

toString

public String toString()

Description copied from class: Operation

Returns name of this operation.

Specified by:

toString in class Operation