Package ua.gradsoft.javachecker.trace

Interface Summary

JavaTraceObjectModel	trace object model
TraceCondition	Interface for trace conditions.

Class Summary

FalseTraceCondition	trace condition for false.
ImpossibleForsingOfTraceCondition	Throwed when we try to forse traceConditoon, which evaluated to false in current context.
JavaBooleanTraceModel	Trace Model for boolean primitive
JavaIntTraceModel	Trace model for 'int'
JavaLongTraceModel	Trace Model for long
JavaObjectConstantTraceObjectModel
JavaPrimitiveTraceModel	Class for trace models of primitive types
JavaShortTraceModel	Trace model for 'short' primitives
JavaTermTraceObjectModel	TraceObject, created form TermExpression
JavaTraceArrayModel	Model for array
JavaTraceContext	Trace context, which can keep state of variables.
JavaTraceNullModel	Trace Model for 'null' object.
JavaTraceObjectModelFactory
TrueTraceCondition	True trace condition

Enum Summary

JavaTraceContextFrameType	Possible types of frames
TraceConditionResult

Exception Summary

EvaluationException	Exception durting evaluation in trace.
InvokedEvaluationException	When traced code throw this exception
NotKnowException	Exception is throwed, when we do some action, but we have no information: what to do with such action.
SourceRequiredForEvaluation	Throwed, when known that source is required for evaluation.