dk.brics.string.stringoperations
Class AssertHasNotLength

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

public class AssertHasNotLength
extends UnaryOperation

Asserts that the string does not have a length between min and max (inclusive)

Author:
Asger

Constructor Summary
AssertHasNotLength(int min, int max)
           
 
Method Summary
 CharSet charsetTransfer(CharSet a)
          Transfer function for character set analysis.
 int getPriority()
          Returns priority of this operation.
 boolean isAssertion()
          Returns whether this is an assertion.
 Automaton op(Automaton a)
          Unary operation on automata.
 String toString()
          Returns name of this operation.
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Constructor Detail

AssertHasNotLength

public AssertHasNotLength(int min,
                          int max)
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

isAssertion

public boolean isAssertion()
Description copied from class: UnaryOperation
Returns whether this is an assertion. Unary assertions must output a strict subset language of the input language.

Overrides:
isAssertion in class UnaryOperation

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


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