dk.brics.string.stringoperations
Class BinaryOperation

java.lang.Object
  dk.brics.string.stringoperations.Operation
      dk.brics.string.stringoperations.BinaryOperation

Direct Known Subclasses:

AssertContainedInOther, AssertContainsOther, AssertEndsWith, AssertEquals, AssertNotContainsOther, AssertNotEquals, AssertPrefixOf, AssertStartsWith, AssertSuffixOf, Contains, Insert, Replace5

public abstract class BinaryOperation
extends Operation

Abstract superclass for binary operations.

Constructor Summary

BinaryOperation()

Method Summary

abstract CharSet	charsetTransfer(CharSet a1, CharSet a2) Transfer function for character set analysis.
boolean	isAssertion() Returns whether this operation is an assertion.
abstract Automaton	op(Automaton a1, Automaton a2) Binary 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

BinaryOperation

public BinaryOperation()

Method Detail

charsetTransfer

public abstract CharSet charsetTransfer(CharSet a1,
                                        CharSet a2)

Transfer function for character set analysis.

isAssertion

public boolean isAssertion()

Returns whether this operation is an assertion. By default, this returns false.

This is used when breaking operation cycles in the grammar.

op

public abstract Automaton op(Automaton a1,
                             Automaton a2)

Binary operation on automata.

Parameters:

a1 - first input automaton, should not be modified

a2 - second input automaton, should not be modified

Returns:

output automaton