dk.brics.string.stringoperations
Class AssertNotEmpty

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

public class AssertNotEmpty
extends UnaryOperation

Asserts that the string is not empty. There is no AssertEmpty operation since an assignment to the empty string is used instead.

Author:

Asger

Constructor Summary

AssertNotEmpty()

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

AssertNotEmpty

public AssertNotEmpty()

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