dk.brics.string.stringoperations
Class AssertInLanguage

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

public class AssertInLanguage
extends UnaryOperation

Constructor Summary

AssertInLanguage(Automaton automaton)

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

AssertInLanguage

public AssertInLanguage(Automaton automaton)

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