dk.brics.string.intermediate
Class AssertBinaryOp

java.lang.Object
  dk.brics.string.intermediate.Statement
      dk.brics.string.intermediate.AssertStatement
          dk.brics.string.intermediate.AssertBinaryOp

All Implemented Interfaces:

Comparable<Statement>

public class AssertBinaryOp
extends AssertStatement

Performs a binary operation op(a,b) and puts the result into a.

Author:

Asger

Field Summary

Variable	from
BinaryOperation	op
Variable	to

Fields inherited from class dk.brics.string.intermediate.AssertStatement

targetStatement

Constructor Summary

AssertBinaryOp(Statement targetStatement, Variable to, Variable from, BinaryOperation op)

Method Summary

void	visitBy(StatementVisitor v) Visit this statement by the given statement visitor.

Methods inherited from class dk.brics.string.intermediate.Statement

addSucc, addSuccIfAbsent, compareTo, getIndex, getMethod, getPreds, getSuccs, toString

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Detail

from

public Variable from

op

public BinaryOperation op

to

public Variable to

Constructor Detail

AssertBinaryOp

public AssertBinaryOp(Statement targetStatement,
                      Variable to,
                      Variable from,
                      BinaryOperation op)

Method Detail

visitBy

public void visitBy(StatementVisitor v)

Description copied from class: Statement

Visit this statement by the given statement visitor. This will invoke the corresponding method in the visitor.

Specified by:

visitBy in class Statement

Parameters:

v - the visitor.