dk.brics.xact.analysis.flowgraph.statements
Class ArrayWriteStringStm

java.lang.Object
  dk.brics.xact.analysis.flowgraph.Entity
      dk.brics.xact.analysis.flowgraph.Statement
          dk.brics.xact.analysis.flowgraph.statements.Assignment
              dk.brics.xact.analysis.flowgraph.statements.ArrayWriteStringStm

public class ArrayWriteStringStm
extends Assignment

Constructor Summary

ArrayWriteStringStm(Variable dest, dk.brics.automaton.Automaton stringsrc, Origin origin)

Method Summary

String	getOpName() Returns the name of the operation.
dk.brics.automaton.Automaton	getStringsrc()
void	setStringsrc(dk.brics.automaton.Automaton stringsrc)
String	toString() Returns a textual description of the statement.
void	visitBy(StatementVisitor v) Visits this statement by the given visitor.

Methods inherited from class dk.brics.xact.analysis.flowgraph.statements.Assignment

getDest, setDest

Methods inherited from class dk.brics.xact.analysis.flowgraph.Entity

getOrigin

Methods inherited from class java.lang.Object

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

Constructor Detail

ArrayWriteStringStm

public ArrayWriteStringStm(Variable dest,
                           dk.brics.automaton.Automaton stringsrc,
                           Origin origin)

Method Detail

getOpName

public String getOpName()

Description copied from class: Statement

Returns the name of the operation.

Specified by:

getOpName in class Statement

getStringsrc

public dk.brics.automaton.Automaton getStringsrc()

setStringsrc

public void setStringsrc(dk.brics.automaton.Automaton stringsrc)

toString

public String toString()

Description copied from class: Statement

Returns a textual description of the statement. This includes the origin and other statically available information.

Overrides:

toString in class Assignment

visitBy

public void visitBy(StatementVisitor v)

Description copied from class: Statement

Visits this statement by the given visitor.

Specified by:

visitBy in class Statement