ua.gradsoft.javachecker.trace
Class JavaTraceContext

java.lang.Object
  ua.gradsoft.javachecker.trace.JavaTraceContext

public class JavaTraceContext
extends java.lang.Object

Trace context, which can keep state of variables.

Author:

rssh

Constructor Summary

JavaTraceContext(JavaMethodModel methodModel, JavaTraceObjectModel newThisObjectModel, java.util.List<JavaTraceObjectModel> arguments, JavaTraceContext prev)
New trace context, which created on method

JavaTraceContext(JavaPlaceContext place, JavaTraceObjectModel thisObjectModel)
create 'zero' context

Method Summary

protected JavaMethodModel	alignMethodCallToObject(JavaMethodModel methodModel, JavaTraceObjectModel om)
JavaTraceObjectModel	getFormalParameter(java.lang.String name)
JavaTraceObjectModel	getLocalVariable(java.lang.String name)
JavaPlaceContext	getPlace()
JavaTraceObjectModel	getThisTraceObjectModel()

Methods inherited from class java.lang.Object

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

Constructor Detail

JavaTraceContext

public JavaTraceContext(JavaPlaceContext place,
                        JavaTraceObjectModel thisObjectModel)
                 throws EvaluationException,
                        EntityNotFoundException

create 'zero' context

Parameters:

place -

Throws:

EvaluationException

EntityNotFoundException

JavaTraceContext

public JavaTraceContext(JavaMethodModel methodModel,
                        JavaTraceObjectModel newThisObjectModel,
                        java.util.List<JavaTraceObjectModel> arguments,
                        JavaTraceContext prev)
                 throws EvaluationException,
                        EntityNotFoundException

New trace context, which created on method

Parameters:

methodModel -

newThisObjectModel -

arguments -

prev -

Throws:

EvaluationException

EntityNotFoundException

Method Detail

getPlace

public JavaPlaceContext getPlace()

getLocalVariable

public JavaTraceObjectModel getLocalVariable(java.lang.String name)

getFormalParameter

public JavaTraceObjectModel getFormalParameter(java.lang.String name)

alignMethodCallToObject

protected JavaMethodModel alignMethodCallToObject(JavaMethodModel methodModel,
                                                  JavaTraceObjectModel om)
                                           throws TermWareException,
                                                  EntityNotFoundException

Throws:

TermWareException

EntityNotFoundException

getThisTraceObjectModel

public JavaTraceObjectModel getThisTraceObjectModel()