dk.brics.string.java
Class AssertionContext

java.lang.Object
  dk.brics.string.java.AssertionContext

public class AssertionContext
extends Object

Constructor Summary

AssertionContext(TranslationContext context, LocalDefs definitions, Map<Stmt,TranslatedStatement> translations, SootMethod method)

Method Summary

LocalDefs	getLocalDefinitions()
SootMethod	getMethod()
Map<Stmt,TranslatedStatement>	getStatementTranslations()
TranslationContext	getTranslationContext()
void	setContext(TranslationContext context)
void	setDefinitions(LocalDefs definitions)
void	setMethod(SootMethod method)
void	setTranslations(Map<Stmt,TranslatedStatement> translations)

Methods inherited from class java.lang.Object

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

Constructor Detail

AssertionContext

public AssertionContext(TranslationContext context,
                        LocalDefs definitions,
                        Map<Stmt,TranslatedStatement> translations,
                        SootMethod method)

Method Detail

getLocalDefinitions

public LocalDefs getLocalDefinitions()

getMethod

public SootMethod getMethod()

getStatementTranslations

public Map<Stmt,TranslatedStatement> getStatementTranslations()

getTranslationContext

public TranslationContext getTranslationContext()

setContext

public void setContext(TranslationContext context)

setDefinitions

public void setDefinitions(LocalDefs definitions)

setMethod

public void setMethod(SootMethod method)

setTranslations

public void setTranslations(Map<Stmt,TranslatedStatement> translations)