dk.brics.string.intermediate
Class AssertAliases

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

All Implemented Interfaces:

Comparable<Statement>

public class AssertAliases
extends AssertStatement

Asserts whether two variables are aliases.

Author:

Asger

Field Summary

Variable	a
boolean	alias
Variable	b

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

targetStatement

Constructor Summary

AssertAliases(Statement targetStatement, Variable a, Variable b, boolean alias)

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

a

public Variable a

alias

public boolean alias

b

public Variable b

Constructor Detail

AssertAliases

public AssertAliases(Statement targetStatement,
                     Variable a,
                     Variable b,
                     boolean alias)

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.