dk.brics.xact.analysis.soot
Class StatementBuilder

java.lang.Object
  dk.brics.xact.analysis.soot.StatementBuilder

public class StatementBuilder
extends Object

Methods for building flow graph statements.

Constructor Summary

StatementBuilder(TranslatorUtil util)
Constructs a new statement builder.

Method Summary

void	handleAssign(Value dest, Value source) Generates flow graph code for an assignment.
void	handleInvoke(Stmt stmt) Generates flow graph code for a statement containing a method invocation.
void	putToXML(Variable dest, Value source) Generates statements for a toXML invocation.
void	putVar(Variable dest, Value source) Generates a VarStm.

Methods inherited from class java.lang.Object

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

Constructor Detail

StatementBuilder

public StatementBuilder(TranslatorUtil util)

Constructs a new statement builder.

Method Detail

handleAssign

public void handleAssign(Value dest,
                         Value source)

Generates flow graph code for an assignment. Always generates at least one flow graph statement.

handleInvoke

public void handleInvoke(Stmt stmt)

Generates flow graph code for a statement containing a method invocation. Recognizes all operations on XML and the related classes. Always generates at least one flow graph statement. The return value is assigned to a fresh result variable.

putToXML

public void putToXML(Variable dest,
                     Value source)

Generates statements for a toXML invocation.

putVar

public void putVar(Variable dest,
                   Value source)

Generates a VarStm.