dk.brics.string.stringoperations
Class UnaryOperation

java.lang.Object
  extended by dk.brics.string.stringoperations.Operation
      extended by dk.brics.string.stringoperations.UnaryOperation
Direct Known Subclasses:
AssertEmpty, AssertHasLength, AssertHasNotLength, AssertInLanguage, AssertNotEmpty, BooleanToString, CharAt1, CharAt2, Delete, DeleteCharAt, Postfix, Prefix, Replace1, Replace2, Replace3, Replace4, Replace6, Reverse, SetCharAt1, SetCharAt2, SetLength, Split, Substring, ToLowerCase, ToUpperCase, Trim

public abstract class UnaryOperation
extends Operation

Abstract superclass for unary operations.


Constructor Summary
UnaryOperation()
           
 
Method Summary
abstract  CharSet charsetTransfer(CharSet a)
          Transfer function for character set analysis.
 boolean isAssertion()
          Returns whether this is an assertion.
abstract  Automaton op(Automaton a)
          Unary operation on automata.
 
Methods inherited from class dk.brics.string.stringoperations.Operation
getPriority, toString
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Constructor Detail

UnaryOperation

public UnaryOperation()
Method Detail

charsetTransfer

public abstract CharSet charsetTransfer(CharSet a)
Transfer function for character set analysis.


isAssertion

public boolean isAssertion()
Returns whether this is an assertion. Unary assertions must output a strict subset language of the input language.


op

public abstract Automaton op(Automaton a)
Unary operation on automata.

Parameters:
a - input automaton, should not be modified
Returns:
output automaton


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