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

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.ConcatStm

public class ConcatStm
extends Assignment

Assignment of XML.concat(Object...) and variants.

Constructor Summary

ConcatStm(Variable dest, dk.brics.automaton.Automaton stringsrc, Variable xmlsrc, Origin origin)
Constructs a new ConcatStm object.

Method Summary

String	getOpName() Returns the name of the operation.
dk.brics.automaton.Automaton	getStringSource() Returns the string source automaton.
Variable	getXMLSource() Returns the XML source variable.
void	setStringSource(dk.brics.automaton.Automaton stringsrc) Changes the string source automaton.
void	setXMLSource(Variable xmlsrc) Sets the XML source variable.
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

ConcatStm

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

Constructs a new ConcatStm object.

Method Detail

getOpName

public String getOpName()

Description copied from class: Statement

Returns the name of the operation.

Specified by:

getOpName in class Statement

getStringSource

public dk.brics.automaton.Automaton getStringSource()

Returns the string source automaton.

getXMLSource

public Variable getXMLSource()

Returns the XML source variable.

setStringSource

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

Changes the string source automaton.

setXMLSource

public void setXMLSource(Variable xmlsrc)

Sets the XML source variable.

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