ua.gradsoft.javachecker.trace
Interface TraceCondition

All Known Implementing Classes:

FalseTraceCondition, TrueTraceCondition

public interface TraceCondition

Interface for trace conditions.

Author:

rssh

Method Summary

TraceCondition	cloneTraceCondition()
TraceConditionResult	eval(JavaTraceContext traceContext) try to eval condition in given context.
void	forse(JavaTraceContext traceContext) forse traceContext to be true.
JavaTermExpressionModel	getExpression()
Term	getTraceConditionTerm()
TraceCondition	invert()
TraceCondition	simplicify(JavaTraceContext context)

Method Detail

getTraceConditionTerm

Term getTraceConditionTerm()
                           throws TermWareException

Throws:

TermWareException

getExpression

JavaTermExpressionModel getExpression()
                                      throws TermWareException

Throws:

TermWareException

invert

TraceCondition invert()
                      throws TermWareException

Throws:

TermWareException

cloneTraceCondition

TraceCondition cloneTraceCondition()
                                   throws TermWareException

Throws:

TermWareException

simplicify

TraceCondition simplicify(JavaTraceContext context)
                          throws TermWareException

Throws:

TermWareException

eval

TraceConditionResult eval(JavaTraceContext traceContext)
                          throws TermWareException

try to eval condition in given context.

Throws:

TermWareException

forse

void forse(JavaTraceContext traceContext)
           throws TermWareException,
                  ImpossibleForsingOfTraceCondition

forse traceContext to be true. i. e. let we know that this condition is true, then we can deduce some facts about traceContext and set ther (i.e. in target traceContext) appropriateve variables. for example, if we know that (a=b) and in traceContext variables for a is known -- than we can assign a to b.

Parameters:

traceContext -

Throws:

TermWareException

ImpossibleForsingOfTraceCondition