ua.gradsoft.javachecker.trace

Interfaces  JavaTraceObjectModel TraceCondition

Classes  FalseTraceCondition ImpossibleForsingOfTraceCondition JavaBooleanTraceModel JavaIntTraceModel JavaLongTraceModel JavaObjectConstantTraceObjectModel JavaPrimitiveTraceModel JavaShortTraceModel JavaTermTraceObjectModel JavaTraceArrayModel JavaTraceContext JavaTraceNullModel JavaTraceObjectModelFactory TrueTraceCondition

Enums  JavaTraceContextFrameType TraceConditionResult

Exceptions  EvaluationException InvokedEvaluationException NotKnowException SourceRequiredForEvaluation